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 (12405 MiB free)
memory of node 1: 16384 MiB (13683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283026-1503210043/watcher-4283026-1503210043 -o /tmp/evaluation-result-4283026-1503210043/solver-4283026-1503210043 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21140 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1786102630 HOME/instance-4283026-1503210043.xml
running on 4 cores: 0,2,4,6
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=21667, runsolver pid=21664
[startup+0.100081 s]*
/proc/loadavg: 1.88 1.84 1.24 2/196 21683
/proc/meminfo: memFree=26698324/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13978596 memory=28544 CPUtime=0.12 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 5433 0 0 0 11 1 0 0 20 0 15 0 154091842 14314082304 7136 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3494649 7136 2900 1 0 3482966 0
[pid=21669/tid=21670] ppid=21667 vsize=13978596 memory=-8035107114841901037 CPUtime=0.09 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 3440 0 0 0 9 0 0 0 20 0 15 0 154091842 14314082304 7136 33554432000 4194304 4196468 140733453593936 139781453128160 139781448908182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13978596 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14314082304 7136 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13978596 memory=140387434174080 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14314082304 7136 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14314082304 7136 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14314082304 7136 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13978596 memory=140387434174080 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091845 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091845 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780989253280 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091845 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780988200176 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 154091848 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13978596 memory=140387434174080 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) R 21667 21667 21109 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 15 0 154091848 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780916496368 139781427719204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13978596 memory=140387434174080 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091848 14314082304 7136 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29928 KiB
[startup+0.210439 s]*
/proc/loadavg: 1.88 1.84 1.24 2/196 21683
/proc/meminfo: memFree=26687424/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13982852 memory=40464 CPUtime=0.33 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 8170 0 0 0 32 1 0 0 20 0 15 0 154091842 14318440448 10116 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3495713 10116 3059 1 0 3482966 0
[pid=21669/tid=21670] ppid=21667 vsize=13982884 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 5335 0 0 0 19 1 0 0 20 0 15 0 154091842 14318473216 10116 33554432000 4194304 4196468 140733453593936 139781453107040 139781441575965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13982884 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14318473216 10116 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13982852 memory=140387434916612 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 10116 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 10116 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 10116 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13982852 memory=140387434174080 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091845 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091845 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780989253280 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091845 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780988200176 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13982884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 15 0 154091848 14318473216 10116 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13982884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) S 21667 21667 21109 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 154091848 14318473216 10116 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13982852 memory=140387434174080 CPUtime=0.08 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) S 21667 21667 21109 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 154091848 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780916496368 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13982852 memory=140387434174080 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091848 14318440448 10116 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41848 KiB
[startup+0.310437 s]*
/proc/loadavg: 1.88 1.84 1.24 3/196 21683
/proc/meminfo: memFree=26680248/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13982852 memory=47092 CPUtime=0.51 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 8981 0 0 0 49 2 0 0 20 0 15 0 154091842 14318440448 11773 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3495713 11773 3084 1 0 3482966 0
[pid=21669/tid=21670] ppid=21667 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 5944 0 0 0 28 1 0 0 20 0 15 0 154091842 14318440448 11773 33554432000 4194304 4196468 140733453593936 139781453134000 139781448908182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 11773 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 11773 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 11773 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14318440448 11773 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091845 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091845 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780989253280 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091845 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780988200176 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 580 0 0 0 3 0 0 0 20 0 15 0 154091848 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) R 21667 21667 21109 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 154091848 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) R 21667 21667 21109 0 -1 4202560 839 0 0 0 13 0 0 0 20 0 15 0 154091848 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780916492320 139781427420065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091848 14318440448 11773 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48476 KiB
[startup+0.704265 s]
/proc/loadavg: 1.88 1.84 1.24 5/211 21707
/proc/meminfo: memFree=26643544/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13984976 memory=85324 CPUtime=1.68 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 12447 0 0 0 164 4 0 0 20 0 15 0 154091842 14320615424 21331 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3496244 21331 3208 1 0 3483478 0
[pid=21669/tid=21670] ppid=21667 vsize=13984976 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 6821 0 0 0 64 2 0 0 20 0 15 0 154091842 14320615424 21331 33554432000 4194304 4196468 140733453593936 139781453134608 139781441574261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 21331 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 21331 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 21331 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13984976 memory=42628 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 21331 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780989253280 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780988200176 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13984976 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13984976 memory=1008 CPUtime=0.32 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) R 21667 21667 21109 0 -1 4202560 1558 0 0 0 32 0 0 0 20 0 15 0 154091848 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780918601968 139781448917594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13984976 memory=1928 CPUtime=0.26 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) R 21667 21667 21109 0 -1 4202560 981 0 0 0 26 0 0 0 20 0 15 0 154091848 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780917535968 139781426120400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13984976 memory=1200 CPUtime=0.41 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) R 21667 21667 21109 0 -1 4202560 1780 0 0 0 41 0 0 0 20 0 15 0 154091848 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780916493104 139781448908182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13984976 memory=8664 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 21331 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 86708 KiB
[startup+1.50127 s]
/proc/loadavg: 1.88 1.84 1.24 9/217 21713
/proc/meminfo: memFree=26561020/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780988200176 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13984976 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13984976 memory=212512 CPUtime=2.29 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 16812 0 0 0 228 1 0 0 20 0 15 0 154091848 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13984976 memory=1384 CPUtime=2.25 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) S 21667 21667 21109 0 -1 1077944384 14746 0 0 0 223 2 0 0 20 0 15 0 154091848 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13984976 memory=280774629922688 CPUtime=0.59 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) S 21667 21667 21109 0 -1 1077944384 5512 0 0 0 58 1 0 0 20 0 15 0 154091848 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780916496368 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13984976 memory=288230377057952508 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13984976 memory=212512 CPUtime=0.02 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1453 0 0 0 1 1 0 0 20 0 15 0 154091848 14320615424 53128 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 107.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 213896 KiB
[startup+162.301 s]
/proc/loadavg: 1.97 1.89 1.36 3/217 21715
/proc/meminfo: memFree=26284048/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13984976 memory=238088 CPUtime=167.79 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 55731 0 0 0 16765 14 0 0 20 0 15 0 154091842 14320615424 59522 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3496244 59522 3263 1 0 3483478 0
[pid=21669/tid=21670] ppid=21667 vsize=13984976 memory=238088 CPUtime=162.23 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 11275 0 0 0 16219 4 0 0 20 0 15 0 154091842 14320615424 59522 33554432000 4194304 4196468 140733453593936 139781453131712 139781076289244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13984976 memory=238088 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 59522 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13984976 memory=238088 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 1110 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 59522 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13984976 memory=238088 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 59522 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13984976 memory=238088 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 15 0 154091843 14320615424 59522 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13984976 memory=238088 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780989253344 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780988200192 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13984976 memory=238088 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13984976 memory=1384 CPUtime=2.43 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 17021 0 0 0 242 1 0 0 20 0 15 0 154091848 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13984976 memory=1384 CPUtime=2.39 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) S 21667 21667 21109 0 -1 1077944384 15192 0 0 0 237 2 0 0 20 0 15 0 154091848 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13984976 memory=238088 CPUtime=0.59 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) S 21667 21667 21109 0 -1 1077944384 6099 0 0 0 58 1 0 0 20 0 15 0 154091848 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780916496368 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13984976 memory=238088 CPUtime=0.04 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1497 0 0 0 1 3 0 0 20 0 15 0 154091848 14320615424 59522 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 167.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 239472 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.90 1.39 3/218 21724
/proc/meminfo: memFree=26297580/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13984976 memory=238204 CPUtime=227.9 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 56706 0 0 0 22775 15 0 0 20 0 15 0 154091842 14320615424 59551 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3496244 59551 3263 1 0 3483478 0
[pid=21669/tid=21670] ppid=21667 vsize=13984976 memory=238204 CPUtime=222.22 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 11514 0 0 0 22218 4 0 0 20 0 15 0 154091842 14320615424 59551 33554432000 4194304 4196468 140733453593936 139781453133512 139781076289353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13984976 memory=238204 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59551 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13984976 memory=238204 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59551 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13984976 memory=238204 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 873 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59551 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13984976 memory=238204 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59551 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 963 0 0 0 1 0 0 0 20 0 15 0 154091845 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780989253344 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780988200192 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13984976 memory=238204 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13984976 memory=6944656592455359580 CPUtime=2.45 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 17064 0 0 0 244 1 0 0 20 0 15 0 154091848 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13984976 memory=6655300316396806240 CPUtime=2.44 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) S 21667 21667 21109 0 -1 1077944384 15256 0 0 0 242 2 0 0 20 0 15 0 154091848 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13984976 memory=1384 CPUtime=0.6 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) S 21667 21667 21109 0 -1 1077944384 6233 0 0 0 59 1 0 0 20 0 15 0 154091848 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780916496368 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13984976 memory=2240 CPUtime=0.06 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1501 0 0 0 2 4 0 0 20 0 15 0 154091848 14320615424 59551 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 227.9 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 239588 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.90 1.41 3/218 21724
/proc/meminfo: memFree=26301488/32770624 swapFree=67108860/67108860
[pid=21667] ppid=21664 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21667/stat : 21667 (xcsp3-exec) S 21664 21667 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154091842 9740288 346 33554432000 4194304 5098028 140720515771808 140720515769912 139647283077756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23547904 140720515777652 140720515777856 140720515777856 140720515780587 0
/proc/21667/statm: 2378 346 289 221 0 87 0
[pid=21669] ppid=21667 vsize=13984976 memory=238264 CPUtime=245.86 cores=0,2,4,6
/proc/21669/stat : 21669 (java) S 21667 21667 21109 0 -1 1077944320 57059 0 0 0 24571 15 0 0 20 0 15 0 154091842 14320615424 59566 33554432000 4194304 4196468 140733453593936 140733453576480 139781448896247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
/proc/21669/statm: 3496244 59566 3266 1 0 3483478 0
[pid=21669/tid=21670] ppid=21667 vsize=13984976 memory=238204 CPUtime=239.93 cores=0,2,4,6
/proc/21669/task/21670/stat : 21670 (java) R 21667 21667 21109 0 -1 4202560 11711 0 0 0 23989 4 0 0 20 0 15 0 154091842 14320615424 59566 33554432000 4194304 4196468 140733453593936 139781453131840 139781076289356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21671] ppid=21667 vsize=13984976 memory=15876 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21671/stat : 21671 (java) S 21667 21667 21109 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59566 33554432000 4194304 4196468 140733453593936 139781401516560 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21672] ppid=21667 vsize=13984976 memory=4052 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21672/stat : 21672 (java) S 21667 21667 21109 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59566 33554432000 4194304 4196468 140733453593936 139781400464016 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21673] ppid=21667 vsize=13984976 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21673/stat : 21673 (java) S 21667 21667 21109 0 -1 1077944384 873 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59566 33554432000 4194304 4196468 140733453593936 139781399410960 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21674] ppid=21667 vsize=13984976 memory=238208 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21674/stat : 21674 (java) S 21667 21667 21109 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 154091843 14320615424 59566 33554432000 4194304 4196468 140733453593936 139781398358416 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21675] ppid=21667 vsize=13984976 memory=238204 CPUtime=0.01 cores=0,2,4,6
/proc/21669/task/21675/stat : 21675 (java) S 21667 21667 21109 0 -1 1077944384 975 0 0 0 1 0 0 0 20 0 15 0 154091845 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780990307056 139781448907394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21676] ppid=21667 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21676/stat : 21676 (java) S 21667 21667 21109 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780989253344 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21677] ppid=21667 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21677/stat : 21677 (java) S 21667 21667 21109 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 154091845 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780988200192 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21678] ppid=21667 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21678/stat : 21678 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780987148752 139781448914843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21679] ppid=21667 vsize=13984976 memory=1200 CPUtime=2.58 cores=0,2,4,6
/proc/21669/task/21679/stat : 21679 (java) S 21667 21667 21109 0 -1 1077944384 17123 0 0 0 256 2 0 0 20 0 15 0 154091848 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780918601968 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21680] ppid=21667 vsize=13984976 memory=8664 CPUtime=2.56 cores=0,2,4,6
/proc/21669/task/21680/stat : 21680 (java) S 21667 21667 21109 0 -1 1077944384 15288 0 0 0 254 2 0 0 20 0 15 0 154091848 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780917549424 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21681] ppid=21667 vsize=13984976 memory=5784 CPUtime=0.6 cores=0,2,4,6
/proc/21669/task/21681/stat : 21681 (java) S 21667 21667 21109 0 -1 1077944384 6284 0 0 0 59 1 0 0 20 0 15 0 154091848 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780916496368 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21682] ppid=21667 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/21669/task/21682/stat : 21682 (java) S 21667 21667 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154091848 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780915444064 139781448906453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
[pid=21669/tid=21683] ppid=21667 vsize=13984976 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/21669/task/21683/stat : 21683 (java) S 21667 21667 21109 0 -1 1077944384 1503 0 0 0 3 4 0 0 20 0 15 0 154091848 14320615424 59566 33554432000 4194304 4196468 140733453593936 139780914392112 139781448907394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29143040 140733453595805 140733453595980 140733453595980 140733453598671 0
Current children cumulated CPU time: 245.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 239648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 21667 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001854 s
[startup+240.019 s]
# the end of solver process 21669 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.721 s, system=0.161921 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.02
CPU time (s): 245.883
CPU user time (s): 245.721
CPU system time (s): 0.161921
CPU usage (%): 102.443
Max. virtual memory (cumulated for all children) (KiB): 13996832
Max. memory (cumulated for all children) (KiB): 239648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.721
system time used= 0.161921
maximum resident set size= 238728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7913
involuntary context switches= 367
# summary of solver processes directly reported to runsolver:
# pid: 21667,21669
# total CPU time (s): 245.883
# total CPU user time (s): 245.721
# total CPU system time (s): 0.161921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60539 second user time and 2.0115 second system time
The end