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-3687716-1337873768/watcher-3687716-1337873768 -o /tmp/evaluation-result-3687716-1337873768/solver-3687716-1337873768 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687716-1337873768.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.82 3.68 3.18 4/197 24216
/proc/meminfo: memFree=25805540/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/24216/stat : 24216 (java) R 24214 24216 23457 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 253505340 23793664 715 33554432000 1073741824 1073778376 140736912346928 140736912335992 245285041512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 5809 716 531 9 0 128 0
[startup+0.0717601 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24216
/proc/meminfo: memFree=25805540/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24216/stat : 24216 (java) S 24214 24216 23457 0 -1 4202496 3275 0 1 0 5 1 0 0 20 0 18 0 253505340 9787813888 4484 33554432000 1073741824 1073778376 140736912346928 140736912338064 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 2389603 4484 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100253 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24216
/proc/meminfo: memFree=25805540/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24216/stat : 24216 (java) S 24214 24216 23457 0 -1 4202496 4288 0 1 0 9 1 0 0 20 0 18 0 253505340 9787813888 5496 33554432000 1073741824 1073778376 140736912346928 140736912338064 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 2389603 5497 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300257 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24216
/proc/meminfo: memFree=25805540/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/24216/stat : 24216 (java) S 24214 24216 23457 0 -1 4202496 6169 0 1 0 37 3 0 0 20 0 19 0 253505340 10060460032 8036 33554432000 1073741824 1073778376 140736912346928 140736912338064 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 2456167 8036 2224 9 0 2446860 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824668
[startup+0.700262 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24216
/proc/meminfo: memFree=25805540/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/24216/stat : 24216 (java) S 24214 24216 23457 0 -1 4202496 6169 0 1 0 37 3 0 0 20 0 19 0 253505340 10060460032 8036 33554432000 1073741824 1073778376 140736912346928 140736912338064 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 2456167 8036 2224 9 0 2446860 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.10709 s]
/proc/loadavg: 3.82 3.68 3.18 5/216 24241
/proc/meminfo: memFree=25754836/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/24216/stat : 24216 (java) S 24214 24216 23457 0 -1 4202496 15348 0 1 0 112 7 0 0 20 0 19 0 253505340 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140736912338064 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 2456167 14785 2238 9 0 2446860 0
[pid=24216/tid=24218] ppid=24214 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24216/task/24218/stat : 24218 (java) S 24214 24216 23457 0 -1 4202560 2458 0 1 0 20 0 0 0 20 0 19 0 253505341 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559145673720 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24219] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24219/stat : 24219 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559118126120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24220] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24220/stat : 24220 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559117073320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24216/tid=24221] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24221/stat : 24221 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559116020520 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24216/tid=24222] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24222/stat : 24222 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559114967720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24223] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24223/stat : 24223 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558984587816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24224] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24224/stat : 24224 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558983535016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24225] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24225/stat : 24225 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558982482216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24226] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24226/stat : 24226 (java) S 24214 24216 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558981429416 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24227] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24227/stat : 24227 (java) S 24214 24216 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505343 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558498917352 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24228] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24228/stat : 24228 (java) S 24214 24216 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253505343 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558497863416 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24229] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24229/stat : 24229 (java) S 24214 24216 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253505343 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558496810504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24230] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24230/stat : 24230 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558495758992 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24231] ppid=24214 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24216/task/24231/stat : 24231 (java) S 24214 24216 23457 0 -1 4202560 7007 0 0 0 33 1 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558494706104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24232] ppid=24214 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/24216/task/24232/stat : 24232 (java) S 24214 24216 23457 0 -1 4202560 4572 0 0 0 31 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558493653304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24216/tid=24233] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24233/stat : 24233 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558492600696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24216/tid=24234] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24234/stat : 24234 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558491548104 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24241] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24241/stat : 24241 (java) S 24214 24216 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505413 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558487335848 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9824668
[startup+1.20071 s]
/proc/loadavg: 3.82 3.68 3.18 5/216 24241
/proc/meminfo: memFree=25754836/32873844 swapFree=7356/7356
[pid=24216] ppid=24214 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/24216/stat : 24216 (java) S 24214 24216 23457 0 -1 4202496 15348 0 1 0 112 7 0 0 20 0 19 0 253505340 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140736912338064 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24216/statm: 2456167 14785 2238 9 0 2446860 0
[pid=24216/tid=24218] ppid=24214 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24216/task/24218/stat : 24218 (java) S 24214 24216 23457 0 -1 4202560 2458 0 1 0 20 0 0 0 20 0 19 0 253505341 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559145673720 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24219] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24219/stat : 24219 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559118126120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24220] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24220/stat : 24220 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559117073320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24216/tid=24221] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24221/stat : 24221 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559116020520 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24216/tid=24222] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24222/stat : 24222 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140559114967720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24223] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24223/stat : 24223 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558984587816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24224] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24224/stat : 24224 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558983535016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24225] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24225/stat : 24225 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558982482216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24226] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24226/stat : 24226 (java) S 24214 24216 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505342 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558981429416 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24227] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24227/stat : 24227 (java) S 24214 24216 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505343 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558498917352 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24228] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24228/stat : 24228 (java) S 24214 24216 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253505343 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558497863416 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24229] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24229/stat : 24229 (java) S 24214 24216 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253505343 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558496810504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24230] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24230/stat : 24230 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558495758992 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24231] ppid=24214 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24216/task/24231/stat : 24231 (java) S 24214 24216 23457 0 -1 4202560 7007 0 0 0 33 1 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558494706104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24216/tid=24232] ppid=24214 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/24216/task/24232/stat : 24232 (java) S 24214 24216 23457 0 -1 4202560 4572 0 0 0 31 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558493653304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24216/tid=24233] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24233/stat : 24233 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558492600696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24216/tid=24234] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24234/stat : 24234 (java) S 24214 24216 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505346 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558491548104 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24216/tid=24241] ppid=24214 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24216/task/24241/stat : 24241 (java) S 24214 24216 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505413 10060460032 14785 33554432000 1073741824 1073778376 140736912346928 140558487335848 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 1.24095
CPU time (s): 1.22481
CPU user time (s): 1.14083
CPU system time (s): 0.083987
CPU usage (%): 98.6993
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.14083
system time used= 0.083987
maximum resident set size= 62348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15355
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= 314
involuntary context switches= 40
runsolver used 0.003999 second user time and 0.009998 second system time
The end