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 (13016 MiB free)
memory of node 1: 16384 MiB (11108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284403-1503211444/watcher-4284403-1503211444 -o /tmp/evaluation-result-4284403-1503211444/solver-4284403-1503211444 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8067 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1866729320 HOME/instance-4284403-1503211444.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=9413, runsolver pid=9410
[startup+0.100211 s]*
/proc/loadavg: 1.89 1.77 1.68 4/217 9429
/proc/meminfo: memFree=24687256/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13978596 memory=27888 CPUtime=0.12 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 5323 0 0 0 11 1 0 0 20 0 15 0 154231880 14314082304 6972 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3494649 6972 2884 1 0 3482966 0
[pid=9415/tid=9416] ppid=9413 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 3331 0 0 0 8 1 0 0 20 0 15 0 154231880 14314082304 6972 33554432000 4194304 4196468 140736854740112 139873753993888 139873749773718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13978596 memory=3472468522208208080 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14314082304 6972 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13978596 memory=140393313056384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14314082304 6972 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14314082304 6972 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231881 14314082304 6972 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231882 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154231883 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154231883 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 154231885 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13978596 memory=140393313056384 CPUtime=0.01 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) R 9413 9413 8036 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 154231885 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872386930928 139873733842270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13978596 memory=140393313056384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231886 14314082304 6972 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29272 KiB
[startup+0.210705 s]*
/proc/loadavg: 1.89 1.77 1.68 3/217 9429
/proc/meminfo: memFree=24676404/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13982852 memory=40608 CPUtime=0.34 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 8205 0 0 0 32 2 0 0 20 0 15 0 154231880 14318440448 10152 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3495713 10152 3056 1 0 3482966 0
[pid=9415/tid=9416] ppid=9413 vsize=13982884 memory=4499834149035483540 CPUtime=0.19 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 5305 0 0 0 18 1 0 0 20 0 15 0 154231880 14318473216 10152 33554432000 4194304 4196468 140736854740112 139873753972576 139873742478887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13982852 memory=3472468522208208080 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14318440448 10152 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13982852 memory=140393313056384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14318440448 10152 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14318440448 10152 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231881 14318440448 10152 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13982852 memory=140393313056384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231882 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154231883 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154231883 14318473216 10152 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 641 0 0 0 3 0 0 0 20 0 15 0 154231885 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 154231885 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13982852 memory=140393313056384 CPUtime=0.07 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) S 9413 9413 8036 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 15 0 154231885 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13982852 memory=140393313056384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231886 14318440448 10152 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41992 KiB
[startup+0.315398 s]*
/proc/loadavg: 1.89 1.77 1.68 4/217 9429
/proc/meminfo: memFree=24669580/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13982928 memory=48308 CPUtime=0.52 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 9189 0 0 0 49 3 0 0 20 0 15 0 154231880 14318518272 12077 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3495732 12077 3145 1 0 3482966 0
[pid=9415/tid=9416] ppid=9413 vsize=13982928 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 6063 0 0 0 28 2 0 0 20 0 15 0 154231880 14318518272 12087 33554432000 4194304 4196468 140736854740112 139873753994144 139873733842270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13982928 memory=3472468522208208080 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14318518272 12087 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13982928 memory=140393313056384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14318518272 12087 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14318518272 12087 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13982928 memory=140393152915487 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231881 14318518272 12087 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13982928 memory=280786305810208 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231882 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13982928 memory=140393152892431 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154231883 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13982928 memory=280786465957984 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154231883 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13982928 memory=140393152897039 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 677 0 0 0 4 0 0 0 20 0 15 0 154231885 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13982928 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 154231885 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13982928 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) S 9413 9413 8036 0 -1 1077944384 875 0 0 0 13 0 0 0 20 0 15 0 154231885 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13982928 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231886 14318518272 12087 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49692 KiB
[startup+0.700772 s]
/proc/loadavg: 1.89 1.77 1.68 3/217 9429
/proc/meminfo: memFree=24655996/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13984976 memory=68500 CPUtime=1.65 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 11819 0 0 0 161 4 0 0 20 0 15 0 154231880 14320615424 17125 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3496244 17125 3205 1 0 3483478 0
[pid=9415/tid=9416] ppid=9413 vsize=13984976 memory=280786305617968 CPUtime=0.67 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 6703 0 0 0 64 3 0 0 20 0 15 0 154231880 14320615424 17125 33554432000 4194304 4196468 140736854740112 139873753999888 139873348491104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14320615424 17125 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14320615424 17125 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231881 14320615424 17125 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13984976 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154231881 14320615424 17125 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154231882 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13984976 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13984976 memory=5787213827131598673 CPUtime=0.29 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) R 9413 9413 8036 0 -1 4202560 1306 0 0 0 29 0 0 0 20 0 15 0 154231885 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872926463824 139873735818416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13984976 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) R 9413 9413 8036 0 -1 4202560 898 0 0 0 30 0 0 0 20 0 15 0 154231885 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872387970912 139873733148627 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13984976 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) R 9413 9413 8036 0 -1 1077944384 1604 0 0 0 36 0 0 0 20 0 15 0 154231885 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13984976 memory=42536 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154231886 14320615424 17125 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 69884 KiB
[startup+1.5008 s]
/proc/loadavg: 1.89 1.77 1.68 5/217 9429
/proc/meminfo: memFree=24630932/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13984976 memory=235556 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13984976 memory=6944656592455097440 CPUtime=4.51 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 21647 0 0 0 448 3 0 0 20 0 15 0 154231885 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13984976 memory=4100 CPUtime=5.27 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 22094 0 0 0 524 3 0 0 20 0 15 0 154231885 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13984976 memory=42556 CPUtime=0.85 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) S 9413 9413 8036 0 -1 1077944384 10227 0 0 0 83 2 0 0 20 0 15 0 154231885 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13984976 memory=236196 CPUtime=0.03 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1189 0 0 0 1 2 0 0 20 0 15 0 154231886 14320615424 58920 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 113.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 237064 KiB
[startup+162.301 s]
/proc/loadavg: 1.75 1.78 1.70 3/217 9516
/proc/meminfo: memFree=26139168/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13984976 memory=241228 CPUtime=174.1 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 78256 0 0 0 17378 32 0 0 20 0 15 0 154231880 14320615424 60307 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3496244 60307 3265 1 0 3483478 0
[pid=9415/tid=9416] ppid=9413 vsize=13984976 memory=231896 CPUtime=161.83 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 13390 0 0 0 16178 5 0 0 20 0 15 0 154231880 14320615424 60307 33554432000 4194304 4196468 140736854740112 139873754001280 139873351012008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13984976 memory=231896 CPUtime=0.34 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 728 0 0 0 31 3 0 0 20 0 15 0 154231881 14320615424 60307 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13984976 memory=232920 CPUtime=0.34 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 924 0 0 0 31 3 0 0 20 0 15 0 154231881 14320615424 60307 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13984976 memory=234448 CPUtime=0.34 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1613 0 0 0 31 3 0 0 20 0 15 0 154231881 14320615424 60307 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13984976 memory=1384 CPUtime=0.34 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 1778 0 0 0 31 3 0 0 20 0 15 0 154231881 14320615424 60307 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13984976 memory=235984 CPUtime=0.04 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 1285 0 0 0 4 0 0 0 20 0 15 0 154231882 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13984976 memory=237520 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13984976 memory=229856 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13984976 memory=1384 CPUtime=4.54 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 22751 0 0 0 451 3 0 0 20 0 15 0 154231885 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13984976 memory=2448 CPUtime=5.32 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 22761 0 0 0 529 3 0 0 20 0 15 0 154231885 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13984976 memory=1732 CPUtime=0.86 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) S 9413 9413 8036 0 -1 1077944384 10473 0 0 0 84 2 0 0 20 0 15 0 154231885 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1202 0 0 0 2 3 0 0 20 0 15 0 154231886 14320615424 60307 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 174.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 242612 KiB
[startup+222.301 s]
/proc/loadavg: 1.70 1.77 1.70 3/217 9517
/proc/meminfo: memFree=26079048/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13984976 memory=271128 CPUtime=234.53 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 79375 0 0 0 23416 37 0 0 20 0 15 0 154231880 14320615424 67782 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3496244 67782 3265 1 0 3483478 0
[pid=9415/tid=9416] ppid=9413 vsize=13984976 memory=266016 CPUtime=221.65 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 13942 0 0 0 22160 5 0 0 20 0 15 0 154231880 14320615424 67782 33554432000 4194304 4196468 140736854740112 139873754001280 139873351032330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13984976 memory=264480 CPUtime=0.48 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 974 0 0 0 44 4 0 0 20 0 15 0 154231881 14320615424 67782 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13984976 memory=269084 CPUtime=0.47 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 986 0 0 0 44 3 0 0 20 0 15 0 154231881 14320615424 67782 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13984976 memory=269592 CPUtime=0.48 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1673 0 0 0 44 4 0 0 20 0 15 0 154231881 14320615424 67782 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13984976 memory=271128 CPUtime=0.48 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 1847 0 0 0 44 4 0 0 20 0 15 0 154231881 14320615424 67782 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 1379 0 0 0 6 1 0 0 20 0 15 0 154231882 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13984976 memory=454 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13984976 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13984976 memory=256212 CPUtime=4.54 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 22752 0 0 0 451 3 0 0 20 0 15 0 154231885 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13984976 memory=1384 CPUtime=5.33 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 22767 0 0 0 530 3 0 0 20 0 15 0 154231885 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13984976 memory=4100 CPUtime=0.86 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) S 9413 9413 8036 0 -1 1077944384 10475 0 0 0 84 2 0 0 20 0 15 0 154231885 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13984976 memory=42556 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13984976 memory=1292 CPUtime=0.07 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1229 0 0 0 3 4 0 0 20 0 15 0 154231886 14320615424 67782 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 234.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 272512 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.49 1.72 1.68 3/217 9517
/proc/meminfo: memFree=26024808/32770624 swapFree=67108860/67108860
[pid=9413] ppid=9410 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9413/stat : 9413 (xcsp3-exec) S 9410 9413 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154231879 9740288 346 33554432000 4194304 5098028 140726905759504 140726905757608 139932411671164 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20914176 140726905762932 140726905763136 140726905763136 140726905765867 0
/proc/9413/statm: 2378 346 289 221 0 87 0
[pid=9415] ppid=9413 vsize=13984976 memory=298648 CPUtime=252.53 cores=0,2,4,6
/proc/9415/stat : 9415 (java) S 9413 9413 8036 0 -1 1077944320 79549 0 0 0 25211 42 0 0 20 0 15 0 154231880 14320615424 74662 33554432000 4194304 4196468 140736854740112 140736854722656 139873749761783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
/proc/9415/statm: 3496244 74662 3265 1 0 3483478 0
[pid=9415/tid=9416] ppid=9413 vsize=13984976 memory=8112282956445269571 CPUtime=239.23 cores=0,2,4,6
/proc/9415/task/9416/stat : 9416 (java) R 9413 9413 8036 0 -1 4202560 13960 0 0 0 23918 5 0 0 20 0 15 0 154231880 14320615424 74662 33554432000 4194304 4196468 140736854740112 139873754001472 139873349295578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9417] ppid=9413 vsize=13984976 memory=-7003737579269690708 CPUtime=0.57 cores=0,2,4,6
/proc/9415/task/9417/stat : 9417 (java) S 9413 9413 8036 0 -1 1077944384 1008 0 0 0 52 5 0 0 20 0 15 0 154231881 14320615424 74662 33554432000 4194304 4196468 140736854740112 139873664829712 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9418] ppid=9413 vsize=13984976 memory=1384 CPUtime=0.58 cores=0,2,4,6
/proc/9415/task/9418/stat : 9418 (java) S 9413 9413 8036 0 -1 1077944384 1023 0 0 0 53 5 0 0 20 0 15 0 154231881 14320615424 74662 33554432000 4194304 4196468 140736854740112 139873344285072 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9419] ppid=9413 vsize=13984976 memory=285224 CPUtime=0.57 cores=0,2,4,6
/proc/9415/task/9419/stat : 9419 (java) S 9413 9413 8036 0 -1 1077944384 1716 0 0 0 52 5 0 0 20 0 15 0 154231881 14320615424 74662 33554432000 4194304 4196468 140736854740112 139873343232528 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9420] ppid=9413 vsize=13984976 memory=4100 CPUtime=0.58 cores=0,2,4,6
/proc/9415/task/9420/stat : 9420 (java) S 9413 9413 8036 0 -1 1077944384 1884 0 0 0 53 5 0 0 20 0 15 0 154231881 14320615424 74662 33554432000 4194304 4196468 140736854740112 139873342179984 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9421] ppid=9413 vsize=13984976 memory=42556 CPUtime=0.08 cores=0,2,4,6
/proc/9415/task/9421/stat : 9421 (java) S 9413 9413 8036 0 -1 1077944384 1384 0 0 0 7 1 0 0 20 0 15 0 154231882 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872930687472 139873749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9422] ppid=9413 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9422/stat : 9422 (java) S 9413 9413 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872929633696 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9423] ppid=9413 vsize=13984976 memory=286760 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9423/stat : 9423 (java) S 9413 9413 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154231883 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872928581104 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9424] ppid=9413 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9424/stat : 9424 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872927529680 139873749780379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9425] ppid=9413 vsize=13984976 memory=8112282956445269571 CPUtime=4.54 cores=0,2,4,6
/proc/9415/task/9425/stat : 9425 (java) S 9413 9413 8036 0 -1 1077944384 22752 0 0 0 451 3 0 0 20 0 15 0 154231885 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872926476272 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9426] ppid=9413 vsize=13984976 memory=1440 CPUtime=5.33 cores=0,2,4,6
/proc/9415/task/9426/stat : 9426 (java) S 9413 9413 8036 0 -1 1077944384 22767 0 0 0 530 3 0 0 20 0 15 0 154231885 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872387983472 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9427] ppid=9413 vsize=13984976 memory=5796 CPUtime=0.86 cores=0,2,4,6
/proc/9415/task/9427/stat : 9427 (java) S 9413 9413 8036 0 -1 1077944384 10475 0 0 0 84 2 0 0 20 0 15 0 154231885 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872386930928 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9428] ppid=9413 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9415/task/9428/stat : 9428 (java) S 9413 9413 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154231885 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872385878624 139873749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
[pid=9415/tid=9429] ppid=9413 vsize=13984976 memory=8716 CPUtime=0.08 cores=0,2,4,6
/proc/9415/task/9429/stat : 9429 (java) S 9413 9413 8036 0 -1 1077944384 1229 0 0 0 4 4 0 0 20 0 15 0 154231886 14320615424 74662 33554432000 4194304 4196468 140736854740112 139872384826160 139873749772930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25849856 140736854746269 140736854746444 140736854746444 140736854749135 0
Current children cumulated CPU time: 252.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 300032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 9413 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001864 s
[startup+240.024 s]
# the end of solver process 9415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.124 s, system=0.429175 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.024
CPU time (s): 252.553
CPU user time (s): 252.124
CPU system time (s): 0.429175
CPU usage (%): 105.22
Max. virtual memory (cumulated for all children) (KiB): 13996436
Max. memory (cumulated for all children) (KiB): 300032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.124
system time used= 0.429175
maximum resident set size= 299332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9892
involuntary context switches= 386
# summary of solver processes directly reported to runsolver:
# pid: 9413,9415
# total CPU time (s): 252.553
# total CPU user time (s): 252.124
# total CPU system time (s): 0.429175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61774 second user time and 2.16522 second system time
The end