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 (6369 MiB free)
memory of node 1: 16384 MiB (12669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301723-1532885073/watcher-4301723-1532885073 -o /tmp/evaluation-result-4301723-1532885073/solver-4301723-1532885073 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 115744063 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301723-1532885073.xml
running on 4 cores: 1,3,5,7
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
solver pid=11859, runsolver pid=11856
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.95 2.03 1.98 4/218 11875
/proc/meminfo: memFree=19479528/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14082940 memory=28576 CPUtime=0.12 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 5508 0 0 0 11 1 0 0 20 0 15 0 106070447 14420930560 7144 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3520735 7144 3020 1 0 3483012 0
[pid=11861/tid=11862] ppid=11859 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 3514 0 0 0 8 1 0 0 20 0 15 0 106070448 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267640489776 140267273400045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14082940 memory=139927756465792 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14082940 memory=139927756465792 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070450 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106070450 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106070451 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14082940 memory=139927756465792 CPUtime=0.01 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) R 11859 11859 6396 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 106070453 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267104155632 140267615276915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14082940 memory=139927756465792 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 7209 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30032 KiB
[startup+0.210811 s]*
/proc/loadavg: 1.95 2.03 1.98 3/218 11875
/proc/meminfo: memFree=19456352/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14082940 memory=41100 CPUtime=0.34 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 8318 0 0 0 32 2 0 0 20 0 15 0 106070447 14420930560 10275 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3520735 10275 3211 1 0 3483012 0
[pid=11861/tid=11862] ppid=11859 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 5427 0 0 0 18 1 0 0 20 0 15 0 106070448 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267640480488 140267628934517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14082940 memory=139927757092241 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14082940 memory=139927756465792 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106070450 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106070450 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106070451 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 735 0 0 0 3 0 0 0 20 0 15 0 106070453 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 15 0 106070453 14420930560 10340 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14082972 memory=139927756465792 CPUtime=0.08 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) S 11859 11859 6396 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 106070453 14420963328 10340 33554432000 4194304 4196468 140734677466256 140267104155632 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14420963328 10340 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070453 14420930560 10341 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42556 KiB
[startup+0.318017 s]*
/proc/loadavg: 1.95 2.03 1.98 4/218 11875
/proc/meminfo: memFree=19454944/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14087196 memory=48572 CPUtime=0.54 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 9327 0 0 0 51 3 0 0 20 0 15 0 106070447 14425288704 12143 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3521799 12143 3256 1 0 3483012 0
[pid=11861/tid=11862] ppid=11859 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 6215 0 0 0 28 2 0 0 20 0 15 0 106070448 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267640487616 140267620336990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106070450 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106070450 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106070451 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 754 0 0 0 5 0 0 0 20 0 15 0 106070453 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 154 0 0 0 5 0 0 0 20 0 15 0 106070453 14425288704 12208 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14087196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) S 11859 11859 6396 0 -1 1077944384 898 0 0 0 13 0 0 0 20 0 15 0 106070453 14425288704 12215 33554432000 4194304 4196468 140734677466256 140267104155632 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14425288704 12215 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070453 14425288704 12215 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 50028 KiB
[startup+0.700905 s]
/proc/loadavg: 1.95 2.03 1.98 5/218 11875
/proc/meminfo: memFree=19427500/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14089320 memory=163600 CPUtime=1.68 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 12472 0 0 0 162 6 0 0 20 0 15 0 106070447 14427463680 40900 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3522330 40900 3347 1 0 3483524 0
[pid=11861/tid=11862] ppid=11859 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 6700 0 0 0 63 4 0 0 20 0 15 0 106070448 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267640489856 140267276931929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14089320 memory=30196 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106070449 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070449 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106070450 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106070450 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106070451 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14089320 memory=5408 CPUtime=0.33 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) R 11859 11859 6396 0 -1 4202560 1719 0 0 0 33 0 0 0 20 0 15 0 106070453 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267106250832 140267615952440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14089320 memory=1008 CPUtime=0.36 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) R 11859 11859 6396 0 -1 4202560 992 0 0 0 36 0 0 0 20 0 15 0 106070453 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267105197920 140267617777879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14089320 memory=9992 CPUtime=0.29 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) S 11859 11859 6396 0 -1 1077944384 1749 0 0 0 29 0 0 0 20 0 15 0 106070453 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267104155632 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 40900 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 165056 KiB
[startup+1.50074 s]
/proc/loadavg: 1.95 2.03 1.98 3/218 11875
/proc/meminfo: memFree=19344048/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14089320 memory=828480 CPUtime=69.8 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 37600 0 0 0 6895 85 0 0 20 0 15 0 106070447 14427463680 207120 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3522330 207120 3418 1 0 3483524 0
[pid=11861/tid=11862] ppid=11859 vsize=14089320 memory=828480 CPUtime=65.11 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 11067 0 0 0 6504 7 0 0 20 0 15 0 106070448 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267640493184 140267278054137 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14089320 memory=4616 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 1068 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 887 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14089320 memory=828480 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 688 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14089320 memory=1408 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 894 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14089320 memory=4616 CPUtime=0.02 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 2247 0 0 0 2 0 0 0 20 0 15 0 106070450 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14089320 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106070450 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14089320 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 106070451 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14089320 memory=16412 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14089320 memory=1428 CPUtime=1.22 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 8896 0 0 0 121 1 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14089320 memory=15876 CPUtime=1.15 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 5576 0 0 0 115 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14089320 memory=16412 CPUtime=0.51 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) S 11859 11859 6396 0 -1 1077944384 4610 0 0 0 50 1 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267104155632 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14089320 memory=17272 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14089320 memory=4048 CPUtime=0.03 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 317 0 0 0 0 3 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 69.8 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 829936 KiB
[startup+67.2009 s]
/proc/loadavg: 2.04 2.04 1.99 3/217 11877
/proc/meminfo: memFree=14343484/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14089320 memory=828480 CPUtime=71.4 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 37674 0 0 0 7055 85 0 0 20 0 15 0 106070447 14427463680 207120 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3522330 207120 3418 1 0 3483524 0
[pid=11861/tid=11862] ppid=11859 vsize=14089320 memory=828480 CPUtime=66.71 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 11138 0 0 0 6664 7 0 0 20 0 15 0 106070448 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267640493184 140267278054361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14089320 memory=636 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 1068 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14089320 memory=960 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 887 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14089320 memory=1232 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 688 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 894 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14089320 memory=16412 CPUtime=0.02 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 2247 0 0 0 2 0 0 0 20 0 15 0 106070450 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14089320 memory=17272 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106070450 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14089320 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 106070451 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14089320 memory=30200 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14089320 memory=1456 CPUtime=1.22 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 8896 0 0 0 121 1 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14089320 memory=1456 CPUtime=1.15 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 5579 0 0 0 115 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14089320 memory=828480 CPUtime=0.51 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) S 11859 11859 6396 0 -1 1077944384 4610 0 0 0 50 1 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267104155632 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14089320 memory=1952 CPUtime=0.03 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 317 0 0 0 0 3 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 71.4 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 829936 KiB
[startup+68.0008 s]*
/proc/loadavg: 2.04 2.04 1.99 3/217 11877
/proc/meminfo: memFree=14343484/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14089320 memory=828480 CPUtime=72.21 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 37687 0 0 0 7136 85 0 0 20 0 15 0 106070447 14427463680 207120 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3522330 207120 3418 1 0 3483524 0
[pid=11861/tid=11862] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=67.52 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 11149 0 0 0 6745 7 0 0 20 0 15 0 106070448 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267640493128 140267278054174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14089320 memory=4872558044660077418 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 1068 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14089320 memory=1408 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 887 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14089320 memory=2996 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 688 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14089320 memory=1452 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 894 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14089320 memory=8744140 CPUtime=0.02 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 2247 0 0 0 2 0 0 0 20 0 15 0 106070450 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106070450 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14089320 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 106070451 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14089320 memory=1452 CPUtime=1.22 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 8898 0 0 0 121 1 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14089320 memory=8744140 CPUtime=1.15 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 5579 0 0 0 115 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14089320 memory=1408 CPUtime=0.51 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) S 11859 11859 6396 0 -1 1077944384 4610 0 0 0 50 1 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267104155632 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14089320 memory=2852 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14089320 memory=10624 CPUtime=0.03 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 317 0 0 0 0 3 0 0 20 0 15 0 106070453 14427463680 207120 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 72.21 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 829936 KiB
[startup+68.4009 s]
/proc/loadavg: 2.04 2.04 1.99 3/217 11877
/proc/meminfo: memFree=14343484/32770624 swapFree=67108860/67108860
[pid=11859] ppid=11856 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11859/stat : 11859 (xcsp3-exec) S 11856 11859 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106070447 115843072 364 33554432000 4194304 5098028 140730046007408 140730046005512 139639688061564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21196800 140730046014529 140730046014729 140730046014729 140730046017482 0
/proc/11859/statm: 28282 364 306 221 0 87 0
[pid=11861] ppid=11859 vsize=14089320 memory=828492 CPUtime=72.6 cores=1,3,5,7
/proc/11861/stat : 11861 (java) S 11859 11859 6396 0 -1 1077944320 37986 0 0 0 7175 85 0 0 20 0 15 0 106070447 14427463680 207123 33554432000 4194304 4196468 140734677466256 140734677448800 140267636256503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
/proc/11861/statm: 3522330 207123 3418 1 0 3483524 0
[pid=11861/tid=11862] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=67.91 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (java) R 11859 11859 6396 0 -1 4202560 11460 0 0 0 6784 7 0 0 20 0 15 0 106070448 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267640493128 140267277644448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11863] ppid=11859 vsize=14089320 memory=1232 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (java) S 11859 11859 6396 0 -1 1077944384 1068 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267231832592 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11864] ppid=11859 vsize=14089320 memory=2344 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (java) S 11859 11859 6396 0 -1 1077944384 887 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267230780048 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11865] ppid=11859 vsize=14089320 memory=932 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11865/stat : 11865 (java) S 11859 11859 6396 0 -1 1077944384 688 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267229726992 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11866] ppid=11859 vsize=14089320 memory=1580 CPUtime=0.41 cores=1,3,5,7
/proc/11861/task/11866/stat : 11866 (java) S 11859 11859 6396 0 -1 1077944384 894 0 0 0 24 17 0 0 20 0 15 0 106070449 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267228674448 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11867] ppid=11859 vsize=14089320 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/11861/task/11867/stat : 11867 (java) S 11859 11859 6396 0 -1 1077944384 2247 0 0 0 2 0 0 0 20 0 15 0 106070450 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267110472432 140267636267650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11868] ppid=11859 vsize=14089320 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11868/stat : 11868 (java) S 11859 11859 6396 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106070450 14427463680 207123 33554432000 4194304 4196468 140734677466256 140267109418656 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11869] ppid=11859 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11869/stat : 11869 (java) S 11859 11859 6396 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 106070451 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267108365552 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11870] ppid=11859 vsize=14089320 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11870/stat : 11870 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267107314128 140267636275099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11871] ppid=11859 vsize=14089320 memory=2240 CPUtime=1.22 cores=1,3,5,7
/proc/11861/task/11871/stat : 11871 (java) S 11859 11859 6396 0 -1 1077944384 8898 0 0 0 121 1 0 0 20 0 15 0 106070453 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267106261232 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11872] ppid=11859 vsize=14089320 memory=4124 CPUtime=1.15 cores=1,3,5,7
/proc/11861/task/11872/stat : 11872 (java) S 11859 11859 6396 0 -1 1077944384 5579 0 0 0 115 0 0 0 20 0 15 0 106070453 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267105208688 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11873] ppid=11859 vsize=14089320 memory=2200 CPUtime=0.51 cores=1,3,5,7
/proc/11861/task/11873/stat : 11873 (java) R 11859 11859 6396 0 -1 4202560 4635 0 0 0 50 1 0 0 20 0 15 0 106070453 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267104155632 140267620364589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11874] ppid=11859 vsize=14089320 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11874/stat : 11874 (java) S 11859 11859 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106070453 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267103103328 140267636266709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
[pid=11861/tid=11875] ppid=11859 vsize=14089320 memory=840 CPUtime=0.03 cores=1,3,5,7
/proc/11861/task/11875/stat : 11875 (java) S 11859 11859 6396 0 -1 1077944384 317 0 0 0 0 3 0 0 20 0 15 0 106070453 14427463680 207125 33554432000 4194304 4196468 140734677466256 140267102051376 140267636267650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20156416 140734677468300 140734677468470 140734677468470 140734677471183 0
Current children cumulated CPU time: 72.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 829948 KiB
Child status: 0
Real time (s): 68.4117
CPU time (s): 72.629
CPU user time (s): 71.7602
CPU system time (s): 0.868868
CPU usage (%): 106.165
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 829948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.7602
system time used= 0.868868
maximum resident set size= 829212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3929
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 11859
# total CPU time (s): 72.629
# total CPU user time (s): 71.7602
# total CPU system time (s): 0.868868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.441454 second user time and 0.751261 second system time
The end