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 (12288 MiB free)
memory of node 1: 16384 MiB (13046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406371-1569401829/watcher-4406371-1569401829 -o /tmp/evaluation-result-4406371-1569401829/solver-4406371-1569401829 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569396627-14933 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406371-1569401829.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=16167, runsolver pid=16164
Current StackSize limit: 8192 KiB
[startup+0.102804 s]*
/proc/loadavg: 1.69 1.68 1.73 3/229 16183
/proc/meminfo: memFree=25925440/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15144776 memory=30356 CPUtime=0.13 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 5531 0 0 0 12 1 0 0 20 0 15 0 516449674 15508250624 7589 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3786194 7589 3155 1 0 3748377 0
[pid=16169/tid=16170] ppid=16167 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) S 16167 16167 14901 0 -1 1077944384 3406 0 0 0 9 0 0 0 20 0 15 0 516449674 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443931281776 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15144776 memory=139758245377664 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15144776 memory=139758245377664 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516449676 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516449677 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443394180256 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516449677 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443393127152 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) R 16167 16167 14901 0 -1 4202560 415 0 0 0 0 0 0 0 20 0 15 0 516449679 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443391015392 140443927073370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) R 16167 16167 14901 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 516449679 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443389971408 140443927062229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15144776 memory=139758245377664 CPUtime=0.02 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 516449679 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15144776 memory=139758245377664 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449680 15508250624 7589 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31808 KiB
[startup+0.210835 s]*
/proc/loadavg: 1.69 1.68 1.73 5/229 16183
/proc/meminfo: memFree=25913656/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15144776 memory=41616 CPUtime=0.34 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 9045 0 0 0 31 3 0 0 20 0 15 0 516449674 15508250624 10404 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3786194 10404 3319 1 0 3748377 0
[pid=16169/tid=16170] ppid=16167 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 6217 0 0 0 17 2 0 0 20 0 15 0 516449674 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443931286080 140443927063958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15144776 memory=3762955749485311648 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516449675 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15144776 memory=139758245377664 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516449676 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516449677 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443394180256 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516449677 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443393127152 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) S 16167 16167 14901 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 516449679 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443391023856 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) S 16167 16167 14901 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 15 0 516449679 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443389971312 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15144776 memory=139758245377664 CPUtime=0.08 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) R 16167 16167 14901 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 15 0 516449679 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443388918256 140443919289150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449680 15508250624 10404 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43068 KiB
[startup+0.321194 s]*
/proc/loadavg: 1.69 1.68 1.73 3/229 16183
/proc/meminfo: memFree=25906520/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15149032 memory=50668 CPUtime=0.54 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 10495 0 0 0 50 4 0 0 20 0 15 0 516449674 15512608768 12667 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3787258 12667 3360 1 0 3748377 0
[pid=16169/tid=16170] ppid=16167 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 7488 0 0 0 28 3 0 0 20 0 15 0 516449674 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443931289344 140443911132510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516449675 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15149032 memory=-7233795122449203359 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516449676 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516449677 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443394180256 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516449677 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443393127152 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15149032 memory=6576575808607463845 CPUtime=0.03 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) S 16167 16167 14901 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 516449679 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443391023856 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) S 16167 16167 14901 0 -1 1077944384 419 0 0 0 5 0 0 0 20 0 15 0 516449679 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443389971312 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 810 0 0 0 12 0 0 0 20 0 15 0 516449679 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449680 15512608768 12667 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52120 KiB
[startup+0.701263 s]
/proc/loadavg: 1.69 1.68 1.73 5/229 16183
/proc/meminfo: memFree=25891752/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15151156 memory=74132 CPUtime=1.61 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 15194 0 0 0 155 6 0 0 20 0 15 0 516449674 15514783744 18533 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3787789 18533 3457 1 0 3748889 0
[pid=16169/tid=16170] ppid=16167 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 8646 0 0 0 63 4 0 0 20 0 15 0 516449674 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443931284568 140443567189714 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15151156 memory=65336 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449675 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516449675 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516449676 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443394180256 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443393127152 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15151156 memory=6160 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15151156 memory=10604 CPUtime=0.29 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) R 16167 16167 14901 0 -1 4202560 1699 0 0 0 29 0 0 0 20 0 15 0 516449679 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443391009736 140443908596257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15151156 memory=716 CPUtime=0.31 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) R 16167 16167 14901 0 -1 4202560 1743 0 0 0 31 0 0 0 20 0 15 0 516449679 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443389955736 140443911448702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15151156 memory=780 CPUtime=0.31 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 1816 0 0 0 31 0 0 0 20 0 15 0 516449679 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516449680 15514783744 18533 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 75584 KiB
[startup+1.50081 s]
/proc/loadavg: 1.95 1.74 1.75 5/229 16183
/proc/meminfo: memFree=25862276/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15151156 memory=345276 CPUtime=152.55 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 55211 0 0 0 15220 35 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3787789 86319 3501 1 0 3748889 0
[pid=16169/tid=16170] ppid=16167 vsize=15151156 memory=345276 CPUtime=148.15 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 20455 0 0 0 14805 10 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443931291520 140443568394812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15151156 memory=1452 CPUtime=0.29 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1041 0 0 0 24 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15151156 memory=345276 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1162 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15151156 memory=1452 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1103 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15151156 memory=345276 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 633 0 0 0 25 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15151156 memory=1640 CPUtime=0.37 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 1585 0 0 0 35 2 0 0 20 0 15 0 516449676 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443394180320 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15151156 memory=2572 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443393127168 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15151156 memory=884 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15151156 memory=1432 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) S 16167 16167 14901 0 -1 1077944384 7096 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443391023856 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15151156 memory=884 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) S 16167 16167 14901 0 -1 1077944384 14806 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443389971312 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15151156 memory=1432 CPUtime=0.38 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 4757 0 0 0 37 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15151156 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15151156 memory=111632 CPUtime=0.05 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1194 0 0 0 2 3 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 152.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 346728 KiB
[startup+149.801 s]
/proc/loadavg: 1.95 1.79 1.77 3/230 16196
/proc/meminfo: memFree=25607268/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15151156 memory=345276 CPUtime=153.35 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 55215 0 0 0 15300 35 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3787789 86319 3501 1 0 3748889 0
[pid=16169/tid=16170] ppid=16167 vsize=15151156 memory=6791534058613427641 CPUtime=148.95 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 20459 0 0 0 14885 10 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443931291520 140443567702173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15151156 memory=1060 CPUtime=0.29 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1041 0 0 0 24 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15151156 memory=3636 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1162 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15151156 memory=1724 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1103 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15151156 memory=6160 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 633 0 0 0 25 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15151156 memory=10604 CPUtime=0.37 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 1585 0 0 0 35 2 0 0 20 0 15 0 516449676 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15151156 memory=716 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443394180320 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443393127168 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15151156 memory=2832 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) S 16167 16167 14901 0 -1 1077944384 7096 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443391023856 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15151156 memory=1192 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) S 16167 16167 14901 0 -1 1077944384 14806 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443389971312 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15151156 memory=940 CPUtime=0.38 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 4757 0 0 0 37 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15151156 memory=12040 CPUtime=0.05 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1194 0 0 0 2 3 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 153.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 346728 KiB
[startup+150.601 s]
/proc/loadavg: 1.95 1.79 1.77 3/230 16196
/proc/meminfo: memFree=25607392/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15151156 memory=345276 CPUtime=154.15 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 55218 0 0 0 15380 35 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3787789 86319 3501 1 0 3748889 0
[pid=16169/tid=16170] ppid=16167 vsize=15151156 memory=984 CPUtime=149.75 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 20462 0 0 0 14965 10 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443931291520 140443567591724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15151156 memory=2004 CPUtime=0.29 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1041 0 0 0 24 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15151156 memory=1436 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1162 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15151156 memory=139758245377663 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1103 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15151156 memory=5937264285995984468 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 633 0 0 0 25 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15151156 memory=6940723691037420631 CPUtime=0.37 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 1585 0 0 0 35 2 0 0 20 0 15 0 516449676 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443394180320 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15151156 memory=716 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443393127168 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15151156 memory=1552 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) S 16167 16167 14901 0 -1 1077944384 7096 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443391023856 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15151156 memory=3636 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) S 16167 16167 14901 0 -1 1077944384 14806 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443389971312 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15151156 memory=1724 CPUtime=0.38 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 4757 0 0 0 37 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15151156 memory=6160 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15151156 memory=10604 CPUtime=0.05 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1194 0 0 0 2 3 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 154.15 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 346728 KiB
[startup+151.001 s]
/proc/loadavg: 1.95 1.79 1.77 3/230 16196
/proc/meminfo: memFree=25607392/32770624 swapFree=66975556/67108860
[pid=16167] ppid=16164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (xcsp3-exec) S 16164 16167 14901 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516449674 115843072 363 33554432000 4194304 5098028 140727351396800 140727351394904 139808904569468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11403264 140727351399290 140727351399533 140727351399533 140727351402442 0
/proc/16167/statm: 28282 363 304 221 0 87 0
[pid=16169] ppid=16167 vsize=15151156 memory=345276 CPUtime=154.55 cores=1,3,5,7
/proc/16169/stat : 16169 (java) S 16167 16167 14901 0 -1 1077944320 55221 0 0 0 15420 35 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140729201544976 140443927052023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
/proc/16169/statm: 3787789 86319 3501 1 0 3748889 0
[pid=16169/tid=16170] ppid=16167 vsize=15151156 memory=6791534058613427641 CPUtime=150.15 cores=1,3,5,7
/proc/16169/task/16170/stat : 16170 (java) R 16167 16167 14901 0 -1 4202560 20465 0 0 0 15005 10 0 0 20 0 15 0 516449674 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443931291520 140443568274145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16171] ppid=16167 vsize=15151156 memory=345276 CPUtime=0.29 cores=1,3,5,7
/proc/16169/task/16171/stat : 16171 (java) S 16167 16167 14901 0 -1 1077944384 1041 0 0 0 24 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443518999568 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16172] ppid=16167 vsize=15151156 memory=1436 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16172/stat : 16172 (java) S 16167 16167 14901 0 -1 1077944384 1162 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443517947024 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16173] ppid=16167 vsize=15151156 memory=1060 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16173/stat : 16173 (java) S 16167 16167 14901 0 -1 1077944384 1103 0 0 0 26 4 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443516893968 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16174] ppid=16167 vsize=15151156 memory=3636 CPUtime=0.3 cores=1,3,5,7
/proc/16169/task/16174/stat : 16174 (java) S 16167 16167 14901 0 -1 1077944384 633 0 0 0 25 5 0 0 20 0 15 0 516449675 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443515841424 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16175] ppid=16167 vsize=15151156 memory=1724 CPUtime=0.37 cores=1,3,5,7
/proc/16169/task/16175/stat : 16175 (java) S 16167 16167 14901 0 -1 1077944384 1585 0 0 0 35 2 0 0 20 0 15 0 516449676 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443395234032 140443927063170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16176] ppid=16167 vsize=15151156 memory=6160 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16176/stat : 16176 (java) S 16167 16167 14901 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443394180320 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16177] ppid=16167 vsize=15151156 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16177/stat : 16177 (java) S 16167 16167 14901 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516449677 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443393127168 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16178] ppid=16167 vsize=15151156 memory=716 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16178/stat : 16178 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443392075728 140443927070619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16179] ppid=16167 vsize=15151156 memory=780 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16179/stat : 16179 (java) S 16167 16167 14901 0 -1 1077944384 7096 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443391023856 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16180] ppid=16167 vsize=15151156 memory=1552 CPUtime=1.14 cores=1,3,5,7
/proc/16169/task/16180/stat : 16180 (java) S 16167 16167 14901 0 -1 1077944384 14806 0 0 0 113 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443389971312 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16181] ppid=16167 vsize=15151156 memory=2832 CPUtime=0.38 cores=1,3,5,7
/proc/16169/task/16181/stat : 16181 (java) S 16167 16167 14901 0 -1 1077944384 4757 0 0 0 37 1 0 0 20 0 15 0 516449679 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443388918256 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16182] ppid=16167 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16169/task/16182/stat : 16182 (java) S 16167 16167 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443387865952 140443927062229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
[pid=16169/tid=16183] ppid=16167 vsize=15151156 memory=345276 CPUtime=0.05 cores=1,3,5,7
/proc/16169/task/16183/stat : 16183 (java) S 16167 16167 14901 0 -1 1077944384 1194 0 0 0 2 3 0 0 20 0 15 0 516449680 15514783744 86319 33554432000 4194304 4196468 140729201562432 140443386812976 140443927063170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 10260480 140729201570799 140729201570970 140729201570970 140729201573839 0
Current children cumulated CPU time: 154.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 346728 KiB
Child status: 0
Real time (s): 151.09
CPU time (s): 154.646
CPU user time (s): 154.284
CPU system time (s): 0.362382
CPU usage (%): 102.354
Max. virtual memory (cumulated for all children) (KiB): 15266596
Max. memory (cumulated for all children) (KiB): 346728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.284
system time used= 0.362382
maximum resident set size= 345676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14757
involuntary context switches= 361
# summary of solver processes directly reported to runsolver:
# pid: 16167
# total CPU time (s): 154.646
# total CPU user time (s): 154.284
# total CPU system time (s): 0.362382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.942126 second user time and 1.49413 second system time
The end