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 (4599 MiB free)
memory of node 1: 16384 MiB (6925 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403743-1568993775/watcher-4403743-1568993775 -o /var/tmp/evaluation-result-4403743-1568993775/solver-4403743-1568993775 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568993101-2371 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1038298493 HOME/instance-4403743-1568993775.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
Current StackSize limit: 8192 KiB
solver pid=2625, runsolver pid=2622
[startup+0.100095 s]*
/proc/loadavg: 8.46 8.31 8.12 3/216 2653
/proc/meminfo: memFree=11768256/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15144776 memory=29368 CPUtime=0.12 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 5748 0 0 0 11 1 0 0 20 0 15 0 475616130 15508250624 7342 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3786194 7342 3149 1 0 3748377 0
[pid=2627/tid=2628] ppid=2625 vsize=15144776 memory=-8818738308637310913 CPUtime=0.09 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) R 2625 2625 2340 0 -1 4202560 3698 0 0 0 9 0 0 0 20 0 15 0 475616131 15508250624 7342 33554432000 4194304 4196468 140734320964432 140405183473456 140405179262109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 7342 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15144776 memory=140218588796544 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 7342 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 7342 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 7342 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15144776 memory=140218588796544 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616133 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616133 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404646736800 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616134 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404645684208 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) S 2625 2625 2340 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404643580400 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404642527856 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15144776 memory=140218588796544 CPUtime=0.01 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) R 2625 2625 2340 0 -1 4202560 328 0 0 0 1 0 0 0 20 0 15 0 475616136 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404641475312 140405179252118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15144776 memory=140218588796544 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 7342 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB
[startup+0.210707 s]*
/proc/loadavg: 8.46 8.31 8.12 4/229 2666
/proc/meminfo: memFree=11739968/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15144776 memory=40612 CPUtime=0.34 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 9338 0 0 0 31 3 0 0 20 0 15 0 475616130 15508250624 10153 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3786194 10153 3311 1 0 3748377 0
[pid=2627/tid=2628] ppid=2625 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) R 2625 2625 2340 0 -1 4202560 6590 0 0 0 18 2 0 0 20 0 15 0 475616131 15508250624 10153 33554432000 4194304 4196468 140734320964432 140405183473360 140405163320670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15144776 memory=1943324 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 10153 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15144776 memory=140218592283030 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 10153 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 10153 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15508250624 10153 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15144776 memory=140218588796544 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475616133 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616133 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404646736800 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616134 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404645684208 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) S 2625 2625 2340 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 475616136 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404643580400 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) S 2625 2625 2340 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 475616136 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404642527856 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15144776 memory=140218588796544 CPUtime=0.08 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) R 2625 2625 2340 0 -1 4202560 805 0 0 0 8 0 0 0 20 0 15 0 475616136 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404641475120 140405158374707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616136 15508250624 10153 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42064 KiB
[startup+0.310501 s]*
/proc/loadavg: 8.46 8.31 8.12 6/229 2666
/proc/meminfo: memFree=11719752/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15149032 memory=49908 CPUtime=0.52 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 10781 0 0 0 49 3 0 0 20 0 15 0 475616130 15512608768 12477 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3787258 12477 3362 1 0 3748377 0
[pid=2627/tid=2628] ppid=2625 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) R 2625 2625 2340 0 -1 4202560 7735 0 0 0 28 2 0 0 20 0 15 0 475616131 15512608768 12477 33554432000 4194304 4196468 140734320964432 140405183471296 140405179262109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15512608768 12477 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15512608768 12477 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15149032 memory=667913 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616132 15512608768 12477 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15512608768 12477 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475616133 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616133 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404646736800 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15149032 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616134 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404645684208 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15149032 memory=7234515402122427041 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15149032 memory=6944938067432061290 CPUtime=0.04 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) R 2625 2625 2340 0 -1 4202560 619 0 0 0 4 0 0 0 20 0 15 0 475616136 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404643570784 140405160760972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15149032 memory=6944656592455350634 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) S 2625 2625 2340 0 -1 1077944384 184 0 0 0 3 0 0 0 20 0 15 0 475616136 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404642527856 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15149032 memory=-8412652169205224307 CPUtime=0.12 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) S 2625 2625 2340 0 -1 1077944384 956 0 0 0 12 0 0 0 20 0 15 0 475616136 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404641475312 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15149032 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15149032 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616136 15512608768 12477 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51360 KiB
[startup+0.707558 s]
/proc/loadavg: 8.46 8.31 8.12 7/229 2666
/proc/meminfo: memFree=11693792/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15151156 memory=91400 CPUtime=1.73 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 15416 0 0 0 167 6 0 0 20 0 15 0 475616130 15514783744 22850 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3787789 22850 3457 1 0 3748889 0
[pid=2627/tid=2628] ppid=2625 vsize=15151156 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) R 2625 2625 2340 0 -1 4202560 9016 0 0 0 66 3 0 0 20 0 15 0 475616131 15514783744 22850 33554432000 4194304 4196468 140734320964432 140405183478224 140404783952541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15514783744 22850 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15514783744 22850 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616132 15514783744 22850 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616132 15514783744 22850 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15151156 memory=11632 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475616133 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15151156 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616133 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404646736800 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15151156 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616134 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404645684208 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15151156 memory=780 CPUtime=0.28 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) R 2625 2625 2340 0 -1 4202560 1598 0 0 0 28 0 0 0 20 0 15 0 475616136 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404643561416 140405158480087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15151156 memory=6032 CPUtime=0.3 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) R 2625 2625 2340 0 -1 4202560 1054 0 0 0 30 0 0 0 20 0 15 0 475616136 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404642514400 140405158493005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15151156 memory=624 CPUtime=0.43 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) R 2625 2625 2340 0 -1 4202560 2437 0 0 0 42 1 0 0 20 0 15 0 475616136 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404641475312 140405158647100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15151156 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616136 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616136 15514783744 22850 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92852 KiB
[startup+1.50856 s]
/proc/loadavg: 8.46 8.31 8.12 8/233 2670
/proc/meminfo: memFree=11500164/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 52462 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2715] ppid=2625 vsize=15420488 memory=1452 CPUtime=7.85 cores=0,2,4,6
/proc/2627/task/2715/stat : 2715 (java) R 2625 2625 2340 0 -1 4202560 88 0 0 0 785 0 0 0 20 0 19 0 475616260 15790579712 52462 33554432000 4194304 4196468 140734320964432 140404561268384 140404786332142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2716] ppid=2625 vsize=15420488 memory=221892 CPUtime=7.33 cores=0,2,4,6
/proc/2627/task/2716/stat : 2716 (java) R 2625 2625 2340 0 -1 4202560 421 0 0 0 733 0 0 0 20 0 19 0 475616260 15790579712 52462 33554432000 4194304 4196468 140734320964432 140404630154384 140404786778164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2717] ppid=2625 vsize=15420488 memory=280436937584624 CPUtime=7.34 cores=0,2,4,6
/proc/2627/task/2717/stat : 2717 (java) R 2625 2625 2340 0 -1 4202560 158 0 0 0 733 1 0 0 20 0 19 0 475616260 15790579712 52462 33554432000 4194304 4196468 140734320964432 140404558112072 140404787208190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2718] ppid=2625 vsize=15420488 memory=1 CPUtime=7.3 cores=0,2,4,6
/proc/2627/task/2718/stat : 2718 (java) R 2625 2625 2340 0 -1 4202560 250 0 0 0 730 0 0 0 20 0 19 0 475616261 15790579712 52462 33554432000 4194304 4196468 140734320964432 140404560216360 140404787621933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 36.22 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 211300 KiB
[startup+10.4016 s]
/proc/loadavg: 9.09 8.45 8.17 12/237 2798
/proc/meminfo: memFree=11392176/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15420488 memory=205744 CPUtime=39.35 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 37137 0 0 0 3918 17 0 0 20 0 19 0 475616130 15790579712 51436 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3855122 51436 3521 1 0 3816222 0
[pid=2627/tid=2628] ppid=2625 vsize=15420488 memory=140218468403730 CPUtime=1.09 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) S 2625 2625 2340 0 -1 1077944384 10922 0 0 0 105 4 0 0 20 0 19 0 475616131 15790579712 51436 33554432000 4194304 4196468 140734320964432 140405183480960 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15420488 memory=280436936934752 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 51436 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15420488 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 19 0 475616132 15790579712 51436 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15420488 memory=576460758198939444 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1342 0 0 0 2 0 0 0 20 0 19 0 475616132 15790579712 51436 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15420488 memory=288287757804241700 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 19 0 475616132 15790579712 51436 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15420488 memory=280436936802544 CPUtime=0.01 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 525 0 0 0 1 0 0 0 20 0 19 0 475616133 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475616133 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404646736864 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15420488 memory=221044 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475616134 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404645684224 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15420488 memory=0 CPUtime=2.11 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) S 2625 2625 2340 0 -1 1077944384 8687 0 0 0 210 1 0 0 20 0 19 0 475616136 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404643580400 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15420488 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) S 2625 2625 2340 0 -1 1077944384 6470 0 0 0 192 1 0 0 20 0 19 0 475616136 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404642527856 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15420488 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) S 2625 2625 2340 0 -1 1077944384 5278 0 0 0 72 2 0 0 20 0 19 0 475616136 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404641475312 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2715] ppid=2625 vsize=15420488 memory=0 CPUtime=8.64 cores=0,2,4,6
/proc/2627/task/2715/stat : 2715 (java) R 2625 2625 2340 0 -1 4202560 90 0 0 0 863 1 0 0 20 0 19 0 475616260 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404561270912 140404787621858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2716] ppid=2625 vsize=15420488 memory=0 CPUtime=8.1 cores=0,2,4,6
/proc/2627/task/2716/stat : 2716 (java) R 2625 2625 2340 0 -1 4202560 422 0 0 0 810 0 0 0 20 0 19 0 475616260 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404630151720 140404786778266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2717] ppid=2625 vsize=15420488 memory=0 CPUtime=8.11 cores=0,2,4,6
/proc/2627/task/2717/stat : 2717 (java) R 2625 2625 2340 0 -1 4202560 159 0 0 0 810 1 0 0 20 0 19 0 475616260 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404558111168 140404787622224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2718] ppid=2625 vsize=15420488 memory=0 CPUtime=8.08 cores=0,2,4,6
/proc/2627/task/2718/stat : 2718 (java) R 2625 2625 2340 0 -1 4202560 251 0 0 0 808 0 0 0 20 0 19 0 475616261 15790579712 51436 33554432000 4194304 4196468 140734320964432 140404560216056 140404787621847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 39.35 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 207196 KiB
[startup+11.2016 s]
/proc/loadavg: 9.09 8.45 8.17 9/237 2798
/proc/meminfo: memFree=11395852/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15420488 memory=200612 CPUtime=42.51 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 37153 0 0 0 4234 17 0 0 20 0 19 0 475616130 15790579712 50153 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3855122 50153 3521 1 0 3816222 0
[pid=2627/tid=2628] ppid=2625 vsize=15420488 memory=207796 CPUtime=1.09 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) S 2625 2625 2340 0 -1 1077944384 10922 0 0 0 105 4 0 0 20 0 19 0 475616131 15790579712 50153 33554432000 4194304 4196468 140734320964432 140405183480960 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15420488 memory=1 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 50153 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15420488 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 50153 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15420488 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1342 0 0 0 2 0 0 0 20 0 19 0 475616132 15790579712 50153 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15420488 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 393 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 50153 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15420488 memory=214320 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 19 0 475616133 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15420488 memory=463 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475616133 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404646736864 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475616134 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404645684224 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15420488 memory=1988 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15420488 memory=988 CPUtime=2.11 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) S 2625 2625 2340 0 -1 1077944384 8690 0 0 0 210 1 0 0 20 0 19 0 475616136 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404643580400 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15420488 memory=1428 CPUtime=1.93 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) S 2625 2625 2340 0 -1 1077944384 6470 0 0 0 192 1 0 0 20 0 19 0 475616136 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404642527856 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15420488 memory=1728 CPUtime=0.74 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) S 2625 2625 2340 0 -1 1077944384 5281 0 0 0 72 2 0 0 20 0 19 0 475616136 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404641475312 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15420488 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2715] ppid=2625 vsize=15420488 memory=222404 CPUtime=9.41 cores=0,2,4,6
/proc/2627/task/2715/stat : 2715 (java) R 2625 2625 2340 0 -1 4202560 91 0 0 0 940 1 0 0 20 0 19 0 475616260 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404561268384 140404786126596 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2716] ppid=2625 vsize=15420488 memory=0 CPUtime=8.89 cores=0,2,4,6
/proc/2627/task/2716/stat : 2716 (java) R 2625 2625 2340 0 -1 4202560 426 0 0 0 889 0 0 0 20 0 19 0 475616260 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404630152160 140404787688071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2717] ppid=2625 vsize=15420488 memory=0 CPUtime=8.9 cores=0,2,4,6
/proc/2627/task/2717/stat : 2717 (java) R 2625 2625 2340 0 -1 4202560 160 0 0 0 889 1 0 0 20 0 19 0 475616260 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404558111936 140404787208303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2718] ppid=2625 vsize=15420488 memory=280436938101280 CPUtime=8.88 cores=0,2,4,6
/proc/2627/task/2718/stat : 2718 (java) R 2625 2625 2340 0 -1 4202560 255 0 0 0 888 0 0 0 20 0 19 0 475616261 15790579712 50153 33554432000 4194304 4196468 140734320964432 140404560218416 140404787621816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 42.51 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 202064 KiB
[startup+11.4016 s]
/proc/loadavg: 9.09 8.45 8.17 9/237 2798
/proc/meminfo: memFree=11395852/32770624 swapFree=66956684/67108860
[pid=2625] ppid=2622 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (xcsp3-exec) S 2622 2625 2340 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616130 115843072 363 33554432000 4194304 5098028 140735954629072 140735954627176 140384063443580 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7794688 140735954633558 140735954633817 140735954633817 140735954636742 0
/proc/2625/statm: 28282 363 304 221 0 87 0
[pid=2627] ppid=2625 vsize=15420488 memory=197536 CPUtime=43.31 cores=0,2,4,6
/proc/2627/stat : 2627 (java) S 2625 2625 2340 0 -1 1077944320 37160 0 0 0 4314 17 0 0 20 0 19 0 475616130 15790579712 49384 33554432000 4194304 4196468 140734320964432 140734320946976 140405179240183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
/proc/2627/statm: 3855122 49384 3521 1 0 3816222 0
[pid=2627/tid=2628] ppid=2625 vsize=15420488 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/2627/task/2628/stat : 2628 (java) S 2625 2625 2340 0 -1 1077944384 10922 0 0 0 105 4 0 0 20 0 19 0 475616131 15790579712 49384 33554432000 4194304 4196468 140734320964432 140405183480960 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2629] ppid=2625 vsize=15420488 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2629/stat : 2629 (java) S 2625 2625 2340 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 49384 33554432000 4194304 4196468 140734320964432 140405107280656 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2630] ppid=2625 vsize=15420488 memory=222392 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2630/stat : 2630 (java) S 2625 2625 2340 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 49384 33554432000 4194304 4196468 140734320964432 140405106228112 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2631] ppid=2625 vsize=15420488 memory=15823283127847329 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2631/stat : 2631 (java) S 2625 2625 2340 0 -1 1077944384 1342 0 0 0 2 0 0 0 20 0 19 0 475616132 15790579712 49384 33554432000 4194304 4196468 140734320964432 140405105175568 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2632] ppid=2625 vsize=15420488 memory=423 CPUtime=0.03 cores=0,2,4,6
/proc/2627/task/2632/stat : 2632 (java) S 2625 2625 2340 0 -1 1077944384 393 0 0 0 3 0 0 0 20 0 19 0 475616132 15790579712 49384 33554432000 4194304 4196468 140734320964432 140405104123024 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2633] ppid=2625 vsize=15420488 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2627/task/2633/stat : 2633 (java) S 2625 2625 2340 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 19 0 475616133 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404647790576 140405179251330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2634] ppid=2625 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2634/stat : 2634 (java) S 2625 2625 2340 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475616133 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404646736864 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2635] ppid=2625 vsize=15420488 memory=140218469006867 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2635/stat : 2635 (java) S 2625 2625 2340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475616134 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404645684224 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2636] ppid=2625 vsize=15420488 memory=280436937038400 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2636/stat : 2636 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404644632784 140405179258779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2637] ppid=2625 vsize=15420488 memory=8747226831578988619 CPUtime=2.11 cores=0,2,4,6
/proc/2627/task/2637/stat : 2637 (java) S 2625 2625 2340 0 -1 1077944384 8690 0 0 0 210 1 0 0 20 0 19 0 475616136 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404643580400 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2638] ppid=2625 vsize=15420488 memory=288293294002251595 CPUtime=1.93 cores=0,2,4,6
/proc/2627/task/2638/stat : 2638 (java) S 2625 2625 2340 0 -1 1077944384 6470 0 0 0 192 1 0 0 20 0 19 0 475616136 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404642527856 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2639] ppid=2625 vsize=15420488 memory=3547084 CPUtime=0.74 cores=0,2,4,6
/proc/2627/task/2639/stat : 2639 (java) S 2625 2625 2340 0 -1 1077944384 5281 0 0 0 72 2 0 0 20 0 19 0 475616136 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404641475312 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2640] ppid=2625 vsize=15420488 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2640/stat : 2640 (java) S 2625 2625 2340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404640423008 140405179250389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2641] ppid=2625 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2627/task/2641/stat : 2641 (java) S 2625 2625 2340 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475616136 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404639369520 140405179251330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2715] ppid=2625 vsize=15420488 memory=0 CPUtime=9.61 cores=0,2,4,6
/proc/2627/task/2715/stat : 2715 (java) R 2625 2625 2340 0 -1 4202560 92 0 0 0 960 1 0 0 20 0 19 0 475616260 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404561268632 140404787622214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2716] ppid=2625 vsize=15420488 memory=0 CPUtime=9.09 cores=0,2,4,6
/proc/2627/task/2716/stat : 2716 (java) R 2625 2625 2340 0 -1 4202560 429 0 0 0 909 0 0 0 20 0 19 0 475616260 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404630154288 140404787458440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2717] ppid=2625 vsize=15420488 memory=0 CPUtime=9.1 cores=0,2,4,6
/proc/2627/task/2717/stat : 2717 (java) R 2625 2625 2340 0 -1 4202560 161 0 0 0 909 1 0 0 20 0 19 0 475616260 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404558112072 140404787621969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
[pid=2627/tid=2718] ppid=2625 vsize=15420488 memory=6656426216303648864 CPUtime=9.08 cores=0,2,4,6
/proc/2627/task/2718/stat : 2718 (java) R 2625 2625 2340 0 -1 4202560 257 0 0 0 908 0 0 0 20 0 19 0 475616261 15790579712 49384 33554432000 4194304 4196468 140734320964432 140404560216224 140404785964109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34394112 140734320972763 140734320972938 140734320972938 140734320975823 0
Current children cumulated CPU time: 43.31 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 198988 KiB
Child status: 0
Real time (s): 11.4513
CPU time (s): 43.494
CPU user time (s): 43.311
CPU system time (s): 0.18305
CPU usage (%): 379.818
Max. virtual memory (cumulated for all children) (KiB): 15535588
Max. memory (cumulated for all children) (KiB): 229664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.311
system time used= 0.18305
maximum resident set size= 228560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3089
involuntary context switches= 1191
# summary of solver processes directly reported to runsolver:
# pid: 2625
# total CPU time (s): 43.494
# total CPU user time (s): 43.311
# total CPU system time (s): 0.18305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099082 second user time and 0.161881 second system time
The end