runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457112-1307633354/watcher-3457112-1307633354 -o /tmp/evaluation-result-3457112-1307633354/solver-3457112-1307633354 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457112-1307633354.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.20 0.33 0.11 2/195 27925
/proc/meminfo: memFree=29530740/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 953566117 31260672 957 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 7632 957 730 9 0 383 0
[pid=27925/tid=27926] ppid=27923 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 953566117 31260672 957 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256415391488 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.10334 s]
/proc/loadavg: 1.20 0.33 0.11 2/195 27925
/proc/meminfo: memFree=29530740/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10539884 CPUtime=0.1 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 13120 0 1 0 9 1 0 0 25 0 18 0 953566117 10792841216 12808 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2634971 12809 2093 9 0 2625705 0
[pid=27925/tid=27926] ppid=27923 vsize=10539884 CPUtime=0.09 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 11200 0 1 0 8 1 0 0 18 0 18 0 953566117 10792841216 12810 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 47650770082643 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539884
[startup+0.201287 s]
/proc/loadavg: 1.20 0.33 0.11 2/195 27925
/proc/meminfo: memFree=29530740/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10540212 CPUtime=0.27 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 14006 0 1 0 25 2 0 0 25 0 18 0 953566117 10793177088 13620 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2635053 13621 2180 9 0 2625787 0
[pid=27925/tid=27926] ppid=27923 vsize=10540212 CPUtime=0.18 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 11816 0 1 0 17 1 0 0 18 0 18 0 953566117 10793177088 13621 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540212
[startup+0.3063 s]
/proc/loadavg: 1.20 0.33 0.11 2/195 27925
/proc/meminfo: memFree=29530740/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10541232 CPUtime=0.5 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 16161 0 1 0 48 2 0 0 25 0 18 0 953566117 10794221568 15546 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2635308 15546 2200 9 0 2626042 0
[pid=27925/tid=27926] ppid=27923 vsize=10541232 CPUtime=0.29 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 13144 0 1 0 28 1 0 0 18 0 18 0 953566117 10794221568 15547 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541232
[startup+0.701228 s]
/proc/loadavg: 1.20 0.33 0.11 2/195 27925
/proc/meminfo: memFree=29530740/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10543980 CPUtime=1.18 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 54572 0 1 0 112 6 0 0 25 0 18 0 953566117 10797035520 52203 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2635995 52207 2214 9 0 2626729 0
[pid=27925/tid=27926] ppid=27923 vsize=10543980 CPUtime=0.68 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 48432 0 1 0 63 5 0 0 18 0 18 0 953566117 10797035520 52210 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 46912505545398 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10543980
[startup+1.50108 s]
/proc/loadavg: 1.20 0.33 0.11 3/213 27943
/proc/meminfo: memFree=29147952/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10543980 CPUtime=1.98 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 144856 0 1 0 181 17 0 0 25 0 18 0 953566117 10797035520 142486 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2635995 142491 2214 9 0 2626729 0
[pid=27925/tid=27926] ppid=27923 vsize=10543980 CPUtime=1.49 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 138715 0 1 0 133 16 0 0 19 0 18 0 953566117 10797035520 142493 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 46912505577014 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27925/tid=27928] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27928/stat : 27928 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142496 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27929] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27929/stat : 27929 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142499 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27930] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27930/stat : 27930 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142502 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27931] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27931/stat : 27931 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142504 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27932] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27932/stat : 27932 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142507 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27933] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27933/stat : 27933 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142510 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27934] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27934/stat : 27934 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142513 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27935] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27935/stat : 27935 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566119 10797035520 142516 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27936] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27936/stat : 27936 (java) S 27923 27925 27745 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 953566120 10797035520 142519 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427208192 0 0 0 16800975 18446604453826437312 0 0 -1 0 0 0 0
[pid=27925/tid=27937] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27937/stat : 27937 (java) S 27923 27925 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 953566120 10797035520 142522 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27938] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27938/stat : 27938 (java) S 27923 27925 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 953566120 10797035520 142524 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27939] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27939/stat : 27939 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566122 10797035520 142527 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427215281 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27940] ppid=27923 vsize=10543980 CPUtime=0.25 cores=0,2,4,6
/proc/27925/task/27940/stat : 27940 (java) S 27923 27925 27745 0 -1 4202560 2375 0 0 0 25 0 0 0 16 0 18 0 953566122 10797035520 142530 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27941] ppid=27923 vsize=10543980 CPUtime=0.23 cores=0,2,4,6
/proc/27925/task/27941/stat : 27941 (java) S 27923 27925 27745 0 -1 4202560 2623 0 0 0 23 0 0 0 16 0 18 0 953566122 10797035520 142533 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 0 0 0 0
[pid=27925/tid=27942] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27942/stat : 27942 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953566122 10797035520 142536 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27943] ppid=27923 vsize=10543980 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27943/stat : 27943 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 953566122 10797035520 142538 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427208192 0 4 0 16800975 18446604453826437312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10543980
[startup+3.1008 s]
/proc/loadavg: 1.26 0.36 0.12 4/213 27943
/proc/meminfo: memFree=28667452/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10551860 CPUtime=4.77 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 302931 0 1 0 441 36 0 0 25 0 19 0 953566117 10805104640 296067 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2637965 296071 2239 9 0 2628699 0
[pid=27925/tid=27926] ppid=27923 vsize=10551860 CPUtime=3.09 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) R 27923 27925 27745 0 -1 4202560 288550 0 1 0 274 35 0 0 18 0 19 0 953566117 10805104640 296074 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 46912506018857 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27925/tid=27928] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27928/stat : 27928 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296077 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27929] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27929/stat : 27929 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296079 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27930] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27930/stat : 27930 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296082 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27931] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27931/stat : 27931 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296083 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27932] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27932/stat : 27932 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296083 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27933] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27933/stat : 27933 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296083 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27934] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27934/stat : 27934 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296083 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27935] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27935/stat : 27935 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566119 10805104640 296084 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27936] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27936/stat : 27936 (java) S 27923 27925 27745 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 953566120 10805104640 296086 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427208192 0 0 0 16800975 18446604453826437312 0 0 -1 0 0 0 0
[pid=27925/tid=27937] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27937/stat : 27937 (java) S 27923 27925 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953566120 10805104640 296087 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27938] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27938/stat : 27938 (java) S 27923 27925 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953566120 10805104640 296087 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27939] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27939/stat : 27939 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566122 10805104640 296087 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427215281 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27940] ppid=27923 vsize=10551860 CPUtime=0.74 cores=0,2,4,6
/proc/27925/task/27940/stat : 27940 (java) S 27923 27925 27745 0 -1 4202560 4635 0 0 0 74 0 0 0 16 0 19 0 953566122 10805104640 296087 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27941] ppid=27923 vsize=10551860 CPUtime=0.92 cores=0,2,4,6
/proc/27925/task/27941/stat : 27941 (java) S 27923 27925 27745 0 -1 4202560 8593 0 0 0 92 0 0 0 15 0 19 0 953566122 10805104640 296087 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 0 0 0 0
[pid=27925/tid=27942] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27942/stat : 27942 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566122 10805104640 296087 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27943] ppid=27923 vsize=10551860 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27943/stat : 27943 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953566122 10805104640 296091 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427208192 0 4 0 16800975 18446604453826437312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 10551860
Solver just ended. Dumping a history of the last processes samples
[startup+3.20181 s]
/proc/loadavg: 1.26 0.36 0.12 4/213 27943
/proc/meminfo: memFree=28667452/32950928 swapFree=67056212/67111528
[pid=27925] ppid=27923 vsize=10552888 CPUtime=4.91 cores=0,2,4,6
/proc/27925/stat : 27925 (java) S 27923 27925 27745 0 -1 4202496 307914 0 1 0 454 37 0 0 25 0 17 0 953566117 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27925/statm: 2638222 301048 2242 9 0 2628956 0
[pid=27925/tid=27926] ppid=27923 vsize=10552888 CPUtime=3.16 cores=0,2,4,6
/proc/27925/task/27926/stat : 27926 (java) S 27923 27925 27745 0 -1 4202560 293473 0 1 0 281 35 0 0 18 0 17 0 953566117 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27928] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27928/stat : 27928 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27929] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27929/stat : 27929 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27930] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27930/stat : 27930 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27931] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27931/stat : 27931 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27932] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27932/stat : 27932 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27933] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27933/stat : 27933 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27934] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27934/stat : 27934 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27935] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27935/stat : 27935 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566119 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27936] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27936/stat : 27936 (java) S 27923 27925 27745 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 17 0 953566120 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427208192 0 0 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27937] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27937/stat : 27937 (java) S 27923 27925 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 17 0 953566120 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27938] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27938/stat : 27938 (java) S 27923 27925 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 17 0 953566120 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
[pid=27925/tid=27940] ppid=27923 vsize=10552888 CPUtime=0.79 cores=0,2,4,6
/proc/27925/task/27940/stat : 27940 (java) S 27923 27925 27745 0 -1 4202560 4644 0 0 0 79 0 0 0 15 0 17 0 953566122 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 2 0 0 0
[pid=27925/tid=27941] ppid=27923 vsize=10552888 CPUtime=0.92 cores=0,2,4,6
/proc/27925/task/27941/stat : 27941 (java) S 27923 27925 27745 0 -1 4202560 8594 0 0 0 92 0 0 0 15 0 17 0 953566122 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 0 0 0 0
[pid=27925/tid=27942] ppid=27923 vsize=10552888 CPUtime=0 cores=0,2,4,6
/proc/27925/task/27942/stat : 27942 (java) S 27923 27925 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 953566122 10806157312 301048 33554432000 1073741824 1073778376 140735640353440 18446744073709551615 256427207577 0 4 0 16800975 18446604453826437312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 10552888
Child status: 10
Real time (s): 3.25735
CPU time (s): 4.97124
CPU user time (s): 4.54131
CPU system time (s): 0.429934
CPU usage (%): 152.616
Max. virtual memory (cumulated for all children) (KiB): 10552888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.54131
system time used= 0.429934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 15
runsolver used 0.002999 second user time and 0.021996 second system time
The end