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 (8918 MiB free)
memory of node 1: 16384 MiB (6884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403798-1568991514/watcher-4403798-1568991514 -o /tmp/evaluation-result-4403798-1568991514/solver-4403798-1568991514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 896832837 HOME/instance-4403798-1568991514.xml
running on 4 cores: 0,2,4,6
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
solver pid=11187, runsolver pid=11184
Current StackSize limit: 8192 KiB
[startup+0.100937 s]*
/proc/loadavg: 8.33 8.35 8.08 7/232 11203
/proc/meminfo: memFree=16166580/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15144776 memory=28812 CPUtime=0.13 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 5680 0 0 0 12 1 0 0 20 0 15 0 475408236 15508250624 7203 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3786194 7203 3125 1 0 3748377 0
[pid=11189/tid=11190] ppid=11187 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) R 11187 11187 7690 0 -1 4202560 3630 0 0 0 9 0 0 0 20 0 15 0 475408236 15508250624 7203 33554432000 4194304 4196468 140722707429072 139702115479312 139702111268246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 7203 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15144776 memory=139967357871744 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 7203 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15144776 memory=139967357871744 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408239 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408239 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701578811040 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408239 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701577757936 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) R 11187 11187 7690 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701575653616 139702111267458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) R 11187 11187 7690 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701574601072 139702096072813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15144776 memory=139967357871744 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) R 11187 11187 7690 0 -1 4202560 325 0 0 0 2 0 0 0 20 0 15 0 475408242 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701573548016 139702090060639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15144776 memory=139967357871744 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 7203 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30260 KiB
[startup+0.210826 s]*
/proc/loadavg: 8.33 8.35 8.08 6/232 11203
/proc/meminfo: memFree=16154628/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15144776 memory=40640 CPUtime=0.34 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 9315 0 0 0 32 2 0 0 20 0 15 0 475408236 15508250624 10160 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3786194 10160 3318 1 0 3748377 0
[pid=11189/tid=11190] ppid=11187 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) R 11187 11187 7690 0 -1 4202560 6583 0 0 0 18 2 0 0 20 0 15 0 475408236 15508250624 10160 33554432000 4194304 4196468 140722707429072 139702115486464 139702111268246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 10160 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15144776 memory=3389345 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 10160 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408237 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475408239 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408239 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701578811040 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15144776 memory=139967357871744 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408239 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701577757936 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) S 11187 11187 7690 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 15 0 475408242 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701575653616 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) S 11187 11187 7690 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 475408242 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701574601072 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) R 11187 11187 7690 0 -1 4202560 793 0 0 0 8 0 0 0 20 0 15 0 475408242 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701573548016 139702090241048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408242 15508250624 10160 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42088 KiB
[startup+0.319887 s]*
/proc/loadavg: 8.33 8.35 8.08 8/232 11203
/proc/meminfo: memFree=16147480/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15149032 memory=50068 CPUtime=0.54 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 10901 0 0 0 50 4 0 0 20 0 15 0 475408236 15512608768 12517 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3787258 12517 3355 1 0 3748377 0
[pid=11189/tid=11190] ppid=11187 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) R 11187 11187 7690 0 -1 4202560 7842 0 0 0 28 2 0 0 20 0 15 0 475408236 15512608768 12582 33554432000 4194304 4196468 140722707429072 139702115491152 139702095336798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15512608768 12582 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15149032 memory=3388955 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15512608768 12582 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408237 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408237 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15149032 memory=139967357871744 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475408239 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408239 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701578811040 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408239 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701577757936 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408242 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) S 11187 11187 7690 0 -1 1077944384 488 0 0 0 5 0 0 0 20 0 15 0 475408242 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701575653616 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) S 11187 11187 7690 0 -1 1077944384 335 0 0 0 3 0 0 0 20 0 15 0 475408242 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701574601072 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15149032 memory=139967357871744 CPUtime=0.12 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) R 11187 11187 7690 0 -1 4202560 934 0 0 0 12 0 0 0 20 0 15 0 475408242 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701573548016 139702111277658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408242 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15149032 memory=139967357871744 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408242 15512608768 12582 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51516 KiB
[startup+0.700725 s]
/proc/loadavg: 8.33 8.35 8.08 6/232 11203
/proc/meminfo: memFree=16132868/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15417412 memory=87348 CPUtime=1.55 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 15026 0 0 0 150 5 0 0 20 0 19 0 475408236 15787429888 21837 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3854353 21837 3454 1 0 3815453 0
[pid=11189/tid=11190] ppid=11187 vsize=15417412 memory=2120 CPUtime=0.62 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) S 11187 11187 7690 0 -1 1077944384 9295 0 0 0 59 3 0 0 20 0 19 0 475408236 15787429888 21837 33554432000 4194304 4196468 140722707429072 139702115497088 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15417412 memory=532 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475408237 15787429888 21837 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15417412 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475408237 15787429888 21837 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475408237 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15417412 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475408237 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15417412 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475408239 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15417412 memory=912 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475408239 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701578811040 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15417412 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475408239 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701577757936 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15417412 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15417412 memory=7302135314614015849 CPUtime=0.19 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) R 11187 11187 7690 0 -1 4202560 803 0 0 0 19 0 0 0 20 0 19 0 475408242 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701575640896 139702097284736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15417412 memory=6083347596160952918 CPUtime=0.19 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) R 11187 11187 7690 0 -1 4202560 942 0 0 0 19 0 0 0 20 0 19 0 475408242 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701574588000 139702097270608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15417412 memory=7295944995277656144 CPUtime=0.39 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) R 11187 11187 7690 0 -1 1077944384 1991 0 0 0 39 0 0 0 20 0 19 0 475408242 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701573545808 139702111266517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15417412 memory=7523096512984082771 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475408242 15787429888 21837 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 88796 KiB
[startup+1.50088 s]
/proc/loadavg: 8.33 8.35 8.08 11/236 11219
/proc/meminfo: memFree=16061984/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1233 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11244] ppid=11187 vsize=15553616 memory=74 CPUtime=44.27 cores=0,2,4,6
/proc/11189/task/11244/stat : 11244 (java) R 11187 11187 7690 0 -1 4202560 405 0 0 0 4427 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701554863208 139701753249542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11245] ppid=11187 vsize=15553616 memory=0 CPUtime=44.14 cores=0,2,4,6
/proc/11189/task/11245/stat : 11245 (java) R 11187 11187 7690 0 -1 4202560 1293 0 0 0 4414 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701560122128 139701754246775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11246] ppid=11187 vsize=15553616 memory=0 CPUtime=44.07 cores=0,2,4,6
/proc/11189/task/11246/stat : 11246 (java) R 11187 11187 7690 0 -1 4202560 1193 0 0 0 4407 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701561172616 139701754519836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11247] ppid=11187 vsize=15553616 memory=4286 CPUtime=43.93 cores=0,2,4,6
/proc/11189/task/11247/stat : 11247 (java) R 11187 11187 7690 0 -1 4202560 753 0 0 0 4393 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701553810776 139701753249952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 237.54 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 243720 KiB
[startup+60.8009 s]
/proc/loadavg: 8.43 8.39 8.11 10/237 11251
/proc/meminfo: memFree=15873832/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15553616 memory=242272 CPUtime=240.65 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 85804 0 0 0 24049 16 0 0 20 0 19 0 475408236 15926902784 60568 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3888404 60568 3527 1 0 3849504 0
[pid=11189/tid=11190] ppid=11187 vsize=15553616 memory=1056 CPUtime=0.62 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) S 11187 11187 7690 0 -1 1077944384 9600 0 0 0 59 3 0 0 20 0 19 0 475408236 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702115497088 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15553616 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1792 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15553616 memory=780 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 2125 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15553616 memory=3616 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15553616 memory=1112 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 1056 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15553616 memory=6048 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 1482 0 0 0 1 1 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15553616 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701578811104 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15553616 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701577757952 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15553616 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15553616 memory=14012 CPUtime=4.21 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) S 11187 11187 7690 0 -1 1077944384 24273 0 0 0 420 1 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701575653616 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15553616 memory=14048 CPUtime=4.13 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) S 11187 11187 7690 0 -1 1077944384 24806 0 0 0 409 4 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701574601072 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15553616 memory=29448 CPUtime=0.74 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) S 11187 11187 7690 0 -1 1077944384 8782 0 0 0 73 1 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701573548016 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15553616 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15553616 memory=242272 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1233 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11244] ppid=11187 vsize=15553616 memory=1448 CPUtime=45.05 cores=0,2,4,6
/proc/11189/task/11244/stat : 11244 (java) R 11187 11187 7690 0 -1 4202560 407 0 0 0 4505 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701554863208 139701753976544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11245] ppid=11187 vsize=15553616 memory=242272 CPUtime=44.92 cores=0,2,4,6
/proc/11189/task/11245/stat : 11245 (java) R 11187 11187 7690 0 -1 4202560 1293 0 0 0 4492 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701560122128 139701754520387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11246] ppid=11187 vsize=15553616 memory=2120 CPUtime=44.84 cores=0,2,4,6
/proc/11189/task/11246/stat : 11246 (java) R 11187 11187 7690 0 -1 4202560 1197 0 0 0 4484 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701561172616 139701754521648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11247] ppid=11187 vsize=15553616 memory=532 CPUtime=44.7 cores=0,2,4,6
/proc/11189/task/11247/stat : 11247 (java) R 11187 11187 7690 0 -1 4202560 753 0 0 0 4470 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701553810776 139701752389688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 240.65 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 243720 KiB
[startup+61.2009 s]
/proc/loadavg: 8.43 8.39 8.11 10/236 11251
/proc/meminfo: memFree=15872928/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15553616 memory=242272 CPUtime=242.24 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 86000 0 0 0 24208 16 0 0 20 0 19 0 475408236 15926902784 60568 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3888404 60568 3527 1 0 3849504 0
[pid=11189/tid=11190] ppid=11187 vsize=15553616 memory=3616 CPUtime=0.62 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) S 11187 11187 7690 0 -1 1077944384 9600 0 0 0 59 3 0 0 20 0 19 0 475408236 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702115497088 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15553616 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1792 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15553616 memory=6048 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 2125 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15553616 memory=7552 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15553616 memory=2832 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 1056 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15553616 memory=4255 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 1522 0 0 0 1 1 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701578811104 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15553616 memory=1 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701577757952 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15553616 memory=2 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15553616 memory=1 CPUtime=4.21 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) S 11187 11187 7690 0 -1 1077944384 24378 0 0 0 420 1 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701575653616 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15553616 memory=2 CPUtime=4.13 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) S 11187 11187 7690 0 -1 1077944384 24808 0 0 0 409 4 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701574601072 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15553616 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) S 11187 11187 7690 0 -1 1077944384 8784 0 0 0 73 1 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701573548016 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1263 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11244] ppid=11187 vsize=15553616 memory=421 CPUtime=45.45 cores=0,2,4,6
/proc/11189/task/11244/stat : 11244 (java) R 11187 11187 7690 0 -1 4202560 407 0 0 0 4545 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701554863488 139701753977892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11245] ppid=11187 vsize=15553616 memory=413 CPUtime=45.32 cores=0,2,4,6
/proc/11189/task/11245/stat : 11245 (java) R 11187 11187 7690 0 -1 4202560 1296 0 0 0 4532 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701560119896 139701754248380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11246] ppid=11187 vsize=15553616 memory=0 CPUtime=45.24 cores=0,2,4,6
/proc/11189/task/11246/stat : 11246 (java) R 11187 11187 7690 0 -1 4202560 1208 0 0 0 4524 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701561171504 139701753370368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11247] ppid=11187 vsize=15553616 memory=589972055364562179 CPUtime=45.09 cores=0,2,4,6
/proc/11189/task/11247/stat : 11247 (java) R 11187 11187 7690 0 -1 4202560 756 0 0 0 4509 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701553811448 139701753250583 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 242.24 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 243720 KiB
[startup+61.3009 s]
/proc/loadavg: 8.43 8.39 8.11 10/236 11251
/proc/meminfo: memFree=15872928/32770624 swapFree=66986244/67108860
[pid=11187] ppid=11184 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (xcsp3-exec) S 11184 11187 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475408236 115843072 362 33554432000 4194304 5098028 140722449334560 140722449332664 139790268830332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30236672 140722449339259 140722449339501 140722449339501 140722449342410 0
/proc/11187/statm: 28282 362 304 221 0 87 0
[pid=11189] ppid=11187 vsize=15553616 memory=242272 CPUtime=242.64 cores=0,2,4,6
/proc/11189/stat : 11189 (java) S 11187 11187 7690 0 -1 1077944320 86000 0 0 0 24248 16 0 0 20 0 19 0 475408236 15926902784 60568 33554432000 4194304 4196468 140722707429072 140722707411616 139702111256311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
/proc/11189/statm: 3888404 60568 3527 1 0 3849504 0
[pid=11189/tid=11190] ppid=11187 vsize=15553616 memory=1564 CPUtime=0.62 cores=0,2,4,6
/proc/11189/task/11190/stat : 11190 (java) S 11187 11187 7690 0 -1 1077944384 9600 0 0 0 59 3 0 0 20 0 19 0 475408236 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702115497088 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11191] ppid=11187 vsize=15553616 memory=279934426640736 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11191/stat : 11191 (java) S 11187 11187 7690 0 -1 1077944384 1792 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702067808784 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11192] ppid=11187 vsize=15553616 memory=55328 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11192/stat : 11192 (java) S 11187 11187 7690 0 -1 1077944384 2125 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139702066756240 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11193] ppid=11187 vsize=15553616 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11193/stat : 11193 (java) S 11187 11187 7690 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701702023440 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11194] ppid=11187 vsize=15553616 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/11189/task/11194/stat : 11194 (java) S 11187 11187 7690 0 -1 1077944384 1056 0 0 0 1 0 0 0 20 0 19 0 475408237 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701700970896 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11195] ppid=11187 vsize=15553616 memory=303430270546346295 CPUtime=0.02 cores=0,2,4,6
/proc/11189/task/11195/stat : 11195 (java) S 11187 11187 7690 0 -1 1077944384 1522 0 0 0 1 1 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701579864816 139702111267458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11196] ppid=11187 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11196/stat : 11196 (java) S 11187 11187 7690 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701578811104 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11197] ppid=11187 vsize=15553616 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11197/stat : 11197 (java) S 11187 11187 7690 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 475408239 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701577757952 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11198] ppid=11187 vsize=15553616 memory=237656 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11198/stat : 11198 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701576706512 139702111274907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11199] ppid=11187 vsize=15553616 memory=1448 CPUtime=4.21 cores=0,2,4,6
/proc/11189/task/11199/stat : 11199 (java) S 11187 11187 7690 0 -1 1077944384 24378 0 0 0 420 1 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701575653616 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11200] ppid=11187 vsize=15553616 memory=237640 CPUtime=4.13 cores=0,2,4,6
/proc/11189/task/11200/stat : 11200 (java) S 11187 11187 7690 0 -1 1077944384 24808 0 0 0 409 4 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701574601072 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11201] ppid=11187 vsize=15553616 memory=237656 CPUtime=0.74 cores=0,2,4,6
/proc/11189/task/11201/stat : 11201 (java) S 11187 11187 7690 0 -1 1077944384 8784 0 0 0 73 1 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701573548016 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11202] ppid=11187 vsize=15553616 memory=55328 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11202/stat : 11202 (java) S 11187 11187 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701572495712 139702111266517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11203] ppid=11187 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11189/task/11203/stat : 11203 (java) S 11187 11187 7690 0 -1 1077944384 1263 0 0 0 0 0 0 0 20 0 19 0 475408242 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701571443760 139702111267458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11244] ppid=11187 vsize=15553616 memory=1448 CPUtime=45.55 cores=0,2,4,6
/proc/11189/task/11244/stat : 11244 (java) R 11187 11187 7690 0 -1 4202560 407 0 0 0 4555 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701554863488 139701754517781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11245] ppid=11187 vsize=15553616 memory=279934426534240 CPUtime=45.42 cores=0,2,4,6
/proc/11189/task/11245/stat : 11245 (java) R 11187 11187 7690 0 -1 4202560 1296 0 0 0 4542 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701560119896 139701751276736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11246] ppid=11187 vsize=15553616 memory=-7737605721172012177 CPUtime=45.34 cores=0,2,4,6
/proc/11189/task/11246/stat : 11246 (java) R 11187 11187 7690 0 -1 4202560 1208 0 0 0 4534 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701561171504 139701753107336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
[pid=11189/tid=11247] ppid=11187 vsize=15553616 memory=4137282616176384387 CPUtime=45.19 cores=0,2,4,6
/proc/11189/task/11247/stat : 11247 (java) R 11187 11187 7690 0 -1 4202560 756 0 0 0 4519 0 0 0 20 0 19 0 475409796 15926902784 60568 33554432000 4194304 4196468 140722707429072 139701553811448 139701753107555 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140722707432431 140722707432602 140722707432602 140722707435471 0
Current children cumulated CPU time: 242.64 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 243720 KiB
Child status: 0
Real time (s): 61.3916
CPU time (s): 242.978
CPU user time (s): 242.797
CPU system time (s): 0.181401
CPU usage (%): 395.784
Max. virtual memory (cumulated for all children) (KiB): 15668976
Max. memory (cumulated for all children) (KiB): 244240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.797
system time used= 0.181401
maximum resident set size= 243800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5858
involuntary context switches= 4670
# summary of solver processes directly reported to runsolver:
# pid: 11187
# total CPU time (s): 242.978
# total CPU user time (s): 242.797
# total CPU system time (s): 0.181401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.418785 second user time and 0.6495 second system time
The end