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 (11933 MiB free)
  memory of node 1: 16384 MiB (12139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281444-1503187077/watcher-4281444-1503187077 -o /tmp/evaluation-result-4281444-1503187077/solver-4281444-1503187077 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503184165-7735 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 638363983 HOME/instance-4281444-1503187077.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10145, runsolver pid=10142

[startup+0.100137 s]*
/proc/loadavg: 7.10 7.79 7.68 3/200 10166
/proc/meminfo: memFree=24637760/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 7708 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151788419 9740288 346 33554432000 4194304 5098028 140732340826224 140732340824328 139962365330044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37908480 140732340831339 140732340831548 140732340831548 140732340834283 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=25999808 memory=24684 CPUtime=0.12 cores=0-7
/proc/10147/stat : 10147 (java) S 10145 10145 7708 0 -1 1077944320 5584 0 0 0 11 1 0 0 20 0 20 0 151788419 26623803392 6171 33554432000 4194304 4196468 140737372283408 140737372265952 140390698704631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
/proc/10147/statm: 6499952 6171 2858 1 0 6488269 0
[pid=10147/tid=10148] ppid=10145 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 7708 0 -1 4202560 3545 0 0 0 8 1 0 0 20 0 20 0 151788419 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390702936560 140390698716566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10149] ppid=10145 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390256651024 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10150] ppid=10145 vsize=25999808 memory=140423118730880 CPUtime=0 cores=0-7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390255598480 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10151] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390254545936 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10152] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390253493392 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10153] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390252439824 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10154] ppid=10145 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390251387280 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10155] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390250334736 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10156] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26623803392 6171 33554432000 4194304 4196468 140737372283408 140390249282192 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10157] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788422 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389373618672 140390698715778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10158] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 7708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151788422 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389372564896 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10159] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 7708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151788422 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389371512304 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10160] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389370460880 140390698723227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10161] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 7708 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389369407472 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10162] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10162/stat : 10162 (java) S 10145 10145 7708 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389368354928 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10163] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10163/stat : 10163 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389367302384 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10164] ppid=10145 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10147/task/10164/stat : 10164 (java) S 10145 10145 7708 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389366249840 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10165] ppid=10145 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10165/stat : 10165 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389365197536 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10166] ppid=10145 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10166/stat : 10166 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788425 26623803392 6171 33554432000 4194304 4196468 140737372283408 140389364145072 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26068 KiB

[startup+0.210272 s]*
/proc/loadavg: 7.10 7.79 7.68 2/200 10166
/proc/meminfo: memFree=24624820/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 7708 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151788419 9740288 346 33554432000 4194304 5098028 140732340826224 140732340824328 139962365330044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37908480 140732340831339 140732340831548 140732340831548 140732340834283 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=26004064 memory=37916 CPUtime=0.33 cores=0-7
/proc/10147/stat : 10147 (java) S 10145 10145 7708 0 -1 1077944320 8571 0 0 0 31 2 0 0 20 0 20 0 151788419 26628161536 9479 33554432000 4194304 4196468 140737372283408 140737372265952 140390698704631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
/proc/10147/statm: 6501016 9479 3003 1 0 6488269 0
[pid=10147/tid=10148] ppid=10145 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 7708 0 -1 4202560 5475 0 0 0 18 1 0 0 20 0 20 0 151788419 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390702927536 140390684953738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10149] ppid=10145 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390256651024 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10150] ppid=10145 vsize=26004064 memory=3833883688968402592 CPUtime=0 cores=0-7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390255598480 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10151] ppid=10145 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390254545936 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10152] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390253493392 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10153] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390252439824 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10154] ppid=10145 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390251387280 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10155] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390250334736 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10156] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 9479 33554432000 4194304 4196468 140737372283408 140390249282192 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10157] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788422 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389373618672 140390698715778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10158] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 7708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151788422 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389372564896 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10159] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 7708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151788422 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389371512304 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10160] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389370460880 140390698723227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10161] ppid=10145 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 7708 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389369407472 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10162] ppid=10145 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/10147/task/10162/stat : 10162 (java) S 10145 10145 7708 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389368354928 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10163] ppid=10145 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10163/stat : 10163 (java) S 10145 10145 7708 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389367302384 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10164] ppid=10145 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/10147/task/10164/stat : 10164 (java) S 10145 10145 7708 0 -1 1077944384 928 0 0 0 7 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389366249840 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10165] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10165/stat : 10165 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389365197536 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10166] ppid=10145 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10166/stat : 10166 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 9479 33554432000 4194304 4196468 140737372283408 140389364145072 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39300 KiB

