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 (13332 MiB free)
memory of node 1: 16384 MiB (12284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406179-1569396865/watcher-4406179-1569396865 -o /var/tmp/evaluation-result-4406179-1569396865/solver-4406179-1569396865 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26121 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406179-1569396865.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26340, runsolver pid=26337
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 1.36 0.76 0.34 4/229 26356
/proc/meminfo: memFree=26217900/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15144776 memory=27624 CPUtime=0.13 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 5845 0 0 0 12 1 0 0 20 0 15 0 515935078 15508250624 6906 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3786194 6906 3138 1 0 3748377 0
[pid=26342/tid=26343] ppid=26340 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 3717 0 0 0 8 1 0 0 20 0 15 0 515935078 15508250624 6906 33554432000 4194304 4196468 140724726280400 139692976633440 139692964637502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 6906 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15144776 memory=140710640498304 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 6906 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 6906 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 6906 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15144776 memory=140710640498304 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515935081 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515935081 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691844736288 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515935081 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691843683952 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26340 26090 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691841579120 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) R 26340 26340 26090 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691840525392 139692952813680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15144776 memory=140710640498304 CPUtime=0.02 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) R 26340 26340 26090 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 515935084 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691839470968 139692952115469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15144776 memory=140710640498304 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 6906 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29080 KiB
[startup+0.21079 s]*
/proc/loadavg: 1.36 0.76 0.34 3/229 26356
/proc/meminfo: memFree=26206284/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15144776 memory=39476 CPUtime=0.34 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 9588 0 0 0 31 3 0 0 20 0 15 0 515935078 15508250624 9869 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3786194 9869 3324 1 0 3748377 0
[pid=26342/tid=26343] ppid=26340 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 15 0 515935078 15508250624 9869 33554432000 4194304 4196468 140724726280400 139692976630096 139692939990178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 9869 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15144776 memory=140710644331845 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 9869 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 9869 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515935079 15508250624 9869 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15144776 memory=140710640498304 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515935081 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515935081 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691844736288 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515935081 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691843683952 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26340 26090 0 -1 1077944384 574 0 0 0 2 0 0 0 20 0 15 0 515935084 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691841579120 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26340 26090 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 515935084 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691840526320 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15144776 memory=140710640498304 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) R 26340 26340 26090 0 -1 4202560 906 0 0 0 8 0 0 0 20 0 15 0 515935084 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691839474032 139692953165595 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935084 15508250624 9869 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40932 KiB
[startup+0.31219 s]*
/proc/loadavg: 1.36 0.76 0.34 5/229 26356
/proc/meminfo: memFree=26200284/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15149032 memory=49312 CPUtime=0.54 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 11188 0 0 0 50 4 0 0 20 0 15 0 515935078 15512608768 12328 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3787258 12328 3370 1 0 3748377 0
[pid=26342/tid=26343] ppid=26340 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 7803 0 0 0 27 3 0 0 20 0 15 0 515935078 15512608768 12328 33554432000 4194304 4196468 140724726280400 139692976631488 139692972422301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15512608768 12328 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15149032 memory=3844132 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15512608768 12328 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15512608768 12328 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515935079 15512608768 12328 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515935081 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515935081 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691844736288 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515935081 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691843683952 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) R 26340 26340 26090 0 -1 4202560 745 0 0 0 5 0 0 0 20 0 15 0 515935084 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691841579120 139692953944528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26340 26090 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 15 0 515935084 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691840526320 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26340 26090 0 -1 1077944384 1169 0 0 0 13 0 0 0 20 0 15 0 515935084 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691839474032 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935084 15512608768 12328 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50768 KiB
[startup+0.701538 s]
/proc/loadavg: 1.36 0.76 0.34 5/229 26356
/proc/meminfo: memFree=26188932/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15151156 memory=72612 CPUtime=1.56 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 15453 0 0 0 151 5 0 0 20 0 15 0 515935078 15514783744 18153 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3787789 18153 3454 1 0 3748889 0
[pid=26342/tid=26343] ppid=26340 vsize=15151156 memory=36068 CPUtime=0.68 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 9263 0 0 0 64 4 0 0 20 0 15 0 515935078 15514783744 18153 33554432000 4194304 4196468 140724726280400 139692976637648 139692612707952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15514783744 18153 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15514783744 18153 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935079 15514783744 18153 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15151156 memory=1824 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515935079 15514783744 18153 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691844736288 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691843683952 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15151156 memory=2676 CPUtime=0.27 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) R 26340 26340 26090 0 -1 4202560 2050 0 0 0 27 0 0 0 20 0 15 0 515935084 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691841566320 139692953944971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15151156 memory=1764 CPUtime=0.23 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) R 26340 26340 26090 0 -1 4202560 859 0 0 0 23 0 0 0 20 0 15 0 515935084 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691840513872 139692951619728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15151156 memory=111632 CPUtime=0.35 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26340 26090 0 -1 1077944384 1973 0 0 0 35 0 0 0 20 0 15 0 515935084 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691839474032 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 18153 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 74068 KiB
[startup+1.50084 s]
/proc/loadavg: 1.41 0.78 0.35 4/229 26356
/proc/meminfo: memFree=26168148/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15151156 memory=326208 CPUtime=534.17 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 55390 0 0 0 53369 48 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3787789 81552 3502 1 0 3748889 0
[pid=26342/tid=26343] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=527.61 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 21424 0 0 0 52751 10 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692976640128 139692612978880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15151156 memory=326208 CPUtime=0.74 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 545 0 0 0 67 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15151156 memory=1764 CPUtime=0.73 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 2783 0 0 0 65 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15151156 memory=111632 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1580 0 0 0 68 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15151156 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 1186 0 0 0 67 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15151156 memory=1456 CPUtime=0.9 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 2533 0 0 0 84 6 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15151156 memory=326208 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691844736352 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15151156 memory=326208 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691843683968 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15151156 memory=2596 CPUtime=0.95 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26340 26090 0 -1 1077944384 8678 0 0 0 94 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691841579120 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15151156 memory=2304 CPUtime=0.99 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26340 26090 0 -1 1077944384 7802 0 0 0 98 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691840526320 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15151156 memory=1412 CPUtime=0.47 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26340 26090 0 -1 1077944384 6730 0 0 0 46 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691839474032 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15151156 memory=3336 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=0.21 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 698 0 0 0 11 10 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 534.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 327664 KiB
[startup+530.401 s]
/proc/loadavg: 2.02 1.52 0.90 3/229 26402
/proc/meminfo: memFree=24206172/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15151156 memory=326208 CPUtime=534.97 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 55390 0 0 0 53449 48 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3787789 81552 3502 1 0 3748889 0
[pid=26342/tid=26343] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=528.41 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 21424 0 0 0 52831 10 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692976640128 139692613449525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15151156 memory=2024 CPUtime=0.74 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 545 0 0 0 67 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15151156 memory=1416 CPUtime=0.73 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 2783 0 0 0 65 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15151156 memory=776 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1580 0 0 0 68 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15151156 memory=3540 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 1186 0 0 0 67 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15151156 memory=1232 CPUtime=0.9 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 2533 0 0 0 84 6 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15151156 memory=3188 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691844736352 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691843683968 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15151156 memory=326208 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=0.95 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26340 26090 0 -1 1077944384 8678 0 0 0 94 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691841579120 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15151156 memory=4872558044660077418 CPUtime=0.99 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26340 26090 0 -1 1077944384 7802 0 0 0 98 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691840526320 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15151156 memory=1656 CPUtime=0.47 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26340 26090 0 -1 1077944384 6730 0 0 0 46 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691839474032 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15151156 memory=1448 CPUtime=0.21 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 698 0 0 0 11 10 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 534.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 327664 KiB
[startup+530.801 s]
/proc/loadavg: 2.02 1.52 0.90 3/229 26402
/proc/meminfo: memFree=24206172/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15151156 memory=326208 CPUtime=535.37 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 55390 0 0 0 53489 48 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3787789 81552 3502 1 0 3748889 0
[pid=26342/tid=26343] ppid=26340 vsize=15151156 memory=288230583166055713 CPUtime=528.81 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 21424 0 0 0 52871 10 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692976640128 139692613448793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=0.74 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 545 0 0 0 67 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15151156 memory=4137282616176187523 CPUtime=0.73 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 2783 0 0 0 65 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15151156 memory=1399094042734925955 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1580 0 0 0 68 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15151156 memory=-7737605734073681312 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 1186 0 0 0 67 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15151156 memory=9052676650212679776 CPUtime=0.9 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 2533 0 0 0 84 6 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15151156 memory=4783494139404706144 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691844736352 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15151156 memory=-6586668835053300886 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691843683968 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15151156 memory=6944656592587090596 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15151156 memory=-7173504570862900581 CPUtime=0.95 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26340 26090 0 -1 1077944384 8678 0 0 0 94 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691841579120 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15151156 memory=7307466889681987942 CPUtime=0.99 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26340 26090 0 -1 1077944384 7802 0 0 0 98 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691840526320 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15151156 memory=5865727821814710375 CPUtime=0.47 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26340 26090 0 -1 1077944384 6730 0 0 0 46 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691839474032 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15151156 memory=7377575045409040448 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15151156 memory=140710640498303 CPUtime=0.21 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 698 0 0 0 11 10 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 535.37 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 327664 KiB
[startup+531.201 s]
/proc/loadavg: 2.10 1.54 0.91 3/229 26402
/proc/meminfo: memFree=24206172/32770624 swapFree=67002128/67108860
[pid=26340] ppid=26337 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26340/stat : 26340 (xcsp3-exec) S 26337 26340 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515935078 115843072 364 33554432000 4194304 5098028 140726264998592 140726264996696 140475495486076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15663104 140726265004886 140726265005145 140726265005145 140726265008070 0
/proc/26340/statm: 28282 364 305 221 0 87 0
[pid=26342] ppid=26340 vsize=15151156 memory=326208 CPUtime=535.77 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26340 26090 0 -1 1077944320 55390 0 0 0 53529 48 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 140724726262944 139692972400375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
/proc/26342/statm: 3787789 81552 3502 1 0 3748889 0
[pid=26342/tid=26343] ppid=26340 vsize=15151156 memory=1456 CPUtime=529.21 cores=0,2,4,6
/proc/26342/task/26343/stat : 26343 (java) R 26340 26340 26090 0 -1 4202560 21424 0 0 0 52911 10 0 0 20 0 15 0 515935078 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692976640128 139692613525265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26344] ppid=26340 vsize=15151156 memory=326208 CPUtime=0.74 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) S 26340 26340 26090 0 -1 1077944384 545 0 0 0 67 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692939958672 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26345] ppid=26340 vsize=15151156 memory=-3622645143214314312 CPUtime=0.73 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26340 26090 0 -1 1077944384 2783 0 0 0 65 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692564211984 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26346] ppid=26340 vsize=15151156 memory=988 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26340 26090 0 -1 1077944384 1580 0 0 0 68 7 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692563159696 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26347] ppid=26340 vsize=15151156 memory=2024 CPUtime=0.75 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26340 26090 0 -1 1077944384 1186 0 0 0 67 8 0 0 20 0 15 0 515935079 15514783744 81552 33554432000 4194304 4196468 140724726280400 139692562106896 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26348] ppid=26340 vsize=15151156 memory=1416 CPUtime=0.9 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26340 26090 0 -1 1077944384 2533 0 0 0 84 6 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691845790320 139692972411522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26349] ppid=26340 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26340 26090 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691844736352 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26350] ppid=26340 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26340 26090 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 515935081 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691843683968 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26351] ppid=26340 vsize=15151156 memory=326208 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691842632272 139692972418971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26352] ppid=26340 vsize=15151156 memory=326208 CPUtime=0.95 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26340 26090 0 -1 1077944384 8678 0 0 0 94 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691841579120 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26353] ppid=26340 vsize=15151156 memory=326208 CPUtime=0.99 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26340 26090 0 -1 1077944384 7802 0 0 0 98 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691840526320 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26354] ppid=26340 vsize=15151156 memory=1656 CPUtime=0.47 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26340 26090 0 -1 1077944384 6730 0 0 0 46 1 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691839474032 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26355] ppid=26340 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26340 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691838421472 139692972410581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
[pid=26342/tid=26356] ppid=26340 vsize=15151156 memory=1448 CPUtime=0.21 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26340 26090 0 -1 1077944384 698 0 0 0 11 10 0 0 20 0 15 0 515935084 15514783744 81552 33554432000 4194304 4196468 140724726280400 139691837369264 139692972411522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140724726289371 140724726289546 140724726289546 140724726292431 0
Current children cumulated CPU time: 535.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 327664 KiB
Child status: 0
Real time (s): 531.282
CPU time (s): 535.867
CPU user time (s): 535.372
CPU system time (s): 0.495043
CPU usage (%): 100.863
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 327664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 535.372
system time used= 0.495043
maximum resident set size= 326480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35597
involuntary context switches= 955
# summary of solver processes directly reported to runsolver:
# pid: 26340
# total CPU time (s): 535.867
# total CPU user time (s): 535.372
# total CPU system time (s): 0.495043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35703 second user time and 4.81351 second system time
The end