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 (11822 MiB free)
memory of node 1: 16384 MiB (12967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284247-1503211720/watcher-4284247-1503211720 -o /tmp/evaluation-result-4284247-1503211720/solver-4284247-1503211720 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1507093157 HOME/instance-4284247-1503211720.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=9663, runsolver pid=9660
[startup+0.100125 s]*
/proc/loadavg: 1.56 1.71 1.68 3/217 9679
/proc/meminfo: memFree=25366812/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13978596 memory=28804 CPUtime=0.12 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 5055 0 0 0 11 1 0 0 20 0 15 0 154259411 14314082304 7201 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3494649 7201 2868 1 0 3482966 0
[pid=9665/tid=9666] ppid=9663 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 3066 0 0 0 9 0 0 0 20 0 15 0 154259412 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307683463840 140307270293289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13978596 memory=3472468298639058128 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13978596 memory=140169743906432 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259412 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259414 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259414 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307174732960 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259414 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307173679856 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13978596 memory=140169743906432 CPUtime=0.01 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) R 9663 9663 8036 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 154259417 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307169470960 140307658202709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13978596 memory=140169743906432 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 7266 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30184 KiB
[startup+0.210608 s]*
/proc/loadavg: 1.56 1.71 1.68 4/217 9679
/proc/meminfo: memFree=25355648/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13982852 memory=40264 CPUtime=0.33 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 7765 0 0 0 31 2 0 0 20 0 15 0 154259411 14318440448 10066 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3495713 10066 3040 1 0 3482966 0
[pid=9665/tid=9666] ppid=9663 vsize=13982852 memory=4790596700399117203 CPUtime=0.19 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 4911 0 0 0 18 1 0 0 20 0 15 0 154259412 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307683442640 140307679253661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13982852 memory=3472468298639058128 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13982852 memory=140169743906432 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13982852 memory=140169743906432 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307174732960 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307173679856 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 584 0 0 0 3 0 0 0 20 0 15 0 154259417 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 154259417 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13982852 memory=140169743906432 CPUtime=0.07 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) R 9663 9663 8036 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 15 0 154259417 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307169470960 140307671468862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13982852 memory=140169743906432 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 10066 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41644 KiB
[startup+0.310817 s]*
/proc/loadavg: 1.56 1.71 1.68 5/217 9679
/proc/meminfo: memFree=25349072/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13982852 memory=47100 CPUtime=0.51 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 8517 0 0 0 48 3 0 0 20 0 15 0 154259411 14318440448 11775 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3495713 11775 3103 1 0 3482966 0
[pid=9665/tid=9666] ppid=9663 vsize=13982852 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 5458 0 0 0 28 1 0 0 20 0 15 0 154259412 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307683467968 140307663312222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13982852 memory=3472468298639058128 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13982852 memory=140169743906432 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13982852 memory=140169613289503 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13982852 memory=280339226558240 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13982852 memory=140169613266447 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307174732960 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13982852 memory=280339357182048 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307173679856 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13982852 memory=140169613271055 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 660 0 0 0 4 0 0 0 20 0 15 0 154259417 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 154259417 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) R 9663 9663 8036 0 -1 4202560 836 0 0 0 12 0 0 0 20 0 15 0 154259417 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307169470144 140307658946036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 11775 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48480 KiB
[startup+0.700733 s]
/proc/loadavg: 1.56 1.71 1.68 6/217 9679
/proc/meminfo: memFree=25330396/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13984976 memory=82460 CPUtime=1.65 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 10784 0 0 0 160 5 0 0 20 0 15 0 154259411 14320615424 20615 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3496244 20615 3217 1 0 3483478 0
[pid=9665/tid=9666] ppid=9663 vsize=13984976 memory=280339226366000 CPUtime=0.67 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 6224 0 0 0 65 2 0 0 20 0 15 0 154259412 14320615424 20615 33554432000 4194304 4196468 140735609340672 140307683469440 140307274553662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14320615424 20615 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14320615424 20615 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259412 14320615424 20615 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259412 14320615424 20615 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 20615 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307174732960 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307173679856 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13984976 memory=5787213827131598673 CPUtime=0.28 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) R 9663 9663 8036 0 -1 4202560 1069 0 0 0 28 0 0 0 20 0 15 0 154259417 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307171564176 140307671521184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13984976 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) R 9663 9663 8036 0 -1 4202560 664 0 0 0 29 0 0 0 20 0 15 0 154259417 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307170511568 140307663134834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13984976 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) S 9663 9663 8036 0 -1 1077944384 1530 0 0 0 38 1 0 0 20 0 15 0 154259417 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307169470960 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13984976 memory=42556 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 20680 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83840 KiB
[startup+1.50077 s]
/proc/loadavg: 1.56 1.71 1.68 4/217 9679
/proc/meminfo: memFree=25306920/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307173679872 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13984976 memory=6944656575208382560 CPUtime=2.71 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 13849 0 0 0 269 2 0 0 20 0 15 0 154259417 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13984976 memory=1380 CPUtime=2.62 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 14313 0 0 0 261 1 0 0 20 0 15 0 154259417 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13984976 memory=1030892 CPUtime=0.77 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) S 9663 9663 8036 0 -1 1077944384 6888 0 0 0 75 2 0 0 20 0 15 0 154259417 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307169470960 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13984976 memory=4612 CPUtime=0.03 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 319 0 0 0 1 2 0 0 20 0 15 0 154259417 14320615424 257737 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 110.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1032328 KiB
[startup+162.301 s]
/proc/loadavg: 1.89 1.81 1.72 3/217 9681
/proc/meminfo: memFree=23654400/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13984976 memory=1267688 CPUtime=174.4 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 74244 0 0 0 17339 101 0 0 20 0 15 0 154259411 14320615424 316922 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3496244 316922 3277 1 0 3483478 0
[pid=9665/tid=9666] ppid=9663 vsize=13984976 memory=1267688 CPUtime=160.29 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 16925 0 0 0 16020 9 0 0 20 0 15 0 154259412 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307683470360 140307277431109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13984976 memory=1267688 CPUtime=1.64 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 1426 0 0 0 144 20 0 0 20 0 15 0 154259412 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13984976 memory=1267688 CPUtime=1.64 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 1894 0 0 0 145 19 0 0 20 0 15 0 154259412 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13984976 memory=1267688 CPUtime=1.66 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 1579 0 0 0 146 20 0 0 20 0 15 0 154259412 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13984976 memory=1380 CPUtime=1.66 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 2078 0 0 0 146 20 0 0 20 0 15 0 154259412 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13984976 memory=1267688 CPUtime=0.27 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 2778 0 0 0 27 0 0 0 20 0 15 0 154259414 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307174733024 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13984976 memory=1267688 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307173679872 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13984976 memory=1267000 CPUtime=3.19 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 19688 0 0 0 317 2 0 0 20 0 15 0 154259417 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13984976 memory=1197596 CPUtime=3.1 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 19082 0 0 0 308 2 0 0 20 0 15 0 154259417 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13984976 memory=1380 CPUtime=0.8 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) S 9663 9663 8036 0 -1 1077944384 7098 0 0 0 78 2 0 0 20 0 15 0 154259417 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307169470960 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13984976 memory=1267688 CPUtime=0.06 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 323 0 0 0 2 4 0 0 20 0 15 0 154259417 14320615424 316922 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 174.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1269068 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.80 1.72 3/217 9760
/proc/meminfo: memFree=24677240/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13984976 memory=1578140 CPUtime=235.7 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 81263 0 0 0 23436 134 0 0 20 0 15 0 154259411 14320615424 394535 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3496244 394535 3281 1 0 3483478 0
[pid=9665/tid=9666] ppid=9663 vsize=13984976 memory=1578140 CPUtime=219.9 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 18290 0 0 0 21981 9 0 0 20 0 15 0 154259412 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307683467728 140307271405500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13984976 memory=1578140 CPUtime=2.01 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 2065 0 0 0 173 28 0 0 20 0 15 0 154259412 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13984976 memory=1380 CPUtime=2.02 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 2251 0 0 0 174 28 0 0 20 0 15 0 154259412 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13984976 memory=1578140 CPUtime=2.03 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 2449 0 0 0 175 28 0 0 20 0 15 0 154259412 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13984976 memory=1577996 CPUtime=2.03 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 2448 0 0 0 175 28 0 0 20 0 15 0 154259412 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13984976 memory=1380 CPUtime=0.28 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 2977 0 0 0 28 0 0 0 20 0 15 0 154259414 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307174733024 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13984976 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307173679872 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13984976 memory=1577988 CPUtime=3.25 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 20705 0 0 0 323 2 0 0 20 0 15 0 154259417 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13984976 memory=1380 CPUtime=3.21 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 20494 0 0 0 319 2 0 0 20 0 15 0 154259417 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13984976 memory=1380 CPUtime=0.8 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) S 9663 9663 8036 0 -1 1077944384 7838 0 0 0 78 2 0 0 20 0 15 0 154259417 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307169470960 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13984976 memory=2448 CPUtime=0.08 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 373 0 0 0 3 5 0 0 20 0 15 0 154259417 14320615424 394535 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 235.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1579520 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.69 1.78 1.72 3/217 9760
/proc/meminfo: memFree=24438244/32770624 swapFree=67108860/67108860
[pid=9663] ppid=9660 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (xcsp3-exec) S 9660 9663 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 345 33554432000 4194304 5098028 140736929931024 140736929929128 140398273843836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33353728 140736929932404 140736929932608 140736929932608 140736929935339 0
/proc/9663/statm: 2378 345 289 221 0 87 0
[pid=9665] ppid=9663 vsize=13984976 memory=1816248 CPUtime=254.06 cores=1,3,5,7
/proc/9665/stat : 9665 (java) S 9663 9663 8036 0 -1 1077944320 83766 0 0 0 25245 161 0 0 20 0 15 0 154259411 14320615424 454062 33554432000 4194304 4196468 140735609340672 140735609323216 140307679231735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
/proc/9665/statm: 3496244 454062 3281 1 0 3483478 0
[pid=9665/tid=9666] ppid=9663 vsize=13984976 memory=1796 CPUtime=237.41 cores=1,3,5,7
/proc/9665/task/9666/stat : 9666 (java) R 9663 9663 8036 0 -1 4202560 19157 0 0 0 23731 10 0 0 20 0 15 0 154259412 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307683468344 140307275974257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9667] ppid=9663 vsize=13984976 memory=644 CPUtime=2.22 cores=1,3,5,7
/proc/9665/task/9667/stat : 9667 (java) S 9663 9663 8036 0 -1 1077944384 2198 0 0 0 188 34 0 0 20 0 15 0 154259412 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307594300432 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9668] ppid=9663 vsize=13984976 memory=960 CPUtime=2.22 cores=1,3,5,7
/proc/9665/task/9668/stat : 9668 (java) S 9663 9663 8036 0 -1 1077944384 2519 0 0 0 188 34 0 0 20 0 15 0 154259412 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307593247888 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9669] ppid=9663 vsize=13984976 memory=-7003737579269690708 CPUtime=2.23 cores=1,3,5,7
/proc/9665/task/9669/stat : 9669 (java) S 9663 9663 8036 0 -1 1077944384 2914 0 0 0 188 35 0 0 20 0 15 0 154259412 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307592194832 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9670] ppid=9663 vsize=13984976 memory=1440 CPUtime=2.23 cores=1,3,5,7
/proc/9665/task/9670/stat : 9670 (java) S 9663 9663 8036 0 -1 1077944384 2847 0 0 0 189 34 0 0 20 0 15 0 154259412 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307591142288 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9671] ppid=9663 vsize=13984976 memory=5796 CPUtime=0.28 cores=1,3,5,7
/proc/9665/task/9671/stat : 9671 (java) S 9663 9663 8036 0 -1 1077944384 3165 0 0 0 28 0 0 0 20 0 15 0 154259414 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307175786736 140307679242882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9672] ppid=9663 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9672/stat : 9672 (java) S 9663 9663 8036 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307174733024 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9673] ppid=9663 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9673/stat : 9673 (java) S 9663 9663 8036 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307173679872 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9674] ppid=9663 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9674/stat : 9674 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307172628432 140307679250331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9675] ppid=9663 vsize=13984976 memory=8112282956445269571 CPUtime=3.28 cores=1,3,5,7
/proc/9665/task/9675/stat : 9675 (java) S 9663 9663 8036 0 -1 1077944384 20828 0 0 0 326 2 0 0 20 0 15 0 154259417 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307171576560 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9676] ppid=9663 vsize=13984976 memory=1380 CPUtime=3.21 cores=1,3,5,7
/proc/9665/task/9676/stat : 9676 (java) S 9663 9663 8036 0 -1 1077944384 20496 0 0 0 319 2 0 0 20 0 15 0 154259417 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307170524016 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9677] ppid=9663 vsize=13984976 memory=1816248 CPUtime=0.81 cores=1,3,5,7
/proc/9665/task/9677/stat : 9677 (java) S 9663 9663 8036 0 -1 1077944384 7894 0 0 0 79 2 0 0 20 0 15 0 154259417 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307169470960 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9678] ppid=9663 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/9665/task/9678/stat : 9678 (java) S 9663 9663 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307168418656 140307679241941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
[pid=9665/tid=9679] ppid=9663 vsize=13984976 memory=2792 CPUtime=0.08 cores=1,3,5,7
/proc/9665/task/9679/stat : 9679 (java) S 9663 9663 8036 0 -1 1077944384 375 0 0 0 3 5 0 0 20 0 15 0 154259417 14320615424 454062 33554432000 4194304 4196468 140735609340672 140307167365680 140307679242882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6975488 140735609349277 140735609349452 140735609349452 140735609352143 0
Current children cumulated CPU time: 254.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1817628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 9663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000921 s, system=0.000921 s
[startup+240.028 s]
# the end of solver process 9665 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.461 s, system=1.63185 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): 240.028
CPU time (s): 254.093
CPU user time (s): 252.461
CPU system time (s): 1.63185
CPU usage (%): 105.86
Max. virtual memory (cumulated for all children) (KiB): 13996576
Max. memory (cumulated for all children) (KiB): 1817628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.461
system time used= 1.63185
maximum resident set size= 1816908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9074
involuntary context switches= 283
# summary of solver processes directly reported to runsolver:
# pid: 9663,9665
# total CPU time (s): 254.093
# total CPU user time (s): 252.461
# total CPU system time (s): 1.63185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58785 second user time and 2.16099 second system time
The end