[startup+0.309518 s]*
/proc/loadavg: 7.10 7.79 7.68 3/200 10166
/proc/meminfo: memFree=24620744/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 7708 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151788419 9740288 346 33554432000 4194304 5098028 140732340826224 140732340824328 139962365330044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37908480 140732340831339 140732340831548 140732340831548 140732340834283 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=26004064 memory=43096 CPUtime=0.5 cores=0-7
/proc/10147/stat : 10147 (java) S 10145 10145 7708 0 -1 1077944320 9470 0 0 0 47 3 0 0 20 0 20 0 151788419 26628161536 10774 33554432000 4194304 4196468 140737372283408 140737372265952 140390698704631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
/proc/10147/statm: 6501016 10774 3110 1 0 6488269 0
[pid=10147/tid=10148] ppid=10145 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 7708 0 -1 4202560 6152 0 0 0 27 2 0 0 20 0 20 0 151788419 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390702942368 140390676699040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10149] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390256651024 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10150] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390255598480 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10151] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390254545936 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10152] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390253493392 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10153] ppid=10145 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390252439824 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10154] ppid=10145 vsize=26004064 memory=140423016313775 CPUtime=0 cores=0-7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390251387280 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10155] ppid=10145 vsize=26004064 memory=140423016316080 CPUtime=0 cores=0-7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390250334736 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10156] ppid=10145 vsize=26004064 memory=140423016318384 CPUtime=0 cores=0-7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26628161536 10774 33554432000 4194304 4196468 140737372283408 140390249282192 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10157] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788422 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389373618672 140390698715778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10158] ppid=10145 vsize=26004064 memory=280846032643728 CPUtime=0 cores=0-7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 7708 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151788422 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389372564896 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10159] ppid=10145 vsize=26004064 memory=280846032650640 CPUtime=0 cores=0-7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 7708 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151788422 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389371512304 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10160] ppid=10145 vsize=26004064 memory=280846032591920 CPUtime=0 cores=0-7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389370460880 140390698723227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10161] ppid=10145 vsize=26004064 memory=280846032664464 CPUtime=0.02 cores=0-7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 7708 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389369407472 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10162] ppid=10145 vsize=26004064 memory=280846032671376 CPUtime=0.03 cores=0-7
/proc/10147/task/10162/stat : 10162 (java) S 10145 10145 7708 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389368354928 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10163] ppid=10145 vsize=26004064 memory=280846032669072 CPUtime=0.01 cores=0-7
/proc/10147/task/10163/stat : 10163 (java) R 10145 10145 7708 0 -1 4202560 74 0 0 0 1 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389367302384 140390691689673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10164] ppid=10145 vsize=26004064 memory=280846032685232 CPUtime=0.12 cores=0-7
/proc/10147/task/10164/stat : 10164 (java) R 10145 10145 7708 0 -1 4202560 1100 0 0 0 12 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389366244832 140390698716566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10165] ppid=10145 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10165/stat : 10165 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389365197536 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10166] ppid=10145 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10147/task/10166/stat : 10166 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151788425 26628161536 10774 33554432000 4194304 4196468 140737372283408 140389364145072 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44480 KiB

[startup+0.700931 s]
/proc/loadavg: 7.10 7.79 7.68 4/200 10166
/proc/meminfo: memFree=24596552/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 7708 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151788419 9740288 346 33554432000 4194304 5098028 140732340826224 140732340824328 139962365330044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37908480 140732340831339 140732340831548 140732340831548 140732340834283 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=26006188 memory=108508 CPUtime=1.99 cores=0-7
/proc/10147/stat : 10147 (java) S 10145 10145 7708 0 -1 1077944320 14181 0 0 0 194 5 0 0 20 0 20 0 151788419 26630336512 27127 33554432000 4194304 4196468 140737372283408 140737372265952 140390698704631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
/proc/10147/statm: 6501547 27127 3199 1 0 6488781 0
[pid=10147/tid=10148] ppid=10145 vsize=26006188 memory=280846033043120 CPUtime=0.67 cores=0-7
/proc/10147/task/10148/stat : 10148 (java) R 10145 10145 7708 0 -1 4202560 6727 0 0 0 64 3 0 0 20 0 20 0 151788419 26630336512 27127 33554432000 4194304 4196468 140737372283408 140390702941680 140390335781583 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10149] ppid=10145 vsize=26006188 memory=140423016522608 CPUtime=0 cores=0-7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26630336512 27127 33554432000 4194304 4196468 140737372283408 140390256651024 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10150] ppid=10145 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26630336512 27127 33554432000 4194304 4196468 140737372283408 140390255598480 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10151] ppid=10145 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 7708 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151788420 26630336512 27127 33554432000 4194304 4196468 140737372283408 140390254545936 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0

