runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247775-1500691107/watcher-4247775-1500691107 -o /tmp/evaluation-result-4247775-1500691107/solver-4247775-1500691107 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 115875100 HOME/instance-4247775-1500691107.xml
pid=26100
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 16.05 15.52 14.20 10/270 26103
/proc/meminfo: memFree=30611760/32770624 swapFree=5860/282024
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
[startup+0.100157 s]
/proc/loadavg: 16.05 15.52 14.20 10/270 26103
/proc/meminfo: memFree=30611760/32770624 swapFree=5860/282024
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200258 s]
/proc/loadavg: 16.05 15.52 14.20 10/270 26103
/proc/meminfo: memFree=30611760/32770624 swapFree=5860/282024
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.3003 s]
/proc/loadavg: 16.05 15.52 14.20 10/270 26103
/proc/meminfo: memFree=30611760/32770624 swapFree=5860/282024
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700181 s]
/proc/loadavg: 16.05 15.52 14.20 10/270 26103
/proc/meminfo: memFree=30611760/32770624 swapFree=5860/282024
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50116 s]
/proc/loadavg: 16.05 15.52 14.20 19/298 26171
/proc/meminfo: memFree=30424216/32770624 swapFree=5860/282048
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
[pid=26104] ppid=26103 vsize=13802796 CPUtime=6.96 cores=0,2,4,6,8,10,12,14
/proc/26104/stat : 26104 (java) S 26103 26103 7411 0 -1 1077944320 26109 0 0 0 682 14 0 0 20 0 28 0 4378119 14134063104 56256 33554432000 4194304 4196468 140720990999680 140720990982224 140000401071863 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
/proc/26104/statm: 3450699 56256 3232 1 0 3437932 0
[pid=26104/tid=26105] ppid=26103 vsize=13802796 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26105/stat : 26105 (java) S 26103 26103 7411 0 -1 1077944384 7053 0 0 0 76 3 0 0 20 0 28 0 4378120 14134063104 56256 33554432000 4194304 4196468 140720990999680 140000405312640 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26107] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26107/stat : 26107 (java) S 26103 26103 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 140000366353552 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26108] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26108/stat : 26108 (java) S 26103 26103 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999999020048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26109] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26109/stat : 26109 (java) S 26103 26103 7411 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999997967248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26110] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26110/stat : 26110 (java) S 26103 26103 7411 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999996914448 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26111] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26111/stat : 26111 (java) S 26103 26103 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999995861648 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26112] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26112/stat : 26112 (java) S 26103 26103 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999994808848 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26113] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26113/stat : 26113 (java) S 26103 26103 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999993756048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26114] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26114/stat : 26114 (java) S 26103 26103 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4378121 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999992703248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26115] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26115/stat : 26115 (java) S 26103 26103 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4378123 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999527840624 140000401083010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26116] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26116/stat : 26116 (java) S 26103 26103 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4378123 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999526786592 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26117] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26117/stat : 26117 (java) S 26103 26103 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4378124 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999525733744 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26118] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26118/stat : 26118 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378127 14134063104 56256 33554432000 4194304 4196468 140720990999680 139999524682064 140000401090459 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26119] ppid=26103 vsize=13802796 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26119/stat : 26119 (java) R 26103 26103 7411 0 -1 4202560 3678 0 0 0 77 1 0 0 20 0 28 0 4378127 14134063104 56322 33554432000 4194304 4196468 140720990999680 139999523615304 140000380764926 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26120] ppid=26103 vsize=13802796 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26120/stat : 26120 (java) R 26103 26103 7411 0 -1 4202560 3914 0 0 0 83 1 0 0 20 0 28 0 4378127 14134063104 56322 33554432000 4194304 4196468 140720990999680 139999522562088 140000378376190 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26121] ppid=26103 vsize=13802796 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26121/stat : 26121 (java) R 26103 26103 7411 0 -1 4202560 3699 0 0 0 86 0 0 0 20 0 28 0 4378127 14134063104 56322 33554432000 4194304 4196468 140720990999680 139999521508296 140000385461712 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26122] ppid=26103 vsize=13802796 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26122/stat : 26122 (java) S 26103 26103 7411 0 -1 1077944384 4462 0 0 0 81 1 0 0 20 0 28 0 4378127 14134063104 56322 33554432000 4194304 4196468 140720990999680 139999520471024 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26123] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26123/stat : 26123 (java) S 26103 26103 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4378127 14134063104 56322 33554432000 4194304 4196468 140720990999680 139999519419488 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26124] ppid=26103 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26124/stat : 26124 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378128 14134063104 56322 33554432000 4194304 4196468 140720990999680 139999518366768 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 13812308
[startup+3.10124 s]
/proc/loadavg: 16.05 15.52 14.20 20/299 26212
/proc/meminfo: memFree=30389192/32770624 swapFree=5860/282048
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
[pid=26104] ppid=26103 vsize=13934896 CPUtime=19.67 cores=0,2,4,6,8,10,12,14
/proc/26104/stat : 26104 (java) S 26103 26103 7411 0 -1 1077944320 30415 0 0 0 1952 15 0 0 20 0 28 0 4378119 14269333504 58762 33554432000 4194304 4196468 140720990999680 140720990982224 140000401071863 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
/proc/26104/statm: 3483724 58762 3250 1 0 3470957 0
[pid=26104/tid=26105] ppid=26103 vsize=13934896 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26105/stat : 26105 (java) S 26103 26103 7411 0 -1 1077944384 7054 0 0 0 76 3 0 0 20 0 28 0 4378120 14269333504 58762 33554432000 4194304 4196468 140720990999680 140000405312640 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26107] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26107/stat : 26107 (java) S 26103 26103 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 140000366353552 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26108] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26108/stat : 26108 (java) S 26103 26103 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999999020048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26109] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26109/stat : 26109 (java) S 26103 26103 7411 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999997967248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26110] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26110/stat : 26110 (java) S 26103 26103 7411 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999996914448 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26111] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26111/stat : 26111 (java) S 26103 26103 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999995861648 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26112] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26112/stat : 26112 (java) S 26103 26103 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999994808848 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26113] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26113/stat : 26113 (java) S 26103 26103 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999993756048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26114] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26114/stat : 26114 (java) S 26103 26103 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4378121 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999992703248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26115] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26115/stat : 26115 (java) S 26103 26103 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4378123 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999527840624 140000401083010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26116] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26116/stat : 26116 (java) S 26103 26103 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4378123 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999526786592 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26117] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26117/stat : 26117 (java) S 26103 26103 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4378124 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999525733744 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26118] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26118/stat : 26118 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378127 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999524682064 140000401090459 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26119] ppid=26103 vsize=13934896 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26119/stat : 26119 (java) R 26103 26103 7411 0 -1 4202560 5725 0 0 0 188 2 0 0 20 0 28 0 4378127 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999523615856 140000382617211 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26120] ppid=26103 vsize=13934896 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26120/stat : 26120 (java) R 26103 26103 7411 0 -1 4202560 4597 0 0 0 195 1 0 0 20 0 28 0 4378127 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999522563192 140000385817572 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26121] ppid=26103 vsize=13934896 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26121/stat : 26121 (java) R 26103 26103 7411 0 -1 4202560 4558 0 0 0 208 1 0 0 20 0 28 0 4378127 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999521509840 140000384458651 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26122] ppid=26103 vsize=13934896 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26122/stat : 26122 (java) S 26103 26103 7411 0 -1 1077944384 4604 0 0 0 96 1 0 0 20 0 28 0 4378127 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999520471024 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26123] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26123/stat : 26123 (java) S 26103 26103 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4378127 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999519419488 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26124] ppid=26103 vsize=13934896 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26124/stat : 26124 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378128 14269333504 58762 33554432000 4194304 4196468 140720990999680 139999518366768 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
Current children cumulated CPU time (s) 19.67
Current children cumulated vsize (KiB) 13944408
[startup+6.30162 s]
/proc/loadavg: 16.29 15.58 14.22 17/299 26268
/proc/meminfo: memFree=30359240/32770624 swapFree=5860/282060
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
[pid=26104] ppid=26103 vsize=13935924 CPUtime=44.93 cores=0,2,4,6,8,10,12,14
/proc/26104/stat : 26104 (java) S 26103 26103 7411 0 -1 1077944320 43836 0 0 0 4469 24 0 0 20 0 28 0 4378119 14270386176 65352 33554432000 4194304 4196468 140720990999680 140720990982224 140000401071863 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
/proc/26104/statm: 3483981 65352 3272 1 0 3471214 0
[pid=26104/tid=26105] ppid=26103 vsize=13935924 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26105/stat : 26105 (java) S 26103 26103 7411 0 -1 1077944384 7200 0 0 0 76 3 0 0 20 0 28 0 4378120 14270386176 65352 33554432000 4194304 4196468 140720990999680 140000405312640 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26107] ppid=26103 vsize=13935924 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26107/stat : 26107 (java) S 26103 26103 7411 0 -1 1077944384 46 0 0 0 1 1 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 140000366353552 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26108] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26108/stat : 26108 (java) S 26103 26103 7411 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999999020048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26109] ppid=26103 vsize=13935924 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26109/stat : 26109 (java) S 26103 26103 7411 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999997967248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26110] ppid=26103 vsize=13935924 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26110/stat : 26110 (java) S 26103 26103 7411 0 -1 1077944384 214 0 0 0 1 1 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999996914448 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26111] ppid=26103 vsize=13935924 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26111/stat : 26111 (java) S 26103 26103 7411 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999995861648 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26112] ppid=26103 vsize=13935924 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26112/stat : 26112 (java) S 26103 26103 7411 0 -1 1077944384 48 0 0 0 0 1 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999994808848 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26113] ppid=26103 vsize=13935924 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26113/stat : 26113 (java) S 26103 26103 7411 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999993756048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26114] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26114/stat : 26114 (java) S 26103 26103 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4378121 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999992703248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26115] ppid=26103 vsize=13935924 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26115/stat : 26115 (java) S 26103 26103 7411 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 28 0 4378123 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999527840624 140000401083010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26116] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26116/stat : 26116 (java) S 26103 26103 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4378123 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999526786592 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26117] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26117/stat : 26117 (java) S 26103 26103 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4378124 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999525733744 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26118] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26118/stat : 26118 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 65352 33554432000 4194304 4196468 140720990999680 139999524682064 140000401090459 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
################
# More data... #
################
/proc/26104/task/26116/stat : 26116 (java) S 26103 26103 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4378123 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999526786592 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26117] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26117/stat : 26117 (java) S 26103 26103 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4378124 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999525733744 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26118] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26118/stat : 26118 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999524682064 140000401090459 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26119] ppid=26103 vsize=13935924 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26119/stat : 26119 (java) S 26103 26103 7411 0 -1 1077944384 15259 0 0 0 352 3 0 0 20 0 28 0 4378127 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999523629424 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26120] ppid=26103 vsize=13935924 CPUtime=3.99 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26120/stat : 26120 (java) S 26103 26103 7411 0 -1 1077944384 15643 0 0 0 397 2 0 0 20 0 28 0 4378127 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999522576624 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26121] ppid=26103 vsize=13935924 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26121/stat : 26121 (java) S 26103 26103 7411 0 -1 1077944384 10471 0 0 0 393 1 0 0 20 0 28 0 4378127 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999521523824 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26122] ppid=26103 vsize=13935924 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26122/stat : 26122 (java) S 26103 26103 7411 0 -1 1077944384 10268 0 0 0 118 2 0 0 20 0 28 0 4378127 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999520471024 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26123] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26123/stat : 26123 (java) S 26103 26103 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999519419488 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26124] ppid=26103 vsize=13935924 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26124/stat : 26124 (java) S 26103 26103 7411 0 -1 1077944384 1722 0 0 0 1 1 0 0 20 0 28 0 4378128 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999518366768 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26285] ppid=26103 vsize=13935924 CPUtime=30.85 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26285/stat : 26285 (java) R 26103 26103 7411 0 -1 4202560 421 0 0 0 3085 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999505086920 140000044924608 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26286] ppid=26103 vsize=13935924 CPUtime=30.81 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26286/stat : 26286 (java) R 26103 26103 7411 0 -1 4202560 428 0 0 0 3081 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999508245760 140000045608925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26287] ppid=26103 vsize=13935924 CPUtime=30.77 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26287/stat : 26287 (java) R 26103 26103 7411 0 -1 4202560 534 0 0 0 3077 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999501930376 140000045714992 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26288] ppid=26103 vsize=13935924 CPUtime=30.46 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26288/stat : 26288 (java) R 26103 26103 7411 0 -1 4202560 448 0 0 0 3046 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999504037856 140000045713412 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26289] ppid=26103 vsize=13935924 CPUtime=30.74 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26289/stat : 26289 (java) R 26103 26103 7411 0 -1 4202560 409 0 0 0 3074 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999500877288 140000044682935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26290] ppid=26103 vsize=13935924 CPUtime=30.72 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26290/stat : 26290 (java) R 26103 26103 7411 0 -1 4202560 312 0 0 0 3072 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999510351064 140000045714216 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26291] ppid=26103 vsize=13935924 CPUtime=30.89 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26291/stat : 26291 (java) R 26103 26103 7411 0 -1 4202560 1849 0 0 0 3089 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999498232360 140000380809605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26292] ppid=26103 vsize=13935924 CPUtime=30.75 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26292/stat : 26292 (java) R 26103 26103 7411 0 -1 4202560 173 0 0 0 3075 0 0 0 20 0 28 0 4382923 14270386176 46687 33554432000 4194304 4196468 140720990999680 139999507194280 140000044922289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
Current children cumulated CPU time (s) 622.79
Current children cumulated vsize (KiB) 13945436
[startup+79.4016 s]
/proc/loadavg: 16.08 15.67 14.36 17/299 26293
/proc/meminfo: memFree=30412612/32770624 swapFree=5860/282172
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
[pid=26104] ppid=26103 vsize=13935924 CPUtime=624.25 cores=0,2,4,6,8,10,12,14
/proc/26104/stat : 26104 (java) S 26103 26103 7411 0 -1 1077944320 97086 0 0 0 62349 76 0 0 20 0 28 0 4378119 14270386176 46669 33554432000 4194304 4196468 140720990999680 140720990982224 140000401071863 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
/proc/26104/statm: 3483981 46669 3278 1 0 3471214 0
[pid=26104/tid=26105] ppid=26103 vsize=13935924 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26105/stat : 26105 (java) S 26103 26103 7411 0 -1 1077944384 7492 0 0 0 77 3 0 0 20 0 28 0 4378120 14270386176 46669 33554432000 4194304 4196468 140720990999680 140000405312640 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26107] ppid=26103 vsize=13935924 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26107/stat : 26107 (java) S 26103 26103 7411 0 -1 1077944384 875 0 0 0 11 4 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 140000366353552 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26108] ppid=26103 vsize=13935924 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26108/stat : 26108 (java) S 26103 26103 7411 0 -1 1077944384 1301 0 0 0 11 4 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999999020048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26109] ppid=26103 vsize=13935924 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26109/stat : 26109 (java) S 26103 26103 7411 0 -1 1077944384 2540 0 0 0 11 6 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999997967248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26110] ppid=26103 vsize=13935924 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26110/stat : 26110 (java) S 26103 26103 7411 0 -1 1077944384 2069 0 0 0 10 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999996914448 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26111] ppid=26103 vsize=13935924 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26111/stat : 26111 (java) S 26103 26103 7411 0 -1 1077944384 2429 0 0 0 13 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999995861648 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26112] ppid=26103 vsize=13935924 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26112/stat : 26112 (java) S 26103 26103 7411 0 -1 1077944384 1426 0 0 0 11 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999994808848 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26113] ppid=26103 vsize=13935924 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26113/stat : 26113 (java) S 26103 26103 7411 0 -1 1077944384 420 0 0 0 11 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999993756048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26114] ppid=26103 vsize=13935924 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26114/stat : 26114 (java) S 26103 26103 7411 0 -1 1077944384 575 0 0 0 13 4 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999992703248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26115] ppid=26103 vsize=13935924 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26115/stat : 26115 (java) S 26103 26103 7411 0 -1 1077944384 3751 0 0 0 13 12 0 0 20 0 28 0 4378123 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999527840624 140000401083010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26116] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26116/stat : 26116 (java) S 26103 26103 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4378123 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999526786592 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26117] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26117/stat : 26117 (java) S 26103 26103 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4378124 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999525733744 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26118] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26118/stat : 26118 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999524682064 140000401090459 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26119] ppid=26103 vsize=13935924 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26119/stat : 26119 (java) S 26103 26103 7411 0 -1 1077944384 15259 0 0 0 352 3 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999523629424 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26120] ppid=26103 vsize=13935924 CPUtime=3.99 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26120/stat : 26120 (java) S 26103 26103 7411 0 -1 1077944384 15643 0 0 0 397 2 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999522576624 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26121] ppid=26103 vsize=13935924 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26121/stat : 26121 (java) S 26103 26103 7411 0 -1 1077944384 10471 0 0 0 393 1 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999521523824 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26122] ppid=26103 vsize=13935924 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26122/stat : 26122 (java) S 26103 26103 7411 0 -1 1077944384 10268 0 0 0 118 2 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999520471024 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26123] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26123/stat : 26123 (java) S 26103 26103 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999519419488 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26124] ppid=26103 vsize=13935924 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26124/stat : 26124 (java) S 26103 26103 7411 0 -1 1077944384 1722 0 0 0 1 1 0 0 20 0 28 0 4378128 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999518366768 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26285] ppid=26103 vsize=13935924 CPUtime=31.03 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26285/stat : 26285 (java) R 26103 26103 7411 0 -1 4202560 421 0 0 0 3103 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999505087176 140000045973484 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26286] ppid=26103 vsize=13935924 CPUtime=30.99 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26286/stat : 26286 (java) R 26103 26103 7411 0 -1 4202560 428 0 0 0 3099 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999508245536 140000044426116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26287] ppid=26103 vsize=13935924 CPUtime=30.95 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26287/stat : 26287 (java) R 26103 26103 7411 0 -1 4202560 534 0 0 0 3095 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999501930248 140000046119136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26288] ppid=26103 vsize=13935924 CPUtime=30.64 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26288/stat : 26288 (java) R 26103 26103 7411 0 -1 4202560 448 0 0 0 3064 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999504035544 140000045716041 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26289] ppid=26103 vsize=13935924 CPUtime=30.92 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26289/stat : 26289 (java) R 26103 26103 7411 0 -1 4202560 409 0 0 0 3092 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999500877416 140000046119260 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26290] ppid=26103 vsize=13935924 CPUtime=30.9 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26290/stat : 26290 (java) R 26103 26103 7411 0 -1 4202560 312 0 0 0 3090 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999510351768 140000044425780 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26291] ppid=26103 vsize=13935924 CPUtime=31.07 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26291/stat : 26291 (java) R 26103 26103 7411 0 -1 4202560 1850 0 0 0 3107 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999498234992 140000045715257 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26292] ppid=26103 vsize=13935924 CPUtime=30.93 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26292/stat : 26292 (java) R 26103 26103 7411 0 -1 4202560 173 0 0 0 3093 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999507193944 140000045974362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
Current children cumulated CPU time (s) 624.25
Current children cumulated vsize (KiB) 13945436
[startup+79.5016 s]
/proc/loadavg: 16.08 15.67 14.36 17/299 26293
/proc/meminfo: memFree=30412612/32770624 swapFree=5860/282172
[pid=26103] ppid=26100 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26103/stat : 26103 (xcsp3-exec) S 26100 26103 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4378119 9740288 346 33554432000 4194304 5098028 140730665022272 140730665020376 140641859814012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9052160 140730665030799 140730665031008 140730665031008 140730665033707 0
/proc/26103/statm: 2378 346 289 221 0 87 0
[pid=26104] ppid=26103 vsize=13935924 CPUtime=625 cores=0,2,4,6,8,10,12,14
/proc/26104/stat : 26104 (java) S 26103 26103 7411 0 -1 1077944320 97219 0 0 0 62424 76 0 0 20 0 28 0 4378119 14270386176 46669 33554432000 4194304 4196468 140720990999680 140720990982224 140000401071863 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
/proc/26104/statm: 3483981 46669 3278 1 0 3471214 0
[pid=26104/tid=26105] ppid=26103 vsize=13935924 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26105/stat : 26105 (java) S 26103 26103 7411 0 -1 1077944384 7492 0 0 0 77 3 0 0 20 0 28 0 4378120 14270386176 46669 33554432000 4194304 4196468 140720990999680 140000405312640 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26107] ppid=26103 vsize=13935924 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26107/stat : 26107 (java) S 26103 26103 7411 0 -1 1077944384 875 0 0 0 11 4 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 140000366353552 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26108] ppid=26103 vsize=13935924 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26108/stat : 26108 (java) S 26103 26103 7411 0 -1 1077944384 1301 0 0 0 11 4 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999999020048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26109] ppid=26103 vsize=13935924 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26109/stat : 26109 (java) S 26103 26103 7411 0 -1 1077944384 2540 0 0 0 11 6 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999997967248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26110] ppid=26103 vsize=13935924 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26110/stat : 26110 (java) S 26103 26103 7411 0 -1 1077944384 2069 0 0 0 10 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999996914448 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26111] ppid=26103 vsize=13935924 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26111/stat : 26111 (java) S 26103 26103 7411 0 -1 1077944384 2429 0 0 0 13 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999995861648 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26112] ppid=26103 vsize=13935924 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26112/stat : 26112 (java) S 26103 26103 7411 0 -1 1077944384 1426 0 0 0 11 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999994808848 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26113] ppid=26103 vsize=13935924 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26113/stat : 26113 (java) S 26103 26103 7411 0 -1 1077944384 420 0 0 0 11 5 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999993756048 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26114] ppid=26103 vsize=13935924 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26114/stat : 26114 (java) S 26103 26103 7411 0 -1 1077944384 575 0 0 0 13 4 0 0 20 0 28 0 4378121 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999992703248 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26115] ppid=26103 vsize=13935924 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26115/stat : 26115 (java) S 26103 26103 7411 0 -1 1077944384 3751 0 0 0 13 12 0 0 20 0 28 0 4378123 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999527840624 140000401083010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26116] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26116/stat : 26116 (java) S 26103 26103 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4378123 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999526786592 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26117] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26117/stat : 26117 (java) S 26103 26103 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4378124 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999525733744 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26118] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26118/stat : 26118 (java) S 26103 26103 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999524682064 140000401090459 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26119] ppid=26103 vsize=13935924 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26119/stat : 26119 (java) S 26103 26103 7411 0 -1 1077944384 15259 0 0 0 352 3 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999523629424 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26120] ppid=26103 vsize=13935924 CPUtime=3.99 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26120/stat : 26120 (java) S 26103 26103 7411 0 -1 1077944384 15643 0 0 0 397 2 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999522576624 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26121] ppid=26103 vsize=13935924 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26121/stat : 26121 (java) S 26103 26103 7411 0 -1 1077944384 10471 0 0 0 393 1 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999521523824 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26122] ppid=26103 vsize=13935924 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26122/stat : 26122 (java) S 26103 26103 7411 0 -1 1077944384 10268 0 0 0 118 2 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999520471024 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26123] ppid=26103 vsize=13935924 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26123/stat : 26123 (java) S 26103 26103 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4378127 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999519419488 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26124] ppid=26103 vsize=13935924 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26124/stat : 26124 (java) S 26103 26103 7411 0 -1 1077944384 1722 0 0 0 1 1 0 0 20 0 28 0 4378128 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999518366768 140000401083010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26285] ppid=26103 vsize=13935924 CPUtime=31.12 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26285/stat : 26285 (java) S 26103 26103 7411 0 -1 1077944384 445 0 0 0 3112 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999505092528 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26286] ppid=26103 vsize=13935924 CPUtime=31.09 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26286/stat : 26286 (java) S 26103 26103 7411 0 -1 1077944384 446 0 0 0 3109 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999508251792 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26287] ppid=26103 vsize=13935924 CPUtime=31.05 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26287/stat : 26287 (java) R 26103 26103 7411 0 -1 4202560 534 0 0 0 3105 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999501930248 140000046119176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26288] ppid=26103 vsize=13935924 CPUtime=30.73 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26288/stat : 26288 (java) S 26103 26103 7411 0 -1 1077944384 464 0 0 0 3073 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999504040848 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26289] ppid=26103 vsize=13935924 CPUtime=31.01 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26289/stat : 26289 (java) S 26103 26103 7411 0 -1 1077944384 449 0 0 0 3101 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999500882704 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26290] ppid=26103 vsize=13935924 CPUtime=30.99 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26290/stat : 26290 (java) S 26103 26103 7411 0 -1 1077944384 329 0 0 0 3099 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999510356624 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26291] ppid=26103 vsize=13935924 CPUtime=31.16 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26291/stat : 26291 (java) S 26103 26103 7411 0 -1 1077944384 1851 0 0 0 3116 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999498237456 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
[pid=26104/tid=26292] ppid=26103 vsize=13935924 CPUtime=31.02 cores=0,2,4,6,8,10,12,14
/proc/26104/task/26292/stat : 26292 (java) S 26103 26103 7411 0 -1 1077944384 190 0 0 0 3102 0 0 0 20 0 28 0 4382923 14270386176 46669 33554432000 4194304 4196468 140720990999680 139999507199376 140000401082069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7540736 140720991003836 140720991004012 140720991004012 140720991006671 0
Current children cumulated CPU time (s) 625
Current children cumulated vsize (KiB) 13945436
Child status: 0
Real time (s): 79.5186
CPU time (s): 625.028
CPU user time (s): 624.249
CPU system time (s): 0.779151
CPU usage (%): 786.016
Max. virtual memory (cumulated for all children) (KiB): 13947068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 624.249
system time used= 0.779151
maximum resident set size= 282188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13096
involuntary context switches= 37649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.975303 second user time and 1.17555 second system time
The end