runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688714-1337879388/watcher-3688714-1337879388 -o /tmp/evaluation-result-3688714-1337879388/solver-3688714-1337879388 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688714-1337879388.opb
running on 4 cores: 0,2,4,6
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: 3.67 3.78 3.82 4/197 24581
/proc/meminfo: memFree=26028116/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24581/stat : 24581 (java) D 24579 24581 22059 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254065762 9515008 183 33554432000 1073741824 1073778376 140737333767488 140737333758520 233411788469 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24581/statm: 2323 183 140 9 0 71 0
[startup+0.0495729 s]
/proc/loadavg: 3.67 3.78 3.82 4/197 24581
/proc/meminfo: memFree=26028116/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 3023 0 1 0 2 0 0 0 20 0 13 0 254065762 9446973440 3721 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2306390 3721 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100299 s]
/proc/loadavg: 3.67 3.78 3.82 4/197 24581
/proc/meminfo: memFree=26028116/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 4084 0 1 0 7 1 0 0 20 0 18 0 254065762 9787813888 5286 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2389603 5291 2038 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300299 s]
/proc/loadavg: 3.67 3.78 3.82 4/197 24581
/proc/meminfo: memFree=26028116/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 6180 0 1 0 43 1 0 0 20 0 19 0 254065762 10060460032 9273 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 9273 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824668
[startup+0.700283 s]
/proc/loadavg: 3.67 3.78 3.82 4/197 24581
/proc/meminfo: memFree=26028116/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 6180 0 1 0 43 1 0 0 20 0 19 0 254065762 10060460032 9273 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 9273 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824668
[startup+1.50075 s]
/proc/loadavg: 3.54 3.75 3.81 3/216 24606
/proc/meminfo: memFree=25996672/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 7962 0 1 0 51 2 0 0 20 0 19 0 254065762 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 12237 2234 9 0 2446860 0
[pid=24581/tid=24583] ppid=24579 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (java) S 24579 24581 22059 0 -1 4202560 2461 0 1 0 25 0 0 0 20 0 19 0 254065763 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139993073431544 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139993051531688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24585] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24585/stat : 24585 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992848394792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24586] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24586/stat : 24586 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992847341736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24587] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24587/stat : 24587 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992846289192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24588] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24588/stat : 24588 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992845237160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24589] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24589/stat : 24589 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992844184616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24590] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24590/stat : 24590 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992843131560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24591] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24591/stat : 24591 (java) S 24579 24581 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992842079016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24592] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24592/stat : 24592 (java) S 24579 24581 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254065765 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992829880680 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24593] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24593/stat : 24593 (java) S 24579 24581 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254065766 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992828827000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24594] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24594/stat : 24594 (java) S 24579 24581 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254065766 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992827773832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24595] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24595/stat : 24595 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065769 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992826722576 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24596] ppid=24579 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/24581/task/24596/stat : 24596 (java) S 24579 24581 22059 0 -1 4202560 1537 0 0 0 11 0 0 0 20 0 19 0 254065769 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992825670456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24597] ppid=24579 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/24581/task/24597/stat : 24597 (java) S 24579 24581 22059 0 -1 4202560 2645 0 0 0 14 0 0 0 20 0 19 0 254065769 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992824617912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24598] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24598/stat : 24598 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065769 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992823565048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24599] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24599/stat : 24599 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065769 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992822512712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24602] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24602/stat : 24602 (java) S 24579 24581 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254065791 10060460032 12237 33554432000 1073741824 1073778376 140736681330944 139992819319592 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824668
[startup+3.10073 s]
/proc/loadavg: 3.54 3.75 3.81 3/216 24612
/proc/meminfo: memFree=25982216/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 15108 0 1 0 166 8 0 0 20 0 19 0 254065762 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 25014 2249 9 0 2446860 0
[pid=24581/tid=24583] ppid=24579 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (java) S 24579 24581 22059 0 -1 4202560 2463 0 1 0 25 0 0 0 20 0 19 0 254065763 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139993073431544 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139993051531688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24585] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24585/stat : 24585 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992848394792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24586] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24586/stat : 24586 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992847341736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24587] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24587/stat : 24587 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992846289192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24588] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24588/stat : 24588 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992845237160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24589] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24589/stat : 24589 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992844184616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24590] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24590/stat : 24590 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992843131560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24591] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24591/stat : 24591 (java) S 24579 24581 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254065764 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992842079016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24592] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24592/stat : 24592 (java) S 24579 24581 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254065765 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992829880680 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24593] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24593/stat : 24593 (java) S 24579 24581 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254065766 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992828827000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24594] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24594/stat : 24594 (java) S 24579 24581 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254065766 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992827773832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24595] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24595/stat : 24595 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065769 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992826722576 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24596] ppid=24579 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/24581/task/24596/stat : 24596 (java) S 24579 24581 22059 0 -1 4202560 4072 0 0 0 46 0 0 0 20 0 19 0 254065769 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992825670456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24597] ppid=24579 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/24581/task/24597/stat : 24597 (java) S 24579 24581 22059 0 -1 4202560 7215 0 0 0 57 2 0 0 20 0 19 0 254065769 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992824617912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24598] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24598/stat : 24598 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065769 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992823565048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24599] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24599/stat : 24599 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254065769 10060460032 25014 33554432000 1073741824 1073778376 140736681330944 139992822512712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 3.54 3.75 3.81 5/219 24624
/proc/meminfo: memFree=25728872/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=7.71 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 15561 0 1 0 752 19 0 0 20 0 22 0 254065762 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 86044 2280 9 0 2446860 0
[pid=24581/tid=24583] ppid=24579 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (java) S 24579 24581 22059 0 -1 4202560 2464 0 1 0 25 0 0 0 20 0 22 0 254065763 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139993073431544 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24579 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (java) S 24579 24581 22059 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139993051531688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24585] ppid=24579 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24581/task/24585/stat : 24585 (java) S 24579 24581 22059 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992848394792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24586] ppid=24579 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24581/task/24586/stat : 24586 (java) S 24579 24581 22059 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992847341736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24587] ppid=24579 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24581/task/24587/stat : 24587 (java) S 24579 24581 22059 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992846289192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24588] ppid=24579 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24581/task/24588/stat : 24588 (java) S 24579 24581 22059 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992845237160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24589] ppid=24579 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24581/task/24589/stat : 24589 (java) S 24579 24581 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992844184616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24590] ppid=24579 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24581/task/24590/stat : 24590 (java) S 24579 24581 22059 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992843131560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24591] ppid=24579 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24581/task/24591/stat : 24591 (java) S 24579 24581 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254065764 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992842079016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24592] ppid=24579 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/24581/task/24592/stat : 24592 (java) S 24579 24581 22059 0 -1 4202560 235 0 0 0 23 1 0 0 20 0 22 0 254065765 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992829880680 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24593] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24593/stat : 24593 (java) S 24579 24581 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992828827000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24594] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24594/stat : 24594 (java) S 24579 24581 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992827773832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24595] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24595/stat : 24595 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992826722576 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24596] ppid=24579 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/24581/task/24596/stat : 24596 (java) S 24579 24581 22059 0 -1 4202560 4079 0 0 0 80 0 0 0 20 0 22 0 254065769 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992825670456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24597] ppid=24579 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/24581/task/24597/stat : 24597 (java) S 24579 24581 22059 0 -1 4202560 7222 0 0 0 78 2 0 0 20 0 22 0 254065769 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992824617912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24598] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24598/stat : 24598 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992823565048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24599] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24599/stat : 24599 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992822512712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24615] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24615/stat : 24615 (java) S 24579 24581 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254065991 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992818267560 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24622] ppid=24579 vsize=9824668 CPUtime=2.19 cores=0,2,4,6
/proc/24581/task/24622/stat : 24622 (java) R 24579 24581 22059 0 -1 4202560 8 0 0 0 219 0 0 0 20 0 22 0 254066141 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992820372064 139992932790192 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24623] ppid=24579 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/24581/task/24623/stat : 24623 (java) R 24579 24581 22059 0 -1 4202560 57 0 0 0 218 3 0 0 20 0 22 0 254066141 10060460032 86044 33554432000 1073741824 1073778376 140736681330944 139992821424296 139992932964913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24624] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=24581/tid=24817] ppid=24579 vsize=9824668 CPUtime=562.59 cores=0,2,4,6
/proc/24581/task/24817/stat : 24817 (java) R 24579 24581 22059 0 -1 4202560 161 0 0 0 56248 11 0 0 20 0 22 0 254082487 10060460032 346134 33554432000 1073741824 1073778376 140736681330944 139992820370992 139992932554678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24818] ppid=24579 vsize=9824668 CPUtime=562.58 cores=0,2,4,6
/proc/24581/task/24818/stat : 24818 (java) R 24579 24581 22059 0 -1 4202560 3639 0 0 0 56243 15 0 0 20 0 22 0 254082487 10060460032 346134 33554432000 1073741824 1073778376 140736681330944 139992821422240 139992932964913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24819] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24819/stat : 24819 (java) S 24579 24581 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254082487 10060460032 346134 33554432000 1073741824 1073778376 140736681330944 139992819319720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1498.08
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.01 3.94 3.82 5/219 24851
/proc/meminfo: memFree=25346660/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=1617.19 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 31112 0 1 0 161551 168 0 0 20 0 22 0 254065762 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 398505 2281 9 0 2446860 0
[pid=24581/tid=24583] ppid=24579 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (java) S 24579 24581 22059 0 -1 4202560 2514 0 1 0 26 3 0 0 20 0 22 0 254065763 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139993073431544 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24579 vsize=9824668 CPUtime=3.43 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (java) S 24579 24581 22059 0 -1 4202560 675 0 0 0 333 10 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139993051531688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24585] ppid=24579 vsize=9824668 CPUtime=3.49 cores=0,2,4,6
/proc/24581/task/24585/stat : 24585 (java) S 24579 24581 22059 0 -1 4202560 1032 0 0 0 337 12 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992848394792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24586] ppid=24579 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/24581/task/24586/stat : 24586 (java) S 24579 24581 22059 0 -1 4202560 792 0 0 0 330 11 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992847341736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24587] ppid=24579 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/24581/task/24587/stat : 24587 (java) S 24579 24581 22059 0 -1 4202560 720 0 0 0 326 10 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992846289192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24588] ppid=24579 vsize=9824668 CPUtime=3.62 cores=0,2,4,6
/proc/24581/task/24588/stat : 24588 (java) S 24579 24581 22059 0 -1 4202560 827 0 0 0 352 10 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992845237160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24589] ppid=24579 vsize=9824668 CPUtime=3.33 cores=0,2,4,6
/proc/24581/task/24589/stat : 24589 (java) S 24579 24581 22059 0 -1 4202560 778 0 0 0 323 10 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992844184616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24590] ppid=24579 vsize=9824668 CPUtime=3.45 cores=0,2,4,6
/proc/24581/task/24590/stat : 24590 (java) S 24579 24581 22059 0 -1 4202560 933 0 0 0 334 11 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992843131560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24591] ppid=24579 vsize=9824668 CPUtime=3.42 cores=0,2,4,6
/proc/24581/task/24591/stat : 24591 (java) S 24579 24581 22059 0 -1 4202560 813 0 0 0 331 11 0 0 20 0 22 0 254065764 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992842079016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24592] ppid=24579 vsize=9824668 CPUtime=35.17 cores=0,2,4,6
/proc/24581/task/24592/stat : 24592 (java) S 24579 24581 22059 0 -1 4202560 1686 0 0 0 3491 26 0 0 20 0 22 0 254065765 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992829880680 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24593] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24593/stat : 24593 (java) S 24579 24581 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992828827000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24594] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24594/stat : 24594 (java) S 24579 24581 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992827773832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24595] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24595/stat : 24595 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992826722576 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24596] ppid=24579 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/24581/task/24596/stat : 24596 (java) S 24579 24581 22059 0 -1 4202560 4081 0 0 0 93 0 0 0 20 0 22 0 254065769 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992825670456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24597] ppid=24579 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24581/task/24597/stat : 24597 (java) S 24579 24581 22059 0 -1 4202560 10095 0 0 0 137 3 0 0 20 0 22 0 254065769 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992824617912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24598] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24598/stat : 24598 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992823565048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24599] ppid=24579 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/24581/task/24599/stat : 24599 (java) S 24579 24581 22059 0 -1 4202560 45 0 0 0 17 14 0 0 20 0 22 0 254065769 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992822512712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24615] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24615/stat : 24615 (java) S 24579 24581 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254065991 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992818267560 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24817] ppid=24579 vsize=9824668 CPUtime=620.35 cores=0,2,4,6
/proc/24581/task/24817/stat : 24817 (java) R 24579 24581 22059 0 -1 4202560 168 0 0 0 62023 12 0 0 20 0 22 0 254082487 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992820370992 139992932795030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24818] ppid=24579 vsize=9824668 CPUtime=620.35 cores=0,2,4,6
/proc/24581/task/24818/stat : 24818 (java) R 24579 24581 22059 0 -1 4202560 4170 0 0 0 62018 17 0 0 20 0 22 0 254082487 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992821422464 139992932943626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24819] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24819/stat : 24819 (java) S 24579 24581 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254082487 10060460032 398505 33554432000 1073741824 1073778376 140736681330944 139992819319720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1617.19
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.92 3.93 3.82 5/219 24854
/proc/meminfo: memFree=25226728/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=1736.38 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 31462 0 1 0 173455 183 0 0 20 0 22 0 254065762 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 451335 2281 9 0 2446860 0
[pid=24581/tid=24583] ppid=24579 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (java) S 24579 24581 22059 0 -1 4202560 2515 0 1 0 27 3 0 0 20 0 22 0 254065763 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139993073431544 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24579 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (java) S 24579 24581 22059 0 -1 4202560 702 0 0 0 350 11 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139993051531688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24585] ppid=24579 vsize=9824668 CPUtime=3.65 cores=0,2,4,6
/proc/24581/task/24585/stat : 24585 (java) S 24579 24581 22059 0 -1 4202560 1061 0 0 0 352 13 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992848394792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24586] ppid=24579 vsize=9824668 CPUtime=3.57 cores=0,2,4,6
/proc/24581/task/24586/stat : 24586 (java) S 24579 24581 22059 0 -1 4202560 820 0 0 0 345 12 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992847341736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24587] ppid=24579 vsize=9824668 CPUtime=3.56 cores=0,2,4,6
/proc/24581/task/24587/stat : 24587 (java) S 24579 24581 22059 0 -1 4202560 752 0 0 0 344 12 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992846289192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24588] ppid=24579 vsize=9824668 CPUtime=3.77 cores=0,2,4,6
/proc/24581/task/24588/stat : 24588 (java) S 24579 24581 22059 0 -1 4202560 841 0 0 0 366 11 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992845237160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24589] ppid=24579 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/24581/task/24589/stat : 24589 (java) S 24579 24581 22059 0 -1 4202560 799 0 0 0 339 11 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992844184616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24590] ppid=24579 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/24581/task/24590/stat : 24590 (java) S 24579 24581 22059 0 -1 4202560 961 0 0 0 350 13 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992843131560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24591] ppid=24579 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/24581/task/24591/stat : 24591 (java) S 24579 24581 22059 0 -1 4202560 843 0 0 0 345 13 0 0 20 0 22 0 254065764 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992842079016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24592] ppid=24579 vsize=9824668 CPUtime=36.61 cores=0,2,4,6
/proc/24581/task/24592/stat : 24592 (java) S 24579 24581 22059 0 -1 4202560 1783 0 0 0 3634 27 0 0 20 0 22 0 254065765 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992829880680 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24593] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24593/stat : 24593 (java) S 24579 24581 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992828827000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24594] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24594/stat : 24594 (java) S 24579 24581 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992827773832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24595] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24595/stat : 24595 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992826722576 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24596] ppid=24579 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/24581/task/24596/stat : 24596 (java) S 24579 24581 22059 0 -1 4202560 4081 0 0 0 93 0 0 0 20 0 22 0 254065769 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992825670456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24597] ppid=24579 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24581/task/24597/stat : 24597 (java) S 24579 24581 22059 0 -1 4202560 10095 0 0 0 137 3 0 0 20 0 22 0 254065769 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992824617912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24598] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24598/stat : 24598 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992823565048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24599] ppid=24579 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24581/task/24599/stat : 24599 (java) S 24579 24581 22059 0 -1 4202560 49 0 0 0 19 15 0 0 20 0 22 0 254065769 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992822512712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24615] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24615/stat : 24615 (java) S 24579 24581 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254065991 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992818267560 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24817] ppid=24579 vsize=9824668 CPUtime=678.53 cores=0,2,4,6
/proc/24581/task/24817/stat : 24817 (java) R 24579 24581 22059 0 -1 4202560 178 0 0 0 67840 13 0 0 20 0 22 0 254082487 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992820371936 139992932859013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24818] ppid=24579 vsize=9824668 CPUtime=678.53 cores=0,2,4,6
/proc/24581/task/24818/stat : 24818 (java) R 24579 24581 22059 0 -1 4202560 4199 0 0 0 67834 19 0 0 20 0 22 0 254082487 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992821422464 139992932964853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24819] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24819/stat : 24819 (java) S 24579 24581 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254082487 10060460032 451335 33554432000 1073741824 1073778376 140736681330944 139992819319720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1736.38
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+914.001 s]
/proc/loadavg: 3.93 3.93 3.83 4/219 24854
/proc/meminfo: memFree=25234344/32873844 swapFree=7100/7100
[pid=24581] ppid=24579 vsize=9824668 CPUtime=1800.07 cores=0,2,4,6
/proc/24581/stat : 24581 (java) S 24579 24581 22059 0 -1 4202496 31574 0 1 0 179819 188 0 0 20 0 22 0 254065762 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 140736681322080 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 2456167 465705 2281 9 0 2446860 0
[pid=24581/tid=24583] ppid=24579 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (java) S 24579 24581 22059 0 -1 4202560 2515 0 1 0 27 3 0 0 20 0 22 0 254065763 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139993073431544 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24579 vsize=9824668 CPUtime=3.69 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (java) S 24579 24581 22059 0 -1 4202560 710 0 0 0 357 12 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139993051531688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24585] ppid=24579 vsize=9824668 CPUtime=3.72 cores=0,2,4,6
/proc/24581/task/24585/stat : 24585 (java) S 24579 24581 22059 0 -1 4202560 1075 0 0 0 358 14 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992848394792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24586] ppid=24579 vsize=9824668 CPUtime=3.68 cores=0,2,4,6
/proc/24581/task/24586/stat : 24586 (java) S 24579 24581 22059 0 -1 4202560 835 0 0 0 355 13 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992847341736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24587] ppid=24579 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/24581/task/24587/stat : 24587 (java) S 24579 24581 22059 0 -1 4202560 759 0 0 0 351 12 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992846289192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24588] ppid=24579 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/24581/task/24588/stat : 24588 (java) S 24579 24581 22059 0 -1 4202560 842 0 0 0 372 11 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992845237160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24589] ppid=24579 vsize=9824668 CPUtime=3.54 cores=0,2,4,6
/proc/24581/task/24589/stat : 24589 (java) S 24579 24581 22059 0 -1 4202560 803 0 0 0 343 11 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992844184616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24590] ppid=24579 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/24581/task/24590/stat : 24590 (java) S 24579 24581 22059 0 -1 4202560 969 0 0 0 360 14 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992843131560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24591] ppid=24579 vsize=9824668 CPUtime=3.62 cores=0,2,4,6
/proc/24581/task/24591/stat : 24591 (java) S 24579 24581 22059 0 -1 4202560 845 0 0 0 349 13 0 0 20 0 22 0 254065764 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992842079016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24592] ppid=24579 vsize=9824668 CPUtime=36.61 cores=0,2,4,6
/proc/24581/task/24592/stat : 24592 (java) S 24579 24581 22059 0 -1 4202560 1820 0 0 0 3634 27 0 0 20 0 22 0 254065765 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992829880680 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24593] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24593/stat : 24593 (java) S 24579 24581 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992828827000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24594] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24594/stat : 24594 (java) S 24579 24581 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254065766 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992827773832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24595] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24595/stat : 24595 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992826722576 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24596] ppid=24579 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/24581/task/24596/stat : 24596 (java) S 24579 24581 22059 0 -1 4202560 4081 0 0 0 93 0 0 0 20 0 22 0 254065769 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992825670456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24597] ppid=24579 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24581/task/24597/stat : 24597 (java) S 24579 24581 22059 0 -1 4202560 10095 0 0 0 137 3 0 0 20 0 22 0 254065769 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992824617912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24598] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24598/stat : 24598 (java) S 24579 24581 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254065769 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992823565048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24599] ppid=24579 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/24581/task/24599/stat : 24599 (java) S 24579 24581 22059 0 -1 4202560 51 0 0 0 20 17 0 0 20 0 22 0 254065769 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992822512712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24615] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24615/stat : 24615 (java) S 24579 24581 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254065991 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992818267560 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24581/tid=24817] ppid=24579 vsize=9824668 CPUtime=710.08 cores=0,2,4,6
/proc/24581/task/24817/stat : 24817 (java) R 24579 24581 22059 0 -1 4202560 180 0 0 0 70995 13 0 0 20 0 22 0 254082487 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992820370992 139992932795030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24581/tid=24818] ppid=24579 vsize=9824668 CPUtime=710.08 cores=0,2,4,6
/proc/24581/task/24818/stat : 24818 (java) R 24579 24581 22059 0 -1 4202560 4211 0 0 0 70989 19 0 0 20 0 22 0 254082487 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992821422240 139992932943550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24819] ppid=24579 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24819/stat : 24819 (java) S 24579 24581 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254082487 10060460032 465705 33554432000 1073741824 1073778376 140736681330944 139992819319720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668
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): 914.043
CPU time (s): 1800.66
CPU user time (s): 1798.41
CPU system time (s): 2.25366
CPU usage (%): 197
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.25366
maximum resident set size= 1864992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31608
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34364
involuntary context switches= 58178
runsolver used 3.38149 second user time and 8.16376 second system time
The end