runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459231-1307135037/watcher-3459231-1307135037 -o /tmp/evaluation-result-3459231-1307135037/solver-3459231-1307135037 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459231-1307135037.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.07 2.55 3/404 2151
/proc/meminfo: memFree=23682424/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 235 0 0 0 0 0 0 0 23 0 1 0 825106456 9318400 171 33554432000 1073741824 1073778376 140736374832384 18446744073709551615 218370953061 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/2151/statm: 2275 172 131 9 0 67 0
[pid=2151/tid=2152] ppid=2149 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 1721 0 1 0 0 0 0 0 24 0 2 0 825106457 13833195520 2537 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.066639 s]
/proc/loadavg: 2.06 2.07 2.55 3/404 2151
/proc/meminfo: memFree=23682424/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 14114 0 1 0 3 2 0 0 23 0 18 0 825106456 13880070144 13810 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3388689 13811 1721 9 0 3379437 0
[pid=2151/tid=2152] ppid=2149 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 12940 0 1 0 3 2 0 0 25 0 18 0 825106457 13880070144 13811 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 47856540155811 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554756
[startup+0.100585 s]
/proc/loadavg: 2.06 2.07 2.55 3/404 2151
/proc/meminfo: memFree=23682424/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13622440 CPUtime=0.1 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 15463 0 1 0 8 2 0 0 23 0 18 0 825106456 13949378560 15159 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3405610 15159 2092 9 0 3396344 0
[pid=2151/tid=2152] ppid=2149 vsize=13622440 CPUtime=0.08 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 13543 0 1 0 6 2 0 0 25 0 18 0 825106457 13949378560 15159 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 47856543381274 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622440
[startup+0.31263 s]
/proc/loadavg: 2.06 2.07 2.55 3/404 2151
/proc/meminfo: memFree=23682424/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13624596 CPUtime=0.49 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 18623 0 1 0 47 2 0 0 23 0 19 0 825106456 13951586304 17789 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406149 17789 2209 9 0 3396883 0
[pid=2151/tid=2152] ppid=2149 vsize=13624596 CPUtime=0.29 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15471 0 1 0 27 2 0 0 19 0 19 0 825106457 13951586304 17789 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624596
[startup+0.700512 s]
/proc/loadavg: 2.06 2.07 2.55 3/404 2151
/proc/meminfo: memFree=23682424/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13626732 CPUtime=1.18 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 21121 0 1 0 116 2 0 0 23 0 19 0 825106456 13953773568 19407 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406683 19407 2251 9 0 3397417 0
[pid=2151/tid=2152] ppid=2149 vsize=13626732 CPUtime=0.66 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15748 0 1 0 64 2 0 0 19 0 19 0 825106457 13953773568 19407 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505663058 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13626732
[startup+1.50137 s]
/proc/loadavg: 2.06 2.07 2.55 3/423 2170
/proc/meminfo: memFree=23611352/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13626732 CPUtime=2.01 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 21648 0 1 0 199 2 0 0 23 0 19 0 825106456 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406683 19932 2251 9 0 3397417 0
[pid=2151/tid=2152] ppid=2149 vsize=13626732 CPUtime=1.43 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15750 0 1 0 141 2 0 0 20 0 19 0 825106457 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505640054 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2151/tid=2154] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2154/stat : 2154 (java) S 2149 2151 31984 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2155] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2155/stat : 2155 (java) S 2149 2151 31984 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2156] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2156/stat : 2156 (java) S 2149 2151 31984 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2157] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2157/stat : 2157 (java) S 2149 2151 31984 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2158] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2158/stat : 2158 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2159] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2159/stat : 2159 (java) S 2149 2151 31984 0 -1 4202560 95 0 0 0 0 0 0 0 16 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2160] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2160/stat : 2160 (java) S 2149 2151 31984 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2161] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2161/stat : 2161 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106459 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2162] ppid=2149 vsize=13626732 CPUtime=0.03 cores=1,3,5,7
/proc/2151/task/2162/stat : 2162 (java) S 2149 2151 31984 0 -1 4202560 449 0 0 0 3 0 0 0 15 0 19 0 825106460 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 0 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2163] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2163/stat : 2163 (java) S 2149 2151 31984 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825106460 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2164] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2164/stat : 2164 (java) S 2149 2151 31984 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825106460 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2165] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2165/stat : 2165 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382780849 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2166] ppid=2149 vsize=13626732 CPUtime=0.23 cores=1,3,5,7
/proc/2151/task/2166/stat : 2166 (java) S 2149 2151 31984 0 -1 4202560 1675 0 0 0 23 0 0 0 17 0 19 0 825106463 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2167] ppid=2149 vsize=13626732 CPUtime=0.28 cores=1,3,5,7
/proc/2151/task/2167/stat : 2167 (java) S 2149 2151 31984 0 -1 4202560 2046 0 0 0 28 0 0 0 15 0 19 0 825106463 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2168] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2168/stat : 2168 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2169] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2169/stat : 2169 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106463 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2170] ppid=2149 vsize=13626732 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2170/stat : 2170 (java) S 2149 2151 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825106486 13953773568 19932 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13626732
[startup+3.10109 s]
/proc/loadavg: 2.06 2.07 2.55 3/423 2170
/proc/meminfo: memFree=23609488/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13627148 CPUtime=3.65 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 22025 0 1 0 362 3 0 0 23 0 19 0 825106456 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406787 20306 2251 9 0 3397521 0
[pid=2151/tid=2152] ppid=2149 vsize=13627148 CPUtime=2.98 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15752 0 1 0 296 2 0 0 24 0 19 0 825106457 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505633569 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2151/tid=2154] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2154/stat : 2154 (java) S 2149 2151 31984 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2155] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2155/stat : 2155 (java) S 2149 2151 31984 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2156] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2156/stat : 2156 (java) S 2149 2151 31984 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2157] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2157/stat : 2157 (java) S 2149 2151 31984 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2158] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2158/stat : 2158 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2159] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2159/stat : 2159 (java) S 2149 2151 31984 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2160] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2160/stat : 2160 (java) S 2149 2151 31984 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2161] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2161/stat : 2161 (java) S 2149 2151 31984 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 825106459 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2162] ppid=2149 vsize=13627148 CPUtime=0.08 cores=1,3,5,7
/proc/2151/task/2162/stat : 2162 (java) S 2149 2151 31984 0 -1 4202560 621 0 0 0 8 0 0 0 16 0 19 0 825106460 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 0 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2163] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2163/stat : 2163 (java) S 2149 2151 31984 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825106460 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2164] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2164/stat : 2164 (java) S 2149 2151 31984 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825106460 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2165] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2165/stat : 2165 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382780849 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2166] ppid=2149 vsize=13627148 CPUtime=0.24 cores=1,3,5,7
/proc/2151/task/2166/stat : 2166 (java) S 2149 2151 31984 0 -1 4202560 1676 0 0 0 24 0 0 0 15 0 19 0 825106463 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2167] ppid=2149 vsize=13627148 CPUtime=0.31 cores=1,3,5,7
/proc/2151/task/2167/stat : 2167 (java) S 2149 2151 31984 0 -1 4202560 2132 0 0 0 31 0 0 0 15 0 19 0 825106463 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2168] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2168/stat : 2168 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2169] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2169/stat : 2169 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106463 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2170] ppid=2149 vsize=13627148 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2170/stat : 2170 (java) S 2149 2151 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825106486 13954199552 20306 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 13627148
[startup+6.30052 s]
/proc/loadavg: 2.06 2.06 2.55 3/423 2170
/proc/meminfo: memFree=23608448/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13626668 CPUtime=6.86 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 22150 0 1 0 683 3 0 0 23 0 19 0 825106456 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406667 20187 2251 9 0 3397401 0
[pid=2151/tid=2152] ppid=2149 vsize=13626668 CPUtime=6.08 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15759 0 1 0 606 2 0 0 25 0 19 0 825106457 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505663304 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2151/tid=2154] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2154/stat : 2154 (java) S 2149 2151 31984 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2155] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2155/stat : 2155 (java) S 2149 2151 31984 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2156] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2156/stat : 2156 (java) S 2149 2151 31984 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2157] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2157/stat : 2157 (java) S 2149 2151 31984 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2158] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2158/stat : 2158 (java) S 2149 2151 31984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2159] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2159/stat : 2159 (java) S 2149 2151 31984 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2160] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2160/stat : 2160 (java) S 2149 2151 31984 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2161] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2161/stat : 2161 (java) S 2149 2151 31984 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2162] ppid=2149 vsize=13626668 CPUtime=0.17 cores=1,3,5,7
/proc/2151/task/2162/stat : 2162 (java) S 2149 2151 31984 0 -1 4202560 733 0 0 0 17 0 0 0 16 0 19 0 825106460 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 0 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2163] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2163/stat : 2163 (java) S 2149 2151 31984 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2164] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2164/stat : 2164 (java) S 2149 2151 31984 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2165] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2165/stat : 2165 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382780849 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2166] ppid=2149 vsize=13626668 CPUtime=0.24 cores=1,3,5,7
/proc/2151/task/2166/stat : 2166 (java) S 2149 2151 31984 0 -1 4202560 1676 0 0 0 24 0 0 0 15 0 19 0 825106463 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2167] ppid=2149 vsize=13626668 CPUtime=0.31 cores=1,3,5,7
/proc/2151/task/2167/stat : 2167 (java) S 2149 2151 31984 0 -1 4202560 2132 0 0 0 31 0 0 0 15 0 19 0 825106463 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2168] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2168/stat : 2168 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2169] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2169/stat : 2169 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106463 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2170] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2170/stat : 2170 (java) S 2149 2151 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825106486 13953708032 20187 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 13626668
[startup+12.7022 s]
/proc/loadavg: 2.05 2.06 2.54 3/423 2170
/proc/meminfo: memFree=23599616/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13626668 CPUtime=13.71 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 29680 0 1 0 1367 4 0 0 23 0 19 0 825106456 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406667 22089 2253 9 0 3397401 0
[pid=2151/tid=2152] ppid=2149 vsize=13626668 CPUtime=12.28 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) S 2149 2151 31984 0 -1 4202560 15773 0 1 0 1226 2 0 0 25 0 19 0 825106457 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2154] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2154/stat : 2154 (java) S 2149 2151 31984 0 -1 4202560 152 0 0 0 0 0 0 0 16 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2155] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2155/stat : 2155 (java) R 2149 2151 31984 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2151/tid=2156] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2156/stat : 2156 (java) S 2149 2151 31984 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2157] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2157/stat : 2157 (java) R 2149 2151 31984 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2151/tid=2158] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2158/stat : 2158 (java) S 2149 2151 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2159] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2159/stat : 2159 (java) S 2149 2151 31984 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2160] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2160/stat : 2160 (java) R 2149 2151 31984 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2151/tid=2161] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2161/stat : 2161 (java) R 2149 2151 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2151/tid=2162] ppid=2149 vsize=13626668 CPUtime=0.35 cores=1,3,5,7
/proc/2151/task/2162/stat : 2162 (java) S 2149 2151 31984 0 -1 4202560 847 0 0 0 35 0 0 0 16 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 0 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2163] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2163/stat : 2163 (java) S 2149 2151 31984 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2164] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2164/stat : 2164 (java) S 2149 2151 31984 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2165] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2165/stat : 2165 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382780849 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2166] ppid=2149 vsize=13626668 CPUtime=0.62 cores=1,3,5,7
/proc/2151/task/2166/stat : 2166 (java) S 2149 2151 31984 0 -1 4202560 9065 0 0 0 61 1 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2167] ppid=2149 vsize=13626668 CPUtime=0.36 cores=1,3,5,7
/proc/2151/task/2167/stat : 2167 (java) S 2149 2151 31984 0 -1 4202560 2136 0 0 0 36 0 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2168] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2168/stat : 2168 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2169] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2169/stat : 2169 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2170] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2170/stat : 2170 (java) S 2149 2151 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825106486 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.71
Current children cumulated vsize (KiB) 13626668
Solver just ended. Dumping a history of the last processes samples
[startup+12.9014 s]
/proc/loadavg: 2.05 2.06 2.54 3/423 2170
/proc/meminfo: memFree=23599616/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13626668 CPUtime=13.91 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 29680 0 1 0 1387 4 0 0 23 0 19 0 825106456 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406667 22089 2253 9 0 3397401 0
[pid=2151/tid=2152] ppid=2149 vsize=13626668 CPUtime=12.46 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15773 0 1 0 1244 2 0 0 25 0 19 0 825106457 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505645301 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2151/tid=2154] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2154/stat : 2154 (java) S 2149 2151 31984 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2155] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2155/stat : 2155 (java) S 2149 2151 31984 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2156] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2156/stat : 2156 (java) S 2149 2151 31984 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2157] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2157/stat : 2157 (java) S 2149 2151 31984 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2158] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2158/stat : 2158 (java) S 2149 2151 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2159] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2159/stat : 2159 (java) S 2149 2151 31984 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2160] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2160/stat : 2160 (java) S 2149 2151 31984 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2161] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2161/stat : 2161 (java) S 2149 2151 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2162] ppid=2149 vsize=13626668 CPUtime=0.37 cores=1,3,5,7
/proc/2151/task/2162/stat : 2162 (java) S 2149 2151 31984 0 -1 4202560 847 0 0 0 37 0 0 0 16 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 0 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2163] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2163/stat : 2163 (java) S 2149 2151 31984 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2164] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2164/stat : 2164 (java) S 2149 2151 31984 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2165] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2165/stat : 2165 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382780849 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2166] ppid=2149 vsize=13626668 CPUtime=0.62 cores=1,3,5,7
/proc/2151/task/2166/stat : 2166 (java) S 2149 2151 31984 0 -1 4202560 9065 0 0 0 61 1 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2167] ppid=2149 vsize=13626668 CPUtime=0.36 cores=1,3,5,7
/proc/2151/task/2167/stat : 2167 (java) S 2149 2151 31984 0 -1 4202560 2136 0 0 0 36 0 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2168] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2168/stat : 2168 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2169] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2169/stat : 2169 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2170] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2170/stat : 2170 (java) S 2149 2151 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825106486 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.91
Current children cumulated vsize (KiB) 13626668
[startup+13.0013 s]
/proc/loadavg: 2.05 2.06 2.54 3/423 2170
/proc/meminfo: memFree=23599616/32951124 swapFree=49244120/67111528
[pid=2151] ppid=2149 vsize=13626668 CPUtime=14.01 cores=1,3,5,7
/proc/2151/stat : 2151 (java) S 2149 2151 31984 0 -1 4202496 29680 0 1 0 1397 4 0 0 23 0 19 0 825106456 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2151/statm: 3406667 22089 2253 9 0 3397401 0
[pid=2151/tid=2152] ppid=2149 vsize=13626668 CPUtime=12.56 cores=1,3,5,7
/proc/2151/task/2152/stat : 2152 (java) R 2149 2151 31984 0 -1 4202560 15773 0 1 0 1254 2 0 0 25 0 19 0 825106457 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 46912505633216 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2151/tid=2154] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2154/stat : 2154 (java) S 2149 2151 31984 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2155] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2155/stat : 2155 (java) S 2149 2151 31984 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2156] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2156/stat : 2156 (java) S 2149 2151 31984 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2157] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2157/stat : 2157 (java) S 2149 2151 31984 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2158] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2158/stat : 2158 (java) S 2149 2151 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2159] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2159/stat : 2159 (java) S 2149 2151 31984 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2160] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2160/stat : 2160 (java) S 2149 2151 31984 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2161] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2161/stat : 2161 (java) S 2149 2151 31984 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825106459 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2162] ppid=2149 vsize=13626668 CPUtime=0.37 cores=1,3,5,7
/proc/2151/task/2162/stat : 2162 (java) S 2149 2151 31984 0 -1 4202560 847 0 0 0 37 0 0 0 16 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 0 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
[pid=2151/tid=2163] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2163/stat : 2163 (java) S 2149 2151 31984 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2164] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2164/stat : 2164 (java) S 2149 2151 31984 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825106460 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2165] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2165/stat : 2165 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382780849 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2166] ppid=2149 vsize=13626668 CPUtime=0.62 cores=1,3,5,7
/proc/2151/task/2166/stat : 2166 (java) S 2149 2151 31984 0 -1 4202560 9065 0 0 0 61 1 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2167] ppid=2149 vsize=13626668 CPUtime=0.36 cores=1,3,5,7
/proc/2151/task/2167/stat : 2167 (java) S 2149 2151 31984 0 -1 4202560 2136 0 0 0 36 0 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 1 0 0 0
[pid=2151/tid=2168] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2168/stat : 2168 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773145 0 4 0 16800975 18446604469581708352 0 0 -1 5 0 0 0
[pid=2151/tid=2169] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2169/stat : 2169 (java) S 2149 2151 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825106463 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 7 0 0 0
[pid=2151/tid=2170] ppid=2149 vsize=13626668 CPUtime=0 cores=1,3,5,7
/proc/2151/task/2170/stat : 2170 (java) S 2149 2151 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825106486 13953708032 22089 33554432000 1073741824 1073778376 140734410545200 18446744073709551615 218382773760 0 4 0 16800975 18446604469581708352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.01
Current children cumulated vsize (KiB) 13626668
Child status: 20
Real time (s): 13.0661
CPU time (s): 14.0939
CPU user time (s): 14.0419
CPU system time (s): 0.051992
CPU usage (%): 107.866
Max. virtual memory (cumulated for all children) (KiB): 13627148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.0419
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29706
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1255
involuntary context switches= 550
runsolver used 0.05999 second user time and 0.134979 second system time
The end