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 (15285 MiB free)
memory of node 1: 16384 MiB (15217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399379-1568699134/watcher-4399379-1568699134 -o /tmp/evaluation-result-4399379-1568699134/solver-4399379-1568699134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 271191313 HOME/instance-4399379-1568699134.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27076, runsolver pid=27073
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 8.64 8.58 8.44 7/233 27092
/proc/meminfo: memFree=31217760/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15144776 memory=29380 CPUtime=0.12 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 5812 0 0 0 11 1 0 0 20 0 15 0 446176044 15508250624 7345 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3786194 7345 3121 1 0 3748377 0
[pid=27078/tid=27079] ppid=27076 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) R 27076 27076 21506 0 -1 4202560 3729 0 0 0 8 1 0 0 20 0 15 0 446176044 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047795322768 140047791112794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15144776 memory=3472468357096781008 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176046 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446176047 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047258539296 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446176047 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047257486960 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) S 27076 27076 21506 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 446176049 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047255373776 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) R 27076 27076 21506 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 446176049 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047254329424 140047791101653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0.02 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) R 27076 27076 21506 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 446176049 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047253277040 140047791103382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176050 15508250624 7345 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30828 KiB
[startup+0.210719 s]*
/proc/loadavg: 8.64 8.58 8.44 8/233 27092
/proc/meminfo: memFree=31204564/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15144776 memory=40860 CPUtime=0.34 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 9461 0 0 0 31 3 0 0 20 0 15 0 446176044 15508250624 10215 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3786194 10215 3291 1 0 3748377 0
[pid=27078/tid=27079] ppid=27076 vsize=15144776 memory=5855087016065728930 CPUtime=0.2 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) R 27076 27076 21506 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 446176044 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047795321168 140047424835484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15144776 memory=3472468357096781008 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446176046 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446176047 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047258539296 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446176047 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047257486960 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) S 27076 27076 21506 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 15 0 446176049 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047255382128 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) S 27076 27076 21506 0 -1 1077944384 440 0 0 0 3 0 0 0 20 0 15 0 446176049 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047254329328 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0.08 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) R 27076 27076 21506 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 15 0 446176049 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047253277040 140047783328574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15144776 memory=140228201629312 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176050 15508250624 10281 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42308 KiB
[startup+0.312547 s]*
/proc/loadavg: 8.64 8.58 8.44 9/233 27092
/proc/meminfo: memFree=31196932/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15149032 memory=50112 CPUtime=0.54 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 10875 0 0 0 50 4 0 0 20 0 15 0 446176044 15512608768 12528 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3787258 12528 3370 1 0 3748377 0
[pid=27078/tid=27079] ppid=27076 vsize=15149032 memory=-8540663193526752614 CPUtime=0.3 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) R 27076 27076 21506 0 -1 4202560 7807 0 0 0 27 3 0 0 20 0 15 0 446176044 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047795327024 140047775171964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15149032 memory=3472468357096781008 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15149032 memory=140228201650844 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15149032 memory=140228065101613 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15149032 memory=140228065082319 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15149032 memory=140228201650850 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446176046 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15149032 memory=140228065091503 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446176047 15512608768 12528 33554432000 4194304 4196468 140727752499536 140047258539296 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15149032 memory=140228065115852 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446176047 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047257486960 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15149032 memory=280456130187632 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) S 27076 27076 21506 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 15 0 446176049 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047255382128 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15149032 memory=2240 CPUtime=0.05 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) R 27076 27076 21506 0 -1 4202560 525 0 0 0 5 0 0 0 20 0 15 0 446176049 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047254319712 140047770347844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15149032 memory=140228201629312 CPUtime=0.12 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) S 27076 27076 21506 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 15 0 446176049 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047253277040 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15149032 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15149032 memory=140228201629312 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176050 15512608768 12593 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51560 KiB
[startup+0.700883 s]
/proc/loadavg: 8.64 8.58 8.44 9/233 27092
/proc/meminfo: memFree=31171932/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15151156 memory=164272 CPUtime=1.54 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 14808 0 0 0 147 7 0 0 20 0 15 0 446176044 15514783744 41068 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3787789 41068 3436 1 0 3748889 0
[pid=27078/tid=27079] ppid=27076 vsize=15151156 memory=2828 CPUtime=0.68 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) R 27076 27076 21506 0 -1 4202560 9033 0 0 0 63 5 0 0 20 0 15 0 446176044 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047795329144 140047775171934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176045 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15151156 memory=280456130262336 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446176045 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15151156 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446176046 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15151156 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446176047 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047258539296 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15151156 memory=2320955519868062377 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446176047 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047257486960 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15151156 memory=1425 CPUtime=0.25 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) R 27076 27076 21506 0 -1 1077944384 1427 0 0 0 25 0 0 0 20 0 15 0 446176049 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047255382128 140047791102594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15151156 memory=11 CPUtime=0.27 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) R 27076 27076 21506 0 -1 1077944384 1322 0 0 0 27 0 0 0 20 0 15 0 446176049 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047254329328 140047791102594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15151156 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) S 27076 27076 21506 0 -1 1077944384 1720 0 0 0 30 0 0 0 20 0 15 0 446176049 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047253277040 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15151156 memory=30744 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446176049 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15151156 memory=1477 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446176050 15514783744 41068 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 165720 KiB
[startup+1.50755 s]
/proc/loadavg: 8.64 8.58 8.44 11/233 27092
/proc/meminfo: memFree=30963476/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27078/task/27090/stat : 27090 (java) S 27076 27076 21506 0 -1 1077944384 2180 0 0 0 52 0 0 0 20 0 19 0 446176049 15787429888 107605 33554432000 4194304 4196468 140727752499536 140047253277040 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15417412 memory=7957689449132282197 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 15787429888 107605 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15417412 memory=7445696392048174417 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446176050 15787429888 107605 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 431868 KiB
[startup+3.11755 s]
/proc/loadavg: 8.67 8.59 8.44 10/237 27172
/proc/meminfo: memFree=30567004/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15550540 memory=680016 CPUtime=9.91 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 28276 0 0 0 943 48 0 0 20 0 19 0 446176044 15923752960 170004 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3887635 170004 3520 1 0 3848735 0
[pid=27078/tid=27079] ppid=27076 vsize=15550540 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) S 27076 27076 21506 0 -1 1077944384 9269 0 0 0 103 5 0 0 20 0 19 0 446176044 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047795332224 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15550540 memory=7163372497753958249 CPUtime=0.51 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 305 0 0 0 41 10 0 0 20 0 19 0 446176045 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15550540 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 296 0 0 0 35 9 0 0 20 0 19 0 446176045 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15550540 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 216 0 0 0 34 7 0 0 20 0 19 0 446176045 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15550540 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 890 0 0 0 41 10 0 0 20 0 19 0 446176045 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15550540 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 569 0 0 0 15 0 0 0 20 0 19 0 446176046 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15550540 memory=675832 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446176047 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047258539360 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15550540 memory=280456130107048 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446176047 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047257486976 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15550540 memory=3689630306848957013 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15550540 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) R 27076 27076 21506 0 -1 4202560 4216 0 0 0 171 1 0 0 20 0 19 0 446176049 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047255367088 140047772634739 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15550540 memory=0 CPUtime=1.81 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) R 27076 27076 21506 0 -1 4202560 5604 0 0 0 180 1 0 0 20 0 19 0 446176049 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047254315792 140047771058566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15550540 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) S 27076 27076 21506 0 -1 1077944384 2977 0 0 0 67 1 0 0 20 0 19 0 446176049 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047253277040 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15550540 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15550540 memory=604 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 446176050 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27169] ppid=27076 vsize=15550540 memory=280456130485520 CPUtime=0.11 cores=0,2,4,6
/proc/27078/task/27169/stat : 27169 (java) R 27076 27076 21506 0 -1 4202560 161 0 0 0 11 0 0 0 20 0 19 0 446176331 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047238793328 140047431225489 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27170] ppid=27076 vsize=15550540 memory=280456130492144 CPUtime=0.18 cores=0,2,4,6
/proc/27078/task/27170/stat : 27170 (java) R 27076 27076 21506 0 -1 4202560 319 0 0 0 18 0 0 0 20 0 19 0 446176331 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047240902216 140047430297458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27171] ppid=27076 vsize=15550540 memory=7165061412102892642 CPUtime=0.1 cores=0,2,4,6
/proc/27078/task/27171/stat : 27171 (java) R 27076 27076 21506 0 -1 4202560 106 0 0 0 10 0 0 0 20 0 19 0 446176331 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047236692344 140047431684244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27172] ppid=27076 vsize=15550540 memory=7649539620970222274 CPUtime=0.15 cores=0,2,4,6
/proc/27078/task/27172/stat : 27172 (java) R 27076 27076 21506 0 -1 4202560 263 0 0 0 15 0 0 0 20 0 19 0 446176331 15923752960 170004 33554432000 4194304 4196468 140727752499536 140047241952384 140047431356810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 681464 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+4.30157 s]
/proc/loadavg: 8.67 8.59 8.44 6/238 27214
/proc/meminfo: memFree=30524908/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15886444 memory=714464 CPUtime=13.61 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 33083 0 0 0 1309 52 0 0 20 0 19 0 446176044 16267718656 178616 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3971611 178616 3545 1 0 3932711 0
[pid=27078/tid=27079] ppid=27076 vsize=15886444 memory=1448 CPUtime=1.09 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) S 27076 27076 21506 0 -1 1077944384 9483 0 0 0 104 5 0 0 20 0 19 0 446176044 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047795332224 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15886444 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 543 0 0 0 41 10 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15886444 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 337 0 0 0 35 9 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15886444 memory=7163372497753958249 CPUtime=0.42 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 293 0 0 0 35 7 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15886444 memory=1324 CPUtime=0.52 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 995 0 0 0 42 10 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15886444 memory=780 CPUtime=0.15 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 705 0 0 0 15 0 0 0 20 0 19 0 446176046 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15886444 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446176047 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047258539360 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15886444 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446176047 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047257486976 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15886444 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15886444 memory=0 CPUtime=2.19 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) R 27076 27076 21506 0 -1 1077944384 5104 0 0 0 218 1 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047255382128 140047791102594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15886444 memory=1448 CPUtime=2.26 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) R 27076 27076 21506 0 -1 4202560 6083 0 0 0 225 1 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047254314400 140047775083393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15886444 memory=675832 CPUtime=0.75 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) R 27076 27076 21506 0 -1 1077944384 3881 0 0 0 74 1 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047253276224 140047791101653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15886444 memory=280456130107048 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15886444 memory=3689630306848957013 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 446176050 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 15999572 KiB
Current children cumulated memory: 715912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+4.31963 s]
# the end of solver process 27076 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001112 s, system=0.001112 s
[startup+4.32737 s]
# the end of solver process 27078 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.1624 s, system=0.529252 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+4.30157 s]
/proc/loadavg: 8.67 8.59 8.44 6/238 27214
/proc/meminfo: memFree=30524908/32770624 swapFree=66977068/67108860
[pid=27076] ppid=27073 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp3-exec) S 27073 27076 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446176043 115843072 362 33554432000 4194304 5098028 140732634435072 140732634433176 140252212331132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8359936 140732634440571 140732634440813 140732634440813 140732634443722 0
/proc/27076/statm: 28282 362 304 221 0 87 0
[pid=27078] ppid=27076 vsize=15886444 memory=714464 CPUtime=13.61 cores=0,2,4,6
/proc/27078/stat : 27078 (java) S 27076 27076 21506 0 -1 1077944320 33083 0 0 0 1309 52 0 0 20 0 19 0 446176044 16267718656 178616 33554432000 4194304 4196468 140727752499536 140727752482080 140047791091447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
/proc/27078/statm: 3971611 178616 3545 1 0 3932711 0
[pid=27078/tid=27079] ppid=27076 vsize=15886444 memory=1448 CPUtime=1.09 cores=0,2,4,6
/proc/27078/task/27079/stat : 27079 (java) S 27076 27076 21506 0 -1 1077944384 9483 0 0 0 104 5 0 0 20 0 19 0 446176044 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047795332224 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27080] ppid=27076 vsize=15886444 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/27078/task/27080/stat : 27080 (java) S 27076 27076 21506 0 -1 1077944384 543 0 0 0 41 10 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047383714192 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27081] ppid=27076 vsize=15886444 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/27078/task/27081/stat : 27081 (java) S 27076 27076 21506 0 -1 1077944384 337 0 0 0 35 9 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047382661392 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27082] ppid=27076 vsize=15886444 memory=7163372497753958249 CPUtime=0.42 cores=0,2,4,6
/proc/27078/task/27082/stat : 27082 (java) S 27076 27076 21506 0 -1 1077944384 293 0 0 0 35 7 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047381609104 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27083] ppid=27076 vsize=15886444 memory=1324 CPUtime=0.52 cores=0,2,4,6
/proc/27078/task/27083/stat : 27083 (java) S 27076 27076 21506 0 -1 1077944384 995 0 0 0 42 10 0 0 20 0 19 0 446176045 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047380556304 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27084] ppid=27076 vsize=15886444 memory=780 CPUtime=0.15 cores=0,2,4,6
/proc/27078/task/27084/stat : 27084 (java) S 27076 27076 21506 0 -1 1077944384 705 0 0 0 15 0 0 0 20 0 19 0 446176046 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047259593328 140047791102594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27085] ppid=27076 vsize=15886444 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27085/stat : 27085 (java) S 27076 27076 21506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446176047 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047258539360 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27086] ppid=27076 vsize=15886444 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27086/stat : 27086 (java) S 27076 27076 21506 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446176047 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047257486976 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27087] ppid=27076 vsize=15886444 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27087/stat : 27087 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047256435280 140047791110043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27088] ppid=27076 vsize=15886444 memory=0 CPUtime=2.19 cores=0,2,4,6
/proc/27078/task/27088/stat : 27088 (java) R 27076 27076 21506 0 -1 1077944384 5104 0 0 0 218 1 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047255382128 140047791102594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27089] ppid=27076 vsize=15886444 memory=1448 CPUtime=2.26 cores=0,2,4,6
/proc/27078/task/27089/stat : 27089 (java) R 27076 27076 21506 0 -1 4202560 6083 0 0 0 225 1 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047254314400 140047775083393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27090] ppid=27076 vsize=15886444 memory=675832 CPUtime=0.75 cores=0,2,4,6
/proc/27078/task/27090/stat : 27090 (java) R 27076 27076 21506 0 -1 1077944384 3881 0 0 0 74 1 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047253276224 140047791101653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27091] ppid=27076 vsize=15886444 memory=280456130107048 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27091/stat : 27091 (java) S 27076 27076 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446176049 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047252224480 140047791101653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
[pid=27078/tid=27092] ppid=27076 vsize=15886444 memory=3689630306848957013 CPUtime=0 cores=0,2,4,6
/proc/27078/task/27092/stat : 27092 (java) S 27076 27076 21506 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 446176050 16267718656 178616 33554432000 4194304 4196468 140727752499536 140047251172272 140047791102594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140727752504303 140727752504474 140727752504474 140727752507343 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 15999572 KiB
Current children cumulated memory: 715912 KiB
Child status: 143
Real time (s): 4.32742
CPU time (s): 13.6917
CPU user time (s): 13.1624
CPU system time (s): 0.529252
CPU usage (%): 316.394
Max. virtual memory (cumulated for all children) (KiB): 15999572
Max. memory (cumulated for all children) (KiB): 715912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1624
system time used= 0.529252
maximum resident set size= 715236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3397
involuntary context switches= 433
# summary of solver processes directly reported to runsolver:
# pid: 27076,27078
# total CPU time (s): 13.6917
# total CPU user time (s): 13.1624
# total CPU system time (s): 0.529252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052682 second user time and 0.090145 second system time
The end