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-3458012-1307164740/watcher-3458012-1307164740 -o /tmp/evaluation-result-3458012-1307164740/solver-3458012-1307164740 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458012-1307164740.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: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 1169 0 0 0 0 0 0 0 24 0 2 0 560665257 26714112 897 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 6522 897 682 9 0 381 0
[pid=17090/tid=17091] ppid=17088 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 5051 0 1 0 0 0 0 0 25 0 2 0 560665258 13850947584 5867 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0714539 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13554952 CPUtime=0.06 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 14239 0 1 0 4 2 0 0 24 0 18 0 560665257 13880270848 13935 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3388738 13935 1740 9 0 3379472 0
[pid=17090/tid=17091] ppid=17088 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 13064 0 1 0 4 1 0 0 25 0 18 0 560665258 13880270848 13935 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 47632822864723 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13554952
[startup+0.100426 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13621684 CPUtime=0.1 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 15487 0 1 0 8 2 0 0 24 0 18 0 560665257 13948604416 15159 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3405421 15159 2092 9 0 3396155 0
[pid=17090/tid=17091] ppid=17088 vsize=13621684 CPUtime=0.08 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 13551 0 1 0 6 2 0 0 18 0 18 0 560665258 13948604416 15159 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 47632818364421 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621684
[startup+0.300357 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13623724 CPUtime=0.47 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 18824 0 1 0 44 3 0 0 24 0 18 0 560665257 13950693376 18083 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3405931 18084 2211 9 0 3396665 0
[pid=17090/tid=17091] ppid=17088 vsize=13623724 CPUtime=0.28 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 15302 0 1 0 26 2 0 0 18 0 18 0 560665258 13950693376 18084 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 47632819226248 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623724
[startup+0.700331 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13633900 CPUtime=1.57 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 32251 0 1 0 153 4 0 0 24 0 19 0 560665257 13961113600 29476 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3408475 29476 2238 9 0 3399209 0
[pid=17090/tid=17091] ppid=17088 vsize=13633900 CPUtime=0.68 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 22993 0 1 0 65 3 0 0 19 0 19 0 560665258 13961113600 29476 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833776 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13633900
[startup+1.50118 s]
/proc/loadavg: 1.37 1.87 1.95 4/525 17133
/proc/meminfo: memFree=20922620/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13633900 CPUtime=2.43 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 33126 0 1 0 238 5 0 0 24 0 19 0 560665257 13961113600 30350 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3408475 30350 2242 9 0 3399209 0
[pid=17090/tid=17091] ppid=17088 vsize=13633900 CPUtime=1.48 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 23854 0 1 0 145 3 0 0 20 0 19 0 560665258 13961113600 30350 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833745 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30350 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 560665261 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 560665261 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 560665261 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13633900 CPUtime=0.43 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3462 0 0 0 43 0 0 0 22 0 19 0 560665264 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13633900 CPUtime=0.49 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4649 0 0 0 49 0 0 0 15 0 19 0 560665264 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665264 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13633900
[startup+3.10091 s]
/proc/loadavg: 1.37 1.87 1.95 3/525 17133
/proc/meminfo: memFree=20911968/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13633900 CPUtime=4.06 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 39426 0 1 0 401 5 0 0 24 0 19 0 560665257 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3408475 36646 2268 9 0 3399209 0
[pid=17090/tid=17091] ppid=17088 vsize=13633900 CPUtime=3.04 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25191 0 1 0 301 3 0 0 25 0 19 0 560665258 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505811200 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 1277 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 674 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13633900 CPUtime=0.02 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 2466 0 0 0 2 0 0 0 16 0 19 0 560665261 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13633900 CPUtime=0.43 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3464 0 0 0 43 0 0 0 18 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13633900 CPUtime=0.5 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4654 0 0 0 50 0 0 0 15 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13633900
[startup+6.30134 s]
/proc/loadavg: 1.42 1.87 1.95 3/525 17133
/proc/meminfo: memFree=20885228/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=7.29 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 42803 0 1 0 723 6 0 0 24 0 19 0 560665257 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 38998 2268 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=6.2 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25195 0 1 0 617 3 0 0 25 0 19 0 560665258 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833663 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 576 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 715 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 1277 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 674 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=0.06 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 3780 0 0 0 6 0 0 0 16 0 19 0 560665261 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.44 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3466 0 0 0 44 0 0 0 15 0 19 0 560665264 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.52 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4657 0 0 0 52 0 0 0 16 0 19 0 560665264 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.24 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 24 0 0 0 16 0 19 0 560665260 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=7.81 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10409 0 0 0 777 4 0 0 15 0 19 0 560665261 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1664.48
Current children cumulated vsize (KiB) 13629524
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/525 17178
/proc/meminfo: memFree=20410052/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=1724.52 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 55555 0 1 0 172438 14 0 0 24 0 19 0 560665257 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 51344 2269 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=1713.38 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25389 0 1 0 171334 4 0 0 25 0 19 0 560665258 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505937493 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1068 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1044 0 0 0 21 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1008 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 836 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1432 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 25 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 26 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=8.1 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10413 0 0 0 806 4 0 0 15 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.52
Current children cumulated vsize (KiB) 13629524
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/525 17180
/proc/meminfo: memFree=20374060/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=1784.54 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 55565 0 1 0 178440 14 0 0 24 0 19 0 560665257 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 51344 2269 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=1773.11 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25395 0 1 0 177307 4 0 0 25 0 19 0 560665258 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833839 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1068 0 0 0 26 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1044 0 0 0 22 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0.23 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1008 0 0 0 23 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 836 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1432 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 25 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.27 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 27 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=8.34 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10415 0 0 0 830 4 0 0 15 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (KiB) 13629524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 2.01 2.02 2.00 2/505 17184
/proc/meminfo: memFree=21236996/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=1800.06 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 55571 0 1 0 179992 14 0 0 24 0 19 0 560665257 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 51344 2269 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=1788.54 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25397 0 1 0 178850 4 0 0 18 0 19 0 560665258 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833776 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1068 0 0 0 26 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1044 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0.23 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1008 0 0 0 23 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 836 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1432 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 26 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.27 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 27 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=8.43 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10417 0 0 0 839 4 0 0 15 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.84
CPU time (s): 1800.12
CPU user time (s): 1799.96
CPU system time (s): 0.152976
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 13633900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55607
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= 42372
involuntary context switches= 19731
runsolver used 8.64269 second user time and 20.8148 second system time
The end