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 (133 MiB free)
memory of node 1: 16384 MiB (68 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403311-1568967638/watcher-4403311-1568967638 -o /var/tmp/evaluation-result-4403311-1568967638/solver-4403311-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26299 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4403311-1568967638.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26333, runsolver pid=26330
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 0.31 0.08 0.07 1/206 26348
/proc/meminfo: memFree=205888/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=113256 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26333/stat : 26333 (bash) S 26330 26333 26267 0 -1 4202496 724 1564 1 0 0 0 0 0 20 0 1 0 472704633 115974144 364 33554432000 4194304 5098028 140727208351456 140727208349096 139922607913984 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 2 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26333/statm: 28314 364 290 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1456 KiB
[startup+0.209941 s]*
/proc/loadavg: 0.31 0.08 0.07 1/206 26394
/proc/meminfo: memFree=204652/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/26333/stat : 26333 (bash) S 26330 26333 26267 0 -1 4202496 891 5672 1 0 0 0 0 1 20 0 1 0 472704633 115974144 404 33554432000 4194304 5098028 140727208351456 140727208345464 139922607913984 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 2 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26333/statm: 28314 404 320 221 0 119 0
[pid=26389] ppid=26333 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/26389/stat : 26389 (bash) S 26333 26333 26267 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472704647 115974144 178 33554432000 4194304 5098028 140727208351456 140727208344136 139922607739516 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26389/statm: 28314 178 94 221 0 119 0
[pid=26392] ppid=26389 vsize=4724 memory=200 CPUtime=0 cores=1,3,5,7
/proc/26392/stat : 26392 (java) D 26389 26333 26267 0 -1 4194304 169 0 0 0 0 0 0 0 20 0 1 0 472704647 4837376 50 33554432000 4194304 4196468 140726039163600 140726039160648 139876488055290 0 0 4096 0 18446744071580431491 0 0 17 5 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
/proc/26392/statm: 1181 50 38 1 0 43 0
[pid=26394] ppid=26389 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/26394/stat : 26394 (awk) S 26389 26333 26267 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 472704647 116211712 243 33554432000 4194304 4609284 140722989027776 140722989026952 140441478777856 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 22069248 140722989032620 140722989032650 140722989032650 140722989035503 0
/proc/26394/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 344724 KiB
Current children cumulated memory: 3500 KiB
[startup+0.309947 s]*
/proc/loadavg: 0.31 0.08 0.07 1/208 26396
/proc/meminfo: memFree=201936/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/26333/stat : 26333 (bash) S 26330 26333 26267 0 -1 4202496 891 5672 1 0 0 0 0 1 20 0 1 0 472704633 115974144 404 33554432000 4194304 5098028 140727208351456 140727208345464 139922607913984 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 2 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26333/statm: 28314 404 320 221 0 119 0
[pid=26389] ppid=26333 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/26389/stat : 26389 (bash) S 26333 26333 26267 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472704647 115974144 178 33554432000 4194304 5098028 140727208351456 140727208344136 139922607739516 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26389/statm: 28314 178 94 221 0 119 0
[pid=26392] ppid=26389 vsize=109408 memory=5328 CPUtime=0 cores=1,3,5,7
/proc/26392/stat : 26392 (java) S 26389 26333 26267 0 -1 1077944320 1610 0 0 0 0 0 0 0 20 0 2 0 472704647 112033792 1332 33554432000 4194304 4196468 140726039163600 140726039146144 139876485775095 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
/proc/26392/statm: 27352 1332 1002 1 0 16810 0
[pid=26392/tid=26396] ppid=26389 vsize=109408 memory=7892391828772250251 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26396/stat : 26396 (java) D 26389 26333 26267 0 -1 4202560 329 0 0 0 0 0 0 0 20 0 2 0 472704660 112033792 1332 33554432000 4194304 4196468 140726039163600 139876490017200 139876485796925 0 0 0 16784584 18446744071581152138 0 0 -1 3 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26394] ppid=26389 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/26394/stat : 26394 (awk) S 26389 26333 26267 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 472704647 116211712 243 33554432000 4194304 4609284 140722989027776 140722989026952 140441478777856 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 22069248 140722989032620 140722989032650 140722989032650 140722989035503 0
/proc/26394/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 449408 KiB
Current children cumulated memory: 8628 KiB
[startup+0.700808 s]
/proc/loadavg: 0.31 0.08 0.07 2/222 26410
/proc/meminfo: memFree=191232/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/26333/stat : 26333 (bash) S 26330 26333 26267 0 -1 4202496 891 5672 1 0 0 0 0 1 20 0 1 0 472704633 115974144 404 33554432000 4194304 5098028 140727208351456 140727208345464 139922607913984 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 2 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26333/statm: 28314 404 320 221 0 119 0
[pid=26389] ppid=26333 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/26389/stat : 26389 (bash) S 26333 26333 26267 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472704647 115974144 178 33554432000 4194304 5098028 140727208351456 140727208344136 139922607739516 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33988608 140727208354816 140727208354945 140727208354945 140727208357870 0
/proc/26389/statm: 28314 178 94 221 0 119 0
[pid=26392] ppid=26389 vsize=10593144 memory=23740 CPUtime=0.06 cores=1,3,5,7
/proc/26392/stat : 26392 (java) S 26389 26333 26267 0 -1 1077944320 4868 0 0 0 4 2 0 0 20 0 14 0 472704647 10847379456 5935 33554432000 4194304 4196468 140726039163600 140726039146144 139876485775095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
/proc/26392/statm: 2648286 5935 2617 1 0 2610827 0
[pid=26392/tid=26396] ppid=26389 vsize=10593144 memory=6916 CPUtime=0.05 cores=1,3,5,7
/proc/26392/task/26396/stat : 26396 (java) D 26389 26333 26267 0 -1 1077944384 3018 0 0 0 4 1 0 0 20 0 14 0 472704660 10847379456 5935 33554432000 4194304 4196468 140726039163600 139876490009752 139876478453109 0 4 0 16800975 18446744072101572132 0 0 -1 5 0 0 3 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26401] ppid=26389 vsize=10593144 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26401/stat : 26401 (java) S 26389 26333 26267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 472704675 10847379456 5935 33554432000 4194304 4196468 140726039163600 139876422466704 139876485785301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26402] ppid=26389 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26402/stat : 26402 (java) S 26389 26333 26267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 472704675 10847379456 5935 33554432000 4194304 4196468 140726039163600 139876421413904 139876485785301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26403] ppid=26389 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26403/stat : 26403 (java) S 26389 26333 26267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 472704675 10847379456 5935 33554432000 4194304 4196468 140726039163600 139876420361104 139876485785301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26404] ppid=26389 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26404/stat : 26404 (java) S 26389 26333 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 472704675 10847379456 5935 33554432000 4194304 4196468 140726039163600 139876419308304 139876485785301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26406] ppid=26389 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26406/stat : 26406 (java) S 26389 26333 26267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 472704678 10847379456 5935 33554432000 4194304 4196468 140726039163600 139875977021808 139876485786242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26408] ppid=26389 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26408/stat : 26408 (java) S 26389 26333 26267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 472704679 10847379456 5935 33554432000 4194304 4196468 140726039163600 139875975967776 139876485785301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26392/tid=26410] ppid=26389 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26392/task/26410/stat : 26410 (java) S 26389 26333 26267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 472704679 10847379456 5935 33554432000 4194304 4196468 140726039163600 139875974914928 139876485785301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19890176 140726039172220 140726039172234 140726039172234 140726039175119 0
[pid=26394] ppid=26389 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/26394/stat : 26394 (awk) S 26389 26333 26267 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 472704647 116211712 243 33554432000 4194304 4609284 140722989027776 140722989026952 140441478777856 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 22069248 140722989032620 140722989032650 140722989032650 140722989035503 0
/proc/26394/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 27040 KiB
[startup+1.50853 s]
/proc/loadavg: 0.31 0.08 0.07 1/204 26428
/proc/meminfo: memFree=242604/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=10820196 memory=49992 CPUtime=0.42 cores=1,3,5,7
/proc/26333/stat : 26333 (java) S 26330 26333 26267 0 -1 1077944320 10316 13257 1 1 28 5 5 4 20 0 15 0 472704633 11079880704 12498 33554432000 4194304 4196468 140731715858352 140731715840896 140502758485751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
/proc/26333/statm: 2705049 12498 3304 1 0 2667149 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49992 KiB
[startup+3.11007 s]
/proc/loadavg: 0.31 0.08 0.07 1/228 26468
/proc/meminfo: memFree=203288/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=10820268 memory=69680 CPUtime=0.92 cores=1,3,5,7
/proc/26333/stat : 26333 (java) S 26330 26333 26267 0 -1 1077944320 14148 13257 1 1 74 9 5 4 20 0 15 0 472704633 11079954432 17420 33554432000 4194304 4196468 140731715858352 140731715840896 140502758485751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
/proc/26333/statm: 2705067 17420 3467 1 0 2667149 0
[pid=26333/tid=26441] ppid=26330 vsize=10820268 memory=56 CPUtime=0.6 cores=1,3,5,7
/proc/26333/task/26441/stat : 26441 (java) R 26330 26333 26267 0 -1 4202560 9684 13257 0 1 43 8 5 4 20 0 15 0 472704739 11079954432 17420 33554432000 4194304 4196468 140731715858352 140502730311648 140502758507677 0 4 0 16800975 0 0 0 -1 1 0 0 142 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26443] ppid=26330 vsize=10820268 memory=7739276948477995375 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26443/stat : 26443 (java) S 26330 26333 26267 0 -1 1077944384 2 13257 0 1 0 0 5 4 20 0 15 0 472704742 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502762727952 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26444] ppid=26330 vsize=10820268 memory=280076562512032 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26444/stat : 26444 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704742 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502677547664 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26445] ppid=26330 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26445/stat : 26445 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704742 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502676494608 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26446] ppid=26330 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26446/stat : 26446 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704742 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502329121168 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26447] ppid=26330 vsize=10820268 memory=288230574492221466 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26447/stat : 26447 (java) S 26330 26333 26267 0 -1 1077944384 5 13257 0 1 0 0 5 4 20 0 15 0 472704744 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502030359280 140502758496898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26448] ppid=26330 vsize=10820268 memory=288230583166042426 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26448/stat : 26448 (java) S 26330 26333 26267 0 -1 1077944384 13 13257 0 1 0 0 5 4 20 0 15 0 472704744 11079954432 17484 33554432000 4194304 4196468 140731715858352 140501667800736 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26449] ppid=26330 vsize=10820268 memory=14981057220971048 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26449/stat : 26449 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704745 11079954432 17484 33554432000 4194304 4196468 140731715858352 140501533582576 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26457] ppid=26330 vsize=10820268 memory=10 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26457/stat : 26457 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 15 0 472704749 11079954432 17484 33554432000 4194304 4196468 140731715858352 140501293291984 140502758504347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26458] ppid=26330 vsize=10820268 memory=2608 CPUtime=0.15 cores=1,3,5,7
/proc/26333/task/26458/stat : 26458 (java) R 26330 26333 26267 0 -1 1077944384 852 13257 0 1 6 0 5 4 20 0 15 0 472704749 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502029306096 140502758496898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26459] ppid=26330 vsize=10820268 memory=4783210246291077728 CPUtime=0.19 cores=1,3,5,7
/proc/26333/task/26459/stat : 26459 (java) S 26330 26333 26267 0 -1 1077944384 662 13257 0 1 10 0 5 4 20 0 15 0 472704749 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502028253552 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26460] ppid=26330 vsize=10820268 memory=8305307729383144032 CPUtime=0.22 cores=1,3,5,7
/proc/26333/task/26460/stat : 26460 (java) R 26330 26333 26267 0 -1 4202560 714 13257 0 1 13 0 5 4 20 0 15 0 472704749 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502027200496 140502751591665 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26461] ppid=26330 vsize=10820268 memory=8305307729386287162 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26461/stat : 26461 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 15 0 472704749 11079954432 17484 33554432000 4194304 4196468 140731715858352 140501259733344 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26462] ppid=26330 vsize=10820268 memory=-7027408097459424710 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26462/stat : 26462 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704753 11079954432 17484 33554432000 4194304 4196468 140731715858352 140502026148912 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 69680 KiB
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 0.45 0.11 0.08 1/228 26468
/proc/meminfo: memFree=215736/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=10824364 memory=83820 CPUtime=1.25 cores=1,3,5,7
/proc/26333/stat : 26333 (java) S 26330 26333 26267 0 -1 1077944320 16159 13257 1 1 105 11 5 4 20 0 15 0 472704633 11084148736 20955 33554432000 4194304 4196468 140731715858352 140731715840896 140502758485751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
/proc/26333/statm: 2706091 20955 3514 1 0 2668173 0
[pid=26333/tid=26441] ppid=26330 vsize=10824364 memory=78012 CPUtime=0.75 cores=1,3,5,7
/proc/26333/task/26441/stat : 26441 (java) D 26330 26333 26267 0 -1 4202560 11536 13257 0 1 57 9 5 4 20 0 15 0 472704739 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502730304368 140502758507677 0 4 0 16800975 18446744071580419588 0 0 -1 3 0 0 414 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26443] ppid=26330 vsize=10824364 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26443/stat : 26443 (java) S 26330 26333 26267 0 -1 1077944384 2 13257 0 1 0 0 5 4 20 0 15 0 472704742 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502762727952 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26444] ppid=26330 vsize=10824364 memory=80332 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26444/stat : 26444 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704742 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502677547664 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26445] ppid=26330 vsize=10824364 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26445/stat : 26445 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704742 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502676494608 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26446] ppid=26330 vsize=10824364 memory=1660 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26446/stat : 26446 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704742 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502329121168 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26447] ppid=26330 vsize=10824364 memory=50252 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26447/stat : 26447 (java) S 26330 26333 26267 0 -1 1077944384 5 13257 0 1 0 0 5 4 20 0 15 0 472704744 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502030359280 140502758496898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26448] ppid=26330 vsize=10824364 memory=33 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26448/stat : 26448 (java) S 26330 26333 26267 0 -1 1077944384 13 13257 0 1 0 0 5 4 20 0 15 0 472704744 11084148736 20955 33554432000 4194304 4196468 140731715858352 140501667800736 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26449] ppid=26330 vsize=10824364 memory=280076562360328 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26449/stat : 26449 (java) S 26330 26333 26267 0 -1 1077944384 1 13257 0 1 0 0 5 4 20 0 15 0 472704745 11084148736 20955 33554432000 4194304 4196468 140731715858352 140501533582576 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26457] ppid=26330 vsize=10824364 memory=115273499674858 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26457/stat : 26457 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 15 0 472704749 11084148736 20955 33554432000 4194304 4196468 140731715858352 140501293291984 140502758504347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26458] ppid=26330 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26333/task/26458/stat : 26458 (java) S 26330 26333 26267 0 -1 1077944384 902 13257 0 1 11 0 5 4 20 0 15 0 472704749 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502029306096 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26459] ppid=26330 vsize=10824364 memory=288370660102149128 CPUtime=0.26 cores=1,3,5,7
/proc/26333/task/26459/stat : 26459 (java) S 26330 26333 26267 0 -1 1077944384 684 13257 0 1 17 0 5 4 20 0 15 0 472704749 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502028253552 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26460] ppid=26330 vsize=10824364 memory=13993009474040184 CPUtime=0.26 cores=1,3,5,7
/proc/26333/task/26460/stat : 26460 (java) S 26330 26333 26267 0 -1 1077944384 797 13257 0 1 17 0 5 4 20 0 15 0 472704749 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502027200496 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26461] ppid=26330 vsize=10824364 memory=140038281379553 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26461/stat : 26461 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 15 0 472704749 11084148736 20955 33554432000 4194304 4196468 140731715858352 140501259733344 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26462] ppid=26330 vsize=10824364 memory=5681 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26462/stat : 26462 (java) S 26330 26333 26267 0 -1 1077944384 4 13257 0 1 0 0 5 4 20 0 15 0 472704753 11084148736 20955 33554432000 4194304 4196468 140731715858352 140502026148912 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 10824364 KiB
################
# More data... #
################
/proc/26333/task/26447/stat : 26447 (java) S 26330 26333 26267 0 -1 1077944384 18273 13257 0 1 83 4 5 4 20 0 15 0 472704744 11103121408 541042 33554432000 4194304 4196468 140731715858352 140502030359280 140502758496898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26448] ppid=26330 vsize=10842892 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26448/stat : 26448 (java) S 26330 26333 26267 0 -1 1077944384 38 13257 0 1 0 0 5 4 20 0 15 0 472704744 11103121408 541042 33554432000 4194304 4196468 140731715858352 140501667800800 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26449] ppid=26330 vsize=10842892 memory=1660 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26449/stat : 26449 (java) S 26330 26333 26267 0 -1 1077944384 33 13257 0 1 0 0 5 4 20 0 15 0 472704745 11103121408 541042 33554432000 4194304 4196468 140731715858352 140501533582592 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26457] ppid=26330 vsize=10842892 memory=55368 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26457/stat : 26457 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 15 0 472704749 11103121408 541042 33554432000 4194304 4196468 140731715858352 140501293291984 140502758504347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26458] ppid=26330 vsize=10842892 memory=988 CPUtime=4.8 cores=1,3,5,7
/proc/26333/task/26458/stat : 26458 (java) S 26330 26333 26267 0 -1 1077944384 17209 13257 0 1 467 4 5 4 20 0 15 0 472704749 11103121408 541042 33554432000 4194304 4196468 140731715858352 140502029306096 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26459] ppid=26330 vsize=10842892 memory=2008 CPUtime=4.53 cores=1,3,5,7
/proc/26333/task/26459/stat : 26459 (java) S 26330 26333 26267 0 -1 1077944384 14137 13257 0 1 442 2 5 4 20 0 15 0 472704749 11103121408 541042 33554432000 4194304 4196468 140731715858352 140502028253552 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26460] ppid=26330 vsize=10842892 memory=1436 CPUtime=1.88 cores=1,3,5,7
/proc/26333/task/26460/stat : 26460 (java) S 26330 26333 26267 0 -1 1077944384 10866 13257 0 1 174 5 5 4 20 0 15 0 472704749 11103121408 541042 33554432000 4194304 4196468 140731715858352 140502027200496 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26461] ppid=26330 vsize=10842892 memory=776 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26461/stat : 26461 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 15 0 472704749 11103121408 541042 33554432000 4194304 4196468 140731715858352 140501259733344 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26462] ppid=26330 vsize=10842892 memory=1564 CPUtime=1.51 cores=1,3,5,7
/proc/26333/task/26462/stat : 26462 (java) S 26330 26333 26267 0 -1 1077944384 1942 13257 0 1 62 80 5 4 20 0 15 0 472704753 11103121408 541042 33554432000 4194304 4196468 140731715858352 140502026148912 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 2164168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2384.43 s]
# the end of solver process 26333 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.99 s, system=4.1427 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2383.2 s]
/proc/loadavg: 1.97 1.78 1.64 3/229 26813
/proc/meminfo: memFree=1720448/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=11039508 memory=2168372 CPUtime=2400.88 cores=1,3,5,7
/proc/26333/stat : 26333 (java) S 26330 26333 26267 0 -1 1077944320 652724 13257 3 1 239672 407 5 4 20 0 17 0 472704633 11304456192 542093 33554432000 4194304 4196468 140731715858352 140731715840896 140502758485751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
/proc/26333/statm: 2759877 542093 3633 1 0 2721935 0
[pid=26333/tid=26441] ppid=26330 vsize=11039508 memory=3636 CPUtime=2368.57 cores=1,3,5,7
/proc/26333/task/26441/stat : 26441 (java) R 26330 26333 26267 0 -1 4202560 432238 13257 2 1 236737 111 5 4 20 0 17 0 472704739 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502730319344 140502366582037 0 4 0 16800975 0 0 0 -1 5 0 0 741 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26443] ppid=26330 vsize=11039508 memory=776 CPUtime=4.82 cores=1,3,5,7
/proc/26333/task/26443/stat : 26443 (java) S 26330 26333 26267 0 -1 1077944384 42327 13257 0 1 419 54 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502762727952 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26444] ppid=26330 vsize=11039508 memory=1564 CPUtime=4.83 cores=1,3,5,7
/proc/26333/task/26444/stat : 26444 (java) S 26330 26333 26267 0 -1 1077944384 38789 13257 0 1 422 52 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502677547664 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26445] ppid=26330 vsize=11039508 memory=6084 CPUtime=4.84 cores=1,3,5,7
/proc/26333/task/26445/stat : 26445 (java) S 26330 26333 26267 0 -1 1077944384 36947 13257 0 1 422 53 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502676494608 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26446] ppid=26330 vsize=11039508 memory=1060 CPUtime=4.83 cores=1,3,5,7
/proc/26333/task/26446/stat : 26446 (java) S 26330 26333 26267 0 -1 1077944384 36879 13257 0 1 419 55 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502329121168 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26447] ppid=26330 vsize=11039508 memory=2828 CPUtime=0.96 cores=1,3,5,7
/proc/26333/task/26447/stat : 26447 (java) S 26330 26333 26267 0 -1 1077944384 18309 13257 0 1 83 4 5 4 20 0 17 0 472704744 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502030359280 140502758496898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26448] ppid=26330 vsize=11039508 memory=1216 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26448/stat : 26448 (java) S 26330 26333 26267 0 -1 1077944384 38 13257 0 1 0 0 5 4 20 0 17 0 472704744 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501667800800 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26449] ppid=26330 vsize=11039508 memory=984 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26449/stat : 26449 (java) S 26330 26333 26267 0 -1 1077944384 33 13257 0 1 0 0 5 4 20 0 17 0 472704745 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501533582592 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26457] ppid=26330 vsize=11039508 memory=14004 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26457/stat : 26457 (java) S 26330 26333 26267 0 -1 1077944384 323 13257 0 1 0 0 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501293291984 140502758504347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26458] ppid=26330 vsize=11039508 memory=29712 CPUtime=4.8 cores=1,3,5,7
/proc/26333/task/26458/stat : 26458 (java) S 26330 26333 26267 0 -1 1077944384 17209 13257 0 1 467 4 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502029306096 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26459] ppid=26330 vsize=11039508 memory=9 CPUtime=4.53 cores=1,3,5,7
/proc/26333/task/26459/stat : 26459 (java) S 26330 26333 26267 0 -1 1077944384 14137 13257 0 1 442 2 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502028253552 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26460] ppid=26330 vsize=11039508 memory=6791534058613427641 CPUtime=1.88 cores=1,3,5,7
/proc/26333/task/26460/stat : 26460 (java) S 26330 26333 26267 0 -1 1077944384 10866 13257 0 1 174 5 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502027200496 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26461] ppid=26330 vsize=11039508 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26461/stat : 26461 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501259733344 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26462] ppid=26330 vsize=11039508 memory=0 CPUtime=1.51 cores=1,3,5,7
/proc/26333/task/26462/stat : 26462 (java) S 26330 26333 26267 0 -1 1077944384 1942 13257 0 1 62 80 5 4 20 0 17 0 472704753 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502026148912 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26812] ppid=26330 vsize=11039508 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26812/stat : 26812 (java) S 26330 26333 26267 0 -1 1077944384 338 13257 0 1 0 0 5 4 20 0 17 0 472942874 11304456192 542093 33554432000 4194304 4196468 140731715858352 140500862493552 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26813] ppid=26330 vsize=11039508 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26813/stat : 26813 (java) S 26330 26333 26267 0 -1 1077944384 138 13257 0 1 0 0 5 4 20 0 17 0 472942874 11304456192 542093 33554432000 4194304 4196468 140731715858352 140500661167584 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
Current children cumulated CPU time: 2400.88 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 2168372 KiB
[startup+2384 s]*
/proc/loadavg: 1.97 1.78 1.64 3/229 26813
/proc/meminfo: memFree=1706912/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=11039508 memory=2168372 CPUtime=2401.69 cores=1,3,5,7
/proc/26333/stat : 26333 (java) S 26330 26333 26267 0 -1 1077944320 652773 13257 3 1 239753 407 5 4 20 0 17 0 472704633 11304456192 542093 33554432000 4194304 4196468 140731715858352 140731715840896 140502758485751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
/proc/26333/statm: 2759877 542093 3633 1 0 2721935 0
[pid=26333/tid=26441] ppid=26330 vsize=11039508 memory=1660 CPUtime=2369.37 cores=1,3,5,7
/proc/26333/task/26441/stat : 26441 (java) R 26330 26333 26267 0 -1 4202560 432287 13257 2 1 236817 111 5 4 20 0 17 0 472704739 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502730319344 140502366582037 0 4 0 16800975 0 0 0 -1 5 0 0 741 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26443] ppid=26330 vsize=11039508 memory=55368 CPUtime=4.82 cores=1,3,5,7
/proc/26333/task/26443/stat : 26443 (java) S 26330 26333 26267 0 -1 1077944384 42327 13257 0 1 419 54 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502762727952 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26444] ppid=26330 vsize=11039508 memory=988 CPUtime=4.83 cores=1,3,5,7
/proc/26333/task/26444/stat : 26444 (java) S 26330 26333 26267 0 -1 1077944384 38789 13257 0 1 422 52 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502677547664 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26445] ppid=26330 vsize=11039508 memory=-7003737579269690708 CPUtime=4.84 cores=1,3,5,7
/proc/26333/task/26445/stat : 26445 (java) S 26330 26333 26267 0 -1 1077944384 36947 13257 0 1 422 53 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502676494608 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26446] ppid=26330 vsize=11039508 memory=1060 CPUtime=4.83 cores=1,3,5,7
/proc/26333/task/26446/stat : 26446 (java) S 26330 26333 26267 0 -1 1077944384 36879 13257 0 1 419 55 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502329121168 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26447] ppid=26330 vsize=11039508 memory=2828 CPUtime=0.96 cores=1,3,5,7
/proc/26333/task/26447/stat : 26447 (java) S 26330 26333 26267 0 -1 1077944384 18309 13257 0 1 83 4 5 4 20 0 17 0 472704744 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502030359280 140502758496898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26448] ppid=26330 vsize=11039508 memory=1216 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26448/stat : 26448 (java) S 26330 26333 26267 0 -1 1077944384 38 13257 0 1 0 0 5 4 20 0 17 0 472704744 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501667800800 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26449] ppid=26330 vsize=11039508 memory=984 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26449/stat : 26449 (java) S 26330 26333 26267 0 -1 1077944384 33 13257 0 1 0 0 5 4 20 0 17 0 472704745 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501533582592 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26457] ppid=26330 vsize=11039508 memory=14004 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26457/stat : 26457 (java) S 26330 26333 26267 0 -1 1077944384 323 13257 0 1 0 0 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501293291984 140502758504347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26458] ppid=26330 vsize=11039508 memory=29712 CPUtime=4.8 cores=1,3,5,7
/proc/26333/task/26458/stat : 26458 (java) S 26330 26333 26267 0 -1 1077944384 17209 13257 0 1 467 4 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502029306096 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26459] ppid=26330 vsize=11039508 memory=14048 CPUtime=4.53 cores=1,3,5,7
/proc/26333/task/26459/stat : 26459 (java) S 26330 26333 26267 0 -1 1077944384 14137 13257 0 1 442 2 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502028253552 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26460] ppid=26330 vsize=11039508 memory=2124 CPUtime=1.88 cores=1,3,5,7
/proc/26333/task/26460/stat : 26460 (java) S 26330 26333 26267 0 -1 1077944384 10866 13257 0 1 174 5 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502027200496 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26461] ppid=26330 vsize=11039508 memory=500 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26461/stat : 26461 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501259733344 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26462] ppid=26330 vsize=11039508 memory=1556 CPUtime=1.51 cores=1,3,5,7
/proc/26333/task/26462/stat : 26462 (java) S 26330 26333 26267 0 -1 1077944384 1942 13257 0 1 62 80 5 4 20 0 17 0 472704753 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502026148912 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26812] ppid=26330 vsize=11039508 memory=928 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26812/stat : 26812 (java) S 26330 26333 26267 0 -1 1077944384 338 13257 0 1 0 0 5 4 20 0 17 0 472942874 11304456192 542093 33554432000 4194304 4196468 140731715858352 140500862493552 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26813] ppid=26330 vsize=11039508 memory=1772 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26813/stat : 26813 (java) S 26330 26333 26267 0 -1 1077944384 138 13257 0 1 0 0 5 4 20 0 17 0 472942874 11304456192 542093 33554432000 4194304 4196468 140731715858352 140500661167584 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
Current children cumulated CPU time: 2401.69 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 2168372 KiB
[startup+2384.4 s]
/proc/loadavg: 1.97 1.78 1.64 3/229 26813
/proc/meminfo: memFree=1706912/32770624 swapFree=66976736/67108860
[pid=26333] ppid=26330 vsize=11039508 memory=2168372 CPUtime=2402.08 cores=1,3,5,7
/proc/26333/stat : 26333 (java) S 26330 26333 26267 0 -1 1077944320 652805 13257 3 1 239792 407 5 4 20 0 17 0 472704633 11304456192 542093 33554432000 4194304 4196468 140731715858352 140731715840896 140502758485751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
/proc/26333/statm: 2759877 542093 3633 1 0 2721935 0
[pid=26333/tid=26441] ppid=26330 vsize=11039508 memory=-7003737579269690708 CPUtime=2369.77 cores=1,3,5,7
/proc/26333/task/26441/stat : 26441 (java) R 26330 26333 26267 0 -1 4202560 432317 13257 2 1 236857 111 5 4 20 0 17 0 472704739 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502730319344 140502366582037 0 4 0 16800975 0 0 0 -1 5 0 0 741 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26443] ppid=26330 vsize=11039508 memory=1404 CPUtime=4.82 cores=1,3,5,7
/proc/26333/task/26443/stat : 26443 (java) S 26330 26333 26267 0 -1 1077944384 42327 13257 0 1 419 54 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502762727952 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26444] ppid=26330 vsize=11039508 memory=2732 CPUtime=4.83 cores=1,3,5,7
/proc/26333/task/26444/stat : 26444 (java) S 26330 26333 26267 0 -1 1077944384 38789 13257 0 1 422 52 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502677547664 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26445] ppid=26330 vsize=11039508 memory=791960 CPUtime=4.84 cores=1,3,5,7
/proc/26333/task/26445/stat : 26445 (java) S 26330 26333 26267 0 -1 1077944384 36947 13257 0 1 422 53 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502676494608 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26446] ppid=26330 vsize=11039508 memory=2124 CPUtime=4.83 cores=1,3,5,7
/proc/26333/task/26446/stat : 26446 (java) S 26330 26333 26267 0 -1 1077944384 36879 13257 0 1 419 55 5 4 20 0 17 0 472704742 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502329121168 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26447] ppid=26330 vsize=11039508 memory=3620 CPUtime=0.96 cores=1,3,5,7
/proc/26333/task/26447/stat : 26447 (java) S 26330 26333 26267 0 -1 1077944384 18309 13257 0 1 83 4 5 4 20 0 17 0 472704744 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502030359280 140502758496898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26448] ppid=26330 vsize=11039508 memory=1660 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26448/stat : 26448 (java) S 26330 26333 26267 0 -1 1077944384 38 13257 0 1 0 0 5 4 20 0 17 0 472704744 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501667800800 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26449] ppid=26330 vsize=11039508 memory=55368 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26449/stat : 26449 (java) S 26330 26333 26267 0 -1 1077944384 33 13257 0 1 0 0 5 4 20 0 17 0 472704745 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501533582592 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26457] ppid=26330 vsize=11039508 memory=988 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26457/stat : 26457 (java) S 26330 26333 26267 0 -1 1077944384 323 13257 0 1 0 0 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501293291984 140502758504347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26458] ppid=26330 vsize=11039508 memory=2008 CPUtime=4.8 cores=1,3,5,7
/proc/26333/task/26458/stat : 26458 (java) S 26330 26333 26267 0 -1 1077944384 17209 13257 0 1 467 4 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502029306096 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26459] ppid=26330 vsize=11039508 memory=1436 CPUtime=4.53 cores=1,3,5,7
/proc/26333/task/26459/stat : 26459 (java) S 26330 26333 26267 0 -1 1077944384 14137 13257 0 1 442 2 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502028253552 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26460] ppid=26330 vsize=11039508 memory=580 CPUtime=1.88 cores=1,3,5,7
/proc/26333/task/26460/stat : 26460 (java) S 26330 26333 26267 0 -1 1077944384 10866 13257 0 1 174 5 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502027200496 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26461] ppid=26330 vsize=11039508 memory=1716 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26461/stat : 26461 (java) S 26330 26333 26267 0 -1 1077944384 3 13257 0 1 0 0 5 4 20 0 17 0 472704749 11304456192 542093 33554432000 4194304 4196468 140731715858352 140501259733344 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26462] ppid=26330 vsize=11039508 memory=10604 CPUtime=1.51 cores=1,3,5,7
/proc/26333/task/26462/stat : 26462 (java) S 26330 26333 26267 0 -1 1077944384 1944 13257 0 1 62 80 5 4 20 0 17 0 472704753 11304456192 542093 33554432000 4194304 4196468 140731715858352 140502026148912 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26812] ppid=26330 vsize=11039508 memory=3636 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26812/stat : 26812 (java) S 26330 26333 26267 0 -1 1077944384 338 13257 0 1 0 0 5 4 20 0 17 0 472942874 11304456192 542093 33554432000 4194304 4196468 140731715858352 140500862493552 140502758495957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
[pid=26333/tid=26813] ppid=26330 vsize=11039508 memory=776 CPUtime=0.09 cores=1,3,5,7
/proc/26333/task/26813/stat : 26813 (java) S 26330 26333 26267 0 -1 1077944384 138 13257 0 1 0 0 5 4 20 0 17 0 472942874 11304456192 542093 33554432000 4194304 4196468 140731715858352 140500661167584 140502758496898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21196800 140731715861091 140731715863733 140731715863733 140731715866575 0
Current children cumulated CPU time: 2402.08 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 2168372 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2384.43
CPU time (s): 2402.13
CPU user time (s): 2397.99
CPU system time (s): 4.1427
CPU usage (%): 100.742
Max. virtual memory (cumulated for all children) (KiB): 11039508
Max. memory (cumulated for all children) (KiB): 2168372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.99
system time used= 4.1427
maximum resident set size= 2169196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666069
page faults= 4
swaps= 0
block input operations= 30960
block output operations= 2072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59895
involuntary context switches= 1883
# summary of solver processes directly reported to runsolver:
# pid: 26333
# total CPU time (s): 2402.13
# total CPU user time (s): 2397.99
# total CPU system time (s): 4.1427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8829 second user time and 22.1522 second system time
The end