################
# More data... #
################

[pid=10147/tid=10302] ppid=10145 vsize=26605264 memory=1224 CPUtime=159.71 cores=0-7
/proc/10147/task/10302/stat : 10302 (java) R 10145 10145 7708 0 -1 4202560 3279 0 0 0 15958 13 0 0 20 0 28 0 151788616 27243790336 599480 33554432000 4194304 4196468 140737372283408 140389351928504 140390343460371 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
Current children cumulated CPU time: 1287.02 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 2399304 KiB

[startup+222.302 s]
/proc/loadavg: 8.07 7.95 7.77 9/207 10302
/proc/meminfo: memFree=21208120/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 7708 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151788419 9740288 346 33554432000 4194304 5098028 140732340826224 140732340824328 139962365330044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37908480 140732340831339 140732340831548 140732340831548 140732340834283 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=26605264 memory=3455968 CPUtime=1765.77 cores=0-7
/proc/10147/stat : 10147 (java) S 10145 10145 7708 0 -1 1077944320 84522 0 0 0 176400 177 0 0 20 0 28 0 151788419 27243790336 863992 33554432000 4194304 4196468 140737372283408 140737372265952 140390698704631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
/proc/10147/statm: 6651316 863992 3287 1 0 6638550 0
[pid=10147/tid=10148] ppid=10145 vsize=26605264 memory=3455968 CPUtime=1.56 cores=0-7
/proc/10147/task/10148/stat : 10148 (java) S 10145 10145 7708 0 -1 1077944384 6992 0 0 0 150 6 0 0 20 0 28 0 151788419 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390702945408 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10149] ppid=10145 vsize=26605264 memory=3455968 CPUtime=0.16 cores=0-7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 7708 0 -1 1077944384 807 0 0 0 11 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390256651024 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10150] ppid=10145 vsize=26605264 memory=3455968 CPUtime=0.17 cores=0-7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 7708 0 -1 1077944384 726 0 0 0 12 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390255598480 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10151] ppid=10145 vsize=26605264 memory=1384 CPUtime=0.16 cores=0-7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 7708 0 -1 1077944384 429 0 0 0 10 6 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390254545936 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10152] ppid=10145 vsize=26605264 memory=3455968 CPUtime=0.16 cores=0-7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 7708 0 -1 1077944384 1347 0 0 0 11 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390253493392 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10153] ppid=10145 vsize=26605264 memory=2428 CPUtime=0.14 cores=0-7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 7708 0 -1 1077944384 719 0 0 0 9 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390252439824 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10154] ppid=10145 vsize=26605264 memory=1728 CPUtime=0.17 cores=0-7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 7708 0 -1 1077944384 1579 0 0 0 10 7 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390251387280 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10155] ppid=10145 vsize=26605264 memory=3472468551911812423 CPUtime=0.16 cores=0-7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 7708 0 -1 1077944384 360 0 0 0 11 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390250334736 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10156] ppid=10145 vsize=26605264 memory=140423016740119 CPUtime=0.17 cores=0-7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 7708 0 -1 1077944384 918 0 0 0 11 6 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390249282192 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10157] ppid=10145 vsize=26605264 memory=1384 CPUtime=0.03 cores=0-7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 7708 0 -1 1077944384 3917 0 0 0 2 1 0 0 20 0 28 0 151788422 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389373618672 140390698715778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10158] ppid=10145 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 7708 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 151788422 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389372564960 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10159] ppid=10145 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 7708 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 151788422 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389371512320 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10160] ppid=10145 vsize=26605264 memory=3425840 CPUtime=0 cores=0-7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389370460880 140390698723227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10161] ppid=10145 vsize=26605264 memory=4052 CPUtime=2.13 cores=0-7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 7708 0 -1 1077944384 6610 0 0 0 211 2 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389369407472 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10162] ppid=10145 vsize=26605264 memory=24384 CPUtime=2.43 cores=0-7
/proc/10147/task/10162/stat : 10162 (java) S 10145 10145 7708 0 -1 1077944384 6477 0 0 0 242 1 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389368354928 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10163] ppid=10145 vsize=26605264 memory=7792 CPUtime=2.51 cores=0-7
/proc/10147/task/10163/stat : 10163 (java) S 10145 10145 7708 0 -1 1077944384 9887 0 0 0 248 3 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389367302384 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10164] ppid=10145 vsize=26605264 memory=844 CPUtime=0.8 cores=0-7
/proc/10147/task/10164/stat : 10164 (java) S 10145 10145 7708 0 -1 1077944384 6111 0 0 0 78 2 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389366249840 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10165] ppid=10145 vsize=26605264 memory=14 CPUtime=0 cores=0-7
/proc/10147/task/10165/stat : 10165 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389365197536 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10166] ppid=10145 vsize=26605264 memory=17 CPUtime=0.07 cores=0-7
/proc/10147/task/10166/stat : 10166 (java) S 10145 10145 7708 0 -1 1077944384 1700 0 0 0 0 7 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389364145072 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10295] ppid=10145 vsize=26605264 memory=1384 CPUtime=218.91 cores=0-7
/proc/10147/task/10295/stat : 10295 (java) R 10145 10145 7708 0 -1 4202560 1872 0 0 0 21890 1 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389348764936 140390344251808 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10296] ppid=10145 vsize=26605264 memory=3425840 CPUtime=219.85 cores=0-7
/proc/10147/task/10296/stat : 10296 (java) R 10145 10145 7708 0 -1 4202560 1266 0 0 0 21984 1 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389347713280 140390343172503 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10297] ppid=10145 vsize=26605264 memory=288230574492221466 CPUtime=217.47 cores=0-7
/proc/10147/task/10297/stat : 10297 (java) R 10145 10145 7708 0 -1 4202560 2059 0 0 0 21747 0 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389356134016 140390343902528 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10298] ppid=10145 vsize=26605264 memory=288230596050944315 CPUtime=219.23 cores=0-7
/proc/10147/task/10298/stat : 10298 (java) R 10145 10145 7708 0 -1 4202560 13541 0 0 0 21860 63 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389354028464 140390343586580 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10299] ppid=10145 vsize=26605264 memory=13846369811040823 CPUtime=219.67 cores=0-7
/proc/10147/task/10299/stat : 10299 (java) R 10145 10145 7708 0 -1 4202560 4863 0 0 0 21947 20 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389355081480 140390344251808 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10300] ppid=10145 vsize=26605264 memory=4144 CPUtime=218.87 cores=0-7
/proc/10147/task/10300/stat : 10300 (java) R 10145 10145 7708 0 -1 4202560 1970 0 0 0 21885 2 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389350871576 140390343663002 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10301] ppid=10145 vsize=26605264 memory=42244 CPUtime=219.64 cores=0-7
/proc/10147/task/10301/stat : 10301 (java) R 10145 10145 7708 0 -1 4202560 1746 0 0 0 21964 0 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389352976560 140390343509127 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10302] ppid=10145 vsize=26605264 memory=1292 CPUtime=219.69 cores=0-7
/proc/10147/task/10302/stat : 10302 (java) R 10145 10145 7708 0 -1 4202560 4903 0 0 0 21950 19 0 0 20 0 28 0 151788616 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389351924152 140390342775179 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
Current children cumulated CPU time: 1765.77 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 3457352 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.04 7.95 7.78 9/207 10302
/proc/meminfo: memFree=21208232/32770624 swapFree=67108860/67108860
[pid=10145] ppid=10142 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10145/stat : 10145 (xcsp3-exec) S 10142 10145 7708 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151788419 9740288 346 33554432000 4194304 5098028 140732340826224 140732340824328 139962365330044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37908480 140732340831339 140732340831548 140732340831548 140732340834283 0
/proc/10145/statm: 2378 346 289 221 0 87 0
[pid=10147] ppid=10145 vsize=26605264 memory=3455968 CPUtime=2002.84 cores=0-7
/proc/10147/stat : 10147 (java) S 10145 10145 7708 0 -1 1077944320 86562 0 0 0 200099 185 0 0 20 0 28 0 151788419 27243790336 863992 33554432000 4194304 4196468 140737372283408 140737372265952 140390698704631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
/proc/10147/statm: 6651316 863992 3287 1 0 6638550 0
[pid=10147/tid=10148] ppid=10145 vsize=26605264 memory=6791534058613427641 CPUtime=1.56 cores=0-7
/proc/10147/task/10148/stat : 10148 (java) S 10145 10145 7708 0 -1 1077944384 6992 0 0 0 150 6 0 0 20 0 28 0 151788419 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390702945408 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10149] ppid=10145 vsize=26605264 memory=4126316290023845779 CPUtime=0.16 cores=0-7
/proc/10147/task/10149/stat : 10149 (java) S 10145 10145 7708 0 -1 1077944384 807 0 0 0 11 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390256651024 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10150] ppid=10145 vsize=26605264 memory=8596 CPUtime=0.17 cores=0-7
/proc/10147/task/10150/stat : 10150 (java) S 10145 10145 7708 0 -1 1077944384 726 0 0 0 12 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390255598480 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10151] ppid=10145 vsize=26605264 memory=15876 CPUtime=0.16 cores=0-7
/proc/10147/task/10151/stat : 10151 (java) S 10145 10145 7708 0 -1 1077944384 429 0 0 0 10 6 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390254545936 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10152] ppid=10145 vsize=26605264 memory=4052 CPUtime=0.16 cores=0-7
/proc/10147/task/10152/stat : 10152 (java) S 10145 10145 7708 0 -1 1077944384 1347 0 0 0 11 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390253493392 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10153] ppid=10145 vsize=26605264 memory=24384 CPUtime=0.14 cores=0-7
/proc/10147/task/10153/stat : 10153 (java) S 10145 10145 7708 0 -1 1077944384 719 0 0 0 9 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390252439824 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10154] ppid=10145 vsize=26605264 memory=18472 CPUtime=0.17 cores=0-7
/proc/10147/task/10154/stat : 10154 (java) S 10145 10145 7708 0 -1 1077944384 1579 0 0 0 10 7 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390251387280 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10155] ppid=10145 vsize=26605264 memory=640 CPUtime=0.16 cores=0-7
/proc/10147/task/10155/stat : 10155 (java) S 10145 10145 7708 0 -1 1077944384 360 0 0 0 11 5 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390250334736 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10156] ppid=10145 vsize=26605264 memory=1796 CPUtime=0.17 cores=0-7
/proc/10147/task/10156/stat : 10156 (java) S 10145 10145 7708 0 -1 1077944384 918 0 0 0 11 6 0 0 20 0 28 0 151788420 27243790336 863992 33554432000 4194304 4196468 140737372283408 140390249282192 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10157] ppid=10145 vsize=26605264 memory=960 CPUtime=0.03 cores=0-7
/proc/10147/task/10157/stat : 10157 (java) S 10145 10145 7708 0 -1 1077944384 3921 0 0 0 2 1 0 0 20 0 28 0 151788422 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389373618672 140390698715778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10158] ppid=10145 vsize=26605264 memory=1232 CPUtime=0 cores=0-7
/proc/10147/task/10158/stat : 10158 (java) S 10145 10145 7708 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 151788422 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389372564960 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10159] ppid=10145 vsize=26605264 memory=2428 CPUtime=0 cores=0-7
/proc/10147/task/10159/stat : 10159 (java) S 10145 10145 7708 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 151788422 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389371512320 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10160] ppid=10145 vsize=26605264 memory=15876 CPUtime=0 cores=0-7
/proc/10147/task/10160/stat : 10160 (java) S 10145 10145 7708 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389370460880 140390698723227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10161] ppid=10145 vsize=26605264 memory=4052 CPUtime=2.13 cores=0-7
/proc/10147/task/10161/stat : 10161 (java) S 10145 10145 7708 0 -1 1077944384 6618 0 0 0 211 2 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389369407472 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10162] ppid=10145 vsize=26605264 memory=24384 CPUtime=2.43 cores=0-7
/proc/10147/task/10162/stat : 10162 (java) S 10145 10145 7708 0 -1 1077944384 6480 0 0 0 242 1 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389368354928 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10163] ppid=10145 vsize=26605264 memory=18472 CPUtime=2.51 cores=0-7
/proc/10147/task/10163/stat : 10163 (java) S 10145 10145 7708 0 -1 1077944384 9890 0 0 0 248 3 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389367302384 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10164] ppid=10145 vsize=26605264 memory=640 CPUtime=0.8 cores=0-7
/proc/10147/task/10164/stat : 10164 (java) S 10145 10145 7708 0 -1 1077944384 6115 0 0 0 78 2 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389366249840 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10165] ppid=10145 vsize=26605264 memory=1796 CPUtime=0 cores=0-7
/proc/10147/task/10165/stat : 10165 (java) S 10145 10145 7708 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389365197536 140390698714837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10166] ppid=10145 vsize=26605264 memory=960 CPUtime=0.08 cores=0-7
/proc/10147/task/10166/stat : 10166 (java) S 10145 10145 7708 0 -1 1077944384 1727 0 0 0 0 8 0 0 20 0 28 0 151788425 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389364145072 140390698715778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10295] ppid=10145 vsize=26605264 memory=1232 CPUtime=248.62 cores=0-7
/proc/10147/task/10295/stat : 10295 (java) R 10145 10145 7708 0 -1 4202560 1940 0 0 0 24861 1 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389348769072 140390343961966 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10296] ppid=10145 vsize=26605264 memory=2428 CPUtime=249.56 cores=0-7
/proc/10147/task/10296/stat : 10296 (java) R 10145 10145 7708 0 -1 4202560 1312 0 0 0 24955 1 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389347717552 140390342860866 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10297] ppid=10145 vsize=26605264 memory=932 CPUtime=247.18 cores=0-7
/proc/10147/task/10297/stat : 10297 (java) R 10145 10145 7708 0 -1 4202560 2126 0 0 0 24718 0 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389356138536 140390344251897 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10298] ppid=10145 vsize=26605264 memory=1580 CPUtime=248.94 cores=0-7
/proc/10147/task/10298/stat : 10298 (java) R 10145 10145 7708 0 -1 4202560 14595 0 0 0 24827 67 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389354032768 140390343586367 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10299] ppid=10145 vsize=26605264 memory=2244 CPUtime=249.38 cores=0-7
/proc/10147/task/10299/stat : 10299 (java) R 10145 10145 7708 0 -1 4202560 5335 0 0 0 24914 24 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389355086120 140390343172394 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10300] ppid=10145 vsize=26605264 memory=4132 CPUtime=247.97 cores=0-7
/proc/10147/task/10300/stat : 10300 (java) R 10145 10145 7708 0 -1 4202560 2039 0 0 0 24795 2 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389350874992 140390342763243 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10301] ppid=10145 vsize=26605264 memory=2204 CPUtime=249.35 cores=0-7
/proc/10147/task/10301/stat : 10301 (java) R 10145 10145 7708 0 -1 4202560 1787 0 0 0 24935 0 0 0 20 0 28 0 151788615 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389352981032 140390343172315 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
[pid=10147/tid=10302] ppid=10145 vsize=26605264 memory=7792 CPUtime=249.4 cores=0-7
/proc/10147/task/10302/stat : 10302 (java) R 10145 10145 7708 0 -1 4202560 5077 0 0 0 24920 20 0 0 20 0 28 0 151788616 27243790336 863992 33554432000 4194304 4196468 140737372283408 140389351928504 140390342860928 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17453056 140737372292248 140737372292424 140737372292424 140737372295119 0
Current children cumulated CPU time: 2002.84 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 3457352 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.038 s]
# the end of solver process 10145 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001309 s, system=0.000654 s

[startup+252.125 s]
# the end of solver process 10147 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2001.75 s, system=1.87939 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): 252.125
CPU time (s): 2003.63
CPU user time (s): 2001.75
CPU system time (s): 1.87939
CPU usage (%): 794.697
Max. virtual memory (cumulated for all children) (KiB): 26616428
Max. memory (cumulated for all children) (KiB): 3457944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.75
system time used= 1.87939
maximum resident set size= 3456560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11043
involuntary context switches= 20740


# summary of solver processes directly reported to runsolver:
#   pid: 10145,10147
#   total CPU time (s): 2003.63
#   total CPU user time (s): 2001.75
#   total CPU system time (s): 1.87939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.67126 second user time and 2.49393 second system time

The end