runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4110324-1466343875/watcher-4110324-1466343875 -o /tmp/evaluation-result-4110324-1466343875/solver-4110324-1466343875 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466341816-5531 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110324-1466343875.wbo
pid=8352
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.33 2.23 1.94 3/194 8355
/proc/meminfo: memFree=31240612/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 36434272 98570240 978 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 24065 978 744 9 0 16771 0
[pid=8355/tid=8356] ppid=8352 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36434273 98570240 978 33554432000 1073741824 1073778376 140735125488080 140511342394920 242167399808 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 2.33 2.23 1.94 3/194 8355
/proc/meminfo: memFree=31240612/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 4392 0 1 0 10 1 0 0 20 0 18 0 36434272 9787879424 6028 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2389619 6028 2131 9 0 2380296 0
[pid=8355/tid=8356] ppid=8352 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2380 0 1 0 8 0 0 0 20 0 18 0 36434273 9787879424 6029 33554432000 1073741824 1073778376 140735125488080 140511342398368 242170782989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200317 s]
/proc/loadavg: 2.33 2.23 1.94 3/194 8355
/proc/meminfo: memFree=31240612/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 4721 0 1 0 25 1 0 0 20 0 18 0 36434272 9787879424 6827 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2389619 6827 2201 9 0 2380296 0
[pid=8355/tid=8356] ppid=8352 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2394 0 1 0 17 0 0 0 20 0 18 0 36434273 9787879424 6827 33554432000 1073741824 1073778376 140735125488080 140511342399704 140511214166345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300303 s]
/proc/loadavg: 2.33 2.23 1.94 3/194 8355
/proc/meminfo: memFree=31240612/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 6529 0 1 0 48 1 0 0 20 0 18 0 36434272 9787879424 8888 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2389619 8888 2236 9 0 2380296 0
[pid=8355/tid=8356] ppid=8352 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2396 0 1 0 27 0 0 0 20 0 18 0 36434273 9787879424 8888 33554432000 1073741824 1073778376 140735125488080 140511342399800 140511214122512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.70023 s]
/proc/loadavg: 2.33 2.23 1.94 3/194 8355
/proc/meminfo: memFree=31240612/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12893 0 1 0 166 3 0 0 20 0 19 0 36434272 9856040960 14624 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 14624 2270 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2415 0 1 0 66 1 0 0 20 0 19 0 36434273 9856040960 14624 33554432000 1073741824 1073778376 140735125488080 140511342391600 140511214883456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9625040
[startup+1.50081 s]
/proc/loadavg: 2.31 2.23 1.94 3/213 8374
/proc/meminfo: memFree=31171872/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=2.52 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12908 0 1 0 249 3 0 0 20 0 19 0 36434272 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 19748 2272 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2427 0 1 0 146 1 0 0 20 0 19 0 36434273 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511342391600 140511214681286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8358] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8358/stat : 8358 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511186299560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8359] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8359/stat : 8359 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511185247016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8360] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8360/stat : 8360 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511184194472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8361] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8361/stat : 8361 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511183141928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8362] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8362/stat : 8362 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511182088360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8363] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5657 0 0 0 49 2 0 0 20 0 19 0 36434278 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/8355/task/8371/stat : 8371 (java) S 8352 8355 5514 0 -1 4202560 3547 0 0 0 50 0 0 0 20 0 19 0 36434278 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511161256120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8372] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8372/stat : 8372 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511160203768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8373] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8373/stat : 8373 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511159151432 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8374] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8374/stat : 8374 (java) S 8352 8355 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36434306 9856040960 19748 33554432000 1073741824 1073778376 140735125488080 140511158097192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.31 2.23 1.94 3/213 8374
/proc/meminfo: memFree=31151284/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=4.23 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12919 0 1 0 419 4 0 0 20 0 19 0 36434272 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 22312 2276 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2434 0 1 0 305 2 0 0 20 0 19 0 36434273 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511342397744 140511214681668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8358] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8358/stat : 8358 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511186299560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8359] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8359/stat : 8359 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511185247016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8360] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8360/stat : 8360 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511184194472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8361] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8361/stat : 8361 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511183141928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8362] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8362/stat : 8362 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511182088360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8363] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5661 0 0 0 54 2 0 0 20 0 19 0 36434278 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8355/task/8371/stat : 8371 (java) S 8352 8355 5514 0 -1 4202560 3547 0 0 0 56 0 0 0 20 0 19 0 36434278 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511161256120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8372] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8372/stat : 8372 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511160203768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8373] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8373/stat : 8373 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511159151432 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8374] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8374/stat : 8374 (java) S 8352 8355 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36434306 9856040960 22312 33554432000 1073741824 1073778376 140735125488080 140511158097192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9625040
[startup+6.30075 s]
/proc/loadavg: 2.28 2.22 1.94 3/213 8439
/proc/meminfo: memFree=31159600/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=7.47 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12929 0 1 0 743 4 0 0 20 0 19 0 36434272 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 25649 2277 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2443 0 1 0 625 2 0 0 20 0 19 0 36434273 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511342399864 140511214680524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8358] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8358/stat : 8358 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511186299560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8359] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8359/stat : 8359 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511185247016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8360] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8360/stat : 8360 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511184194472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8361] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8361/stat : 8361 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511183141928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8362] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8362/stat : 8362 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511182088360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8363] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5661 0 0 0 58 2 0 0 20 0 19 0 36434278 9856040960 25649 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
################
# More data... #
################
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5661 0 0 0 58 2 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/8355/task/8371/stat : 8371 (java) S 8352 8355 5514 0 -1 4202560 3548 0 0 0 63 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511161256120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8372] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8372/stat : 8372 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511160203768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8373] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8373/stat : 8373 (java) S 8352 8355 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511159151432 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8374] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8374/stat : 8374 (java) S 8352 8355 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36434306 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511158097192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 26.75
Current children cumulated vsize (KiB) 9625040
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8355 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 2.20 2.21 1.94 3/213 8504
/proc/meminfo: memFree=31061728/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=26.85 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12991 0 1 0 2680 5 0 0 20 0 19 0 36434272 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 41886 2291 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=25.57 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2479 0 1 0 2553 4 0 0 20 0 19 0 36434273 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511342397928 140511214654206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8358] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8358/stat : 8358 (java) S 8352 8355 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511186299560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8359] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8359/stat : 8359 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511185247016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8360] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8360/stat : 8360 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511184194472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8361] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8361/stat : 8361 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511183141928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8362] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8362/stat : 8362 (java) S 8352 8355 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511182088360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8363] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5661 0 0 0 58 2 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/8355/task/8371/stat : 8371 (java) S 8352 8355 5514 0 -1 4202560 3548 0 0 0 63 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511161256120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8372] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8372/stat : 8372 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511160203768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8373] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8373/stat : 8373 (java) S 8352 8355 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511159151432 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8374] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8374/stat : 8374 (java) S 8352 8355 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36434306 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511158097192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 26.85
Current children cumulated vsize (KiB) 9625040
[startup+26.0007 s]
/proc/loadavg: 2.20 2.21 1.94 3/213 8504
/proc/meminfo: memFree=31061728/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=27.25 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12991 0 1 0 2720 5 0 0 20 0 19 0 36434272 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 41886 2291 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=25.97 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2479 0 1 0 2593 4 0 0 20 0 19 0 36434273 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511342391040 140511214310786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8358] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8358/stat : 8358 (java) S 8352 8355 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511186299560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8359] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8359/stat : 8359 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511185247016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8360] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8360/stat : 8360 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511184194472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8361] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8361/stat : 8361 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511183141928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8362] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8362/stat : 8362 (java) S 8352 8355 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511182088360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8363] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5661 0 0 0 58 2 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/8355/task/8371/stat : 8371 (java) S 8352 8355 5514 0 -1 4202560 3548 0 0 0 63 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511161256120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8372] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8372/stat : 8372 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511160203768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8373] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8373/stat : 8373 (java) S 8352 8355 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511159151432 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8374] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8374/stat : 8374 (java) S 8352 8355 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36434306 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511158097192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 27.25
Current children cumulated vsize (KiB) 9625040
[startup+26.2007 s]
/proc/loadavg: 2.20 2.21 1.94 3/213 8504
/proc/meminfo: memFree=31061728/32872528 swapFree=338416/354768
[pid=8355] ppid=8352 vsize=9625040 CPUtime=27.45 cores=1,3,5,7
/proc/8355/stat : 8355 (java) S 8352 8355 5514 0 -1 4202496 12992 0 1 0 2740 5 0 0 20 0 19 0 36434272 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140735125479216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8355/statm: 2406260 41886 2291 9 0 2396937 0
[pid=8355/tid=8356] ppid=8352 vsize=9625040 CPUtime=26.17 cores=1,3,5,7
/proc/8355/task/8356/stat : 8356 (java) R 8352 8355 5514 0 -1 4202560 2480 0 1 0 2613 4 0 0 20 0 19 0 36434273 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511342400104 140511214881541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8358] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8358/stat : 8358 (java) S 8352 8355 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511186299560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8359] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8359/stat : 8359 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511185247016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8360] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8360/stat : 8360 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511184194472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8361] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8361/stat : 8361 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511183141928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8362] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8362/stat : 8362 (java) S 8352 8355 5514 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511182088360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8363] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8363/stat : 8363 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511181035816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8364] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8364/stat : 8364 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511179983272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8365] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8365/stat : 8365 (java) S 8352 8355 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36434274 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511178930728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8366] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8366/stat : 8366 (java) S 8352 8355 5514 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511166519912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8367] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8367/stat : 8367 (java) S 8352 8355 5514 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511165466232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8368] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8368/stat : 8368 (java) S 8352 8355 5514 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36434275 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511164413576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8369] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8369/stat : 8369 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511163362320 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8370] ppid=8352 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8355/task/8370/stat : 8370 (java) S 8352 8355 5514 0 -1 4202560 5661 0 0 0 58 2 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511162308664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8355/tid=8371] ppid=8352 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/8355/task/8371/stat : 8371 (java) S 8352 8355 5514 0 -1 4202560 3548 0 0 0 63 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511161256120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8355/tid=8372] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8372/stat : 8372 (java) S 8352 8355 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511160203768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8355/tid=8373] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8373/stat : 8373 (java) S 8352 8355 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36434278 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511159151432 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8355/tid=8374] ppid=8352 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8355/task/8374/stat : 8374 (java) S 8352 8355 5514 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36434306 9856040960 41886 33554432000 1073741824 1073778376 140735125488080 140511158097192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 27.45
Current children cumulated vsize (KiB) 9625040
Child status: 30
Real time (s): 26.2239
CPU time (s): 27.4698
CPU user time (s): 27.3788
CPU system time (s): 0.090986
CPU usage (%): 104.751
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.3788
system time used= 0.090986
maximum resident set size= 167612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13017
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 837
involuntary context switches= 488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.143978 second user time and 0.19697 second system time
The end