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-3735040-1338747257/watcher-3735040-1338747257 -o /tmp/evaluation-result-3735040-1338747257/solver-3735040-1338747257 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735040-1338747257.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.05 1.61 1.85 8/195 19932
/proc/meminfo: memFree=28718100/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 1186 0 0 0 0 0 0 0 20 0 2 0 340850456 94085120 904 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 22954 901 682 9 0 16769 0
[pid=19932/tid=19933] ppid=19930 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) R 19930 19932 19811 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 2 0 340850457 94019584 915 33554432000 1073741824 1073778376 140736641549264 140736641538328 140113362269719 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.080795 s]
/proc/loadavg: 1.05 1.61 1.85 8/195 19932
/proc/meminfo: memFree=28718100/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 3898 0 1 0 5 1 0 0 20 0 18 0 340850456 2764726272 5616 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 674982 5616 1772 9 0 665676 0
[pid=19932/tid=19933] ppid=19930 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) R 19930 19932 19811 0 -1 4202560 2687 0 1 0 5 0 0 0 20 0 18 0 340850457 2764726272 5616 33554432000 1073741824 1073778376 140736641549264 140113355725744 215124623029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100289 s]
/proc/loadavg: 1.05 1.61 1.85 8/195 19932
/proc/meminfo: memFree=28718100/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 4687 0 1 0 9 1 0 0 20 0 18 0 340850456 2764726272 6400 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 674982 6400 2109 9 0 665676 0
[pid=19932/tid=19933] ppid=19930 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) R 19930 19932 19811 0 -1 4202560 2726 0 1 0 6 1 0 0 20 0 18 0 340850457 2764726272 6400 33554432000 1073741824 1073778376 140736641549264 140113355714680 140113363154156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300264 s]
/proc/loadavg: 1.05 1.61 1.85 8/195 19932
/proc/meminfo: memFree=28718100/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2699928 CPUtime=0.57 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 11382 0 1 0 55 2 0 0 20 0 18 0 340850456 2764726272 12123 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 674982 12635 2219 9 0 665676 0
[pid=19932/tid=19933] ppid=19930 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) R 19930 19932 19811 0 -1 4202560 2784 0 1 0 26 1 0 0 20 0 18 0 340850457 2764726272 12635 33554432000 1073741824 1073778376 140736641549264 140113355726536 140113191826402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 2699928
[startup+0.70027 s]
/proc/loadavg: 1.05 1.61 1.85 8/195 19932
/proc/meminfo: memFree=28718100/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2699928 CPUtime=1.4 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 18737 0 1 0 135 5 0 0 20 0 18 0 340850456 2764726272 45235 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 674982 45235 2232 9 0 665676 0
[pid=19932/tid=19933] ppid=19930 vsize=2699928 CPUtime=0.67 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) R 19930 19932 19811 0 -1 4202560 2840 0 1 0 64 3 0 0 20 0 18 0 340850457 2764726272 45235 33554432000 1073741824 1073778376 140736641549264 140113355726536 140113191811753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 2699928
[startup+1.50082 s]
/proc/loadavg: 1.05 1.61 1.85 11/221 19958
/proc/meminfo: memFree=28338448/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2966184 CPUtime=3.59 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 19802 0 1 0 346 13 0 0 20 0 22 0 340850456 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 741546 108282 2267 9 0 732240 0
[pid=19932/tid=19933] ppid=19930 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) S 19930 19932 19811 0 -1 4202560 2890 0 1 0 80 5 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113355728024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19935] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19935/stat : 19935 (java) S 19930 19932 19811 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113340009000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19936] ppid=19930 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/19932/task/19936/stat : 19936 (java) S 19930 19932 19811 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113338956200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19937] ppid=19930 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/19932/task/19937/stat : 19937 (java) S 19930 19932 19811 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113337903400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19938] ppid=19930 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/19932/task/19938/stat : 19938 (java) S 19930 19932 19811 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113336850600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19939] ppid=19930 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/19932/task/19939/stat : 19939 (java) S 19930 19932 19811 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113335798824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19940] ppid=19930 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/19932/task/19940/stat : 19940 (java) S 19930 19932 19811 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113334746024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19941] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19941/stat : 19941 (java) S 19930 19932 19811 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113333693224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19942] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19942/stat : 19942 (java) S 19930 19932 19811 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340850457 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113332640424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19943] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19943/stat : 19943 (java) S 19930 19932 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113320229352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19944] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19944/stat : 19944 (java) S 19930 19932 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113319175416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19945] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19945/stat : 19945 (java) S 19930 19932 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113318122504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19946] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19946/stat : 19946 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113317070992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19947] ppid=19930 vsize=2966184 CPUtime=0.8 cores=0,2,4,6
/proc/19932/task/19947/stat : 19947 (java) S 19930 19932 19811 0 -1 4202560 9218 0 0 0 79 1 0 0 20 0 22 0 340850462 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113316019128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19948] ppid=19930 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/19932/task/19948/stat : 19948 (java) S 19930 19932 19811 0 -1 4202560 6228 0 0 0 57 0 0 0 20 0 22 0 340850462 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113314966328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19949] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19949/stat : 19949 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113313913720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19950] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19950/stat : 19950 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113312861128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19955] ppid=19930 vsize=2966184 CPUtime=0.54 cores=0,2,4,6
/proc/19932/task/19955/stat : 19955 (java) R 19930 19932 19811 0 -1 4202560 67 0 0 0 52 2 0 0 20 0 22 0 340850544 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113311804176 140113192269451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19956] ppid=19930 vsize=2966184 CPUtime=0.53 cores=0,2,4,6
/proc/19932/task/19956/stat : 19956 (java) R 19930 19932 19811 0 -1 4202560 104 0 0 0 53 0 0 0 20 0 22 0 340850544 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113310752216 140113191484413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19957] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19957/stat : 19957 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113191363496 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19958] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19958/stat : 19958 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 108282 33554432000 1073741824 1073778376 140736641549264 140113190310696 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 2966184
[startup+3.10074 s]
/proc/loadavg: 1.37 1.66 1.87 17/221 19958
/proc/meminfo: memFree=28107584/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2966184 CPUtime=7.45 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 19919 0 1 0 727 18 0 0 20 0 22 0 340850456 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 741546 120094 2268 9 0 732240 0
[pid=19932/tid=19933] ppid=19930 vsize=2966184 CPUtime=0.86 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) S 19930 19932 19811 0 -1 4202560 2890 0 1 0 81 5 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113355728024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19935] ppid=19930 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/19932/task/19935/stat : 19935 (java) S 19930 19932 19811 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113340009000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19936] ppid=19930 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/19932/task/19936/stat : 19936 (java) S 19930 19932 19811 0 -1 4202560 29 0 0 0 8 2 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113338956200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19937] ppid=19930 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/19932/task/19937/stat : 19937 (java) S 19930 19932 19811 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113337903400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19938] ppid=19930 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/19932/task/19938/stat : 19938 (java) S 19930 19932 19811 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113336850600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19939] ppid=19930 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/19932/task/19939/stat : 19939 (java) S 19930 19932 19811 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113335798824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19940] ppid=19930 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/19932/task/19940/stat : 19940 (java) S 19930 19932 19811 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113334746024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19941] ppid=19930 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/19932/task/19941/stat : 19941 (java) S 19930 19932 19811 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113333693224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19942] ppid=19930 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/19932/task/19942/stat : 19942 (java) S 19930 19932 19811 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 340850457 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113332640424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19943] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19943/stat : 19943 (java) S 19930 19932 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113320229352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19944] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19944/stat : 19944 (java) S 19930 19932 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113319175416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19945] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19945/stat : 19945 (java) S 19930 19932 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113318122504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19946] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19946/stat : 19946 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113317070992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19947] ppid=19930 vsize=2966184 CPUtime=1.16 cores=0,2,4,6
/proc/19932/task/19947/stat : 19947 (java) R 19930 19932 19811 0 -1 4202560 9251 0 0 0 115 1 0 0 20 0 22 0 340850462 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113316019128 215127991883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19948] ppid=19930 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/19932/task/19948/stat : 19948 (java) S 19930 19932 19811 0 -1 4202560 6229 0 0 0 76 0 0 0 20 0 22 0 340850462 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113314966328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19949] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19949/stat : 19949 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113313913720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19950] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19950/stat : 19950 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113312861128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19955] ppid=19930 vsize=2966184 CPUtime=2.03 cores=0,2,4,6
/proc/19932/task/19955/stat : 19955 (java) R 19930 19932 19811 0 -1 4202560 70 0 0 0 201 2 0 0 20 0 22 0 340850544 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113311806056 140113192269505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19956] ppid=19930 vsize=2966184 CPUtime=2.04 cores=0,2,4,6
/proc/19932/task/19956/stat : 19956 (java) R 19930 19932 19811 0 -1 4202560 105 0 0 0 204 0 0 0 20 0 22 0 340850544 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113310753336 140113192051913 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19957] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19957/stat : 19957 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113191363496 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19958] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19958/stat : 19958 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 120094 33554432000 1073741824 1073778376 140736641549264 140113190310696 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 2966184
[startup+6.30083 s]
/proc/loadavg: 1.37 1.66 1.87 5/221 19958
/proc/meminfo: memFree=28071900/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2966184 CPUtime=14.22 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 20051 0 1 0 1398 24 0 0 20 0 22 0 340850456 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 741546 135822 2272 9 0 732240 0
[pid=19932/tid=19933] ppid=19930 vsize=2966184 CPUtime=0.86 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) S 19930 19932 19811 0 -1 4202560 2890 0 1 0 81 5 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113355728024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19935] ppid=19930 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/19932/task/19935/stat : 19935 (java) S 19930 19932 19811 0 -1 4202560 39 0 0 0 9 2 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113340009000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19936] ppid=19930 vsize=2966184 CPUtime=0.19 cores=0,2,4,6
/proc/19932/task/19936/stat : 19936 (java) S 19930 19932 19811 0 -1 4202560 50 0 0 0 16 3 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113338956200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19937] ppid=19930 vsize=2966184 CPUtime=0.16 cores=0,2,4,6
/proc/19932/task/19937/stat : 19937 (java) S 19930 19932 19811 0 -1 4202560 37 0 0 0 14 2 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113337903400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19938] ppid=19930 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/19932/task/19938/stat : 19938 (java) S 19930 19932 19811 0 -1 4202560 37 0 0 0 9 2 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113336850600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19939] ppid=19930 vsize=2966184 CPUtime=0.15 cores=0,2,4,6
/proc/19932/task/19939/stat : 19939 (java) S 19930 19932 19811 0 -1 4202560 53 0 0 0 12 3 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113335798824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19940] ppid=19930 vsize=2966184 CPUtime=0.12 cores=0,2,4,6
/proc/19932/task/19940/stat : 19940 (java) S 19930 19932 19811 0 -1 4202560 27 0 0 0 10 2 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113334746024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19941] ppid=19930 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/19932/task/19941/stat : 19941 (java) S 19930 19932 19811 0 -1 4202560 19 0 0 0 9 0 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113333693224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19942] ppid=19930 vsize=2966184 CPUtime=0.12 cores=0,2,4,6
/proc/19932/task/19942/stat : 19942 (java) S 19930 19932 19811 0 -1 4202560 32 0 0 0 10 2 0 0 20 0 22 0 340850457 3037372416 135822 33554432000 1073741824 1073778376 140736641549264 140113332640424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=19932/tid=19938] ppid=19930 vsize=2966184 CPUtime=7.7 cores=0,2,4,6
/proc/19932/task/19938/stat : 19938 (java) S 19930 19932 19811 0 -1 4202560 299 0 0 0 764 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113336850600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19939] ppid=19930 vsize=2966184 CPUtime=8.41 cores=0,2,4,6
/proc/19932/task/19939/stat : 19939 (java) S 19930 19932 19811 0 -1 4202560 320 0 0 0 834 7 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113335798824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19940] ppid=19930 vsize=2966184 CPUtime=7.82 cores=0,2,4,6
/proc/19932/task/19940/stat : 19940 (java) S 19930 19932 19811 0 -1 4202560 295 0 0 0 777 5 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113334746024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19941] ppid=19930 vsize=2966184 CPUtime=7.79 cores=0,2,4,6
/proc/19932/task/19941/stat : 19941 (java) S 19930 19932 19811 0 -1 4202560 291 0 0 0 773 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113333693224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19942] ppid=19930 vsize=2966184 CPUtime=7.75 cores=0,2,4,6
/proc/19932/task/19942/stat : 19942 (java) S 19930 19932 19811 0 -1 4202560 309 0 0 0 768 7 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113332640424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19943] ppid=19930 vsize=2966184 CPUtime=5.83 cores=0,2,4,6
/proc/19932/task/19943/stat : 19943 (java) S 19930 19932 19811 0 -1 4202560 22368 0 0 0 532 51 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113320229352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19944] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19944/stat : 19944 (java) S 19930 19932 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113319175416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19945] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19945/stat : 19945 (java) S 19930 19932 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113318122504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19946] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19946/stat : 19946 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113317070992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19947] ppid=19930 vsize=2966184 CPUtime=2.32 cores=0,2,4,6
/proc/19932/task/19947/stat : 19947 (java) S 19930 19932 19811 0 -1 4202560 10076 0 0 0 231 1 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113316019128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19948] ppid=19930 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/19932/task/19948/stat : 19948 (java) S 19930 19932 19811 0 -1 4202560 6236 0 0 0 85 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113314966328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19949] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19949/stat : 19949 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113313913720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19950] ppid=19930 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/19932/task/19950/stat : 19950 (java) S 19930 19932 19811 0 -1 4202560 51 0 0 0 16 20 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113312861128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19957] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19957/stat : 19957 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113191363496 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19958] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19958/stat : 19958 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113190310696 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19969] ppid=19930 vsize=2966184 CPUtime=433.43 cores=0,2,4,6
/proc/19932/task/19969/stat : 19969 (java) R 19930 19932 19811 0 -1 4202560 256 0 0 0 43336 7 0 0 20 0 22 0 340893862 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113311803808 140113192281346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19970] ppid=19930 vsize=2966184 CPUtime=433.42 cores=0,2,4,6
/proc/19932/task/19970/stat : 19970 (java) R 19930 19932 19811 0 -1 4202560 225 0 0 0 43335 7 0 0 20 0 22 0 340893862 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113310751840 140113192052218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1783.77
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+889.907 s]
/proc/loadavg: 4.00 3.87 3.17 4/216 20029
/proc/meminfo: memFree=27982596/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2966184 CPUtime=1798.89 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 47354 0 1 0 179740 149 0 0 20 0 22 0 340850456 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 741546 169730 2285 9 0 732240 0
[pid=19932/tid=19933] ppid=19930 vsize=2966184 CPUtime=0.89 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) S 19930 19932 19811 0 -1 4202560 2909 0 1 0 83 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113355728024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19935] ppid=19930 vsize=2966184 CPUtime=8.37 cores=0,2,4,6
/proc/19932/task/19935/stat : 19935 (java) S 19930 19932 19811 0 -1 4202560 310 0 0 0 829 8 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113340009000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19936] ppid=19930 vsize=2966184 CPUtime=8.11 cores=0,2,4,6
/proc/19932/task/19936/stat : 19936 (java) S 19930 19932 19811 0 -1 4202560 318 0 0 0 803 8 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113338956200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19937] ppid=19930 vsize=2966184 CPUtime=8.28 cores=0,2,4,6
/proc/19932/task/19937/stat : 19937 (java) S 19930 19932 19811 0 -1 4202560 308 0 0 0 822 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113337903400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19938] ppid=19930 vsize=2966184 CPUtime=7.78 cores=0,2,4,6
/proc/19932/task/19938/stat : 19938 (java) S 19930 19932 19811 0 -1 4202560 299 0 0 0 772 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113336850600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19939] ppid=19930 vsize=2966184 CPUtime=8.49 cores=0,2,4,6
/proc/19932/task/19939/stat : 19939 (java) S 19930 19932 19811 0 -1 4202560 320 0 0 0 842 7 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113335798824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19940] ppid=19930 vsize=2966184 CPUtime=7.94 cores=0,2,4,6
/proc/19932/task/19940/stat : 19940 (java) S 19930 19932 19811 0 -1 4202560 295 0 0 0 789 5 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113334746024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19941] ppid=19930 vsize=2966184 CPUtime=7.88 cores=0,2,4,6
/proc/19932/task/19941/stat : 19941 (java) S 19930 19932 19811 0 -1 4202560 291 0 0 0 782 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113333693224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19942] ppid=19930 vsize=2966184 CPUtime=7.83 cores=0,2,4,6
/proc/19932/task/19942/stat : 19942 (java) S 19930 19932 19811 0 -1 4202560 309 0 0 0 776 7 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113332640424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19943] ppid=19930 vsize=2966184 CPUtime=6.24 cores=0,2,4,6
/proc/19932/task/19943/stat : 19943 (java) S 19930 19932 19811 0 -1 4202560 23268 0 0 0 572 52 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113320229352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19944] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19944/stat : 19944 (java) S 19930 19932 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113319175416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19945] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19945/stat : 19945 (java) S 19930 19932 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113318122504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19946] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19946/stat : 19946 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113317070992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19947] ppid=19930 vsize=2966184 CPUtime=2.32 cores=0,2,4,6
/proc/19932/task/19947/stat : 19947 (java) S 19930 19932 19811 0 -1 4202560 10076 0 0 0 231 1 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113316019128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19948] ppid=19930 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/19932/task/19948/stat : 19948 (java) S 19930 19932 19811 0 -1 4202560 6236 0 0 0 85 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113314966328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19949] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19949/stat : 19949 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113313913720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19950] ppid=19930 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/19932/task/19950/stat : 19950 (java) S 19930 19932 19811 0 -1 4202560 51 0 0 0 16 21 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113312861128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19957] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19957/stat : 19957 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113191363496 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19958] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19958/stat : 19958 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113190310696 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19969] ppid=19930 vsize=2966184 CPUtime=440.39 cores=0,2,4,6
/proc/19932/task/19969/stat : 19969 (java) R 19930 19932 19811 0 -1 4202560 260 0 0 0 44032 7 0 0 20 0 22 0 340893862 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113311804640 140113192052330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19970] ppid=19930 vsize=2966184 CPUtime=440.38 cores=0,2,4,6
/proc/19932/task/19970/stat : 19970 (java) R 19930 19932 19811 0 -1 4202560 230 0 0 0 44031 7 0 0 20 0 22 0 340893862 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113310751072 140113192268873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.89
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+889.907 s]
/proc/loadavg: 4.00 3.87 3.17 4/216 20029
/proc/meminfo: memFree=27982596/32873844 swapFree=7620/7620
[pid=19932] ppid=19930 vsize=2966184 CPUtime=1798.89 cores=0,2,4,6
/proc/19932/stat : 19932 (java) S 19930 19932 19811 0 -1 4202496 47354 0 1 0 179740 149 0 0 20 0 22 0 340850456 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140736641540400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19932/statm: 741546 169730 2285 9 0 732240 0
[pid=19932/tid=19933] ppid=19930 vsize=2966184 CPUtime=0.89 cores=0,2,4,6
/proc/19932/task/19933/stat : 19933 (java) S 19930 19932 19811 0 -1 4202560 2909 0 1 0 83 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113355728024 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19935] ppid=19930 vsize=2966184 CPUtime=8.37 cores=0,2,4,6
/proc/19932/task/19935/stat : 19935 (java) S 19930 19932 19811 0 -1 4202560 310 0 0 0 829 8 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113340009000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19936] ppid=19930 vsize=2966184 CPUtime=8.11 cores=0,2,4,6
/proc/19932/task/19936/stat : 19936 (java) S 19930 19932 19811 0 -1 4202560 318 0 0 0 803 8 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113338956200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19937] ppid=19930 vsize=2966184 CPUtime=8.28 cores=0,2,4,6
/proc/19932/task/19937/stat : 19937 (java) S 19930 19932 19811 0 -1 4202560 308 0 0 0 822 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113337903400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19938] ppid=19930 vsize=2966184 CPUtime=7.78 cores=0,2,4,6
/proc/19932/task/19938/stat : 19938 (java) S 19930 19932 19811 0 -1 4202560 299 0 0 0 772 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113336850600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19939] ppid=19930 vsize=2966184 CPUtime=8.49 cores=0,2,4,6
/proc/19932/task/19939/stat : 19939 (java) S 19930 19932 19811 0 -1 4202560 320 0 0 0 842 7 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113335798824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19940] ppid=19930 vsize=2966184 CPUtime=7.94 cores=0,2,4,6
/proc/19932/task/19940/stat : 19940 (java) S 19930 19932 19811 0 -1 4202560 295 0 0 0 789 5 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113334746024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19941] ppid=19930 vsize=2966184 CPUtime=7.88 cores=0,2,4,6
/proc/19932/task/19941/stat : 19941 (java) S 19930 19932 19811 0 -1 4202560 291 0 0 0 782 6 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113333693224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19942] ppid=19930 vsize=2966184 CPUtime=7.83 cores=0,2,4,6
/proc/19932/task/19942/stat : 19942 (java) S 19930 19932 19811 0 -1 4202560 309 0 0 0 776 7 0 0 20 0 22 0 340850457 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113332640424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19943] ppid=19930 vsize=2966184 CPUtime=6.24 cores=0,2,4,6
/proc/19932/task/19943/stat : 19943 (java) S 19930 19932 19811 0 -1 4202560 23268 0 0 0 572 52 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113320229352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19944] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19944/stat : 19944 (java) S 19930 19932 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113319175416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19945] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19945/stat : 19945 (java) S 19930 19932 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340850459 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113318122504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19946] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19946/stat : 19946 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113317070992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19947] ppid=19930 vsize=2966184 CPUtime=2.32 cores=0,2,4,6
/proc/19932/task/19947/stat : 19947 (java) S 19930 19932 19811 0 -1 4202560 10076 0 0 0 231 1 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113316019128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19948] ppid=19930 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/19932/task/19948/stat : 19948 (java) S 19930 19932 19811 0 -1 4202560 6236 0 0 0 85 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113314966328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19932/tid=19949] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19949/stat : 19949 (java) S 19930 19932 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113313913720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19932/tid=19950] ppid=19930 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/19932/task/19950/stat : 19950 (java) S 19930 19932 19811 0 -1 4202560 51 0 0 0 16 21 0 0 20 0 22 0 340850462 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113312861128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19957] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19957/stat : 19957 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113191363496 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19958] ppid=19930 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19932/task/19958/stat : 19958 (java) S 19930 19932 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340850546 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113190310696 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19932/tid=19969] ppid=19930 vsize=2966184 CPUtime=440.39 cores=0,2,4,6
/proc/19932/task/19969/stat : 19969 (java) R 19930 19932 19811 0 -1 4202560 260 0 0 0 44032 7 0 0 20 0 22 0 340893862 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113311804640 140113192052330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19932/tid=19970] ppid=19930 vsize=2966184 CPUtime=440.38 cores=0,2,4,6
/proc/19932/task/19970/stat : 19970 (java) R 19930 19932 19811 0 -1 4202560 230 0 0 0 44031 7 0 0 20 0 22 0 340893862 3037372416 169730 33554432000 1073741824 1073778376 140736641549264 140113310751072 140113192268873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.89
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19932 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=488044
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=840720
# CPU time returned by wait4() is 1797.33
# while last known CPU time is 1798.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.28996
# lost CPU user time (s): 1.43996
# lost CPU system time (s): -0.15
Real time (s): 889.957
CPU time (s): 1800.18
CPU user time (s): 1798.84
CPU system time (s): 1.34
CPU usage (%): 202.277
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.49
system time used= 1.84072
maximum resident set size= 682520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47388
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= 47566
involuntary context switches= 102443
runsolver used 3.36949 second user time and 8.40572 second system time
The end