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-3731538-1338686516/watcher-3731538-1338686516 -o /tmp/evaluation-result-3731538-1338686516/solver-3731538-1338686516 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731538-1338686516.opb
running on 4 cores: 1,3,5,7
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: 2.18 1.94 1.92 3/195 16902
/proc/meminfo: memFree=26519496/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16902/stat : 16902 (java) D 16900 16902 15746 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334776253 9515008 183 33554432000 1073741824 1073778376 140735665622432 140735665613464 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/16902/statm: 2323 183 140 9 0 71 0
[startup+0.0172449 s]
/proc/loadavg: 2.18 1.94 1.92 3/195 16902
/proc/meminfo: memFree=26519496/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 1369 0 0 0 0 0 0 0 20 0 2 0 334776253 103964672 1051 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 25382 1051 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100307 s]
/proc/loadavg: 2.18 1.94 1.92 3/195 16902
/proc/meminfo: memFree=26519496/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 4922 0 1 0 7 1 0 0 20 0 18 0 334776253 3028844544 6108 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 739464 6111 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300316 s]
/proc/loadavg: 2.18 1.94 1.92 3/195 16902
/proc/meminfo: memFree=26519496/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 6062 0 1 0 43 1 0 0 20 0 18 0 334776253 3028844544 9193 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 739464 9193 2236 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700328 s]
/proc/loadavg: 2.18 1.94 1.92 3/195 16902
/proc/meminfo: memFree=26519496/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=2957856 CPUtime=1.29 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 9312 0 1 0 125 4 0 0 20 0 18 0 334776253 3028844544 44495 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 739464 44495 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2957856
[startup+1.50079 s]
/proc/loadavg: 2.18 1.94 1.92 3/213 16920
/proc/meminfo: memFree=26197012/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=2957856 CPUtime=2.18 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 9495 0 1 0 206 12 0 0 20 0 18 0 334776253 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 739464 115172 2269 9 0 729885 0
[pid=16902/tid=16904] ppid=16900 vsize=2957856 CPUtime=1.42 cores=1,3,5,7
/proc/16902/task/16904/stat : 16904 (java) R 16900 16902 15746 0 -1 4202560 3270 0 1 0 133 9 0 0 20 0 18 0 334776254 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402612043400 140402552161051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16905] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16905/stat : 16905 (java) S 16900 16902 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402477451560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16906] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16906/stat : 16906 (java) S 16900 16902 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402476398760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16907] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16907/stat : 16907 (java) S 16900 16902 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402475346472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16908] ppid=16900 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/16902/task/16908/stat : 16908 (java) S 16900 16902 15746 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402474293672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16909] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16909/stat : 16909 (java) S 16900 16902 15746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402473241384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16910] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16910/stat : 16910 (java) S 16900 16902 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402472188584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16911] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16911/stat : 16911 (java) S 16900 16902 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334776255 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402471136296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16912] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16912/stat : 16912 (java) S 16900 16902 15746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334776256 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402470083496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16913] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16913/stat : 16913 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334776257 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402457884904 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16914] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16914/stat : 16914 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334776257 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402456830968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16915] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16915/stat : 16915 (java) S 16900 16902 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334776257 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402455778568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16916] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334776260 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=2957856 CPUtime=0.32 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 2770 0 0 0 32 0 0 0 20 0 18 0 334776260 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 2222 0 0 0 27 0 0 0 20 0 18 0 334776260 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334776260 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334776260 3028844544 115172 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 2957856
[startup+3.1008 s]
/proc/loadavg: 2.17 1.94 1.92 3/213 16920
/proc/meminfo: memFree=26033980/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=2957856 CPUtime=4.17 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 9627 0 1 0 396 21 0 0 20 0 18 0 334776253 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 739464 130545 2269 9 0 729885 0
[pid=16902/tid=16904] ppid=16900 vsize=2957856 CPUtime=2.88 cores=1,3,5,7
/proc/16902/task/16904/stat : 16904 (java) R 16900 16902 15746 0 -1 4202560 3272 0 1 0 279 9 0 0 20 0 18 0 334776254 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402612043112 140402552136314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16905] ppid=16900 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/16902/task/16905/stat : 16905 (java) S 16900 16902 15746 0 -1 4202560 29 0 0 0 7 2 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402477451560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16906] ppid=16900 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/16902/task/16906/stat : 16906 (java) S 16900 16902 15746 0 -1 4202560 28 0 0 0 8 1 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402476398760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16907] ppid=16900 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/16902/task/16907/stat : 16907 (java) S 16900 16902 15746 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402475346472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16908] ppid=16900 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/16902/task/16908/stat : 16908 (java) S 16900 16902 15746 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402474293672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16909] ppid=16900 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/16902/task/16909/stat : 16909 (java) S 16900 16902 15746 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402473241384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16910] ppid=16900 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/16902/task/16910/stat : 16910 (java) S 16900 16902 15746 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402472188584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16911] ppid=16900 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/16902/task/16911/stat : 16911 (java) S 16900 16902 15746 0 -1 4202560 28 0 0 0 7 2 0 0 20 0 18 0 334776255 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402471136296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16912] ppid=16900 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/16902/task/16912/stat : 16912 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 5 1 0 0 20 0 18 0 334776256 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402470083496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16913] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16913/stat : 16913 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334776257 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402457884904 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16914] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16914/stat : 16914 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334776257 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402456830968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16915] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16915/stat : 16915 (java) S 16900 16902 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334776257 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402455778568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16916] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334776260 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=2957856 CPUtime=0.32 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 2770 0 0 0 32 0 0 0 20 0 18 0 334776260 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 2222 0 0 0 27 0 0 0 20 0 18 0 334776260 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334776260 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334776260 3028844544 130545 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 2957856
[startup+6.30077 s]
/proc/loadavg: 2.17 1.94 1.92 3/214 16921
/proc/meminfo: memFree=26003812/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=3024420 CPUtime=8 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 12816 0 1 0 778 22 0 0 20 0 19 0 334776253 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 756105 130622 2293 9 0 746526 0
[pid=16902/tid=16904] ppid=16900 vsize=3024420 CPUtime=6.07 cores=1,3,5,7
/proc/16902/task/16904/stat : 16904 (java) R 16900 16902 15746 0 -1 4202560 3287 0 1 0 598 9 0 0 20 0 19 0 334776254 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402612044184 140402552684925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16905] ppid=16900 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/16902/task/16905/stat : 16905 (java) S 16900 16902 15746 0 -1 4202560 29 0 0 0 7 2 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402477451560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16906] ppid=16900 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/16902/task/16906/stat : 16906 (java) S 16900 16902 15746 0 -1 4202560 28 0 0 0 8 1 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402476398760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16907] ppid=16900 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/16902/task/16907/stat : 16907 (java) S 16900 16902 15746 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402475346472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16908] ppid=16900 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/16902/task/16908/stat : 16908 (java) S 16900 16902 15746 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402474293672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16909] ppid=16900 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/16902/task/16909/stat : 16909 (java) S 16900 16902 15746 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402473241384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16910] ppid=16900 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/16902/task/16910/stat : 16910 (java) S 16900 16902 15746 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402472188584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16911] ppid=16900 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/16902/task/16911/stat : 16911 (java) S 16900 16902 15746 0 -1 4202560 28 0 0 0 7 2 0 0 20 0 19 0 334776255 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402471136296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16912] ppid=16900 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/16902/task/16912/stat : 16912 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 5 1 0 0 20 0 19 0 334776256 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402470083496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16913] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16913/stat : 16913 (java) S 16900 16902 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334776257 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402457884904 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16914] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16914/stat : 16914 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334776257 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402456830968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16915] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16915/stat : 16915 (java) S 16900 16902 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334776257 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402455778568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16916] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334776260 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 4971 0 0 0 63 0 0 0 20 0 19 0 334776260 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 3186 0 0 0 58 0 0 0 20 0 19 0 334776260 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334776260 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334776260 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16921] ppid=16900 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16921/stat : 16921 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334776586 3097006080 130622 33554432000 1073741824 1073778376 140733373061264 140402448384936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.14 1.94 1.92 3/214 16921
/proc/meminfo: memFree=26003588/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=3024420 CPUtime=14.4 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 12817 0 1 0 1418 22 0 0 20 0 19 0 334776253 3097006080 130621 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 4973 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 3206 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=3090984 CPUtime=0.71 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 75 0 0 0 35 36 0 0 20 0 20 0 334776260 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16921] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16921/stat : 16921 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334776586 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402448384936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16994] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16994/stat : 16994 (java) S 16900 16902 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 334904610 3165167616 417965 33554432000 1073741824 1073778376 140733373061264 140402447331240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1290.35
Current children cumulated vsize (KiB) 3090984
[startup+1284.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 16994
/proc/meminfo: memFree=24835616/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=3090984 CPUtime=1291.15 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 15256 0 1 0 128867 248 0 0 20 0 20 0 334776253 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 772746 417966 2309 9 0 763167 0
[pid=16902/tid=16904] ppid=16900 vsize=3090984 CPUtime=1270.86 cores=1,3,5,7
/proc/16902/task/16904/stat : 16904 (java) S 16900 16902 15746 0 -1 4202560 3310 0 1 0 127057 29 0 0 20 0 20 0 334776254 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402612044984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16905] ppid=16900 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/16902/task/16905/stat : 16905 (java) S 16900 16902 15746 0 -1 4202560 327 0 0 0 55 24 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402477451560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16906] ppid=16900 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/16902/task/16906/stat : 16906 (java) S 16900 16902 15746 0 -1 4202560 276 0 0 0 48 22 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402476398760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16907] ppid=16900 vsize=3090984 CPUtime=0.56 cores=1,3,5,7
/proc/16902/task/16907/stat : 16907 (java) S 16900 16902 15746 0 -1 4202560 248 0 0 0 36 20 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402475346472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16908] ppid=16900 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/16902/task/16908/stat : 16908 (java) S 16900 16902 15746 0 -1 4202560 306 0 0 0 45 23 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402474293672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16909] ppid=16900 vsize=3090984 CPUtime=0.73 cores=1,3,5,7
/proc/16902/task/16909/stat : 16909 (java) S 16900 16902 15746 0 -1 4202560 279 0 0 0 50 23 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402473241384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16910] ppid=16900 vsize=3090984 CPUtime=0.84 cores=1,3,5,7
/proc/16902/task/16910/stat : 16910 (java) S 16900 16902 15746 0 -1 4202560 339 0 0 0 56 28 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402472188584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16911] ppid=16900 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/16902/task/16911/stat : 16911 (java) S 16900 16902 15746 0 -1 4202560 268 0 0 0 49 21 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402471136296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16912] ppid=16900 vsize=3090984 CPUtime=0.87 cores=1,3,5,7
/proc/16902/task/16912/stat : 16912 (java) S 16900 16902 15746 0 -1 4202560 378 0 0 0 57 30 0 0 20 0 20 0 334776256 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402470083496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16913] ppid=16900 vsize=3090984 CPUtime=8.96 cores=1,3,5,7
/proc/16902/task/16913/stat : 16913 (java) R 16900 16902 15746 0 -1 4202560 76 0 0 0 892 4 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402457884904 140402618170511 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16914] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16914/stat : 16914 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402456830968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16915] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16915/stat : 16915 (java) S 16900 16902 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402455778568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16916] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 4973 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 3206 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=3090984 CPUtime=0.71 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 75 0 0 0 35 36 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16921] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16921/stat : 16921 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334776586 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402448384936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16994] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16994/stat : 16994 (java) S 16900 16902 15746 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334904610 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402447330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1291.15
Current children cumulated vsize (KiB) 3090984
[startup+1284.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 16994
/proc/meminfo: memFree=24835616/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=3090984 CPUtime=1291.35 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 15256 0 1 0 128887 248 0 0 20 0 20 0 334776253 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 772746 417966 2309 9 0 763167 0
[pid=16902/tid=16904] ppid=16900 vsize=3090984 CPUtime=1270.86 cores=1,3,5,7
/proc/16902/task/16904/stat : 16904 (java) S 16900 16902 15746 0 -1 4202560 3310 0 1 0 127057 29 0 0 20 0 20 0 334776254 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402612044984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16905] ppid=16900 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/16902/task/16905/stat : 16905 (java) S 16900 16902 15746 0 -1 4202560 327 0 0 0 55 24 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402477451560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16906] ppid=16900 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/16902/task/16906/stat : 16906 (java) S 16900 16902 15746 0 -1 4202560 276 0 0 0 48 22 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402476398760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16907] ppid=16900 vsize=3090984 CPUtime=0.56 cores=1,3,5,7
/proc/16902/task/16907/stat : 16907 (java) S 16900 16902 15746 0 -1 4202560 248 0 0 0 36 20 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402475346472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16908] ppid=16900 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/16902/task/16908/stat : 16908 (java) S 16900 16902 15746 0 -1 4202560 306 0 0 0 45 23 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402474293672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16909] ppid=16900 vsize=3090984 CPUtime=0.73 cores=1,3,5,7
/proc/16902/task/16909/stat : 16909 (java) S 16900 16902 15746 0 -1 4202560 279 0 0 0 50 23 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402473241384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16910] ppid=16900 vsize=3090984 CPUtime=0.84 cores=1,3,5,7
/proc/16902/task/16910/stat : 16910 (java) S 16900 16902 15746 0 -1 4202560 339 0 0 0 56 28 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402472188584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16911] ppid=16900 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/16902/task/16911/stat : 16911 (java) S 16900 16902 15746 0 -1 4202560 268 0 0 0 49 21 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402471136296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16912] ppid=16900 vsize=3090984 CPUtime=0.87 cores=1,3,5,7
/proc/16902/task/16912/stat : 16912 (java) S 16900 16902 15746 0 -1 4202560 378 0 0 0 57 30 0 0 20 0 20 0 334776256 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402470083496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16913] ppid=16900 vsize=3090984 CPUtime=9.15 cores=1,3,5,7
/proc/16902/task/16913/stat : 16913 (java) R 16900 16902 15746 0 -1 4202560 76 0 0 0 911 4 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402457884904 140402618899758 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16914] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16914/stat : 16914 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402456830968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16915] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16915/stat : 16915 (java) S 16900 16902 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402455778568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16916] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 4973 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 3206 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=3090984 CPUtime=0.71 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 75 0 0 0 35 36 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16921] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16921/stat : 16921 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334776586 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402448384936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16994] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16994/stat : 16994 (java) S 16900 16902 15746 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334904610 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402447330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1291.35
Current children cumulated vsize (KiB) 3090984
[startup+1285 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 16994
/proc/meminfo: memFree=24835616/32873844 swapFree=7108/7108
[pid=16902] ppid=16900 vsize=3090984 CPUtime=1291.45 cores=1,3,5,7
/proc/16902/stat : 16902 (java) S 16900 16902 15746 0 -1 4202496 15256 0 1 0 128897 248 0 0 20 0 20 0 334776253 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140733373052400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16902/statm: 772746 417966 2309 9 0 763167 0
[pid=16902/tid=16904] ppid=16900 vsize=3090984 CPUtime=1270.86 cores=1,3,5,7
/proc/16902/task/16904/stat : 16904 (java) S 16900 16902 15746 0 -1 4202560 3310 0 1 0 127057 29 0 0 20 0 20 0 334776254 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402612044984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16905] ppid=16900 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/16902/task/16905/stat : 16905 (java) S 16900 16902 15746 0 -1 4202560 327 0 0 0 55 24 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402477451560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16906] ppid=16900 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/16902/task/16906/stat : 16906 (java) S 16900 16902 15746 0 -1 4202560 276 0 0 0 48 22 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402476398760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16907] ppid=16900 vsize=3090984 CPUtime=0.56 cores=1,3,5,7
/proc/16902/task/16907/stat : 16907 (java) S 16900 16902 15746 0 -1 4202560 248 0 0 0 36 20 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402475346472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16908] ppid=16900 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/16902/task/16908/stat : 16908 (java) S 16900 16902 15746 0 -1 4202560 306 0 0 0 45 23 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402474293672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16909] ppid=16900 vsize=3090984 CPUtime=0.73 cores=1,3,5,7
/proc/16902/task/16909/stat : 16909 (java) S 16900 16902 15746 0 -1 4202560 279 0 0 0 50 23 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402473241384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16910] ppid=16900 vsize=3090984 CPUtime=0.84 cores=1,3,5,7
/proc/16902/task/16910/stat : 16910 (java) S 16900 16902 15746 0 -1 4202560 339 0 0 0 56 28 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402472188584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16911] ppid=16900 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/16902/task/16911/stat : 16911 (java) S 16900 16902 15746 0 -1 4202560 268 0 0 0 49 21 0 0 20 0 20 0 334776255 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402471136296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16912] ppid=16900 vsize=3090984 CPUtime=0.87 cores=1,3,5,7
/proc/16902/task/16912/stat : 16912 (java) S 16900 16902 15746 0 -1 4202560 378 0 0 0 57 30 0 0 20 0 20 0 334776256 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402470083496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16913] ppid=16900 vsize=3090984 CPUtime=9.25 cores=1,3,5,7
/proc/16902/task/16913/stat : 16913 (java) R 16900 16902 15746 0 -1 4202560 76 0 0 0 921 4 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402457884904 140402618168721 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16914] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16914/stat : 16914 (java) S 16900 16902 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402456830968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16915] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16915/stat : 16915 (java) S 16900 16902 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334776257 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402455778568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16916] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16916/stat : 16916 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402454727056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16917] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16917/stat : 16917 (java) S 16900 16902 15746 0 -1 4202560 4973 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402453674680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16902/tid=16918] ppid=16900 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/16902/task/16918/stat : 16918 (java) S 16900 16902 15746 0 -1 4202560 3206 0 0 0 65 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402452621880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16919] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16919/stat : 16919 (java) S 16900 16902 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402451569784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16902/tid=16920] ppid=16900 vsize=3090984 CPUtime=0.71 cores=1,3,5,7
/proc/16902/task/16920/stat : 16920 (java) S 16900 16902 15746 0 -1 4202560 75 0 0 0 35 36 0 0 20 0 20 0 334776260 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402450517192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16902/tid=16921] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16921/stat : 16921 (java) S 16900 16902 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334776586 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402448384936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16902/tid=16994] ppid=16900 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/16902/task/16994/stat : 16994 (java) S 16900 16902 15746 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334904610 3165167616 417966 33554432000 1073741824 1073778376 140733373061264 140402447330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1291.45
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16902 and gives
# childrusage.ru_utime.tv_sec=1285
# childrusage.ru_utime.tv_usec=545567
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=732584
# CPU time returned by wait4() is 1288.28
# while last known CPU time is 1291.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1285.04
CPU time (s): 1291.45
CPU user time (s): 1288.97
CPU system time (s): 2.48
CPU usage (%): 100.499
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1285.55
system time used= 2.73258
maximum resident set size= 1671884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15267
page faults= 1
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27543
involuntary context switches= 3924
runsolver used 5.45617 second user time and 12.844 second system time
The end