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-3688892-1337880305/watcher-3688892-1337880305 -o /tmp/evaluation-result-3688892-1337880305/solver-3688892-1337880305 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688892-1337880305.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.65 3.89 3.89 4/197 25771
/proc/meminfo: memFree=28269184/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25771/stat : 25771 (java) R 25769 25771 23457 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 254159035 23793664 714 33554432000 1073741824 1073778376 140736829362208 140736829351272 245285041512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 5809 715 530 9 0 128 0
[startup+0.022684 s]
/proc/loadavg: 3.65 3.89 3.89 4/197 25771
/proc/meminfo: memFree=28269184/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 2806 0 1 0 1 0 0 0 20 0 10 0 254159035 9233014784 2996 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2254154 2996 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.100249 s]
/proc/loadavg: 3.65 3.89 3.89 4/197 25771
/proc/meminfo: memFree=28269184/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 4340 0 1 0 10 0 0 0 20 0 18 0 254159035 9787813888 5027 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2389603 5027 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300233 s]
/proc/loadavg: 3.65 3.89 3.89 4/197 25771
/proc/meminfo: memFree=28269184/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9558412 CPUtime=0.5 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 7011 0 1 0 49 1 0 0 20 0 18 0 254159035 9787813888 9698 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2389603 9698 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412
[startup+0.70025 s]
/proc/loadavg: 3.65 3.89 3.89 4/197 25771
/proc/meminfo: memFree=28269184/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9558412 CPUtime=1.68 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 19441 0 1 0 164 4 0 0 20 0 18 0 254159035 9787813888 29658 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2389603 29658 2239 9 0 2380296 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9558412
[startup+1.5043 s]
/proc/loadavg: 3.65 3.89 3.89 7/219 25793
/proc/meminfo: memFree=28095224/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9824668 CPUtime=4.24 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 25255 0 1 0 416 8 0 0 20 0 22 0 254159035 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2456167 49763 2267 9 0 2446860 0
[pid=25771/tid=25773] ppid=25769 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/25771/task/25773/stat : 25773 (java) S 25769 25771 23457 0 -1 4202560 2557 0 1 0 78 2 0 0 20 0 22 0 254159036 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785551717368 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25774] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25774/stat : 25774 (java) R 25769 25771 23457 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785395559256 139785555892399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25775] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25775/stat : 25775 (java) R 25769 25771 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785394506536 245294206087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25776] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25776/stat : 25776 (java) R 25769 25771 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785393454168 139785555469312 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25777] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25777/stat : 25777 (java) R 25769 25771 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785392401448 245294206087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25778] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25778/stat : 25778 (java) R 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785391348056 139785558615293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25779] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25779/stat : 25779 (java) R 25769 25771 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785390295512 139785555878528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25780] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25780/stat : 25780 (java) R 25769 25771 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785389242920 245294206087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25781] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25781/stat : 25781 (java) R 25769 25771 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785388190248 245294206087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25782] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25782/stat : 25782 (java) S 25769 25771 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785375991304 245297624124 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25783] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25783/stat : 25783 (java) S 25769 25771 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785374938744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25784] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25784/stat : 25784 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159039 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785373886088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25785] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25785/stat : 25785 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785372834832 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25786] ppid=25769 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/25771/task/25786/stat : 25786 (java) S 25769 25771 23457 0 -1 4202560 7354 0 0 0 97 1 0 0 20 0 22 0 254159041 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785371781176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25787] ppid=25769 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/25771/task/25787/stat : 25787 (java) S 25769 25771 23457 0 -1 4202560 13988 0 0 0 112 3 0 0 20 0 22 0 254159041 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785370728632 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25788] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25788/stat : 25788 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785369676280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25789] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25789/stat : 25789 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785368623944 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25790] ppid=25769 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/25771/task/25790/stat : 25790 (java) S 25769 25771 23457 0 -1 4202560 22 0 0 0 55 0 0 0 20 0 22 0 254159118 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785367567352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25791] ppid=25769 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/25771/task/25791/stat : 25791 (java) S 25769 25771 23457 0 -1 4202560 88 0 0 0 62 0 0 0 20 0 22 0 254159118 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785366515160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25792] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25792/stat : 25792 (java) S 25769 25771 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254159120 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785365464616 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25793] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25793/stat : 25793 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159121 10060460032 49763 33554432000 1073741824 1073778376 140736829362208 139785364412072 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9824668
[startup+3.1007 s]
/proc/loadavg: 3.65 3.89 3.89 12/219 25793
/proc/meminfo: memFree=28022280/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9824668 CPUtime=7.81 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 27428 0 1 0 769 12 0 0 20 0 22 0 254159035 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2456167 59119 2285 9 0 2446860 0
[pid=25771/tid=25773] ppid=25769 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/25771/task/25773/stat : 25773 (java) S 25769 25771 23457 0 -1 4202560 2557 0 1 0 78 2 0 0 20 0 22 0 254159036 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785551717368 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25774] ppid=25769 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25771/task/25774/stat : 25774 (java) S 25769 25771 23457 0 -1 4202560 23 0 0 0 1 1 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785395559080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25775] ppid=25769 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25771/task/25775/stat : 25775 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785394506536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25776] ppid=25769 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25771/task/25776/stat : 25776 (java) S 25769 25771 23457 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785393453992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25777] ppid=25769 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25771/task/25777/stat : 25777 (java) S 25769 25771 23457 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785392401448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25778] ppid=25769 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25771/task/25778/stat : 25778 (java) S 25769 25771 23457 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785391347880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25779] ppid=25769 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25771/task/25779/stat : 25779 (java) S 25769 25771 23457 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785390295336 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25780] ppid=25769 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25771/task/25780/stat : 25780 (java) S 25769 25771 23457 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785389242792 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25781] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25781/stat : 25781 (java) S 25769 25771 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254159037 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785388190248 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25782] ppid=25769 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25771/task/25782/stat : 25782 (java) S 25769 25771 23457 0 -1 4202560 100 0 0 0 4 0 0 0 20 0 22 0 254159038 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785375992424 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25783] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25783/stat : 25783 (java) S 25769 25771 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785374938744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25784] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25784/stat : 25784 (java) S 25769 25771 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254159039 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785373886088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25785] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25785/stat : 25785 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785372834832 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25786] ppid=25769 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/25771/task/25786/stat : 25786 (java) S 25769 25771 23457 0 -1 4202560 7370 0 0 0 112 2 0 0 20 0 22 0 254159041 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785371781176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25787] ppid=25769 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/25771/task/25787/stat : 25787 (java) S 25769 25771 23457 0 -1 4202560 16002 0 0 0 132 3 0 0 20 0 22 0 254159041 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785370728632 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25788] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25788/stat : 25788 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785369676280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25789] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25789/stat : 25789 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785368623944 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25790] ppid=25769 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/25771/task/25790/stat : 25790 (java) R 25769 25771 23457 0 -1 4202560 23 0 0 0 204 0 0 0 20 0 22 0 254159118 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785367569176 139785424924732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25791] ppid=25769 vsize=9824668 CPUtime=2.11 cores=0,2,4,6
/proc/25771/task/25791/stat : 25791 (java) R 25769 25771 23457 0 -1 4202560 89 0 0 0 211 0 0 0 20 0 22 0 254159118 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785366516808 139785424987834 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25792] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25792/stat : 25792 (java) S 25769 25771 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254159120 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785365464616 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25793] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25793/stat : 25793 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159121 10060460032 59119 33554432000 1073741824 1073778376 140736829362208 139785364412072 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 9824668
[startup+6.30072 s]
/proc/loadavg: 3.76 3.91 3.89 5/219 25793
/proc/meminfo: memFree=27871100/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9824668 CPUtime=14.07 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 27539 0 1 0 1391 16 0 0 20 0 22 0 254159035 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2456167 91486 2285 9 0 2446860 0
[pid=25771/tid=25773] ppid=25769 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/25771/task/25773/stat : 25773 (java) S 25769 25771 23457 0 -1 4202560 2557 0 1 0 78 2 0 0 20 0 22 0 254159036 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785551717368 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25774] ppid=25769 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25771/task/25774/stat : 25774 (java) S 25769 25771 23457 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785395559080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25775] ppid=25769 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25771/task/25775/stat : 25775 (java) S 25769 25771 23457 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785394506536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25776] ppid=25769 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25771/task/25776/stat : 25776 (java) S 25769 25771 23457 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785393453992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25777] ppid=25769 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25771/task/25777/stat : 25777 (java) S 25769 25771 23457 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785392401448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25778] ppid=25769 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25771/task/25778/stat : 25778 (java) S 25769 25771 23457 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785391347880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25779] ppid=25769 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25771/task/25779/stat : 25779 (java) S 25769 25771 23457 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785390295336 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25780] ppid=25769 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25771/task/25780/stat : 25780 (java) S 25769 25771 23457 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785389242792 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25781] ppid=25769 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25771/task/25781/stat : 25781 (java) S 25769 25771 23457 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 254159037 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785388190248 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25782] ppid=25769 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25771/task/25782/stat : 25782 (java) S 25769 25771 23457 0 -1 4202560 114 0 0 0 36 0 0 0 20 0 22 0 254159038 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785375992424 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25783] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25783/stat : 25783 (java) S 25769 25771 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785374938744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25784] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25784/stat : 25784 (java) S 25769 25771 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254159039 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785373886088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25785] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25785/stat : 25785 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785372834832 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25786] ppid=25769 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/25771/task/25786/stat : 25786 (java) R 25769 25771 23457 0 -1 4202560 7371 0 0 0 119 2 0 0 20 0 22 0 254159041 10060460032 91486 33554432000 1073741824 1073778376 140736829362208 139785371757224 139785555834284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
/proc/25771/statm: 2456167 799368 2286 9 0 2446860 0
[pid=25771/tid=25773] ppid=25769 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25771/task/25773/stat : 25773 (java) S 25769 25771 23457 0 -1 4202560 2591 0 1 0 80 4 0 0 20 0 22 0 254159036 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785551717368 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25774] ppid=25769 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/25771/task/25774/stat : 25774 (java) S 25769 25771 23457 0 -1 4202560 690 0 0 0 230 20 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785395559080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25775] ppid=25769 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/25771/task/25775/stat : 25775 (java) S 25769 25771 23457 0 -1 4202560 753 0 0 0 245 19 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785394506536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25776] ppid=25769 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/25771/task/25776/stat : 25776 (java) S 25769 25771 23457 0 -1 4202560 829 0 0 0 247 18 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785393453992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25777] ppid=25769 vsize=9824668 CPUtime=2.73 cores=0,2,4,6
/proc/25771/task/25777/stat : 25777 (java) S 25769 25771 23457 0 -1 4202560 770 0 0 0 252 21 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785392401448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25778] ppid=25769 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/25771/task/25778/stat : 25778 (java) S 25769 25771 23457 0 -1 4202560 737 0 0 0 229 21 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785391347880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25779] ppid=25769 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/25771/task/25779/stat : 25779 (java) S 25769 25771 23457 0 -1 4202560 534 0 0 0 216 19 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785390295336 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25780] ppid=25769 vsize=9824668 CPUtime=2.26 cores=0,2,4,6
/proc/25771/task/25780/stat : 25780 (java) S 25769 25771 23457 0 -1 4202560 631 0 0 0 210 16 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785389242792 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25781] ppid=25769 vsize=9824668 CPUtime=2.45 cores=0,2,4,6
/proc/25771/task/25781/stat : 25781 (java) S 25769 25771 23457 0 -1 4202560 931 0 0 0 222 23 0 0 20 0 22 0 254159037 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785388190248 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25782] ppid=25769 vsize=9824668 CPUtime=67.22 cores=0,2,4,6
/proc/25771/task/25782/stat : 25782 (java) S 25769 25771 23457 0 -1 4202560 4242 0 0 0 6705 17 0 0 20 0 22 0 254159038 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785375992424 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25783] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25783/stat : 25783 (java) S 25769 25771 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785374938744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25784] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25784/stat : 25784 (java) S 25769 25771 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254159039 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785373886088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25785] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25785/stat : 25785 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785372834832 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25786] ppid=25769 vsize=9824668 CPUtime=2.18 cores=0,2,4,6
/proc/25771/task/25786/stat : 25786 (java) S 25769 25771 23457 0 -1 4202560 12563 0 0 0 216 2 0 0 20 0 22 0 254159041 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785371781176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25787] ppid=25769 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25771/task/25787/stat : 25787 (java) S 25769 25771 23457 0 -1 4202560 16003 0 0 0 143 3 0 0 20 0 22 0 254159041 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785370728632 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25788] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25788/stat : 25788 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785369676280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25789] ppid=25769 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/25771/task/25789/stat : 25789 (java) S 25769 25771 23457 0 -1 4202560 47 0 0 0 17 14 0 0 20 0 22 0 254159041 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785368623944 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25790] ppid=25769 vsize=9824668 CPUtime=746.62 cores=0,2,4,6
/proc/25771/task/25790/stat : 25790 (java) R 25769 25771 23457 0 -1 4202560 108 0 0 0 74649 13 0 0 20 0 22 0 254159118 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785367568992 139785424924751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25791] ppid=25769 vsize=9824668 CPUtime=746.59 cores=0,2,4,6
/proc/25771/task/25791/stat : 25791 (java) R 25769 25771 23457 0 -1 4202560 1108 0 0 0 74636 23 0 0 20 0 22 0 254159118 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785366514328 139785424886210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25792] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25792/stat : 25792 (java) S 25769 25771 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254159120 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785365464616 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25793] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25793/stat : 25793 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159121 10060460032 799368 33554432000 1073741824 1073778376 140736829362208 139785364412072 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1589.46
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.77 3.90 3.90 6/215 25858
/proc/meminfo: memFree=25747804/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9824668 CPUtime=1704.03 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 44668 0 1 0 170173 230 0 0 20 0 22 0 254159035 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2456167 829787 2286 9 0 2446860 0
[pid=25771/tid=25773] ppid=25769 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25771/task/25773/stat : 25773 (java) S 25769 25771 23457 0 -1 4202560 2592 0 1 0 80 4 0 0 20 0 22 0 254159036 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785551717368 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25774] ppid=25769 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/25771/task/25774/stat : 25774 (java) S 25769 25771 23457 0 -1 4202560 708 0 0 0 237 20 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785395559080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25775] ppid=25769 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/25771/task/25775/stat : 25775 (java) S 25769 25771 23457 0 -1 4202560 957 0 0 0 268 22 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785394506536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25776] ppid=25769 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/25771/task/25776/stat : 25776 (java) S 25769 25771 23457 0 -1 4202560 1050 0 0 0 262 18 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785393453992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25777] ppid=25769 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/25771/task/25777/stat : 25777 (java) S 25769 25771 23457 0 -1 4202560 869 0 0 0 258 22 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785392401448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25778] ppid=25769 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/25771/task/25778/stat : 25778 (java) S 25769 25771 23457 0 -1 4202560 879 0 0 0 247 24 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785391347880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25779] ppid=25769 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/25771/task/25779/stat : 25779 (java) S 25769 25771 23457 0 -1 4202560 557 0 0 0 231 20 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785390295336 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25780] ppid=25769 vsize=9824668 CPUtime=2.39 cores=0,2,4,6
/proc/25771/task/25780/stat : 25780 (java) S 25769 25771 23457 0 -1 4202560 646 0 0 0 222 17 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785389242792 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25781] ppid=25769 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/25771/task/25781/stat : 25781 (java) S 25769 25771 23457 0 -1 4202560 997 0 0 0 232 24 0 0 20 0 22 0 254159037 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785388190248 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25782] ppid=25769 vsize=9824668 CPUtime=73.21 cores=0,2,4,6
/proc/25771/task/25782/stat : 25782 (java) S 25769 25771 23457 0 -1 4202560 4388 0 0 0 7303 18 0 0 20 0 22 0 254159038 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785375992424 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25783] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25783/stat : 25783 (java) S 25769 25771 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785374938744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25784] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25784/stat : 25784 (java) S 25769 25771 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254159039 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785373886088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25785] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25785/stat : 25785 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785372834832 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25786] ppid=25769 vsize=9824668 CPUtime=2.18 cores=0,2,4,6
/proc/25771/task/25786/stat : 25786 (java) S 25769 25771 23457 0 -1 4202560 12563 0 0 0 216 2 0 0 20 0 22 0 254159041 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785371781176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25787] ppid=25769 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25771/task/25787/stat : 25787 (java) S 25769 25771 23457 0 -1 4202560 16003 0 0 0 143 3 0 0 20 0 22 0 254159041 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785370728632 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25788] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25788/stat : 25788 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785369676280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25789] ppid=25769 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25771/task/25789/stat : 25789 (java) S 25769 25771 23457 0 -1 4202560 51 0 0 0 18 15 0 0 20 0 22 0 254159041 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785368623944 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25790] ppid=25769 vsize=9824668 CPUtime=800.17 cores=0,2,4,6
/proc/25771/task/25790/stat : 25790 (java) R 25769 25771 23457 0 -1 4202560 110 0 0 0 80003 14 0 0 20 0 22 0 254159118 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785367568992 139785424924738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25791] ppid=25769 vsize=9824668 CPUtime=800.12 cores=0,2,4,6
/proc/25771/task/25791/stat : 25791 (java) R 25769 25771 23457 0 -1 4202560 1108 0 0 0 79988 24 0 0 20 0 22 0 254159118 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785366514448 139785424426733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25792] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25792/stat : 25792 (java) S 25769 25771 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254159120 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785365464616 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25793] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25793/stat : 25793 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159121 10060460032 829787 33554432000 1073741824 1073778376 140736829362208 139785364412072 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1704.03
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+931.201 s]
/proc/loadavg: 3.91 3.93 3.90 5/220 25886
/proc/meminfo: memFree=24908076/32873844 swapFree=7356/7356
[pid=25771] ppid=25769 vsize=9824668 CPUtime=1800.09 cores=0,2,4,6
/proc/25771/stat : 25771 (java) S 25769 25771 23457 0 -1 4202496 45264 0 1 0 179772 237 0 0 20 0 22 0 254159035 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 140736829353344 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25771/statm: 2456167 846801 2286 9 0 2446860 0
[pid=25771/tid=25773] ppid=25769 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25771/task/25773/stat : 25773 (java) S 25769 25771 23457 0 -1 4202560 2592 0 1 0 80 4 0 0 20 0 22 0 254159036 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785551717368 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25774] ppid=25769 vsize=9824668 CPUtime=2.75 cores=0,2,4,6
/proc/25771/task/25774/stat : 25774 (java) S 25769 25771 23457 0 -1 4202560 917 0 0 0 253 22 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785395559080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25775] ppid=25769 vsize=9824668 CPUtime=3.06 cores=0,2,4,6
/proc/25771/task/25775/stat : 25775 (java) S 25769 25771 23457 0 -1 4202560 982 0 0 0 284 22 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785394506536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25776] ppid=25769 vsize=9824668 CPUtime=3.04 cores=0,2,4,6
/proc/25771/task/25776/stat : 25776 (java) S 25769 25771 23457 0 -1 4202560 1102 0 0 0 285 19 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785393453992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25777] ppid=25769 vsize=9824668 CPUtime=2.99 cores=0,2,4,6
/proc/25771/task/25777/stat : 25777 (java) S 25769 25771 23457 0 -1 4202560 934 0 0 0 276 23 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785392401448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25778] ppid=25769 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/25771/task/25778/stat : 25778 (java) S 25769 25771 23457 0 -1 4202560 887 0 0 0 262 24 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785391347880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25779] ppid=25769 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/25771/task/25779/stat : 25779 (java) S 25769 25771 23457 0 -1 4202560 600 0 0 0 244 21 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785390295336 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25780] ppid=25769 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/25771/task/25780/stat : 25780 (java) S 25769 25771 23457 0 -1 4202560 774 0 0 0 243 18 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785389242792 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25781] ppid=25769 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/25771/task/25781/stat : 25781 (java) S 25769 25771 23457 0 -1 4202560 1025 0 0 0 249 25 0 0 20 0 22 0 254159037 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785388190248 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25782] ppid=25769 vsize=9824668 CPUtime=75.64 cores=0,2,4,6
/proc/25771/task/25782/stat : 25782 (java) S 25769 25771 23457 0 -1 4202560 4418 0 0 0 7546 18 0 0 20 0 22 0 254159038 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785375992424 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25783] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25783/stat : 25783 (java) S 25769 25771 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254159038 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785374938744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25784] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25784/stat : 25784 (java) S 25769 25771 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254159039 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785373886088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25785] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25785/stat : 25785 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785372834832 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25786] ppid=25769 vsize=9824668 CPUtime=2.18 cores=0,2,4,6
/proc/25771/task/25786/stat : 25786 (java) S 25769 25771 23457 0 -1 4202560 12563 0 0 0 216 2 0 0 20 0 22 0 254159041 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785371781176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25787] ppid=25769 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25771/task/25787/stat : 25787 (java) S 25769 25771 23457 0 -1 4202560 16003 0 0 0 143 3 0 0 20 0 22 0 254159041 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785370728632 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25771/tid=25788] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25788/stat : 25788 (java) S 25769 25771 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254159041 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785369676280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25771/tid=25789] ppid=25769 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/25771/task/25789/stat : 25789 (java) S 25769 25771 23457 0 -1 4202560 53 0 0 0 19 16 0 0 20 0 22 0 254159041 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785368623944 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25790] ppid=25769 vsize=9824668 CPUtime=846.14 cores=0,2,4,6
/proc/25771/task/25790/stat : 25790 (java) R 25769 25771 23457 0 -1 4202560 110 0 0 0 84600 14 0 0 20 0 22 0 254159118 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785367567336 139785425040308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25791] ppid=25769 vsize=9824668 CPUtime=846.09 cores=0,2,4,6
/proc/25771/task/25791/stat : 25791 (java) R 25769 25771 23457 0 -1 4202560 1114 0 0 0 84585 24 0 0 20 0 22 0 254159118 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785366515488 139785424426806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25771/tid=25792] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25792/stat : 25792 (java) S 25769 25771 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254159120 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785365464616 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25771/tid=25793] ppid=25769 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25771/task/25793/stat : 25793 (java) S 25769 25771 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254159121 10060460032 846801 33554432000 1073741824 1073778376 140736829362208 139785364412072 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25771 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=89408
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=732584
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 931.256
CPU time (s): 1800.09
CPU user time (s): 1797.72
CPU system time (s): 2.37
CPU usage (%): 193.297
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 2.73258
maximum resident set size= 3406732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45297
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25096
involuntary context switches= 33235
runsolver used 3.50247 second user time and 7.99179 second system time
The end