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 (15104 MiB free)
memory of node 1: 16384 MiB (11460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301528-1532882432/watcher-4301528-1532882432 -o /tmp/evaluation-result-4301528-1532882432/solver-4301528-1532882432 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 1400886006 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301528-1532882432.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9736, runsolver pid=9733
[startup+0.100132 s]*
/proc/loadavg: 2.03 2.08 2.01 3/218 9752
/proc/meminfo: memFree=27184976/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14082940 memory=28504 CPUtime=0.12 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 5549 0 0 0 11 1 0 0 20 0 15 0 105806386 14420930560 7126 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3520735 7126 2994 1 0 3483012 0
[pid=9738/tid=9739] ppid=9736 vsize=14082940 memory=7828282681255498587 CPUtime=0.09 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 3566 0 0 0 9 0 0 0 20 0 15 0 105806386 14420930560 7126 33554432000 4194304 4196468 140734425691648 140081713583920 140081709362582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 7126 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14082940 memory=140504965740160 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 7126 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 7126 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 7126 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14082940 memory=140504965740160 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105806389 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806389 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105806389 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14082940 memory=140504965740160 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) R 9736 9736 7585 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 105806392 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080614157168 140081690597386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14082940 memory=140504965740160 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 7126 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29960 KiB
[startup+0.210865 s]*
/proc/loadavg: 2.03 2.08 2.01 4/218 9752
/proc/meminfo: memFree=27174432/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14082940 memory=40648 CPUtime=0.34 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 8200 0 0 0 32 2 0 0 20 0 15 0 105806386 14420930560 10162 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3520735 10162 3216 1 0 3483012 0
[pid=9738/tid=9739] ppid=9736 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 5445 0 0 0 18 1 0 0 20 0 15 0 105806386 14420930560 10226 33554432000 4194304 4196468 140734425691648 140081713585632 140081702028661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 10226 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14082940 memory=140504965755619 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 10226 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 10226 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105806387 14420930560 10226 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14082940 memory=140504965740160 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105806389 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806389 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105806389 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 15 0 105806392 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 105806392 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14082940 memory=140504965740160 CPUtime=0.08 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) S 9736 9736 7585 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 105806392 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080614157168 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806392 14420930560 10226 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42104 KiB
[startup+0.315428 s]*
/proc/loadavg: 2.03 2.08 2.01 4/218 9752
/proc/meminfo: memFree=27166940/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14087196 memory=48204 CPUtime=0.53 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 9242 0 0 0 50 3 0 0 20 0 15 0 105806386 14425288704 12051 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3521799 12051 3262 1 0 3483012 0
[pid=9738/tid=9739] ppid=9736 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 6194 0 0 0 28 2 0 0 20 0 15 0 105806386 14425288704 12051 33554432000 4194304 4196468 140734425691648 140081713587424 140081693431134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14425288704 12051 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14425288704 12051 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14425288704 12051 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105806387 14425288704 12051 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105806389 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806389 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105806389 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14087196 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 487 0 0 0 3 0 0 0 20 0 15 0 105806392 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 314 0 0 0 5 0 0 0 20 0 15 0 105806392 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) S 9736 9736 7585 0 -1 1077944384 951 0 0 0 13 0 0 0 20 0 15 0 105806392 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080614157168 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806392 14425288704 12051 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49660 KiB
[startup+0.710415 s]
/proc/loadavg: 2.03 2.08 2.01 5/218 9752
/proc/meminfo: memFree=27142984/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14089320 memory=93716 CPUtime=1.79 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 13550 0 0 0 175 4 0 0 20 0 15 0 105806386 14427463680 23429 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3522330 23429 3363 1 0 3483524 0
[pid=9738/tid=9739] ppid=9736 vsize=14089320 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 6969 0 0 0 65 3 0 0 20 0 15 0 105806386 14427463680 23429 33554432000 4194304 4196468 140734425691648 140081713586368 140081314952394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14427463680 23429 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14427463680 23429 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14089320 memory=30144 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806387 14427463680 23429 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105806387 14427463680 23429 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105806389 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806389 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105806389 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14089320 memory=756 CPUtime=0.33 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) R 9736 9736 7585 0 -1 4202560 1431 0 0 0 33 0 0 0 20 0 15 0 105806392 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080616253712 140081686947134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14089320 memory=1616 CPUtime=0.35 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) R 9736 9736 7585 0 -1 4202560 1287 0 0 0 35 0 0 0 20 0 15 0 105806392 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080615190472 140081692847481 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14089320 memory=1836 CPUtime=0.4 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) R 9736 9736 7585 0 -1 4202560 2557 0 0 0 40 0 0 0 20 0 15 0 105806392 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080614157168 140081701587774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105806392 14427463680 23429 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 95172 KiB
[startup+1.50193 s]
/proc/loadavg: 2.03 2.08 2.01 5/218 9752
/proc/meminfo: memFree=27051272/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
[pid=9738/tid=9744] ppid=9736 vsize=14091368 memory=226840 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 642 0 0 0 1 0 0 0 20 0 15 0 105806389 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14091368 memory=2 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14091368 memory=226872 CPUtime=3.06 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 20876 0 0 0 304 2 0 0 20 0 15 0 105806392 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14091368 memory=164 CPUtime=2.36 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 14562 0 0 0 235 1 0 0 20 0 15 0 105806392 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14091368 memory=6943526294502006880 CPUtime=0.79 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) S 9736 9736 7585 0 -1 1077944384 7853 0 0 0 77 2 0 0 20 0 15 0 105806392 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080614157168 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14091368 memory=226828 CPUtime=0.02 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 978 0 0 0 1 1 0 0 20 0 15 0 105806392 14429560832 56718 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 108.59 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 228328 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/218 9754
/proc/meminfo: memFree=26985388/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14091368 memory=226992 CPUtime=168.85 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 65493 0 0 0 16868 17 0 0 20 0 15 0 105806386 14429560832 56748 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3522842 56748 3424 1 0 3484036 0
[pid=9738/tid=9739] ppid=9736 vsize=14091368 memory=226936 CPUtime=162.25 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 12731 0 0 0 16220 5 0 0 20 0 15 0 105806386 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081713587272 140081322672065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14091368 memory=226936 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 237 0 0 0 0 1 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14091368 memory=226936 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 956 0 0 0 1 0 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14091368 memory=7595441049559187558 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14091368 memory=226936 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14091368 memory=226936 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 667 0 0 0 1 0 0 0 20 0 15 0 105806389 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14091368 memory=226992 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14091368 memory=226936 CPUtime=3.2 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 23555 0 0 0 317 3 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14091368 memory=226992 CPUtime=2.45 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 16310 0 0 0 244 1 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14091368 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) S 9736 9736 7585 0 -1 1077944384 8255 0 0 0 77 2 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080614157168 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14091368 memory=226992 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14091368 memory=1456 CPUtime=0.04 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1316 0 0 0 1 3 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 168.85 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 228448 KiB
[startup+222.301 s]
/proc/loadavg: 2.07 2.07 2.02 3/218 9832
/proc/meminfo: memFree=26779856/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14091368 memory=226992 CPUtime=228.88 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 66599 0 0 0 22871 17 0 0 20 0 15 0 105806386 14429560832 56748 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3522842 56748 3424 1 0 3484036 0
[pid=9738/tid=9739] ppid=9736 vsize=14091368 memory=226992 CPUtime=222.25 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 13263 0 0 0 22220 5 0 0 20 0 15 0 105806386 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081713589784 140081323068378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14091368 memory=226992 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 237 0 0 0 0 1 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14091368 memory=226992 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 956 0 0 0 1 0 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105806387 14429560832 56748 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14091368 memory=226992 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 15 0 105806389 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14091368 memory=226992 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14091368 memory=1456 CPUtime=3.21 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 23697 0 0 0 318 3 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14091368 memory=1456 CPUtime=2.45 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 16376 0 0 0 244 1 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14091368 memory=3872 CPUtime=0.79 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) S 9736 9736 7585 0 -1 1077944384 8590 0 0 0 77 2 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080614157168 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14091368 memory=226992 CPUtime=0.05 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1340 0 0 0 2 3 0 0 20 0 15 0 105806392 14429560832 56748 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 228.88 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 228448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.401 s]
/proc/loadavg: 2.05 2.06 2.02 3/218 9833
/proc/meminfo: memFree=26778956/32770624 swapFree=67108496/67108860
[pid=9736] ppid=9733 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (xcsp3-exec) S 9733 9736 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105806386 115843072 364 33554432000 4194304 5098028 140729489442624 140729489440728 139903546143356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36241408 140729489445952 140729489446153 140729489446153 140729489448906 0
/proc/9736/statm: 28282 364 306 221 0 87 0
[pid=9738] ppid=9736 vsize=14091368 memory=226996 CPUtime=252.03 cores=0,2,4,6
/proc/9738/stat : 9738 (java) S 9736 9736 7585 0 -1 1077944320 67507 0 0 0 25186 17 0 0 20 0 15 0 105806386 14429560832 56749 33554432000 4194304 4196468 140734425691648 140734425674192 140081709350647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
/proc/9738/statm: 3522842 56749 3424 1 0 3484036 0
[pid=9738/tid=9739] ppid=9736 vsize=14091368 memory=1456 CPUtime=245.35 cores=0,2,4,6
/proc/9738/task/9739/stat : 9739 (java) R 9736 9736 7585 0 -1 4202560 13306 0 0 0 24530 5 0 0 20 0 15 0 105806386 14429560832 56749 33554432000 4194304 4196468 140734425691648 140081713587072 140081323068360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9740] ppid=9736 vsize=14091368 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9740/stat : 9740 (java) S 9736 9736 7585 0 -1 1077944384 237 0 0 0 0 1 0 0 20 0 15 0 105806387 14429560832 56749 33554432000 4194304 4196468 140734425691648 140081639439248 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9741] ppid=9736 vsize=14091368 memory=288230583166042426 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9741/stat : 9741 (java) S 9736 9736 7585 0 -1 1077944384 956 0 0 0 1 0 0 0 20 0 15 0 105806387 14429560832 56749 33554432000 4194304 4196468 140734425691648 140081638386448 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9742] ppid=9736 vsize=14091368 memory=14694093276057955 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9742/stat : 9742 (java) S 9736 9736 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105806387 14429560832 56749 33554432000 4194304 4196468 140734425691648 140081637334160 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9743] ppid=9736 vsize=14091368 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9743/stat : 9743 (java) S 9736 9736 7585 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105806387 14429560832 56749 33554432000 4194304 4196468 140734425691648 140081636281360 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9744] ppid=9736 vsize=14091368 memory=1404 CPUtime=0.01 cores=0,2,4,6
/proc/9738/task/9744/stat : 9744 (java) S 9736 9736 7585 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 15 0 105806389 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080620472432 140081709361794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9745] ppid=9736 vsize=14091368 memory=3036 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9745/stat : 9745 (java) S 9736 9736 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080619418400 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9746] ppid=9736 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9746/stat : 9746 (java) S 9736 9736 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105806389 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080618366064 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9747] ppid=9736 vsize=14091368 memory=226996 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9747/stat : 9747 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080617314384 140081709369243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9748] ppid=9736 vsize=14091368 memory=1408 CPUtime=3.26 cores=0,2,4,6
/proc/9738/task/9748/stat : 9748 (java) S 9736 9736 7585 0 -1 1077944384 24338 0 0 0 323 3 0 0 20 0 15 0 105806392 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080616262256 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9749] ppid=9736 vsize=14091368 memory=2916 CPUtime=2.45 cores=0,2,4,6
/proc/9738/task/9749/stat : 9749 (java) S 9736 9736 7585 0 -1 1077944384 16391 0 0 0 244 1 0 0 20 0 15 0 105806392 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080615209456 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9750] ppid=9736 vsize=14091368 memory=1456 CPUtime=0.8 cores=0,2,4,6
/proc/9738/task/9750/stat : 9750 (java) S 9736 9736 7585 0 -1 1077944384 8764 0 0 0 78 2 0 0 20 0 15 0 105806392 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080614157168 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9751] ppid=9736 vsize=14091368 memory=430204 CPUtime=0 cores=0,2,4,6
/proc/9738/task/9751/stat : 9751 (java) S 9736 9736 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105806392 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080613104608 140081709360853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
[pid=9738/tid=9752] ppid=9736 vsize=14091368 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/9738/task/9752/stat : 9752 (java) S 9736 9736 7585 0 -1 1077944384 1343 0 0 0 3 4 0 0 20 0 15 0 105806392 14429560832 56749 33554432000 4194304 4196468 140734425691648 140080612051376 140081709361794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10952704 140734425695372 140734425695542 140734425695542 140734425698255 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 228452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.414 s]
# the end of solver process 9736 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.877 s, system=0.186159 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 245.414
CPU time (s): 252.063
CPU user time (s): 251.877
CPU system time (s): 0.186159
CPU usage (%): 102.709
Max. virtual memory (cumulated for all children) (KiB): 14206284
Max. memory (cumulated for all children) (KiB): 233056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.877
system time used= 0.186159
maximum resident set size= 231600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8354
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 9736
# total CPU time (s): 252.063
# total CPU user time (s): 251.877
# total CPU system time (s): 0.186159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41238 second user time and 2.36651 second system time
The end