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 (10719 MiB free)
memory of node 1: 16384 MiB (14088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302239-1532890117/watcher-4302239-1532890117 -o /tmp/evaluation-result-4302239-1532890117/solver-4302239-1532890117 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 1461300182 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302239-1532890117.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
Current StackSize limit: 8192 KiB
solver pid=12457, runsolver pid=12454
[startup+0.100105 s]*
/proc/loadavg: 1.86 1.87 1.96 4/217 12473
/proc/meminfo: memFree=25386420/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14082940 memory=27712 CPUtime=0.12 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 5350 0 0 0 11 1 0 0 20 0 15 0 106574612 14420930560 6928 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3520735 6928 3005 1 0 3483012 0
[pid=12459/tid=12460] ppid=12457 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 3309 0 0 0 9 0 0 0 20 0 15 0 106574612 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119783724848 140119779503510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14082940 memory=139931609917056 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14082940 memory=139931609917056 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106574614 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106574615 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106574615 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 106574617 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 106574617 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14082940 memory=139931609917056 CPUtime=0.01 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) R 12457 12457 6529 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 106574617 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119247342320 140119758767019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14082940 memory=139931609917056 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574618 14420930560 6928 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29164 KiB
[startup+0.210622 s]*
/proc/loadavg: 1.86 1.87 1.96 5/217 12473
/proc/meminfo: memFree=25374760/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14082940 memory=40364 CPUtime=0.34 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 8079 0 0 0 32 2 0 0 20 0 15 0 106574612 14420930560 10091 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3520735 10091 3220 1 0 3483012 0
[pid=12459/tid=12460] ppid=12457 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 5019 0 0 0 19 1 0 0 20 0 15 0 106574612 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119783726112 140119779513501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14082940 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14082940 memory=139931610544960 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106574613 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14082940 memory=139931609917056 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106574614 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106574615 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106574615 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 15 0 106574617 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 106574617 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14082940 memory=139931609917056 CPUtime=0.08 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 866 0 0 0 8 0 0 0 20 0 15 0 106574617 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574618 14420930560 10091 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41816 KiB
[startup+0.310334 s]*
/proc/loadavg: 1.86 1.87 1.96 3/217 12473
/proc/meminfo: memFree=25368060/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14087196 memory=47128 CPUtime=0.51 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 8959 0 0 0 49 2 0 0 20 0 15 0 106574612 14425288704 11782 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3521799 11782 3249 1 0 3483012 0
[pid=12459/tid=12460] ppid=12457 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 5727 0 0 0 28 1 0 0 20 0 15 0 106574612 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119783722688 140119763572062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106574613 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106574614 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106574615 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106574615 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14087196 memory=4628975386420216973 CPUtime=0.03 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 15 0 106574617 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 502 0 0 0 4 0 0 0 20 0 15 0 106574617 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 1013 0 0 0 12 0 0 0 20 0 15 0 106574617 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574618 14425288704 11782 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48580 KiB
[startup+0.700996 s]
/proc/loadavg: 1.86 1.87 1.96 6/217 12473
/proc/meminfo: memFree=25350940/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14089320 memory=66888 CPUtime=1.56 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 11978 0 0 0 152 4 0 0 20 0 15 0 106574612 14427463680 16722 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3522330 16722 3361 1 0 3483524 0
[pid=12459/tid=12460] ppid=12457 vsize=14089320 memory=30436 CPUtime=0.67 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 6655 0 0 0 65 2 0 0 20 0 15 0 106574612 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119783706320 140119761075947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574613 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106574613 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106574614 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14089320 memory=8556 CPUtime=0.25 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) R 12457 12457 6529 0 -1 4202560 1168 0 0 0 25 0 0 0 20 0 15 0 106574617 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119249428976 140119762988247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14089320 memory=1444 CPUtime=0.26 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) R 12457 12457 6529 0 -1 4202560 1085 0 0 0 26 0 0 0 20 0 15 0 106574617 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119248386128 140119765552124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14089320 memory=5668 CPUtime=0.34 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 1761 0 0 0 34 0 0 0 20 0 15 0 106574617 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106574618 14427463680 16722 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 68340 KiB
[startup+1.50089 s]
/proc/loadavg: 1.86 1.87 1.96 5/217 12473
/proc/meminfo: memFree=25328432/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14089320 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14089320 memory=1452 CPUtime=1.27 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 10337 0 0 0 126 1 0 0 20 0 15 0 106574617 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14089320 memory=169084 CPUtime=1.34 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 8755 0 0 0 133 1 0 0 20 0 15 0 106574617 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14089320 memory=4008 CPUtime=0.46 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 6395 0 0 0 46 0 0 0 20 0 15 0 106574617 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14089320 memory=18264 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14089320 memory=18344 CPUtime=0.03 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 822 0 0 0 1 2 0 0 20 0 15 0 106574618 14427463680 42278 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 165.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 170564 KiB
[startup+222.301 s]
/proc/loadavg: 1.70 1.85 1.94 3/217 12483
/proc/meminfo: memFree=25275620/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14089320 memory=175348 CPUtime=225.77 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 47782 0 0 0 22561 16 0 0 20 0 15 0 106574612 14427463680 43837 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3522330 43837 3412 1 0 3483524 0
[pid=12459/tid=12460] ppid=12457 vsize=14089320 memory=175348 CPUtime=221.95 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 12007 0 0 0 22191 4 0 0 20 0 15 0 106574612 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119783730528 140119422255333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14089320 memory=175348 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1249 0 0 0 10 2 0 0 20 0 15 0 106574613 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14089320 memory=175348 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1016 0 0 0 11 1 0 0 20 0 15 0 106574613 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14089320 memory=175348 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1180 0 0 0 11 1 0 0 20 0 15 0 106574613 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14089320 memory=175348 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 1437 0 0 0 11 1 0 0 20 0 15 0 106574613 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 1774 0 0 0 10 1 0 0 20 0 15 0 106574614 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14089320 memory=173300 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14089320 memory=1452 CPUtime=1.29 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 11617 0 0 0 128 1 0 0 20 0 15 0 106574617 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14089320 memory=1452 CPUtime=1.35 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 8915 0 0 0 134 1 0 0 20 0 15 0 106574617 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14089320 memory=1408 CPUtime=0.46 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 6395 0 0 0 46 0 0 0 20 0 15 0 106574617 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14089320 memory=3176 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14089320 memory=175348 CPUtime=0.05 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 830 0 0 0 2 3 0 0 20 0 15 0 106574618 14427463680 43837 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 225.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 176800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.501 s]
/proc/loadavg: 1.87 1.88 1.94 3/217 12643
/proc/meminfo: memFree=25250948/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14089320 memory=175680 CPUtime=252.01 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 47833 0 0 0 25184 17 0 0 20 0 15 0 106574612 14427463680 43920 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3522330 43920 3412 1 0 3483524 0
[pid=12459/tid=12460] ppid=12457 vsize=14089320 memory=175680 CPUtime=248.11 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 12027 0 0 0 24807 4 0 0 20 0 15 0 106574612 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119783730944 140119421678725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14089320 memory=175500 CPUtime=0.14 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1257 0 0 0 12 2 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14089320 memory=175680 CPUtime=0.13 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1023 0 0 0 12 1 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14089320 memory=175680 CPUtime=0.13 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1190 0 0 0 12 1 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 1439 0 0 0 12 1 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14089320 memory=175500 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 1776 0 0 0 11 1 0 0 20 0 15 0 106574614 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14089320 memory=175500 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14089320 memory=175500 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14089320 memory=4140 CPUtime=1.29 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 11617 0 0 0 128 1 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14089320 memory=1452 CPUtime=1.35 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 8915 0 0 0 134 1 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 6395 0 0 0 46 0 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 832 0 0 0 2 3 0 0 20 0 15 0 106574618 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 177132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.51 s]
# the end of solver process 12457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00073 s, system=0.00146 s
[startup+248.513 s]
# the end of solver process 12459 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.858 s, system=0.178623 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.501 s]
/proc/loadavg: 1.87 1.88 1.94 3/217 12643
/proc/meminfo: memFree=25250948/32770624 swapFree=67108688/67108860
[pid=12457] ppid=12454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (xcsp3-exec) S 12454 12457 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106574612 115843072 363 33554432000 4194304 5098028 140721527799712 140721527797816 140392390025852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12165120 140721527800896 140721527801097 140721527801097 140721527803850 0
/proc/12457/statm: 28282 363 306 221 0 87 0
[pid=12459] ppid=12457 vsize=14089320 memory=175680 CPUtime=252.01 cores=1,3,5,7
/proc/12459/stat : 12459 (java) S 12457 12457 6529 0 -1 1077944320 47833 0 0 0 25184 17 0 0 20 0 15 0 106574612 14427463680 43920 33554432000 4194304 4196468 140731018465120 140731018447664 140119779491575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
/proc/12459/statm: 3522330 43920 3412 1 0 3483524 0
[pid=12459/tid=12460] ppid=12457 vsize=14089320 memory=175680 CPUtime=248.11 cores=1,3,5,7
/proc/12459/task/12460/stat : 12460 (java) R 12457 12457 6529 0 -1 4202560 12027 0 0 0 24807 4 0 0 20 0 15 0 106574612 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119783730944 140119421678725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12461] ppid=12457 vsize=14089320 memory=175500 CPUtime=0.14 cores=1,3,5,7
/proc/12459/task/12461/stat : 12461 (java) S 12457 12457 6529 0 -1 1077944384 1257 0 0 0 12 2 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119375715088 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12462] ppid=12457 vsize=14089320 memory=175680 CPUtime=0.13 cores=1,3,5,7
/proc/12459/task/12462/stat : 12462 (java) S 12457 12457 6529 0 -1 1077944384 1023 0 0 0 12 1 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119374662544 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12463] ppid=12457 vsize=14089320 memory=175680 CPUtime=0.13 cores=1,3,5,7
/proc/12459/task/12463/stat : 12463 (java) S 12457 12457 6529 0 -1 1077944384 1190 0 0 0 12 1 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119373610000 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12464] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/12459/task/12464/stat : 12464 (java) S 12457 12457 6529 0 -1 1077944384 1439 0 0 0 12 1 0 0 20 0 15 0 106574613 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119372557456 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12465] ppid=12457 vsize=14089320 memory=175500 CPUtime=0.12 cores=1,3,5,7
/proc/12459/task/12465/stat : 12465 (java) S 12457 12457 6529 0 -1 1077944384 1776 0 0 0 11 1 0 0 20 0 15 0 106574614 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119253657584 140119779502722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12466] ppid=12457 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (java) S 12457 12457 6529 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119252603808 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12467] ppid=12457 vsize=14089320 memory=175500 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (java) S 12457 12457 6529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 106574615 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119251551216 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12468] ppid=12457 vsize=14089320 memory=175500 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119250499792 140119779510171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12469] ppid=12457 vsize=14089320 memory=4140 CPUtime=1.29 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (java) S 12457 12457 6529 0 -1 1077944384 11617 0 0 0 128 1 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119249447408 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12470] ppid=12457 vsize=14089320 memory=1452 CPUtime=1.35 cores=1,3,5,7
/proc/12459/task/12470/stat : 12470 (java) S 12457 12457 6529 0 -1 1077944384 8915 0 0 0 134 1 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119248394864 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12471] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/12459/task/12471/stat : 12471 (java) S 12457 12457 6529 0 -1 1077944384 6395 0 0 0 46 0 0 0 20 0 15 0 106574617 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119247342320 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12472] ppid=12457 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12459/task/12472/stat : 12472 (java) S 12457 12457 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106574618 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119246290016 140119779501781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
[pid=12459/tid=12473] ppid=12457 vsize=14089320 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/12459/task/12473/stat : 12473 (java) S 12457 12457 6529 0 -1 1077944384 832 0 0 0 2 3 0 0 20 0 15 0 106574618 14427463680 43920 33554432000 4194304 4196468 140731018465120 140119245236528 140119779502722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 34701312 140731018466444 140731018466614 140731018466614 140731018469327 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 177132 KiB
Child status: 143
Real time (s): 248.513
CPU time (s): 252.036
CPU user time (s): 251.858
CPU system time (s): 0.178623
CPU usage (%): 101.418
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 204264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.858
system time used= 0.178623
maximum resident set size= 204864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10778
involuntary context switches= 632
# summary of solver processes directly reported to runsolver:
# pid: 12457,12459
# total CPU time (s): 252.036
# total CPU user time (s): 251.858
# total CPU system time (s): 0.178623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39286 second user time and 2.37085 second system time
The end