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 (15296 MiB free)
memory of node 1: 16384 MiB (9163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254221-1502645217/watcher-4254221-1502645217 -o /tmp/evaluation-result-4254221-1502645217/solver-4254221-1502645217 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502644087-25850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 1637900803 HOME/instance-4254221-1502645217.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=26164, runsolver pid=26161
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 2.19 2.20 2.35 3/206 26172
/proc/meminfo: memFree=25039328/32770624 swapFree=67108860/67108860
[pid=26164] ppid=26161 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26164/stat : 26164 (xcsp3-exec) S 26161 26164 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18404365 9740288 344 18446744073709551615 4194304 5098028 140722651192416 140722651190520 139693895496316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 27164672 140722651193727 140722651193931 140722651193931 140722651197419 0
/proc/26164/statm: 2378 344 289 221 0 87 0
[pid=26166] ppid=26164 vsize=13574484 memory=17724 CPUtime=0.02 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26164 26164 7968 0 -1 1077944320 3744 0 0 0 2 0 0 0 20 0 9 0 18404372 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3393621 4431 2086 1 0 3383118 0
[pid=26166/tid=26167] ppid=26164 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) R 26164 26164 7968 0 -1 4202560 2448 0 0 0 2 0 0 0 20 0 9 0 18404373 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140117157441768 140117153227933 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26164 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18404373 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140117072619920 140117153216213 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26164 vsize=13574484 memory=140493635356288 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18404373 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140117071567120 140117153216213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26164 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18404374 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140117070514832 140117153216213 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26164 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18404374 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140117069462032 140117153216213 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26164 vsize=13574484 memory=140493635356288 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18404375 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140116631841392 140117153217154 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26164 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26164 26164 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 18404375 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26164 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26164 26164 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 18404375 13900271616 4431 18446744073709551615 4194304 4196468 140732993465936 140116629735088 140117153216213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19100 KiB
[startup+0.220471 s]*
/proc/loadavg: 2.19 2.20 2.35 3/214 26180
/proc/meminfo: memFree=25035464/32770624 swapFree=67108860/67108860
[pid=26164] ppid=26161 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26164/stat : 26164 (xcsp3-exec) S 26161 26164 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18404365 9740288 344 18446744073709551615 4194304 5098028 140722651192416 140722651190520 139693895496316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 27164672 140722651193727 140722651193931 140722651193931 140722651197419 0
/proc/26164/statm: 2378 344 289 221 0 87 0
[pid=26166] ppid=26164 vsize=13974352 memory=25536 CPUtime=0.08 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26164 26164 7968 0 -1 1077944320 4834 0 0 0 7 1 0 0 20 0 15 0 18404372 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3493588 6384 2718 1 0 3482964 0
[pid=26166/tid=26167] ppid=26164 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) R 26164 26164 7968 0 -1 4202560 2986 0 0 0 6 0 0 0 20 0 15 0 18404373 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140117157431696 140116749251991 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26164 vsize=13974352 memory=11601 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140117072619920 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26164 vsize=13974352 memory=4122114148538418848 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140117071567120 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404374 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140117070514832 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26164 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18404374 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140117069462032 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26164 vsize=13974352 memory=140493635356288 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18404375 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116631841392 140117153217154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26164 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26164 26164 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18404375 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26164 26164 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18404375 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116628683344 140117153224603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26164 26164 7968 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116627630192 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26164 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116626577392 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26164 vsize=13974352 memory=140493635356288 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) R 26164 26164 7968 0 -1 4202560 232 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116625525104 140117153217942 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26164 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26164 vsize=13974352 memory=140493635356288 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404386 14309736448 6384 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26912 KiB
[startup+0.310467 s]*
/proc/loadavg: 2.19 2.20 2.35 3/214 26180
/proc/meminfo: memFree=25022160/32770624 swapFree=67108860/67108860
[pid=26164] ppid=26161 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26164/stat : 26164 (xcsp3-exec) S 26161 26164 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18404365 9740288 344 18446744073709551615 4194304 5098028 140722651192416 140722651190520 139693895496316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 27164672 140722651193727 140722651193931 140722651193931 140722651197419 0
/proc/26164/statm: 2378 344 289 221 0 87 0
[pid=26166] ppid=26164 vsize=13974352 memory=37252 CPUtime=0.24 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26164 26164 7968 0 -1 1077944320 8381 0 0 0 22 2 0 0 20 0 15 0 18404372 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3493588 9313 2975 1 0 3482964 0
[pid=26166/tid=26167] ppid=26164 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) R 26164 26164 7968 0 -1 4202560 5627 0 0 0 13 2 0 0 20 0 15 0 18404373 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140117157428384 140117137286494 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140117072619920 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140117071567120 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404374 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140117070514832 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18404374 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140117069462032 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18404375 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116631841392 140117153217154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26164 26164 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18404375 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26164 26164 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18404375 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116628683344 140117153224603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26164 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26164 26164 7968 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 15 0 18404378 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116627630192 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26164 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26164 26164 7968 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 18404378 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116626577392 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26164 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) S 26164 26164 7968 0 -1 1077944384 732 0 0 0 5 0 0 0 20 0 15 0 18404378 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116625525104 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26164 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404386 14309736448 9313 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38628 KiB
[startup+0.700877 s]
/proc/loadavg: 2.19 2.20 2.35 3/214 26180
/proc/meminfo: memFree=25012328/32770624 swapFree=67108860/67108860
[pid=26164] ppid=26161 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26164/stat : 26164 (xcsp3-exec) S 26161 26164 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18404365 9740288 344 18446744073709551615 4194304 5098028 140722651192416 140722651190520 139693895496316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 27164672 140722651193727 140722651193931 140722651193931 140722651197419 0
/proc/26164/statm: 2378 344 289 221 0 87 0
[pid=26166] ppid=26164 vsize=13980732 memory=76744 CPUtime=1.05 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26164 26164 7968 0 -1 1077944320 11312 0 0 0 101 4 0 0 20 0 15 0 18404372 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3495183 19186 3157 1 0 3483476 0
[pid=26166/tid=26167] ppid=26164 vsize=13980732 memory=140493480534640 CPUtime=0.53 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) R 26164 26164 7968 0 -1 4202560 7505 0 0 0 50 3 0 0 20 0 15 0 18404373 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140117157443504 140117134855086 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140117072619920 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140117071567120 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404374 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140117070514832 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26164 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) S 26164 26164 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18404374 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140117069462032 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26164 26164 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116631841392 140117153217154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26164 vsize=13980732 memory=-6652204259007948648 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26164 26164 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26164 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26164 26164 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26164 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116628683344 140117153224603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26164 vsize=13980732 memory=6943526294502006880 CPUtime=0.15 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26164 26164 7968 0 -1 1077944384 886 0 0 0 15 0 0 0 20 0 15 0 18404378 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116627630192 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26164 vsize=13980732 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26164 26164 7968 0 -1 1077944384 469 0 0 0 10 0 0 0 20 0 15 0 18404378 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116626577392 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26164 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) S 26164 26164 7968 0 -1 1077944384 1146 0 0 0 24 0 0 0 20 0 15 0 18404378 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116625525104 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26164 vsize=13980732 memory=8128038100524242582 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404386 14316269568 19186 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78120 KiB
[startup+1.50091 s]
/proc/loadavg: 2.19 2.20 2.35 3/214 26180
/proc/meminfo: memFree=24943060/32770624 swapFree=67108860/67108860
[pid=26164] ppid=26161 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26164/stat : 26164 (xcsp3-exec) S 26161 26164 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 18404365 9740288 344 18446744073709551615 4194304 5098028 140722651192416 140722651190520 139693895496316 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 27164672 140722651193727 140722651193931 140722651193931 140722651197419 0
/proc/26164/statm: 2378 344 289 221 0 87 0
[pid=26166] ppid=26164 vsize=13980732 memory=117920 CPUtime=1.89 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26164 26164 7968 0 -1 1077944320 11507 0 0 0 184 5 0 0 20 0 15 0 18404372 14316269568 29480 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3495183 29480 3158 1 0 3483476 0
[pid=26166/tid=26167] ppid=26164 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) R 26164 26164 7968 0 -1 4202560 7643 0 0 0 129 3 0 0 20 0 15 0 18404373 14316269568 29480 18446744073709551615 4194304 4196468 140732993465936 140117157441544 140116751433153 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14316269568 29480 18446744073709551615 4194304 4196468 140732993465936 140117072619920 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26164 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404373 14316269568 29480 18446744073709551615 4194304 4196468 140732993465936 140117071567120 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26164 vsize=13980732 memory=16 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) S 26164 26164 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18404374 14316269568 29480 18446744073709551615 4194304 4196468 140732993465936 140117070514832 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26164 vsize=13980732 memory=12 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26166/task/26170/stat : 26170 (java) R 26164 26164 7968 0 -1 4202560 24521 0 0 0 2610 255 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117070515032 140117137903832 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26164 vsize=13980732 memory=4040 CPUtime=28.78 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) R 26164 26164 7968 0 -1 4202560 43143 0 0 0 2643 235 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117069461920 140117138156160 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26164 vsize=13980732 memory=4124 CPUtime=15.75 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26164 26164 7968 0 -1 1077944384 25302 0 0 0 1571 4 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116631839712 140117153216213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26164 vsize=13980732 memory=13596 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26164 26164 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26164 vsize=13980732 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26164 26164 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26164 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116628683344 140117153224603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26164 vsize=13980732 memory=1732 CPUtime=0.22 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26164 26164 7968 0 -1 1077944384 1810 0 0 0 21 1 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116627630192 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26164 vsize=13980732 memory=1700 CPUtime=0.24 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26164 26164 7968 0 -1 1077944384 2238 0 0 0 24 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116626577392 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26164 vsize=13980732 memory=1228 CPUtime=0.35 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) S 26164 26164 7968 0 -1 1077944384 6449 0 0 0 35 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116625525104 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26164 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26164 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26164 vsize=13980732 memory=10583956 CPUtime=0.1 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) S 26164 26164 7968 0 -1 1077944384 298 0 0 0 4 6 0 0 20 0 15 0 18404386 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current children cumulated CPU time: 252.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10585340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+165.64 s]
# the end of solver process 26164 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000932 s, system=0.000932 s
Sending SIGKILL to process tree (bottom up)
[startup+167.659 s]
# the end of solver process 26166 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.018 s, system=10.186 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.402 s]
/proc/loadavg: 2.43 2.24 2.34 6/212 26269
/proc/meminfo: memFree=15434784/32770624 swapFree=67108860/67108860
[pid=26166] ppid=26161 vsize=13980732 memory=10583964 CPUtime=255.35 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26161 26164 7968 0 -1 1077944320 211203 0 0 0 24521 1014 0 0 20 0 15 0 18404372 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3495183 2645991 3213 1 0 3483476 0
[pid=26166/tid=26167] ppid=26161 vsize=13980732 memory=1000 CPUtime=120.69 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) S 26161 26164 7968 0 -1 1077944384 16809 0 0 0 12060 9 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117157444128 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26161 vsize=13980732 memory=1376 CPUtime=29.52 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) R 26161 26164 7968 0 -1 4202560 48100 0 0 0 2704 248 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117072620120 140117138191303 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26161 vsize=13980732 memory=1376 CPUtime=29.38 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) R 26161 26164 7968 0 -1 4202560 41174 0 0 0 2687 251 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117071567320 140117138156612 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26161 vsize=13980732 memory=1228 CPUtime=29.45 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) R 26161 26164 7968 0 -1 4202560 24529 0 0 0 2690 255 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117070515032 140117138156701 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26161 vsize=13980732 memory=4124 CPUtime=29.55 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) R 26161 26164 7968 0 -1 4202560 43143 0 0 0 2720 235 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117069461920 140117138964320 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26161 vsize=13980732 memory=13596 CPUtime=15.75 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26161 26164 7968 0 -1 1077944384 25302 0 0 0 1571 4 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116631839712 140117153216213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26161 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26161 26164 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26161 vsize=13980732 memory=10563320 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26161 26164 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26161 vsize=13980732 memory=8793656 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26161 26164 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116628682992 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26161 vsize=13980732 memory=5 CPUtime=0.22 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26161 26164 7968 0 -1 1077944384 1810 0 0 0 21 1 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116627630192 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26161 vsize=13980732 memory=1376 CPUtime=0.24 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26161 26164 7968 0 -1 1077944384 2238 0 0 0 24 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116626577392 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26161 vsize=13980732 memory=8424704 CPUtime=0.35 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) S 26161 26164 7968 0 -1 1077944384 6449 0 0 0 35 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116625525104 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26161 vsize=13980732 memory=2844 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26161 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26161 vsize=13980732 memory=280986961598272 CPUtime=0.1 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) S 26161 26164 7968 0 -1 1077944384 298 0 0 0 4 6 0 0 20 0 15 0 18404386 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current cumulated CPU time of completed processes: 0.001864 s
Current children cumulated CPU time: 255.35 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10583964 KiB
[startup+167.202 s]
/proc/loadavg: 2.43 2.24 2.34 7/212 26269
/proc/meminfo: memFree=15434804/32770624 swapFree=67108860/67108860
[pid=26166] ppid=26161 vsize=13980732 memory=10583964 CPUtime=258.54 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26161 26164 7968 0 -1 1077944320 211612 0 0 0 24840 1014 0 0 20 0 15 0 18404372 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3495183 2645991 3213 1 0 3483476 0
[pid=26166/tid=26167] ppid=26161 vsize=13980732 memory=5520 CPUtime=120.69 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) S 26161 26164 7968 0 -1 1077944384 16809 0 0 0 12060 9 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117157444128 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26161 vsize=13980732 memory=4612 CPUtime=30.32 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) R 26161 26164 7968 0 -1 4202560 48100 0 0 0 2784 248 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117072620120 140117137903646 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26161 vsize=13980732 memory=-8774313645642428999 CPUtime=30.18 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) R 26161 26164 7968 0 -1 4202560 41582 0 0 0 2767 251 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117071567320 140117138156643 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26161 vsize=13980732 memory=1732 CPUtime=30.24 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) R 26161 26164 7968 0 -1 4202560 24530 0 0 0 2769 255 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117070515032 140117137903804 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26161 vsize=13980732 memory=1700 CPUtime=30.33 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) R 26161 26164 7968 0 -1 4202560 43143 0 0 0 2798 235 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117069461920 140117133232155 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26161 vsize=13980732 memory=1228 CPUtime=15.75 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26161 26164 7968 0 -1 1077944384 25302 0 0 0 1571 4 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116631839712 140117153216213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26161 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26161 26164 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26161 vsize=13980732 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26161 26164 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26161 vsize=13980732 memory=7667449165624405096 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26161 26164 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116628682992 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26161 vsize=13980732 memory=7667449165624405096 CPUtime=0.22 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26161 26164 7968 0 -1 1077944384 1810 0 0 0 21 1 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116627630240 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26161 vsize=13980732 memory=5794278305706894953 CPUtime=0.24 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26161 26164 7968 0 -1 1077944384 2238 0 0 0 24 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116626577152 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26161 vsize=13980732 memory=7812177937006225472 CPUtime=0.35 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) S 26161 26164 7968 0 -1 1077944384 6449 0 0 0 35 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116625525152 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26161 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26161 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26161 vsize=13980732 memory=13596 CPUtime=0.1 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) R 26161 26164 7968 0 -1 1077944384 298 0 0 0 4 6 0 0 20 0 15 0 18404386 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current cumulated CPU time of completed processes: 0.001864 s
Current children cumulated CPU time: 258.54 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10583964 KiB
[startup+167.602 s]
/proc/loadavg: 2.43 2.24 2.34 7/212 26269
/proc/meminfo: memFree=15434804/32770624 swapFree=67108860/67108860
[pid=26166] ppid=26161 vsize=13980732 memory=10583964 CPUtime=260.12 cores=0,2,4,6
/proc/26166/stat : 26166 (java) S 26161 26164 7968 0 -1 1077944320 211630 0 0 0 24998 1014 0 0 20 0 15 0 18404372 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140732993448480 140117153206007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
/proc/26166/statm: 3495183 2645991 3213 1 0 3483476 0
[pid=26166/tid=26167] ppid=26161 vsize=13980732 memory=-8774313645642428999 CPUtime=120.69 cores=0,2,4,6
/proc/26166/task/26167/stat : 26167 (java) S 26161 26164 7968 0 -1 1077944384 16809 0 0 0 12060 9 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117157444128 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26168] ppid=26161 vsize=13980732 memory=-8774313645642428999 CPUtime=30.72 cores=0,2,4,6
/proc/26166/task/26168/stat : 26168 (java) R 26161 26164 7968 0 -1 4202560 48110 0 0 0 2824 248 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117072619808 140117138202431 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26169] ppid=26161 vsize=13980732 memory=140493635370817 CPUtime=30.58 cores=0,2,4,6
/proc/26166/task/26169/stat : 26169 (java) R 26161 26164 7968 0 -1 4202560 41582 0 0 0 2807 251 0 0 20 0 15 0 18404373 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117071567120 140117138202411 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26170] ppid=26161 vsize=13980732 memory=7092164916513105000 CPUtime=30.64 cores=0,2,4,6
/proc/26166/task/26170/stat : 26170 (java) R 26161 26164 7968 0 -1 4202560 24530 0 0 0 2809 255 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117070514832 140117137904704 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26171] ppid=26161 vsize=13980732 memory=7588944047900287316 CPUtime=30.72 cores=0,2,4,6
/proc/26166/task/26171/stat : 26171 (java) R 26161 26164 7968 0 -1 4202560 43143 0 0 0 2837 235 0 0 20 0 15 0 18404374 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140117069462032 140117138202669 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26172] ppid=26161 vsize=13980732 memory=1296 CPUtime=15.76 cores=0,2,4,6
/proc/26166/task/26172/stat : 26172 (java) S 26161 26164 7968 0 -1 1077944384 25310 0 0 0 1572 4 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116631839936 140117153216213 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26173] ppid=26161 vsize=13980732 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26173/stat : 26173 (java) S 26161 26164 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116630787360 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26174] ppid=26161 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26174/stat : 26174 (java) S 26161 26164 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 18404375 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116629735024 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26175] ppid=26161 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26175/stat : 26175 (java) S 26161 26164 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116628682992 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26176] ppid=26161 vsize=13980732 memory=1000 CPUtime=0.22 cores=0,2,4,6
/proc/26166/task/26176/stat : 26176 (java) S 26161 26164 7968 0 -1 1077944384 1810 0 0 0 21 1 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116627630240 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26177] ppid=26161 vsize=13980732 memory=2012 CPUtime=0.24 cores=0,2,4,6
/proc/26166/task/26177/stat : 26177 (java) S 26161 26164 7968 0 -1 1077944384 2238 0 0 0 24 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116626577152 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26178] ppid=26161 vsize=13980732 memory=5520 CPUtime=0.35 cores=0,2,4,6
/proc/26166/task/26178/stat : 26178 (java) S 26161 26164 7968 0 -1 1077944384 6449 0 0 0 35 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116625525152 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26179] ppid=26161 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26166/task/26179/stat : 26179 (java) S 26161 26164 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18404378 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116624472544 140117153216213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
[pid=26166/tid=26180] ppid=26161 vsize=13980732 memory=792 CPUtime=0.1 cores=0,2,4,6
/proc/26166/task/26180/stat : 26180 (java) S 26161 26164 7968 0 -1 1077944384 298 0 0 0 4 6 0 0 20 0 15 0 18404386 14316269568 2645991 18446744073709551615 4194304 4196468 140732993465936 140116623420336 140117153217154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38580224 140732993470904 140732993471079 140732993471079 140732993474511 0
Current cumulated CPU time of completed processes: 0.001864 s
Current children cumulated CPU time: 260.12 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10583964 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 167.659
CPU time (s): 260.203
CPU user time (s): 250.018
CPU system time (s): 10.186
CPU usage (%): 155.198
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 10585340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.017
system time used= 10.186
maximum resident set size= 10584352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7225
involuntary context switches= 1454
# summary of solver processes directly reported to runsolver:
# pid: 26164,26166
# total CPU time (s): 260.203
# total CPU user time (s): 250.018
# total CPU system time (s): 10.186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10137 second user time and 1.75468 second system time
The end