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 (14638 MiB free)
memory of node 1: 16384 MiB (13752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306782-1534038962/watcher-4306782-1534038962 -o /tmp/evaluation-result-4306782-1534038962/solver-4306782-1534038962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16489 --watchdog 2580 HOME/xcsp3-exec -seed 437380072 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306782-1534038962.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=16520, runsolver pid=16514
[startup+0.100205 s]*
/proc/loadavg: 1.01 1.10 1.49 6/220 16552
/proc/meminfo: memFree=29036916/32770624 swapFree=67030640/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14082940 memory=28836 CPUtime=0.1 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 5483 0 0 0 8 2 0 0 20 0 15 0 221459431 14420930560 7209 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3520735 7209 2947 1 0 3483012 0
[pid=16523/tid=16525] ppid=16520 vsize=14082940 memory=4351193298018140048 CPUtime=0.07 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) R 16520 16520 15061 0 -1 4202560 3603 0 0 0 6 1 0 0 20 0 15 0 221459432 14420930560 7209 33554432000 4194304 4196468 140731159549904 140199715514400 140199711306909 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7209 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14082940 memory=140662907197056 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7209 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7209 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 7209 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14082940 memory=140662907197056 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 221459438 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459438 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14082940 memory=140662907197056 CPUtime=0.01 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 221459438 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14082940 memory=140662907197056 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459439 14420930560 7209 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30288 KiB
[startup+0.211152 s]*
/proc/loadavg: 1.01 1.10 1.49 2/220 16552
/proc/meminfo: memFree=29018700/32770624 swapFree=67030640/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14082940 memory=38724 CPUtime=0.27 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 8167 0 0 0 25 2 0 0 20 0 15 0 221459431 14420930560 9681 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3520735 9681 3185 1 0 3483012 0
[pid=16523/tid=16525] ppid=16520 vsize=14082940 memory=7883960649037381690 CPUtime=0.15 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) D 16520 16520 15061 0 -1 4202560 5192 0 0 0 14 1 0 0 20 0 15 0 221459432 14420930560 9681 33554432000 4194304 4196468 140731159549904 140199715521280 140199711306909 0 4 0 16800975 18446744071580419588 0 0 -1 3 0 0 1 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14082940 memory=8948 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9681 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14082940 memory=140662908371571 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9681 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9681 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14420930560 9681 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14082940 memory=140662907197056 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 772 0 0 0 2 0 0 0 20 0 15 0 221459438 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 221459438 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14082940 memory=140662907197056 CPUtime=0.05 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 829 0 0 0 5 0 0 0 20 0 15 0 221459438 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459439 14420930560 9681 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 40176 KiB
[startup+0.310481 s]*
/proc/loadavg: 1.01 1.10 1.49 1/220 16552
/proc/meminfo: memFree=29010016/32770624 swapFree=67030640/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14087228 memory=42100 CPUtime=0.36 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 8551 0 0 0 33 3 0 0 20 0 15 0 221459431 14425321472 10525 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3521807 10525 3221 1 0 3483020 0
[pid=16523/tid=16525] ppid=16520 vsize=14087196 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) D 16520 16520 15061 0 -1 1077944384 5524 0 0 0 19 2 0 0 20 0 15 0 221459432 14425288704 10526 33554432000 4194304 4196468 140731159549904 140199715496688 140199703964205 0 4 0 16800975 18446744072101764644 0 0 -1 3 0 0 7 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14087196 memory=9289 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10526 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14087196 memory=1155044 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10526 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10526 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14425288704 10526 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14087228 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 221459434 14425321472 10526 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14087228 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14425321472 10526 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 772 0 0 0 2 0 0 0 20 0 15 0 221459438 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 221459438 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14087196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 884 0 0 0 8 0 0 0 20 0 15 0 221459438 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459439 14425288704 10526 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 14200356 KiB
Current children cumulated memory: 43552 KiB
[startup+0.701235 s]
/proc/loadavg: 1.01 1.10 1.49 6/220 16552
/proc/meminfo: memFree=28978552/32770624 swapFree=67030640/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14089320 memory=69948 CPUtime=1.31 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 12235 0 0 0 126 5 0 0 20 0 15 0 221459431 14427463680 17487 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3522330 17487 3360 1 0 3483524 0
[pid=16523/tid=16525] ppid=16520 vsize=14089320 memory=1793618609409 CPUtime=0.59 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) R 16520 16520 15061 0 -1 4202560 6826 0 0 0 56 3 0 0 20 0 15 0 221459432 14427463680 17487 33554432000 4194304 4196468 140731159549904 140199715524224 140199351818944 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14089320 memory=492 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 17487 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14089320 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 17487 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 17487 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14089320 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221459432 14427463680 17487 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14089320 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14089320 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14089320 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14089320 memory=832 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14089320 memory=1440 CPUtime=0.19 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) R 16520 16520 15061 0 -1 4202560 1410 0 0 0 19 0 0 0 20 0 15 0 221459438 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198619398064 140199692805061 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14089320 memory=1836 CPUtime=0.19 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) R 16520 16520 15061 0 -1 4202560 880 0 0 0 19 0 0 0 20 0 15 0 221459438 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198618354640 140199696394581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14089320 memory=7532 CPUtime=0.3 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 1810 0 0 0 30 0 0 0 20 0 15 0 221459438 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14089320 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221459439 14427463680 17487 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 71400 KiB
[startup+1.50084 s]
/proc/loadavg: 1.01 1.10 1.49 9/220 16552
/proc/meminfo: memFree=28928200/32770624 swapFree=67030640/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
[pid=16523/tid=16535] ppid=16520 vsize=14089320 memory=1036320 CPUtime=1.16 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 9747 0 0 0 91 25 0 0 20 0 15 0 221459434 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14089320 memory=4129160 CPUtime=1.41 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 11312 0 0 0 140 1 0 0 20 0 15 0 221459438 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14089320 memory=999304 CPUtime=1.63 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 9804 0 0 0 162 1 0 0 20 0 15 0 221459438 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14089320 memory=768 CPUtime=0.47 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 7404 0 0 0 46 1 0 0 20 0 15 0 221459438 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14089320 memory=1036320 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14089320 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1442 0 0 0 21 35 0 0 20 0 15 0 221459439 14427463680 259080 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 2453.45 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1037772 KiB
[startup+2502.3 s]
/proc/loadavg: 2.66 1.93 1.71 4/217 16650
/proc/meminfo: memFree=21304800/32770624 swapFree=67030644/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14089320 memory=5813460 CPUtime=2513.81 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 181277 0 0 0 250627 754 0 0 20 0 15 0 221459431 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3522330 1453365 3436 1 0 3483524 0
[pid=16523/tid=16525] ppid=16520 vsize=14089320 memory=4757304 CPUtime=2498.05 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) R 16520 16520 15061 0 -1 4202560 106516 0 0 0 249136 669 0 0 20 0 15 0 221459432 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140199715524648 140199353717218 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14089320 memory=4757304 CPUtime=2.59 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 7318 0 0 0 252 7 0 0 20 0 15 0 221459432 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14089320 memory=1452 CPUtime=2.6 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 6818 0 0 0 253 7 0 0 20 0 15 0 221459432 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14089320 memory=1452 CPUtime=2.59 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 9086 0 0 0 253 6 0 0 20 0 15 0 221459432 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14089320 memory=5264644 CPUtime=2.59 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 10324 0 0 0 253 6 0 0 20 0 15 0 221459432 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14089320 memory=5696264 CPUtime=1.17 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 9806 0 0 0 92 25 0 0 20 0 15 0 221459434 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14089320 memory=1452 CPUtime=1.43 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 11365 0 0 0 142 1 0 0 20 0 15 0 221459438 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14089320 memory=4796368 CPUtime=1.63 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 9804 0 0 0 162 1 0 0 20 0 15 0 221459438 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14089320 memory=5303708 CPUtime=0.47 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 7404 0 0 0 46 1 0 0 20 0 15 0 221459438 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14089320 memory=4913052 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14089320 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1460 0 0 0 22 36 0 0 20 0 15 0 221459439 14427463680 1453365 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 2513.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 5814912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.5 s]
/proc/loadavg: 2.60 1.93 1.71 2/197 16660
/proc/meminfo: memFree=28614608/32770624 swapFree=67030644/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14089320 memory=463816 CPUtime=2520.04 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 182284 0 0 0 251246 758 0 0 20 0 15 0 221459431 14427463680 115954 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3522330 115954 3436 1 0 3483524 0
[pid=16523/tid=16525] ppid=16520 vsize=14089320 memory=463740 CPUtime=2504.18 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) R 16520 16520 15061 0 -1 4202560 106800 0 0 0 249746 672 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199715524656 140199352160527 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14089320 memory=463740 CPUtime=2.61 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 7325 0 0 0 254 7 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14089320 memory=5930660 CPUtime=2.61 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 6856 0 0 0 254 7 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14089320 memory=5852528 CPUtime=2.6 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 9088 0 0 0 254 6 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14089320 memory=5696264 CPUtime=2.61 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 10326 0 0 0 255 6 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14089320 memory=5264644 CPUtime=1.23 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 10476 0 0 0 96 27 0 0 20 0 15 0 221459434 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14089320 memory=5930660 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14089320 memory=463816 CPUtime=1.43 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 11365 0 0 0 142 1 0 0 20 0 15 0 221459438 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14089320 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 9804 0 0 0 162 1 0 0 20 0 15 0 221459438 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14089320 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 7404 0 0 0 46 1 0 0 20 0 15 0 221459438 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14089320 memory=463740 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14089320 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1464 0 0 0 22 36 0 0 20 0 15 0 221459439 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 465268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.51 s]
# the end of solver process 16520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.48 s, system=7.59196 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.5 s]
/proc/loadavg: 2.60 1.93 1.71 2/197 16660
/proc/meminfo: memFree=28614608/32770624 swapFree=67030644/67108860
[pid=16520] ppid=16514 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16520/stat : 16520 (xcsp3-exec) S 16514 16520 15061 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 221459431 115843072 363 33554432000 4194304 5098028 140737148940176 140737148938280 140375608029820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16592896 140737148941371 140737148941572 140737148941572 140737148944330 0
/proc/16520/statm: 28282 363 306 221 0 87 0
[pid=16523] ppid=16520 vsize=14089320 memory=463816 CPUtime=2520.04 cores=1,3,5,7
/proc/16523/stat : 16523 (java) S 16520 16520 15061 0 -1 1077944320 182284 0 0 0 251246 758 0 0 20 0 15 0 221459431 14427463680 115954 33554432000 4194304 4196468 140731159549904 140731159532448 140199711284983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
/proc/16523/statm: 3522330 115954 3436 1 0 3483524 0
[pid=16523/tid=16525] ppid=16520 vsize=14089320 memory=463740 CPUtime=2504.18 cores=1,3,5,7
/proc/16523/task/16525/stat : 16525 (java) R 16520 16520 15061 0 -1 4202560 106800 0 0 0 249746 672 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199715524656 140199352160527 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16527] ppid=16520 vsize=14089320 memory=463740 CPUtime=2.61 cores=1,3,5,7
/proc/16523/task/16527/stat : 16527 (java) S 16520 16520 15061 0 -1 1077944384 7325 0 0 0 254 7 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199306656528 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16528] ppid=16520 vsize=14089320 memory=5930660 CPUtime=2.61 cores=1,3,5,7
/proc/16523/task/16528/stat : 16528 (java) S 16520 16520 15061 0 -1 1077944384 6856 0 0 0 254 7 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199305603984 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16529] ppid=16520 vsize=14089320 memory=5852528 CPUtime=2.6 cores=1,3,5,7
/proc/16523/task/16529/stat : 16529 (java) S 16520 16520 15061 0 -1 1077944384 9088 0 0 0 254 6 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199304551440 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16530] ppid=16520 vsize=14089320 memory=5696264 CPUtime=2.61 cores=1,3,5,7
/proc/16523/task/16530/stat : 16530 (java) S 16520 16520 15061 0 -1 1077944384 10326 0 0 0 255 6 0 0 20 0 15 0 221459432 14427463680 115954 33554432000 4194304 4196468 140731159549904 140199303498896 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16535] ppid=16520 vsize=14089320 memory=5264644 CPUtime=1.23 cores=1,3,5,7
/proc/16523/task/16535/stat : 16535 (java) S 16520 16520 15061 0 -1 1077944384 10476 0 0 0 96 27 0 0 20 0 15 0 221459434 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198623627248 140199711296130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16538] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16538/stat : 16538 (java) S 16520 16520 15061 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198622573472 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16540] ppid=16520 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16540/stat : 16540 (java) S 16520 16520 15061 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221459434 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198621520880 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16545] ppid=16520 vsize=14089320 memory=5930660 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16545/stat : 16545 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459437 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198620469456 140199711303579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16548] ppid=16520 vsize=14089320 memory=463816 CPUtime=1.43 cores=1,3,5,7
/proc/16523/task/16548/stat : 16548 (java) S 16520 16520 15061 0 -1 1077944384 11365 0 0 0 142 1 0 0 20 0 15 0 221459438 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198619417072 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16549] ppid=16520 vsize=14089320 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/16523/task/16549/stat : 16549 (java) S 16520 16520 15061 0 -1 1077944384 9804 0 0 0 162 1 0 0 20 0 15 0 221459438 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198618364528 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16550] ppid=16520 vsize=14089320 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/16523/task/16550/stat : 16550 (java) S 16520 16520 15061 0 -1 1077944384 7404 0 0 0 46 1 0 0 20 0 15 0 221459438 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198617311984 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16551] ppid=16520 vsize=14089320 memory=463740 CPUtime=0 cores=1,3,5,7
/proc/16523/task/16551/stat : 16551 (java) S 16520 16520 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221459439 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198616259680 140199711295189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
[pid=16523/tid=16552] ppid=16520 vsize=14089320 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/16523/task/16552/stat : 16552 (java) S 16520 16520 15061 0 -1 1077944384 1464 0 0 0 22 36 0 0 20 0 15 0 221459439 14427463680 115954 33554432000 4194304 4196468 140731159549904 140198615206192 140199711296130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30105600 140731159553158 140731159553329 140731159553329 140731159556047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 465268 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2508.51
CPU time (s): 2520.07
CPU user time (s): 2512.48
CPU system time (s): 7.59196
CPU usage (%): 100.461
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 6086064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.48
system time used= 7.59196
maximum resident set size= 6109300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183343
page faults= 0
swaps= 0
block input operations= 1904
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74625
involuntary context switches= 2403
# summary of solver processes directly reported to runsolver:
# pid: 16520
# total CPU time (s): 2520.07
# total CPU user time (s): 2512.48
# total CPU system time (s): 7.59196
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2879 second user time and 22.564 second system time
The end