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 (15281 MiB free)
memory of node 1: 16384 MiB (14606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283775-1503214081/watcher-4283775-1503214081 -o /tmp/evaluation-result-4283775-1503214081/solver-4283775-1503214081 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1097426840 HOME/instance-4283775-1503214081.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
Current StackSize limit: 8192 KiB
solver pid=6026, runsolver pid=6023
[startup+0.100191 s]*
/proc/loadavg: 1.79 1.67 1.61 3/196 6027
/proc/meminfo: memFree=30605796/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209441 s]*
/proc/loadavg: 1.79 1.67 1.61 3/211 6042
/proc/meminfo: memFree=30595424/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13974352 memory=22072 CPUtime=0.07 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 4934 0 0 0 6 1 0 0 20 0 15 0 19817850 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3493588 5518 2712 1 0 3482964 0
[pid=6028/tid=6029] ppid=6026 vsize=13974352 memory=1404226546386182794 CPUtime=0.05 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 3107 0 0 0 5 0 0 0 20 0 15 0 19817850 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139944299462576 139944287468350 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13974352 memory=139650347808384 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13974352 memory=139650347808384 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19817852 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19817853 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19817853 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) S 6026 6026 16431 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 19817855 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943769606512 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943768553712 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13974352 memory=139650347808384 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 19817855 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13974352 memory=139650347808384 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817861 14309736448 5518 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23452 KiB
[startup+0.310195 s]*
/proc/loadavg: 1.79 1.67 1.61 4/211 6042
/proc/meminfo: memFree=30581356/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13974352 memory=36816 CPUtime=0.24 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 8791 0 0 0 22 2 0 0 20 0 15 0 19817850 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3493588 9204 2977 1 0 3482964 0
[pid=6028/tid=6029] ppid=6026 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 6022 0 0 0 14 2 0 0 20 0 15 0 19817850 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139944299453600 139944279311710 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19817851 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19817852 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19817853 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19817853 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) S 6026 6026 16431 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 19817855 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943769606512 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) S 6026 6026 16431 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 19817855 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943768553712 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 735 0 0 0 5 0 0 0 20 0 15 0 19817855 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817861 14309736448 9204 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38196 KiB
[startup+0.700755 s]
/proc/loadavg: 1.79 1.67 1.61 4/211 6042
/proc/meminfo: memFree=30569500/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13980732 memory=63152 CPUtime=1.17 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 12925 0 0 0 112 5 0 0 20 0 15 0 19817850 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3495183 15788 3174 1 0 3483476 0
[pid=6028/tid=6029] ppid=6026 vsize=13980732 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 8583 0 0 0 49 4 0 0 20 0 15 0 19817850 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139944299469776 139943936187717 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13980732 memory=54 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13980732 memory=5368 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19817852 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13980732 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13980732 memory=1200 CPUtime=0.19 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) R 6026 6026 16431 0 -1 4202560 1060 0 0 0 19 0 0 0 20 0 15 0 19817855 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943769594944 139944280112991 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13980732 memory=1720 CPUtime=0.18 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) R 6026 6026 16431 0 -1 4202560 813 0 0 0 18 0 0 0 20 0 15 0 19817855 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943768542304 139944273467609 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13980732 memory=15872 CPUtime=0.24 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 1162 0 0 0 24 0 0 0 20 0 15 0 19817855 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13980732 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13980732 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817861 14316269568 15788 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64532 KiB
[startup+1.50081 s]
/proc/loadavg: 1.79 1.67 1.61 5/211 6042
/proc/meminfo: memFree=30532056/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13980732 memory=140292 CPUtime=3.74 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 20889 0 0 0 366 8 0 0 20 0 15 0 19817850 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3495183 35073 3198 1 0 3483476 0
[pid=6028/tid=6029] ppid=6026 vsize=13980732 memory=1380 CPUtime=1.33 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 9492 0 0 0 128 5 0 0 20 0 15 0 19817850 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139944299469968 139943939778490 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13980732 memory=121236 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19817851 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 19817852 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13980732 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13980732 memory=13571496182286043 CPUtime=0.98 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) R 6026 6026 16431 0 -1 4202560 4302 0 0 0 98 0 0 0 20 0 15 0 19817855 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943769593360 139944276775382 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13980732 memory=0 CPUtime=0.97 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) R 6026 6026 16431 0 -1 4202560 2974 0 0 0 97 0 0 0 20 0 15 0 19817855 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943768545472 139944278699318 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13980732 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 2776 0 0 0 41 1 0 0 20 0 15 0 19817855 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 19817861 14316269568 35073 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
################
# More data... #
################
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13980732 memory=1380 CPUtime=3.23 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) S 6026 6026 16431 0 -1 1077944384 13290 0 0 0 322 1 0 0 20 0 15 0 19817855 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943769606512 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13980732 memory=587584 CPUtime=3.9 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) S 6026 6026 16431 0 -1 1077944384 17095 0 0 0 387 3 0 0 20 0 15 0 19817855 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943768553712 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13980732 memory=1380 CPUtime=0.62 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 8073 0 0 0 61 1 0 0 20 0 15 0 19817855 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13980732 memory=587584 CPUtime=1.27 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 983 0 0 0 67 60 0 0 20 0 15 0 19817861 14316269568 146896 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 2389.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 588964 KiB
[startup+2382.3 s]
/proc/loadavg: 1.76 1.78 1.77 3/211 6259
/proc/meminfo: memFree=30096892/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13980732 memory=623968 CPUtime=2451.08 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 245629 0 0 0 244391 717 0 0 20 0 15 0 19817850 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3495183 155992 3257 1 0 3483476 0
[pid=6028/tid=6029] ppid=6026 vsize=13980732 memory=623968 CPUtime=2360.05 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 78166 0 0 0 235982 23 0 0 20 0 15 0 19817850 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139944299470624 139943941055324 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13980732 memory=601456 CPUtime=20.09 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 20232 0 0 0 1854 155 0 0 20 0 15 0 19817851 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13980732 memory=616372 CPUtime=20.1 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 20158 0 0 0 1854 156 0 0 20 0 15 0 19817851 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13980732 memory=623968 CPUtime=20.16 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 21117 0 0 0 1862 154 0 0 20 0 15 0 19817851 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13980732 memory=623968 CPUtime=20.15 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 18531 0 0 0 1862 153 0 0 20 0 15 0 19817851 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13980732 memory=623968 CPUtime=1.38 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 46632 0 0 0 112 26 0 0 20 0 15 0 19817852 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13980732 memory=8664 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13980732 memory=4004 CPUtime=3.23 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) S 6026 6026 16431 0 -1 1077944384 13292 0 0 0 322 1 0 0 20 0 15 0 19817855 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943769606512 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13980732 memory=14092 CPUtime=3.9 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) S 6026 6026 16431 0 -1 1077944384 17097 0 0 0 387 3 0 0 20 0 15 0 19817855 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943768553712 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13980732 memory=1380 CPUtime=0.62 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 8075 0 0 0 61 1 0 0 20 0 15 0 19817855 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13980732 memory=55 CPUtime=1.31 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 987 0 0 0 68 63 0 0 20 0 15 0 19817861 14316269568 155992 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 2451.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 625348 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 1.84 1.79 3/211 6261
/proc/meminfo: memFree=30003856/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13980732 memory=636408 CPUtime=2512.98 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 250798 0 0 0 250562 736 0 0 20 0 15 0 19817850 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3495183 159102 3257 1 0 3483476 0
[pid=6028/tid=6029] ppid=6026 vsize=13980732 memory=636408 CPUtime=2419.37 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 79135 0 0 0 241914 23 0 0 20 0 15 0 19817850 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139944299470608 139943939778393 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13980732 memory=609712 CPUtime=20.71 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 21083 0 0 0 1912 159 0 0 20 0 15 0 19817851 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13980732 memory=1380 CPUtime=20.72 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 21025 0 0 0 1912 160 0 0 20 0 15 0 19817851 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13980732 memory=601172 CPUtime=20.79 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 21914 0 0 0 1921 158 0 0 20 0 15 0 19817851 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13980732 memory=617904 CPUtime=20.78 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 19194 0 0 0 1920 158 0 0 20 0 15 0 19817851 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13980732 memory=636408 CPUtime=1.42 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 47621 0 0 0 115 27 0 0 20 0 15 0 19817852 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13980732 memory=636408 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13980732 memory=571172 CPUtime=3.23 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) S 6026 6026 16431 0 -1 1077944384 13292 0 0 0 322 1 0 0 20 0 15 0 19817855 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943769606512 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13980732 memory=279300382236544 CPUtime=3.9 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) S 6026 6026 16431 0 -1 1077944384 17097 0 0 0 387 3 0 0 20 0 15 0 19817855 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943768553712 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13980732 memory=1380 CPUtime=0.62 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 8075 0 0 0 61 1 0 0 20 0 15 0 19817855 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13980732 memory=1380 CPUtime=1.33 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 1020 0 0 0 69 64 0 0 20 0 15 0 19817861 14316269568 159102 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 2512.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 637788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2449.2 s]
/proc/loadavg: 1.78 1.81 1.78 3/211 6262
/proc/meminfo: memFree=30052508/32770624 swapFree=67108860/67108860
[pid=6026] ppid=6023 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (xcsp3-exec) S 6023 6026 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19817840 9740288 345 18446744073709551615 4194304 5098028 140734498800640 140734498798744 139853913526908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 28434432 140734498804089 140734498804294 140734498804294 140734498807787 0
/proc/6026/statm: 2378 345 289 221 0 87 0
[pid=6028] ppid=6026 vsize=13980732 memory=672836 CPUtime=2520.01 cores=0,2,4,6
/proc/6028/stat : 6028 (java) S 6026 6026 16431 0 -1 1077944320 250890 0 0 0 251261 740 0 0 20 0 15 0 19817850 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 140720701588784 139944295231223 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
/proc/6028/statm: 3495183 168209 3257 1 0 3483476 0
[pid=6028/tid=6029] ppid=6026 vsize=13980732 memory=1584 CPUtime=2426.24 cores=0,2,4,6
/proc/6028/task/6029/stat : 6029 (java) R 6026 6026 16431 0 -1 4202560 79139 0 0 0 242600 24 0 0 20 0 15 0 19817850 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139944299470896 139943942357104 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6030] ppid=6026 vsize=13980732 memory=2160 CPUtime=20.76 cores=0,2,4,6
/proc/6028/task/6030/stat : 6030 (java) S 6026 6026 16431 0 -1 1077944384 21098 0 0 0 1916 160 0 0 20 0 15 0 19817851 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139944262789776 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6031] ppid=6026 vsize=13980732 memory=4288 CPUtime=20.76 cores=0,2,4,6
/proc/6028/task/6031/stat : 6031 (java) S 6026 6026 16431 0 -1 1077944384 21041 0 0 0 1915 161 0 0 20 0 15 0 19817851 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943894665744 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6032] ppid=6026 vsize=13980732 memory=932 CPUtime=20.83 cores=0,2,4,6
/proc/6028/task/6032/stat : 6032 (java) S 6026 6026 16431 0 -1 1077944384 21930 0 0 0 1924 159 0 0 20 0 15 0 19817851 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943893612944 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6033] ppid=6026 vsize=13980732 memory=1584 CPUtime=20.81 cores=0,2,4,6
/proc/6028/task/6033/stat : 6033 (java) S 6026 6026 16431 0 -1 1077944384 19210 0 0 0 1923 158 0 0 20 0 15 0 19817851 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943892560144 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6034] ppid=6026 vsize=13980732 memory=2160 CPUtime=1.42 cores=0,2,4,6
/proc/6028/task/6034/stat : 6034 (java) S 6026 6026 16431 0 -1 1077944384 47644 0 0 0 115 27 0 0 20 0 15 0 19817852 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943773817712 139944295242370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6035] ppid=6026 vsize=13980732 memory=844 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6035/stat : 6035 (java) S 6026 6026 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943772763680 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6036] ppid=6026 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6036/stat : 6036 (java) S 6026 6026 16431 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 19817853 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943771710832 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6037] ppid=6026 vsize=13980732 memory=3188 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6037/stat : 6037 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817855 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943770659152 139944295249819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6038] ppid=6026 vsize=13980732 memory=1380 CPUtime=3.23 cores=0,2,4,6
/proc/6028/task/6038/stat : 6038 (java) S 6026 6026 16431 0 -1 1077944384 13292 0 0 0 322 1 0 0 20 0 15 0 19817855 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943769606512 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6039] ppid=6026 vsize=13980732 memory=654844 CPUtime=3.9 cores=0,2,4,6
/proc/6028/task/6039/stat : 6039 (java) S 6026 6026 16431 0 -1 1077944384 17097 0 0 0 387 3 0 0 20 0 15 0 19817855 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943768553712 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6040] ppid=6026 vsize=13980732 memory=4072 CPUtime=0.62 cores=0,2,4,6
/proc/6028/task/6040/stat : 6040 (java) S 6026 6026 16431 0 -1 1077944384 8075 0 0 0 61 1 0 0 20 0 15 0 19817855 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943767500912 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6041] ppid=6026 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6028/task/6041/stat : 6041 (java) S 6026 6026 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19817856 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943766448352 139944295241429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
[pid=6028/tid=6042] ppid=6026 vsize=13980732 memory=288230613214036277 CPUtime=1.34 cores=0,2,4,6
/proc/6028/task/6042/stat : 6042 (java) S 6026 6026 16431 0 -1 1077944384 1022 0 0 0 69 65 0 0 20 0 15 0 19817861 14316269568 168209 18446744073709551615 4194304 4196468 140720701606240 139943765396656 139944295242370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140720701612466 140720701612642 140720701612642 140720701616079 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 674216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2449.21 s]
# the end of solver process 6026 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000954 s, system=0.000954 s
[startup+2449.21 s]
# the end of solver process 6028 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.62 s, system=7.41524 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
Child status: 143
Real time (s): 2449.21
CPU time (s): 2520.04
CPU user time (s): 2512.62
CPU system time (s): 7.41524
CPU usage (%): 102.892
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 723352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.62
system time used= 7.41524
maximum resident set size= 725488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78600
involuntary context switches= 4619
# summary of solver processes directly reported to runsolver:
# pid: 6026,6028
# total CPU time (s): 2520.04
# total CPU user time (s): 2512.62
# total CPU system time (s): 7.41524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3354 second user time and 23.1522 second system time
The end