runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456477-1307223060/watcher-3456477-1307223060 -o /tmp/evaluation-result-3456477-1307223060/solver-3456477-1307223060 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456477-1307223060.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: 1.95 2.01 1.99 2/482 21156
/proc/meminfo: memFree=27297984/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 4267 0 1 0 0 0 0 0 22 0 2 0 833905808 10694979584 3970 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2611079 3984 917 9 0 2602235 0
[pid=21156/tid=21157] ppid=21154 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 6566 0 1 0 0 0 0 0 24 0 2 0 833905808 10694979584 7382 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0558849 s]
/proc/loadavg: 1.95 2.01 1.99 2/482 21156
/proc/meminfo: memFree=27297984/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 11538 0 1 0 3 1 0 0 22 0 13 0 833905808 10718838784 11236 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2616904 11236 1691 9 0 2607652 0
[pid=21156/tid=21157] ppid=21154 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 10392 0 1 0 3 1 0 0 25 0 13 0 833905808 10718838784 11236 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 47625959034190 0 4 0 16800971 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100877 s]
/proc/loadavg: 1.95 2.01 1.99 2/482 21156
/proc/meminfo: memFree=27297984/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10540028 CPUtime=0.11 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 13094 0 1 0 9 2 0 0 22 0 18 0 833905808 10792988672 12792 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2635007 12792 2093 9 0 2625741 0
[pid=21156/tid=21157] ppid=21154 vsize=10540028 CPUtime=0.08 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 11201 0 1 0 7 1 0 0 25 0 18 0 833905808 10792988672 12793 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 47625964010323 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540028
[startup+0.300793 s]
/proc/loadavg: 1.95 2.01 1.99 2/482 21156
/proc/meminfo: memFree=27297984/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10541788 CPUtime=0.45 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 15879 0 1 0 43 2 0 0 22 0 18 0 833905808 10794790912 15199 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2635447 15199 2201 9 0 2626181 0
[pid=21156/tid=21157] ppid=21154 vsize=10541788 CPUtime=0.29 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 13065 0 1 0 27 2 0 0 25 0 18 0 833905808 10794790912 15200 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505587570 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541788
[startup+0.700812 s]
/proc/loadavg: 1.95 2.01 1.99 2/482 21156
/proc/meminfo: memFree=27297984/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10547996 CPUtime=1 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 51813 0 1 0 93 7 0 0 22 0 18 0 833905808 10801147904 50010 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2636999 50014 2211 9 0 2627733 0
[pid=21156/tid=21157] ppid=21154 vsize=10547996 CPUtime=0.69 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 46369 0 1 0 63 6 0 0 25 0 18 0 833905808 10801147904 50016 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505587521 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10547996
[startup+1.50058 s]
/proc/loadavg: 1.95 2.01 1.99 3/500 21174
/proc/meminfo: memFree=27053944/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10549024 CPUtime=2.18 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 68999 0 1 0 209 9 0 0 22 0 19 0 833905808 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2637256 66477 2229 9 0 2627990 0
[pid=21156/tid=21157] ppid=21154 vsize=10549024 CPUtime=1.48 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 62708 0 1 0 141 7 0 0 25 0 19 0 833905808 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505626092 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21156/tid=21159] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21159/stat : 21159 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21160] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21160/stat : 21160 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21161] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21161/stat : 21161 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21162] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21162/stat : 21162 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21163] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21163/stat : 21163 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21164] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21164/stat : 21164 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21165] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21165/stat : 21165 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21166] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21166/stat : 21166 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21167] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21167/stat : 21167 (java) S 21154 21156 20455 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 0 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21168] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21168/stat : 21168 (java) S 21154 21156 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833905811 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21169] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905811 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.34 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 1940 0 0 0 34 0 0 0 18 0 19 0 833905814 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.34 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 3192 0 0 0 34 0 0 0 15 0 19 0 833905814 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21174] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21174/stat : 21174 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833905814 10802200576 66477 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10549024
[startup+3.10141 s]
/proc/loadavg: 1.95 2.01 1.99 5/501 21175
/proc/meminfo: memFree=27020332/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10549024 CPUtime=3.87 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 78860 0 1 0 377 10 0 0 22 0 19 0 833905808 10802200576 76222 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2637256 76222 2229 9 0 2627990 0
[pid=21156/tid=21157] ppid=21154 vsize=10549024 CPUtime=3.09 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 72440 0 1 0 300 9 0 0 25 0 19 0 833905808 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505691358 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21156/tid=21159] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21159/stat : 21159 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21160] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21160/stat : 21160 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21161] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21161/stat : 21161 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21162] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21162/stat : 21162 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21163] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21163/stat : 21163 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21164] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21164/stat : 21164 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21165] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21165/stat : 21165 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21166] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21166/stat : 21166 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21167] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21167/stat : 21167 (java) S 21154 21156 20455 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 0 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21168] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21168/stat : 21168 (java) S 21154 21156 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833905811 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21169] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905811 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.39 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 2065 0 0 0 39 0 0 0 15 0 19 0 833905814 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.37 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 3197 0 0 0 37 0 0 0 15 0 19 0 833905814 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21174] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21174/stat : 21174 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833905814 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21175] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21175/stat : 21175 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905913 10802200576 76223 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 10549024
[startup+6.30078 s]
/proc/loadavg: 1.95 2.01 1.99 3/501 21176
/proc/meminfo: memFree=26933412/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10549024 CPUtime=7.07 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 89269 0 1 0 696 11 0 0 22 0 19 0 833905808 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2637256 86630 2230 9 0 2627990 0
[pid=21156/tid=21157] ppid=21154 vsize=10549024 CPUtime=6.29 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 82847 0 1 0 619 10 0 0 25 0 19 0 833905808 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505762910 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21156/tid=21159] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21159/stat : 21159 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21160] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21160/stat : 21160 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21161] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21161/stat : 21161 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21162] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21162/stat : 21162 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21163] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21163/stat : 21163 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21164] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21164/stat : 21164 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21165] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21165/stat : 21165 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21166] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21166/stat : 21166 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905810 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21167] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21167/stat : 21167 (java) S 21154 21156 20455 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833905811 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 0 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21168] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21168/stat : 21168 (java) S 21154 21156 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833905811 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21169] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905811 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.39 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 2065 0 0 0 39 0 0 0 15 0 19 0 833905814 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.37 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 3197 0 0 0 37 0 0 0 15 0 19 0 833905814 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 86630 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.51 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 2112 0 0 0 51 0 0 0 15 0 19 0 833905814 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.77 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 6208 0 0 0 76 1 0 0 15 0 19 0 833905814 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21174] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21174/stat : 21174 (java) S 21154 21156 20455 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833905814 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21175] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21175/stat : 21175 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905913 10802200576 936463 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1665.9
Current children cumulated vsize (KiB) 10549024
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 21267
/proc/meminfo: memFree=22188184/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10549024 CPUtime=1725.99 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 945573 0 1 0 172483 116 0 0 22 0 19 0 833905808 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2637256 939411 2248 9 0 2627990 0
[pid=21156/tid=21157] ppid=21154 vsize=10549024 CPUtime=1720.64 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 848959 0 1 0 171971 93 0 0 25 0 19 0 833905808 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505968755 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21156/tid=21159] ppid=21154 vsize=10549024 CPUtime=0.47 cores=0,2,4,6
/proc/21156/task/21159/stat : 21159 (java) S 21154 21156 20455 0 -1 4202560 10711 0 0 0 46 1 0 0 15 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21160] ppid=21154 vsize=10549024 CPUtime=0.52 cores=0,2,4,6
/proc/21156/task/21160/stat : 21160 (java) S 21154 21156 20455 0 -1 4202560 11180 0 0 0 51 1 0 0 16 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21161] ppid=21154 vsize=10549024 CPUtime=0.47 cores=0,2,4,6
/proc/21156/task/21161/stat : 21161 (java) S 21154 21156 20455 0 -1 4202560 14088 0 0 0 45 2 0 0 15 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21162] ppid=21154 vsize=10549024 CPUtime=0.44 cores=0,2,4,6
/proc/21156/task/21162/stat : 21162 (java) S 21154 21156 20455 0 -1 4202560 7773 0 0 0 42 2 0 0 15 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21163] ppid=21154 vsize=10549024 CPUtime=0.42 cores=0,2,4,6
/proc/21156/task/21163/stat : 21163 (java) S 21154 21156 20455 0 -1 4202560 8611 0 0 0 41 1 0 0 15 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21164] ppid=21154 vsize=10549024 CPUtime=0.53 cores=0,2,4,6
/proc/21156/task/21164/stat : 21164 (java) S 21154 21156 20455 0 -1 4202560 10472 0 0 0 51 2 0 0 16 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21165] ppid=21154 vsize=10549024 CPUtime=0.51 cores=0,2,4,6
/proc/21156/task/21165/stat : 21165 (java) S 21154 21156 20455 0 -1 4202560 10300 0 0 0 50 1 0 0 16 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21166] ppid=21154 vsize=10549024 CPUtime=0.49 cores=0,2,4,6
/proc/21156/task/21166/stat : 21166 (java) S 21154 21156 20455 0 -1 4202560 13802 0 0 0 48 1 0 0 15 0 19 0 833905810 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21167] ppid=21154 vsize=10549024 CPUtime=0.09 cores=0,2,4,6
/proc/21156/task/21167/stat : 21167 (java) S 21154 21156 20455 0 -1 4202560 108 0 0 0 5 4 0 0 15 0 19 0 833905811 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 0 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21168] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21168/stat : 21168 (java) S 21154 21156 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21169] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.51 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 2112 0 0 0 51 0 0 0 15 0 19 0 833905814 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.77 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 6208 0 0 0 76 1 0 0 15 0 19 0 833905814 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21174] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21174/stat : 21174 (java) S 21154 21156 20455 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833905814 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21175] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21175/stat : 21175 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905913 10802200576 939411 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.99
Current children cumulated vsize (KiB) 10549024
[startup+1782.3 s]
/proc/loadavg: 2.25 2.08 2.02 3/501 21269
/proc/meminfo: memFree=22147112/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10549024 CPUtime=1786.07 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 949374 0 1 0 178490 117 0 0 22 0 19 0 833905808 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2637256 943065 2248 9 0 2627990 0
[pid=21156/tid=21157] ppid=21154 vsize=10549024 CPUtime=1780.58 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 848971 0 1 0 177965 93 0 0 25 0 19 0 833905808 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505974780 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21156/tid=21159] ppid=21154 vsize=10549024 CPUtime=0.48 cores=0,2,4,6
/proc/21156/task/21159/stat : 21159 (java) S 21154 21156 20455 0 -1 4202560 10711 0 0 0 47 1 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21160] ppid=21154 vsize=10549024 CPUtime=0.55 cores=0,2,4,6
/proc/21156/task/21160/stat : 21160 (java) S 21154 21156 20455 0 -1 4202560 12008 0 0 0 53 2 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21161] ppid=21154 vsize=10549024 CPUtime=0.48 cores=0,2,4,6
/proc/21156/task/21161/stat : 21161 (java) S 21154 21156 20455 0 -1 4202560 14088 0 0 0 46 2 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21162] ppid=21154 vsize=10549024 CPUtime=0.45 cores=0,2,4,6
/proc/21156/task/21162/stat : 21162 (java) S 21154 21156 20455 0 -1 4202560 8239 0 0 0 43 2 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21163] ppid=21154 vsize=10549024 CPUtime=0.45 cores=0,2,4,6
/proc/21156/task/21163/stat : 21163 (java) S 21154 21156 20455 0 -1 4202560 9886 0 0 0 44 1 0 0 16 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21164] ppid=21154 vsize=10549024 CPUtime=0.56 cores=0,2,4,6
/proc/21156/task/21164/stat : 21164 (java) S 21154 21156 20455 0 -1 4202560 11643 0 0 0 54 2 0 0 16 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21165] ppid=21154 vsize=10549024 CPUtime=0.52 cores=0,2,4,6
/proc/21156/task/21165/stat : 21165 (java) S 21154 21156 20455 0 -1 4202560 10332 0 0 0 51 1 0 0 16 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21166] ppid=21154 vsize=10549024 CPUtime=0.5 cores=0,2,4,6
/proc/21156/task/21166/stat : 21166 (java) S 21154 21156 20455 0 -1 4202560 13811 0 0 0 49 1 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21167] ppid=21154 vsize=10549024 CPUtime=0.1 cores=0,2,4,6
/proc/21156/task/21167/stat : 21167 (java) S 21154 21156 20455 0 -1 4202560 112 0 0 0 5 5 0 0 15 0 19 0 833905811 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 0 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21168] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21168/stat : 21168 (java) S 21154 21156 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21169] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.51 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 2112 0 0 0 51 0 0 0 15 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.77 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 6208 0 0 0 76 1 0 0 15 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21174] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21174/stat : 21174 (java) S 21154 21156 20455 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21175] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21175/stat : 21175 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905913 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (KiB) 10549024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.32 s]
/proc/loadavg: 2.19 2.07 2.02 3/501 21269
/proc/meminfo: memFree=22142012/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=10549024 CPUtime=1800.11 cores=0,2,4,6
/proc/21156/stat : 21156 (java) S 21154 21156 20455 0 -1 4202496 949377 0 1 0 179894 117 0 0 22 0 19 0 833905808 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 2637256 943065 2248 9 0 2627990 0
[pid=21156/tid=21157] ppid=21154 vsize=10549024 CPUtime=1794.6 cores=0,2,4,6
/proc/21156/task/21157/stat : 21157 (java) R 21154 21156 20455 0 -1 4202560 848974 0 1 0 179367 93 0 0 25 0 19 0 833905808 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 46912505650198 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21156/tid=21159] ppid=21154 vsize=10549024 CPUtime=0.48 cores=0,2,4,6
/proc/21156/task/21159/stat : 21159 (java) S 21154 21156 20455 0 -1 4202560 10711 0 0 0 47 1 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21160] ppid=21154 vsize=10549024 CPUtime=0.55 cores=0,2,4,6
/proc/21156/task/21160/stat : 21160 (java) S 21154 21156 20455 0 -1 4202560 12008 0 0 0 53 2 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21161] ppid=21154 vsize=10549024 CPUtime=0.49 cores=0,2,4,6
/proc/21156/task/21161/stat : 21161 (java) S 21154 21156 20455 0 -1 4202560 14088 0 0 0 47 2 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21162] ppid=21154 vsize=10549024 CPUtime=0.46 cores=0,2,4,6
/proc/21156/task/21162/stat : 21162 (java) S 21154 21156 20455 0 -1 4202560 8239 0 0 0 44 2 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21163] ppid=21154 vsize=10549024 CPUtime=0.45 cores=0,2,4,6
/proc/21156/task/21163/stat : 21163 (java) S 21154 21156 20455 0 -1 4202560 9886 0 0 0 44 1 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21164] ppid=21154 vsize=10549024 CPUtime=0.56 cores=0,2,4,6
/proc/21156/task/21164/stat : 21164 (java) S 21154 21156 20455 0 -1 4202560 11643 0 0 0 54 2 0 0 16 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21165] ppid=21154 vsize=10549024 CPUtime=0.53 cores=0,2,4,6
/proc/21156/task/21165/stat : 21165 (java) S 21154 21156 20455 0 -1 4202560 10332 0 0 0 52 1 0 0 16 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21166] ppid=21154 vsize=10549024 CPUtime=0.5 cores=0,2,4,6
/proc/21156/task/21166/stat : 21166 (java) S 21154 21156 20455 0 -1 4202560 13811 0 0 0 49 1 0 0 15 0 19 0 833905810 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21167] ppid=21154 vsize=10549024 CPUtime=0.1 cores=0,2,4,6
/proc/21156/task/21167/stat : 21167 (java) S 21154 21156 20455 0 -1 4202560 112 0 0 0 5 5 0 0 15 0 19 0 833905811 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 0 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21168] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21168/stat : 21168 (java) S 21154 21156 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21169] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21169/stat : 21169 (java) S 21154 21156 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833905811 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21170] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21170/stat : 21170 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101521841 0 4 0 16800975 18446604468461155520 0 0 -1 6 0 0 0
[pid=21156/tid=21171] ppid=21154 vsize=10549024 CPUtime=0.51 cores=0,2,4,6
/proc/21156/task/21171/stat : 21171 (java) S 21154 21156 20455 0 -1 4202560 2112 0 0 0 51 0 0 0 15 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 0 0 0 0
[pid=21156/tid=21172] ppid=21154 vsize=10549024 CPUtime=0.77 cores=0,2,4,6
/proc/21156/task/21172/stat : 21172 (java) S 21154 21156 20455 0 -1 4202560 6208 0 0 0 76 1 0 0 15 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 4 0 0 0
[pid=21156/tid=21173] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21173/stat : 21173 (java) S 21154 21156 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514137 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21174] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21174/stat : 21174 (java) S 21154 21156 20455 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833905814 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
[pid=21156/tid=21175] ppid=21154 vsize=10549024 CPUtime=0 cores=0,2,4,6
/proc/21156/task/21175/stat : 21175 (java) S 21154 21156 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833905913 10802200576 943065 33554432000 1073741824 1073778376 140736672213104 18446744073709551615 248101514752 0 4 0 16800975 18446604468461155520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10549024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.42 s]
/proc/loadavg: 2.19 2.07 2.02 3/501 21269
/proc/meminfo: memFree=22142012/32950928 swapFree=45617076/67111528
[pid=21156] ppid=21154 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/21156/stat : 21156 (java) Z 21154 21156 20455 0 -1 4203548 949405 0 1 0 179896 124 0 0 17 0 2 0 833905808 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21156/statm: 0 0 0 0 0 0 0
[pid=21156/tid=21175] ppid=21154 vsize=0 CPUtime=0.07 cores=0,2,4,6
/proc/21156/task/21175/stat : 21175 (java) R 21154 21156 20455 0 -1 4203588 7 0 0 0 0 7 0 0 18 0 2 0 833905913 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.49
CPU time (s): 1800.28
CPU user time (s): 1798.97
CPU system time (s): 1.3158
CPU usage (%): 100.211
Max. virtual memory (cumulated for all children) (KiB): 10549292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.3158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949405
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49834
involuntary context switches= 17159
runsolver used 8.82766 second user time and 18.9691 second system time
The end