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-3738051-1338765296/watcher-3738051-1338765296 -o /tmp/evaluation-result-3738051-1338765296/solver-3738051-1338765296 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3738051-1338765296.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.99 2.02 2.00 3/196 31209
/proc/meminfo: memFree=26205040/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/31209/stat : 31209 (java6) D 31207 31209 28535 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342654927 9515008 182 33554432000 1073741824 1073778376 140734145141456 140734145132488 273589026485 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/31209/statm: 2323 182 140 9 0 71 0
[startup+0.026824 s]
/proc/loadavg: 1.99 2.02 2.00 3/196 31209
/proc/meminfo: memFree=26205040/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2104932 CPUtime=0 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 2794 0 1 0 0 0 0 0 20 0 10 0 342654927 2155450368 2986 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 526233 2988 1008 9 0 517342 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2104932
[startup+0.100245 s]
/proc/loadavg: 1.99 2.02 2.00 3/196 31209
/proc/meminfo: memFree=26205040/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 4354 0 1 0 7 1 0 0 20 0 18 0 342654927 2712133632 6073 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 662142 6084 2064 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300219 s]
/proc/loadavg: 1.99 2.02 2.00 3/196 31209
/proc/meminfo: memFree=26205040/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 7478 0 1 0 40 2 0 0 20 0 19 0 342654927 2780295168 9268 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 9268 2236 9 0 669476 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2715132
[startup+0.700239 s]
/proc/loadavg: 1.99 2.02 2.00 3/196 31209
/proc/meminfo: memFree=26205040/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=1.12 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 8272 0 1 0 109 3 0 0 20 0 19 0 342654927 2780295168 22534 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 22534 2245 9 0 669476 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2715132
[startup+1.50073 s]
/proc/loadavg: 1.99 2.02 2.00 3/215 31228
/proc/meminfo: memFree=26086220/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=1.98 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 8321 0 1 0 193 5 0 0 20 0 19 0 342654927 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 45577 2247 9 0 669476 0
[pid=31209/tid=31211] ppid=31207 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/31209/task/31211/stat : 31211 (java) R 31207 31209 28535 0 -1 4202560 2823 0 1 0 143 3 0 0 20 0 19 0 342654929 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471616283128 140471486156072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31212] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31212/stat : 31212 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471482756008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31213] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31213/stat : 31213 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471481703464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31214] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31214/stat : 31214 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471480650408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31215] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31215/stat : 31215 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471479597864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31216] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31216/stat : 31216 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471478544808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31217] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31217/stat : 31217 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471477492264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31218] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31218/stat : 31218 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471476439208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31219] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31219/stat : 31219 (java) S 31207 31209 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140471475386664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31220] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31220/stat : 31220 (java) S 31207 31209 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342654931 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470992735080 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31221] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31221/stat : 31221 (java) S 31207 31209 28535 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470991681400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31222] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31222/stat : 31222 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470990628232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31223] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31223/stat : 31223 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470989576976 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31224] ppid=31207 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2206 0 0 0 26 0 0 0 20 0 19 0 342654935 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2098 0 0 0 21 0 0 0 20 0 19 0 342654935 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654953 2780295168 45577 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2715132
[startup+3.10073 s]
/proc/loadavg: 1.99 2.02 2.00 3/215 31228
/proc/meminfo: memFree=25975008/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=3.58 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 8383 0 1 0 351 7 0 0 20 0 19 0 342654927 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 77321 2247 9 0 669476 0
[pid=31209/tid=31211] ppid=31207 vsize=2715132 CPUtime=3.05 cores=0,2,4,6
/proc/31209/task/31211/stat : 31211 (java) R 31207 31209 28535 0 -1 4202560 2885 0 1 0 299 6 0 0 20 0 19 0 342654929 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471616283128 140471486134390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31212] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31212/stat : 31212 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471482756008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31213] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31213/stat : 31213 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471481703464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31214] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31214/stat : 31214 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471480650408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31215] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31215/stat : 31215 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471479597864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31216] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31216/stat : 31216 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471478544808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31217] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31217/stat : 31217 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471477492264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31218] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31218/stat : 31218 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471476439208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31219] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31219/stat : 31219 (java) S 31207 31209 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140471475386664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31220] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31220/stat : 31220 (java) S 31207 31209 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342654931 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470992735080 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31221] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31221/stat : 31221 (java) S 31207 31209 28535 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470991681400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31222] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31222/stat : 31222 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470990628232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31223] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31223/stat : 31223 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470989576976 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31224] ppid=31207 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2206 0 0 0 27 0 0 0 20 0 19 0 342654935 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2098 0 0 0 21 0 0 0 20 0 19 0 342654935 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654953 2780295168 77321 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 2715132
[startup+6.30075 s]
/proc/loadavg: 1.99 2.02 2.00 3/215 31228
/proc/meminfo: memFree=25829352/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=6.82 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 8468 0 1 0 672 10 0 0 20 0 19 0 342654927 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 95633 2261 9 0 669476 0
[pid=31209/tid=31211] ppid=31207 vsize=2715132 CPUtime=6.23 cores=0,2,4,6
/proc/31209/task/31211/stat : 31211 (java) R 31207 31209 28535 0 -1 4202560 2917 0 1 0 617 6 0 0 20 0 19 0 342654929 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471616283128 140471486135119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31212] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31212/stat : 31212 (java) S 31207 31209 28535 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471482756008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31213] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31213/stat : 31213 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471481703464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31214] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31214/stat : 31214 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471480650408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31215] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31215/stat : 31215 (java) S 31207 31209 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471479597864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31216] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31216/stat : 31216 (java) S 31207 31209 28535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471478544808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31217] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31217/stat : 31217 (java) S 31207 31209 28535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471477492264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31218] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31218/stat : 31218 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471476439208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31219] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31219/stat : 31219 (java) S 31207 31209 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342654930 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140471475386664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31220] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31220/stat : 31220 (java) S 31207 31209 28535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342654931 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470992735080 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31221] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31221/stat : 31221 (java) S 31207 31209 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470991681400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31222] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31222/stat : 31222 (java) S 31207 31209 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470990628232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31223] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31223/stat : 31223 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470989576976 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31224] ppid=31207 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2206 0 0 0 27 0 0 0 20 0 19 0 342654935 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2098 0 0 0 21 0 0 0 20 0 19 0 342654935 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654953 2780295168 95633 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=31209/tid=31224] ppid=31207 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2206 0 0 0 27 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2098 0 0 0 21 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2715132 CPUtime=0.72 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 99 0 0 0 39 33 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654953 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.81
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 31301
/proc/meminfo: memFree=24903456/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=1789.84 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 11654 0 1 0 178873 111 0 0 20 0 19 0 342654927 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 321780 2261 9 0 669476 0
[pid=31209/tid=31211] ppid=31207 vsize=2715132 CPUtime=1775.15 cores=0,2,4,6
/proc/31209/task/31211/stat : 31211 (java) R 31207 31209 28535 0 -1 4202560 2965 0 1 0 177481 34 0 0 20 0 19 0 342654929 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471616282000 140471486188071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31212] ppid=31207 vsize=2715132 CPUtime=1.18 cores=0,2,4,6
/proc/31209/task/31212/stat : 31212 (java) S 31207 31209 28535 0 -1 4202560 415 0 0 0 111 7 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471482756008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31213] ppid=31207 vsize=2715132 CPUtime=1.08 cores=0,2,4,6
/proc/31209/task/31213/stat : 31213 (java) S 31207 31209 28535 0 -1 4202560 396 0 0 0 101 7 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471481703464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31214] ppid=31207 vsize=2715132 CPUtime=1.05 cores=0,2,4,6
/proc/31209/task/31214/stat : 31214 (java) S 31207 31209 28535 0 -1 4202560 356 0 0 0 98 7 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471480650408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31215] ppid=31207 vsize=2715132 CPUtime=1.2 cores=0,2,4,6
/proc/31209/task/31215/stat : 31215 (java) S 31207 31209 28535 0 -1 4202560 352 0 0 0 110 10 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471479597864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31216] ppid=31207 vsize=2715132 CPUtime=1.04 cores=0,2,4,6
/proc/31209/task/31216/stat : 31216 (java) S 31207 31209 28535 0 -1 4202560 375 0 0 0 97 7 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471478544808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31217] ppid=31207 vsize=2715132 CPUtime=1.24 cores=0,2,4,6
/proc/31209/task/31217/stat : 31217 (java) S 31207 31209 28535 0 -1 4202560 357 0 0 0 113 11 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471477492264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31218] ppid=31207 vsize=2715132 CPUtime=1.02 cores=0,2,4,6
/proc/31209/task/31218/stat : 31218 (java) S 31207 31209 28535 0 -1 4202560 366 0 0 0 95 7 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471476439208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31219] ppid=31207 vsize=2715132 CPUtime=1.05 cores=0,2,4,6
/proc/31209/task/31219/stat : 31219 (java) S 31207 31209 28535 0 -1 4202560 406 0 0 0 98 7 0 0 20 0 19 0 342654930 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140471475386664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31220] ppid=31207 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/31209/task/31220/stat : 31220 (java) S 31207 31209 28535 0 -1 4202560 79 0 0 0 2 1 0 0 20 0 19 0 342654931 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470992735080 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31221] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31221/stat : 31221 (java) S 31207 31209 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470991681400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31222] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31222/stat : 31222 (java) S 31207 31209 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470990628232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31223] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31223/stat : 31223 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470989576976 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31224] ppid=31207 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2206 0 0 0 27 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2098 0 0 0 21 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2715132 CPUtime=0.76 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 103 0 0 0 41 35 0 0 20 0 19 0 342654935 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654953 2780295168 321780 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1789.84
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 31301
/proc/meminfo: memFree=24903456/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2715132 CPUtime=1800.01 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 11661 0 1 0 179890 111 0 0 20 0 19 0 342654927 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 678783 321785 2266 9 0 669476 0
[pid=31209/tid=31211] ppid=31207 vsize=2715132 CPUtime=1785.22 cores=0,2,4,6
/proc/31209/task/31211/stat : 31211 (java) R 31207 31209 28535 0 -1 4202560 2965 0 1 0 178487 35 0 0 20 0 19 0 342654929 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471616283144 140471486318144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31212] ppid=31207 vsize=2715132 CPUtime=1.18 cores=0,2,4,6
/proc/31209/task/31212/stat : 31212 (java) S 31207 31209 28535 0 -1 4202560 415 0 0 0 111 7 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471482756008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31213] ppid=31207 vsize=2715132 CPUtime=1.08 cores=0,2,4,6
/proc/31209/task/31213/stat : 31213 (java) S 31207 31209 28535 0 -1 4202560 396 0 0 0 101 7 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471481703464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31214] ppid=31207 vsize=2715132 CPUtime=1.05 cores=0,2,4,6
/proc/31209/task/31214/stat : 31214 (java) S 31207 31209 28535 0 -1 4202560 356 0 0 0 98 7 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471480650408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31215] ppid=31207 vsize=2715132 CPUtime=1.2 cores=0,2,4,6
/proc/31209/task/31215/stat : 31215 (java) S 31207 31209 28535 0 -1 4202560 352 0 0 0 110 10 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471479597864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31216] ppid=31207 vsize=2715132 CPUtime=1.04 cores=0,2,4,6
/proc/31209/task/31216/stat : 31216 (java) S 31207 31209 28535 0 -1 4202560 375 0 0 0 97 7 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471478544808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31217] ppid=31207 vsize=2715132 CPUtime=1.24 cores=0,2,4,6
/proc/31209/task/31217/stat : 31217 (java) S 31207 31209 28535 0 -1 4202560 357 0 0 0 113 11 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471477492264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31218] ppid=31207 vsize=2715132 CPUtime=1.02 cores=0,2,4,6
/proc/31209/task/31218/stat : 31218 (java) S 31207 31209 28535 0 -1 4202560 366 0 0 0 95 7 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471476439208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31219] ppid=31207 vsize=2715132 CPUtime=1.05 cores=0,2,4,6
/proc/31209/task/31219/stat : 31219 (java) S 31207 31209 28535 0 -1 4202560 406 0 0 0 98 7 0 0 20 0 19 0 342654930 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140471475386664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31220] ppid=31207 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/31209/task/31220/stat : 31220 (java) S 31207 31209 28535 0 -1 4202560 79 0 0 0 2 1 0 0 20 0 19 0 342654931 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470992735080 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31221] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31221/stat : 31221 (java) S 31207 31209 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470991681400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31222] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31222/stat : 31222 (java) S 31207 31209 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342654932 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470990628232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31223] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31223/stat : 31223 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470989576976 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31224] ppid=31207 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2213 0 0 0 35 0 0 0 20 0 19 0 342654935 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2098 0 0 0 21 0 0 0 20 0 19 0 342654935 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342654935 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2715132 CPUtime=0.76 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 103 0 0 0 41 35 0 0 20 0 19 0 342654935 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342654953 2780295168 321785 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 31301
/proc/meminfo: memFree=24903456/32873844 swapFree=7112/7112
[pid=31209] ppid=31207 vsize=2848260 CPUtime=1800.57 cores=0,2,4,6
/proc/31209/stat : 31209 (java) S 31207 31209 28535 0 -1 4202496 11708 0 1 0 179945 112 0 0 20 0 21 0 342654927 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140734060910736 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31209/statm: 712065 324376 2269 9 0 702758 0
[pid=31209/tid=31211] ppid=31207 vsize=2848260 CPUtime=1785.32 cores=0,2,4,6
/proc/31209/task/31211/stat : 31211 (java) R 31207 31209 28535 0 -1 4202560 2965 0 1 0 178497 35 0 0 20 0 21 0 342654929 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471616281040 140471486318176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31212] ppid=31207 vsize=2848260 CPUtime=1.22 cores=0,2,4,6
/proc/31209/task/31212/stat : 31212 (java) S 31207 31209 28535 0 -1 4202560 416 0 0 0 114 8 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471482756008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31213] ppid=31207 vsize=2848260 CPUtime=1.13 cores=0,2,4,6
/proc/31209/task/31213/stat : 31213 (java) S 31207 31209 28535 0 -1 4202560 397 0 0 0 106 7 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471481703464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31214] ppid=31207 vsize=2848260 CPUtime=1.08 cores=0,2,4,6
/proc/31209/task/31214/stat : 31214 (java) S 31207 31209 28535 0 -1 4202560 356 0 0 0 101 7 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471480650408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31215] ppid=31207 vsize=2848260 CPUtime=1.28 cores=0,2,4,6
/proc/31209/task/31215/stat : 31215 (java) S 31207 31209 28535 0 -1 4202560 357 0 0 0 118 10 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471479597864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31216] ppid=31207 vsize=2848260 CPUtime=1.11 cores=0,2,4,6
/proc/31209/task/31216/stat : 31216 (java) S 31207 31209 28535 0 -1 4202560 379 0 0 0 104 7 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471478544808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31217] ppid=31207 vsize=2848260 CPUtime=1.27 cores=0,2,4,6
/proc/31209/task/31217/stat : 31217 (java) S 31207 31209 28535 0 -1 4202560 359 0 0 0 115 12 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471477492264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31218] ppid=31207 vsize=2848260 CPUtime=1.04 cores=0,2,4,6
/proc/31209/task/31218/stat : 31218 (java) S 31207 31209 28535 0 -1 4202560 366 0 0 0 97 7 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471476439208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31219] ppid=31207 vsize=2848260 CPUtime=1.09 cores=0,2,4,6
/proc/31209/task/31219/stat : 31219 (java) S 31207 31209 28535 0 -1 4202560 407 0 0 0 101 8 0 0 20 0 21 0 342654930 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140471475386664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31209/tid=31220] ppid=31207 vsize=2848260 CPUtime=0.03 cores=0,2,4,6
/proc/31209/task/31220/stat : 31220 (java) S 31207 31209 28535 0 -1 4202560 80 0 0 0 2 1 0 0 20 0 21 0 342654931 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470992735080 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31221] ppid=31207 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31221/stat : 31221 (java) S 31207 31209 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342654932 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470991681400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31222] ppid=31207 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31222/stat : 31222 (java) S 31207 31209 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 342654932 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470990628232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31223] ppid=31207 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31223/stat : 31223 (java) S 31207 31209 28535 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 342654935 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470989576976 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31224] ppid=31207 vsize=2848260 CPUtime=0.35 cores=0,2,4,6
/proc/31209/task/31224/stat : 31224 (java) S 31207 31209 28535 0 -1 4202560 2213 0 0 0 35 0 0 0 20 0 21 0 342654935 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470988523832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31209/tid=31225] ppid=31207 vsize=2848260 CPUtime=0.23 cores=0,2,4,6
/proc/31209/task/31225/stat : 31225 (java) S 31207 31209 28535 0 -1 4202560 2101 0 0 0 23 0 0 0 20 0 21 0 342654935 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470987471288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31226] ppid=31207 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31226/stat : 31226 (java) S 31207 31209 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342654935 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470986418424 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31209/tid=31227] ppid=31207 vsize=2848260 CPUtime=0.76 cores=0,2,4,6
/proc/31209/task/31227/stat : 31227 (java) S 31207 31209 28535 0 -1 4202560 103 0 0 0 41 35 0 0 20 0 21 0 342654935 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470985366088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31209/tid=31228] ppid=31207 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/31209/task/31228/stat : 31228 (java) S 31207 31209 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342654953 2916618240 324376 33554432000 1073741824 1073778376 140734060919600 140470984312360 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31209 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=808147
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=510770
# CPU time returned by wait4() is 1796.32
# while last known CPU time is 1800.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.63
CPU time (s): 1800.57
CPU user time (s): 1799.45
CPU system time (s): 1.12
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.81
system time used= 1.51077
maximum resident set size= 1297508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11711
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39363
involuntary context switches= 19309
runsolver used 8.80166 second user time and 12.5621 second system time
The end