runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13105 MiB free)
memory of node 1: 16384 MiB (12472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406135-1569408275/watcher-4406135-1569408275 -o /var/tmp/evaluation-result-4406135-1569408275/solver-4406135-1569408275 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 884761324 HOME/instance-4406135-1569408275.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29612, runsolver pid=29609
[startup+0.100091 s]*
/proc/loadavg: 1.77 1.85 1.90 5/231 29628
/proc/meminfo: memFree=26175648/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15144776 memory=28904 CPUtime=0.13 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 5587 0 0 0 11 2 0 0 20 0 15 0 517076014 15508250624 7226 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3786194 7226 3162 1 0 3748377 0
[pid=29614/tid=29615] ppid=29612 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 3543 0 0 0 8 1 0 0 20 0 15 0 517076015 15508250624 7226 33554432000 4194304 4196468 140727412975616 140416260028800 140416239842661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 7226 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15144776 memory=139931751888512 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 7226 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 7226 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 7226 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15144776 memory=139931751888512 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076017 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076017 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415128315168 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076017 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415127262832 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) R 29612 29612 26090 0 -1 4202560 415 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415125149648 140416239198204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) R 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415124105200 140416255810178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15144776 memory=139931751888512 CPUtime=0.02 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) R 29612 29612 26090 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 517076020 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415123052912 140416255820378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15144776 memory=139931751888512 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 7226 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30360 KiB
[startup+0.211298 s]*
/proc/loadavg: 1.77 1.85 1.90 3/231 29628
/proc/meminfo: memFree=26161540/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15144776 memory=41024 CPUtime=0.35 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 9471 0 0 0 31 4 0 0 20 0 15 0 517076014 15508250624 10256 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3786194 10256 3318 1 0 3748377 0
[pid=29614/tid=29615] ppid=29612 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 6593 0 0 0 17 2 0 0 20 0 15 0 517076015 15508250624 10256 33554432000 4194304 4196468 140727412975616 140416260032960 140415854112361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 10256 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15144776 memory=139931755719287 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 10256 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 10256 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076015 15508250624 10256 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15144776 memory=139931751888512 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076017 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076017 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415128315168 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076017 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415127262832 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29612 29612 26090 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 15 0 517076020 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415125158000 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) R 29612 29612 26090 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 15 0 517076020 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415124105200 140416255810178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15144776 memory=139931751888512 CPUtime=0.08 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) R 29612 29612 26090 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 15 0 517076020 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415123052912 140416248036158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076020 15508250624 10256 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42480 KiB
[startup+0.311719 s]*
/proc/loadavg: 1.77 1.85 1.90 4/231 29628
/proc/meminfo: memFree=26155004/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15149032 memory=49776 CPUtime=0.54 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 10822 0 0 0 50 4 0 0 20 0 15 0 517076014 15512608768 12444 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3787258 12444 3357 1 0 3748377 0
[pid=29614/tid=29615] ppid=29612 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 7767 0 0 0 27 3 0 0 20 0 15 0 517076015 15512608768 12444 33554432000 4194304 4196468 140727412975616 140416260030144 140416239879518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15512608768 12444 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15149032 memory=3845071 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15512608768 12444 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15512608768 12444 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076015 15512608768 12444 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076017 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076017 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415128315168 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076017 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415127262832 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29612 29612 26090 0 -1 1077944384 552 0 0 0 4 0 0 0 20 0 15 0 517076020 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415125158000 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) R 29612 29612 26090 0 -1 4202560 336 0 0 0 5 0 0 0 20 0 15 0 517076020 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415124096656 140416255812880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29612 29612 26090 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 15 0 517076020 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415123052912 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076020 15512608768 12444 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51232 KiB
[startup+0.700976 s]
/proc/loadavg: 1.77 1.85 1.90 4/231 29628
/proc/meminfo: memFree=26135080/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15151156 memory=80468 CPUtime=1.67 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 14829 0 0 0 161 6 0 0 20 0 15 0 517076014 15514783744 20117 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3787789 20117 3455 1 0 3748889 0
[pid=29614/tid=29615] ppid=29612 vsize=15151156 memory=36236 CPUtime=0.68 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 9315 0 0 0 64 4 0 0 20 0 15 0 517076015 15514783744 20117 33554432000 4194304 4196468 140727412975616 140416260036688 140415852379461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15514783744 20117 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15514783744 20117 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076015 15514783744 20117 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076015 15514783744 20117 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415128315168 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415127262832 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15151156 memory=2676 CPUtime=0.31 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) R 29612 29612 26090 0 -1 4202560 1229 0 0 0 31 0 0 0 20 0 15 0 517076020 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415125158000 140416233965512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15151156 memory=1764 CPUtime=0.26 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) R 29612 29612 26090 0 -1 1077944384 932 0 0 0 26 0 0 0 20 0 15 0 517076020 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415124092048 140416255809237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15151156 memory=111632 CPUtime=0.39 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) R 29612 29612 26090 0 -1 4202560 2051 0 0 0 39 0 0 0 20 0 15 0 517076020 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415123049648 140416248895867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 20117 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81924 KiB
[startup+1.50087 s]
/proc/loadavg: 1.77 1.85 1.90 5/231 29628
/proc/meminfo: memFree=26114924/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15151156 memory=210860 CPUtime=87.99 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 48499 0 0 0 8785 14 0 0 20 0 15 0 517076014 15514783744 52715 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3787789 52715 3502 1 0 3748889 0
[pid=29614/tid=29615] ppid=29612 vsize=15151156 memory=1456 CPUtime=83.14 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 14099 0 0 0 8308 6 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416260037744 140415855954604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15151156 memory=218028 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15151156 memory=66156 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1031 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15151156 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15151156 memory=2024 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 959 0 0 0 1 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415128315232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415127262848 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15151156 memory=1448 CPUtime=2.1 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29612 29612 26090 0 -1 1077944384 11424 0 0 0 209 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415125158000 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15151156 memory=1980 CPUtime=1.99 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29612 29612 26090 0 -1 1077944384 9713 0 0 0 198 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415124105200 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15151156 memory=6791534058613427641 CPUtime=0.61 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29612 29612 26090 0 -1 1077944384 7573 0 0 0 59 2 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415123052912 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15151156 memory=1064 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 615 0 0 0 1 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 87.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212316 KiB
[startup+84.0006 s]*
/proc/loadavg: 1.86 1.89 1.91 3/230 29634
/proc/meminfo: memFree=25992224/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15151156 memory=210860 CPUtime=88.8 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 48511 0 0 0 8866 14 0 0 20 0 15 0 517076014 15514783744 52715 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3787789 52715 3502 1 0 3748889 0
[pid=29614/tid=29615] ppid=29612 vsize=15151156 memory=6791534058613427641 CPUtime=83.95 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 14111 0 0 0 8389 6 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416260036168 140415858511052 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15151156 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15151156 memory=1804 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15151156 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1031 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15151156 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15151156 memory=2792 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 959 0 0 0 1 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15151156 memory=2712 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415128315232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415127262848 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15151156 memory=3136 CPUtime=2.1 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29612 29612 26090 0 -1 1077944384 11424 0 0 0 209 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415125158000 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15151156 memory=1452 CPUtime=1.99 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29612 29612 26090 0 -1 1077944384 9713 0 0 0 198 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415124105200 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15151156 memory=228896 CPUtime=0.61 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29612 29612 26090 0 -1 1077944384 7573 0 0 0 59 2 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415123052912 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15151156 memory=2844 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 615 0 0 0 1 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 88.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212316 KiB
[startup+84.4006 s]
/proc/loadavg: 1.86 1.89 1.91 3/230 29634
/proc/meminfo: memFree=25992224/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15151156 memory=210860 CPUtime=89.19 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 48512 0 0 0 8905 14 0 0 20 0 15 0 517076014 15514783744 52715 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3787789 52715 3502 1 0 3748889 0
[pid=29614/tid=29615] ppid=29612 vsize=15151156 memory=288230621803970871 CPUtime=84.34 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 14112 0 0 0 8428 6 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416260036168 140415853499767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15151156 memory=66156 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15151156 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1031 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15151156 memory=2024 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15151156 memory=1416 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 959 0 0 0 1 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415128315232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15151156 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415127262848 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15151156 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15151156 memory=10600 CPUtime=2.1 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29612 29612 26090 0 -1 1077944384 11424 0 0 0 209 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415125158000 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15151156 memory=1736 CPUtime=1.99 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29612 29612 26090 0 -1 1077944384 9713 0 0 0 198 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415124105200 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15151156 memory=6196 CPUtime=0.61 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29612 29612 26090 0 -1 1077944384 7573 0 0 0 59 2 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415123052912 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15151156 memory=636 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15151156 memory=2836 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 615 0 0 0 1 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 89.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212316 KiB
[startup+84.5006 s]
/proc/loadavg: 1.86 1.89 1.91 3/230 29634
/proc/meminfo: memFree=25992224/32770624 swapFree=67002132/67108860
[pid=29612] ppid=29609 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29612/stat : 29612 (xcsp3-exec) S 29609 29612 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076014 115843072 364 33554432000 4194304 5098028 140723429255840 140723429253944 140045378495100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15855616 140723429258071 140723429258329 140723429258329 140723429261254 0
/proc/29612/statm: 28282 364 305 221 0 87 0
[pid=29614] ppid=29612 vsize=15151156 memory=210860 CPUtime=89.29 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29612 29612 26090 0 -1 1077944320 48513 0 0 0 8915 14 0 0 20 0 15 0 517076014 15514783744 52715 33554432000 4194304 4196468 140727412975616 140727412958160 140416255799031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
/proc/29614/statm: 3787789 52715 3502 1 0 3748889 0
[pid=29614/tid=29615] ppid=29612 vsize=15151156 memory=210860 CPUtime=84.44 cores=1,3,5,7
/proc/29614/task/29615/stat : 29615 (java) R 29612 29612 26090 0 -1 4202560 14113 0 0 0 8438 6 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416260036168 140415858026311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29616] ppid=29612 vsize=15151156 memory=210860 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) S 29612 29612 26090 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416183839120 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29617] ppid=29612 vsize=15151156 memory=210860 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29612 29612 26090 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416182786320 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29618] ppid=29612 vsize=15151156 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29612 29612 26090 0 -1 1077944384 1031 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416181734032 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29619] ppid=29612 vsize=15151156 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29612 29612 26090 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 517076015 15514783744 52715 33554432000 4194304 4196468 140727412975616 140416180681232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29620] ppid=29612 vsize=15151156 memory=12040 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29612 29612 26090 0 -1 1077944384 959 0 0 0 1 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415129369200 140416255810178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29621] ppid=29612 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29612 29612 26090 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415128315232 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29622] ppid=29612 vsize=15151156 memory=66156 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29612 29612 26090 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 517076017 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415127262848 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29623] ppid=29612 vsize=15151156 memory=66156 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415126211152 140416255817627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29624] ppid=29612 vsize=15151156 memory=988 CPUtime=2.1 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29612 29612 26090 0 -1 1077944384 11424 0 0 0 209 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415125158000 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29625] ppid=29612 vsize=15151156 memory=1232 CPUtime=1.99 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29612 29612 26090 0 -1 1077944384 9713 0 0 0 198 1 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415124105200 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29626] ppid=29612 vsize=15151156 memory=10600 CPUtime=0.61 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29612 29612 26090 0 -1 1077944384 7573 0 0 0 59 2 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415123052912 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29627] ppid=29612 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29612 29612 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415122000352 140416255809237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
[pid=29614/tid=29628] ppid=29612 vsize=15151156 memory=210856 CPUtime=0.01 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29612 29612 26090 0 -1 1077944384 615 0 0 0 1 0 0 0 20 0 15 0 517076020 15514783744 52715 33554432000 4194304 4196468 140727412975616 140415120948144 140416255810178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14561280 140727412978651 140727412978826 140727412978826 140727412981711 0
Current children cumulated CPU time: 89.29 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212316 KiB
Child status: 0
Real time (s): 84.5482
CPU time (s): 89.3536
CPU user time (s): 89.2024
CPU system time (s): 0.151183
CPU usage (%): 105.684
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 219520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2024
system time used= 0.151183
maximum resident set size= 218064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4430
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 29612
# total CPU time (s): 89.3536
# total CPU user time (s): 89.2024
# total CPU system time (s): 0.151183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.633603 second user time and 0.719648 second system time
The end