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-3710965-1338175613/watcher-3710965-1338175613 -o /tmp/evaluation-result-3710965-1338175613/solver-3710965-1338175613 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710965-1338175613.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.92 1.98 1.99 3/194 25279
/proc/meminfo: memFree=30805356/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 1214 0 0 0 0 0 0 0 20 0 2 0 283687194 95129600 925 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 23225 927 703 9 0 16769 0
[pid=25279/tid=25280] ppid=25277 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) D 25277 25279 21838 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 283687195 95129600 927 33554432000 1073741824 1073778376 140734849157584 139706815876648 242158234919 0 0 4096 0 18446744072100609316 0 0 -1 0 0 0 0 0 0
[startup+0.014506 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25279
/proc/meminfo: memFree=30805356/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 2230 0 1 0 0 0 0 0 20 0 10 0 283687194 9231130624 2931 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2253694 2931 1081 9 0 2244803 0
[pid=25279/tid=25280] ppid=25277 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) D 25277 25279 21838 0 -1 4202560 1073 0 1 0 0 0 0 0 20 0 10 0 283687195 9231130624 2931 33554432000 1073741824 1073778376 140734849157584 139706815877824 242170785101 0 4 0 16784584 18446744072100609316 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776
[startup+0.100227 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25279
/proc/meminfo: memFree=30805356/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 4353 0 1 0 10 0 0 0 20 0 18 0 283687194 9787842560 6037 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2389610 6026 2116 9 0 2380296 0
[pid=25279/tid=25280] ppid=25277 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) R 25277 25279 21838 0 -1 4202560 2492 0 1 0 8 0 0 0 20 0 18 0 283687195 9787842560 6026 33554432000 1073741824 1073778376 140734849157584 139706815871144 242167440503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300196 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25279
/proc/meminfo: memFree=30805356/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9558440 CPUtime=0.49 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 5781 0 1 0 48 1 0 0 20 0 18 0 283687194 9787842560 8527 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2389610 8527 2225 9 0 2380296 0
[pid=25279/tid=25280] ppid=25277 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) R 25277 25279 21838 0 -1 4202560 2521 0 1 0 28 0 0 0 20 0 18 0 283687195 9787842560 8527 33554432000 1073741824 1073778376 140734849157584 139706815872912 139706645988737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440
[startup+0.700195 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25279
/proc/meminfo: memFree=30805356/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 9491 0 1 0 140 2 0 0 20 0 19 0 283687194 9856004096 24869 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2406251 24869 2256 9 0 2396937 0
[pid=25279/tid=25280] ppid=25277 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) R 25277 25279 21838 0 -1 4202560 2569 0 1 0 66 2 0 0 20 0 19 0 283687195 9856004096 24869 33554432000 1073741824 1073778376 140734849157584 139706815873336 139706646647879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625004
[startup+1.50064 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 25298
/proc/meminfo: memFree=30710064/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9625004 CPUtime=2.64 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 13066 0 1 0 260 4 0 0 20 0 19 0 283687194 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2406251 29016 2282 9 0 2396937 0
[pid=25279/tid=25280] ppid=25277 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) S 25277 25279 21838 0 -1 4202560 2574 0 1 0 144 2 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706815881624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25282] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25282/stat : 25282 (java) S 25277 25279 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706777372840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25283] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25283/stat : 25283 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706776320296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25284] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25284/stat : 25284 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706775267752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25285] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25285/stat : 25285 (java) S 25277 25279 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706774215208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25286] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25286/stat : 25286 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706773162664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25287] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25287/stat : 25287 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706772110120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25288] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25288/stat : 25288 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706771057576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25289] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25289/stat : 25289 (java) S 25277 25279 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706770005032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25290] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25290/stat : 25290 (java) R 25277 25279 21838 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706639549544 242170774673 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25291] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25291/stat : 25291 (java) S 25277 25279 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706638496888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25292] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25292/stat : 25292 (java) S 25277 25279 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706637444232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25293] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25293/stat : 25293 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706636392976 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25294] ppid=25277 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/25279/task/25294/stat : 25294 (java) S 25277 25279 21838 0 -1 4202560 3083 0 0 0 51 0 0 0 20 0 19 0 283687199 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706635340344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25295] ppid=25277 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25279/task/25295/stat : 25295 (java) S 25277 25279 21838 0 -1 4202560 6172 0 0 0 60 0 0 0 20 0 19 0 283687199 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706634273592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25296] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25296/stat : 25296 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706633235448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25297] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25297/stat : 25297 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706632183112 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25298] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25298/stat : 25298 (java) S 25277 25279 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283687243 9856004096 29016 33554432000 1073741824 1073778376 140734849157584 139706631127848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 9625004
[startup+3.10069 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 25298
/proc/meminfo: memFree=30691136/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9625004 CPUtime=4.41 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 13822 0 1 0 436 5 0 0 20 0 19 0 283687194 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2406251 30531 2289 9 0 2396937 0
[pid=25279/tid=25280] ppid=25277 vsize=9625004 CPUtime=2.98 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) R 25277 25279 21838 0 -1 4202560 2577 0 1 0 296 2 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706815881704 139706646667213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25282] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25282/stat : 25282 (java) S 25277 25279 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706777372840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25283] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25283/stat : 25283 (java) S 25277 25279 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706776320296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25284] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25284/stat : 25284 (java) S 25277 25279 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706775267752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25285] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25285/stat : 25285 (java) S 25277 25279 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706774215208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25286] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25286/stat : 25286 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706773162664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25287] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25287/stat : 25287 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706772110120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25288] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25288/stat : 25288 (java) S 25277 25279 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706771057576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25289] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25289/stat : 25289 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706770005032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25290] ppid=25277 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/25279/task/25290/stat : 25290 (java) S 25277 25279 21838 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 283687197 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706639550568 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25291] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25291/stat : 25291 (java) S 25277 25279 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706638496888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25292] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25292/stat : 25292 (java) S 25277 25279 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706637444232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25293] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25293/stat : 25293 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706636392976 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25294] ppid=25277 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25279/task/25294/stat : 25294 (java) S 25277 25279 21838 0 -1 4202560 3818 0 0 0 63 2 0 0 20 0 19 0 283687199 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706635340344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25295] ppid=25277 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25279/task/25295/stat : 25295 (java) S 25277 25279 21838 0 -1 4202560 6172 0 0 0 63 0 0 0 20 0 19 0 283687199 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706634287800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25296] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25296/stat : 25296 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706633235448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25297] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25297/stat : 25297 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706632183112 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25298] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25298/stat : 25298 (java) S 25277 25279 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283687243 9856004096 30531 33554432000 1073741824 1073778376 140734849157584 139706631127848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+3.30674 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 25298
/proc/meminfo: memFree=30690764/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9625004 CPUtime=4.63 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 13824 0 1 0 458 5 0 0 20 0 19 0 283687194 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2406251 30532 2289 9 0 2396937 0
[pid=25279/tid=25280] ppid=25277 vsize=9625004 CPUtime=3.17 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) R 25277 25279 21838 0 -1 4202560 2578 0 1 0 315 2 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706815881832 139706646667330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25282] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25282/stat : 25282 (java) S 25277 25279 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706777372840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25283] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25283/stat : 25283 (java) S 25277 25279 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706776320296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25284] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25284/stat : 25284 (java) S 25277 25279 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706775267752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25285] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25285/stat : 25285 (java) S 25277 25279 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706774215208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25286] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25286/stat : 25286 (java) S 25277 25279 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706773162664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25287] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25287/stat : 25287 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706772110120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25288] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25288/stat : 25288 (java) S 25277 25279 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706771057576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25289] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25289/stat : 25289 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706770005032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25290] ppid=25277 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/25279/task/25290/stat : 25290 (java) S 25277 25279 21838 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 283687197 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706639550568 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25291] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25291/stat : 25291 (java) S 25277 25279 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706638496888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25292] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25292/stat : 25292 (java) S 25277 25279 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706637444232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25293] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25293/stat : 25293 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706636392976 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25294] ppid=25277 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25279/task/25294/stat : 25294 (java) S 25277 25279 21838 0 -1 4202560 3818 0 0 0 63 2 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706635340344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25295] ppid=25277 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25279/task/25295/stat : 25295 (java) S 25277 25279 21838 0 -1 4202560 6172 0 0 0 63 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706634287800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25296] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25296/stat : 25296 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706633235448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25297] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25297/stat : 25297 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706632183112 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25298] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25298/stat : 25298 (java) S 25277 25279 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283687243 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706631127848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9625004
[startup+3.40074 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 25298
/proc/meminfo: memFree=30690764/32873648 swapFree=7112/7112
[pid=25279] ppid=25277 vsize=9625004 CPUtime=4.72 cores=0,2,4,6
/proc/25279/stat : 25279 (java) S 25277 25279 21838 0 -1 4202496 13824 0 1 0 467 5 0 0 20 0 19 0 283687194 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 140734849148720 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25279/statm: 2406251 30532 2289 9 0 2396937 0
[pid=25279/tid=25280] ppid=25277 vsize=9625004 CPUtime=3.26 cores=0,2,4,6
/proc/25279/task/25280/stat : 25280 (java) R 25277 25279 21838 0 -1 4202560 2578 0 1 0 324 2 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706815881832 139706646721020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25282] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25282/stat : 25282 (java) S 25277 25279 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706777372840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25283] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25283/stat : 25283 (java) S 25277 25279 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706776320296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25284] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25284/stat : 25284 (java) S 25277 25279 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706775267752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25285] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25285/stat : 25285 (java) S 25277 25279 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706774215208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25286] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25286/stat : 25286 (java) S 25277 25279 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706773162664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25287] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25287/stat : 25287 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706772110120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25279/tid=25288] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25288/stat : 25288 (java) S 25277 25279 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706771057576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25289] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25289/stat : 25289 (java) S 25277 25279 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283687195 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706770005032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25290] ppid=25277 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/25279/task/25290/stat : 25290 (java) S 25277 25279 21838 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 283687197 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706639550568 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25291] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25291/stat : 25291 (java) S 25277 25279 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706638496888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25292] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25292/stat : 25292 (java) S 25277 25279 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283687197 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706637444232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25293] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25293/stat : 25293 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706636392976 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25294] ppid=25277 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25279/task/25294/stat : 25294 (java) S 25277 25279 21838 0 -1 4202560 3818 0 0 0 63 2 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706635340344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25279/tid=25295] ppid=25277 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25279/task/25295/stat : 25295 (java) S 25277 25279 21838 0 -1 4202560 6172 0 0 0 63 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706634287800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25296] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25296/stat : 25296 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706633235448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25279/tid=25297] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25297/stat : 25297 (java) S 25277 25279 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283687199 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706632183112 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25279/tid=25298] ppid=25277 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25279/task/25298/stat : 25298 (java) S 25277 25279 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283687243 9856004096 30532 33554432000 1073741824 1073778376 140734849157584 139706631127848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9625004
Child status: 30
Real time (s): 3.47211
CPU time (s): 4.76327
CPU user time (s): 4.68329
CPU system time (s): 0.079987
CPU usage (%): 137.187
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.68329
system time used= 0.079987
maximum resident set size= 122692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13842
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= 521
involuntary context switches= 111
runsolver used 0.018997 second user time and 0.031995 second system time
The end