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-3736577-1338751844/watcher-3736577-1338751844 -o /tmp/evaluation-result-3736577-1338751844/solver-3736577-1338751844 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736577-1338751844.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.56 3.60 3.69 4/198 18211
/proc/meminfo: memFree=28381772/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/18211/stat : 18211 (java6) R 18209 18211 13986 0 -1 4202496 141 0 0 0 0 0 0 0 20 0 1 0 341308770 9445376 92 33554432000 1073741824 1073778376 140737416688704 140737416685832 239228460326 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18211/statm: 2306 93 74 9 0 38 0
[startup+0.078293 s]
/proc/loadavg: 3.56 3.60 3.69 4/198 18211
/proc/meminfo: memFree=28381772/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=2501236 CPUtime=0.05 cores=0,2,4,6
/proc/18211/stat : 18211 (java) S 18209 18211 13986 0 -1 4202496 3796 0 1 0 4 1 0 0 20 0 16 0 341308770 2561265664 5514 33554432000 1073741824 1073778376 140736296720864 140736296712000 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 625309 5515 1737 9 0 616010 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2501236
[startup+0.100314 s]
/proc/loadavg: 3.56 3.60 3.69 4/198 18211
/proc/meminfo: memFree=28381772/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/18211/stat : 18211 (java) S 18209 18211 13986 0 -1 4202496 3897 0 1 0 6 1 0 0 20 0 18 0 341308770 2764726272 5615 33554432000 1073741824 1073778376 140736296720864 140736296712000 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 674982 5615 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300162 s]
/proc/loadavg: 3.56 3.60 3.69 4/198 18211
/proc/meminfo: memFree=28381772/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/18211/stat : 18211 (java) S 18209 18211 13986 0 -1 4202496 9137 0 1 0 56 2 0 0 20 0 22 0 341308770 3037372416 10985 33554432000 1073741824 1073778376 140736296720864 140736296712000 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 741546 10985 2208 9 0 732240 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2966184
[startup+0.700215 s]
/proc/loadavg: 3.56 3.60 3.69 4/198 18211
/proc/meminfo: memFree=28381772/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=2966184 CPUtime=1.77 cores=0,2,4,6
/proc/18211/stat : 18211 (java) S 18209 18211 13986 0 -1 4202496 17899 0 1 0 172 5 0 0 20 0 20 0 341308770 3037372416 23659 33554432000 1073741824 1073778376 140736296720864 140736296712000 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 741546 23659 2232 9 0 732240 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 2966184
[startup+1.50076 s]
/proc/loadavg: 3.56 3.60 3.69 1/216 18233
/proc/meminfo: memFree=28300340/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=2966184 CPUtime=2.62 cores=0,2,4,6
/proc/18211/stat : 18211 (java) S 18209 18211 13986 0 -1 4202496 19226 0 1 0 252 10 0 0 20 0 20 0 341308770 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 140736296712000 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 741546 45961 2267 9 0 732240 0
[pid=18211/tid=18213] ppid=18209 vsize=2966184 CPUtime=0.12 cores=0,2,4,6
/proc/18211/task/18213/stat : 18213 (java) S 18209 18211 13986 0 -1 4202560 2782 0 1 0 12 0 0 0 20 0 20 0 341308772 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921558955160 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18214] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18214/stat : 18214 (java) S 18209 18211 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921543236264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18215] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18215/stat : 18215 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921542183720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18211/tid=18216] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18216/stat : 18216 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921541131176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18211/tid=18217] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18217/stat : 18217 (java) S 18209 18211 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921540078632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18211/tid=18218] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18218/stat : 18218 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921539025064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18219] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18219/stat : 18219 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921537972520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18211/tid=18220] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18220/stat : 18220 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921536919976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18221] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18221/stat : 18221 (java) S 18209 18211 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921535867432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18211/tid=18222] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18222/stat : 18222 (java) S 18209 18211 13986 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 341308775 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921523456616 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18223] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18223/stat : 18223 (java) S 18209 18211 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341308775 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921522402936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18224] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18224/stat : 18224 (java) S 18209 18211 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341308775 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921521350280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18225] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18225/stat : 18225 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308778 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921520299024 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18226] ppid=18209 vsize=2966184 CPUtime=0.71 cores=0,2,4,6
/proc/18211/task/18226/stat : 18226 (java) S 18209 18211 13986 0 -1 4202560 8365 0 0 0 69 2 0 0 20 0 20 0 341308778 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921519245368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18227] ppid=18209 vsize=2966184 CPUtime=0.61 cores=0,2,4,6
/proc/18211/task/18227/stat : 18227 (java) S 18209 18211 13986 0 -1 4202560 6639 0 0 0 59 2 0 0 20 0 20 0 341308778 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921518192824 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18211/tid=18228] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18228/stat : 18228 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308778 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921517140472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18229] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18229/stat : 18229 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308778 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921516088136 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18232] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18232/stat : 18232 (java) S 18209 18211 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341308788 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921512928808 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18233] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18233/stat : 18233 (java) S 18209 18211 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341308788 3037372416 45961 33554432000 1073741824 1073778376 140736296720864 139921394230952 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 2966184
[startup+3.10073 s]
/proc/loadavg: 3.56 3.60 3.69 5/218 18295
/proc/meminfo: memFree=28766240/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=2966184 CPUtime=3.21 cores=0,2,4,6
/proc/18211/stat : 18211 (java) S 18209 18211 13986 0 -1 4202496 19269 0 1 0 309 12 0 0 20 0 20 0 341308770 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 140736296712000 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 741546 60813 2267 9 0 732240 0
[pid=18211/tid=18213] ppid=18209 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/18211/task/18213/stat : 18213 (java) S 18209 18211 13986 0 -1 4202560 2782 0 1 0 13 0 0 0 20 0 20 0 341308772 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921558955160 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18214] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18214/stat : 18214 (java) S 18209 18211 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921543236264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18215] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18215/stat : 18215 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921542183720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18211/tid=18216] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18216/stat : 18216 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921541131176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18211/tid=18217] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18217/stat : 18217 (java) S 18209 18211 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921540078632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18211/tid=18218] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18218/stat : 18218 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921539025064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18219] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18219/stat : 18219 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921537972520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18211/tid=18220] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18220/stat : 18220 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921536919976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18221] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18221/stat : 18221 (java) S 18209 18211 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341308773 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921535867432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18211/tid=18222] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18222/stat : 18222 (java) S 18209 18211 13986 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 341308775 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921523456616 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18223] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18223/stat : 18223 (java) S 18209 18211 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341308775 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921522402936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18224] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18224/stat : 18224 (java) S 18209 18211 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341308775 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921521350280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18225] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18225/stat : 18225 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308778 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921520299024 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18226] ppid=18209 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/18211/task/18226/stat : 18226 (java) S 18209 18211 13986 0 -1 4202560 8365 0 0 0 70 2 0 0 20 0 20 0 341308778 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921519245368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18227] ppid=18209 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/18211/task/18227/stat : 18227 (java) S 18209 18211 13986 0 -1 4202560 6639 0 0 0 64 2 0 0 20 0 20 0 341308778 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921518192824 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18211/tid=18228] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18228/stat : 18228 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308778 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921517140472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18211/tid=18229] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18229/stat : 18229 (java) S 18209 18211 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341308778 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921516088136 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18232] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18232/stat : 18232 (java) S 18209 18211 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341308788 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921512928808 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18211/tid=18233] ppid=18209 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18211/task/18233/stat : 18233 (java) S 18209 18211 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341308788 3037372416 60813 33554432000 1073741824 1073778376 140736296720864 139921394230952 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+3.20086 s]
/proc/loadavg: 3.56 3.60 3.69 4/200 18300
/proc/meminfo: memFree=28689512/32873844 swapFree=7644/7644
[pid=18211] ppid=18209 vsize=0 CPUtime=3.25 cores=0,2,4,6
/proc/18211/stat : 18211 (java) Z 18209 18211 13986 0 -1 4203532 19274 0 1 0 309 16 0 0 20 0 1 0 341308770 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18211/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.20758
CPU time (s): 3.2585
CPU user time (s): 3.09053
CPU system time (s): 0.167974
CPU usage (%): 101.588
Max. virtual memory (cumulated for all children) (KiB): 2966764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.09053
system time used= 0.167974
maximum resident set size= 245308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19274
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 381
involuntary context switches= 78
runsolver used 0.014997 second user time and 0.018997 second system time
The end