0.04 c # Sugar v0-40 (/tmp/evaluation/195205-1170092094/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/195205-1170092094/unknown.xml [Mon Jan 29 18:34:55 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/195205-1170092094/unknown.xml /tmp/evaluation/195205-1170092094/sugar23513.csp [Mon Jan 29 18:34:55 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195205-1170092094/sugar-v0-40.jar -convert /tmp/evaluation/195205-1170092094/unknown.xml /tmp/evaluation/195205-1170092094/sugar23513.csp
0.18 c BEGIN convert /tmp/evaluation/195205-1170092094/unknown.xml
0.87 c END convert (0.690266 seconds)
0.92 c # CONVERT_XML END : /tmp/evaluation/195205-1170092094/sugar23513.csp 2180801 bytes (1 seconds) [Mon Jan 29 18:34:56 2007]
0.92 c # CONVERT_XML CPU : 0.8 = 0 + 0 + 0.74 + 0.06
0.92
0.92 c # GENERATE_SAT BEGIN : /tmp/evaluation/195205-1170092094/sugar23513.bcnf [Mon Jan 29 18:34:56 2007]
0.92 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195205-1170092094/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195205-1170092094/sugar23513.map /tmp/evaluation/195205-1170092094/sugar23513.csp /tmp/evaluation/195205-1170092094/sugar23513.bcnf
1.08 c BEGIN parse /tmp/evaluation/195205-1170092094/sugar23513.csp
35.81 c END parse (34.726994 seconds)
35.81 c BEGIN simplify
35.94 c END simplify (0.13168 seconds)
35.94 c BEGIN encode /tmp/evaluation/195205-1170092094/sugar23513.bcnf
37.06 c END encode (1.121065 seconds)
37.20 c # GENERATE_SAT END : 7668 variables 80387 clauses 8954308 bytes (36 seconds) [Mon Jan 29 18:35:32 2007]
37.20 c # GENERATE_SAT CPU : 36.16 = 0.05 + 0.01 + 35.62 + 0.48
37.20
37.20 c # SOLVE_SAT BEGIN : /tmp/evaluation/195205-1170092094/sugar23513.bcnf [Mon Jan 29 18:35:32 2007]
37.20 c # CMD : /tmp/evaluation/195205-1170092094/minisat /tmp/evaluation/195205-1170092094/sugar23513.bcnf /tmp/evaluation/195205-1170092094/sugar23513.out
37.41 c ==================================[MINISAT]===================================
37.41 c | Conflicts | ORIGINAL | LEARNT | Progress |
37.41 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
37.41 c ==============================================================================
37.41 c | 0 | 80387 2158180 | 26795 0 0 nan | 0.000 % |
37.47 c | 100 | 80387 2158180 | 29474 100 3513 35.1 | 0.000 % |
37.54 c | 250 | 80388 2158180 | 32421 249 5760 23.1 | 0.000 % |
37.66 c | 475 | 80388 2158180 | 35664 474 8793 18.6 | 0.000 % |
37.82 c | 812 | 80388 2158180 | 39230 811 12614 15.6 | 0.000 % |
38.04 c | 1318 | 80388 2158180 | 43153 1317 19233 14.6 | 0.000 % |
38.50 c | 2079 | 80388 2158180 | 47468 2078 36249 17.4 | 0.000 % |
39.24 c | 3218 | 80388 2158180 | 52215 3217 61068 19.0 | 0.000 % |
40.27 c | 4927 | 80389 2158180 | 57437 4925 91271 18.5 | 0.000 % |
41.90 c | 7490 | 80390 2158180 | 63181 7487 136007 18.2 | 0.000 % |
44.11 c | 11334 | 80391 2158180 | 69499 11330 214723 19.0 | 0.000 % |
47.68 c | 17100 | 80392 2158180 | 76449 17095 317658 18.6 | 0.000 % |
53.54 c | 25750 | 80393 2158180 | 84094 25744 482173 18.7 | 0.000 % |
64.46 c | 38724 | 80395 2158180 | 92503 38716 839232 21.7 | 0.000 % |
84.95 c | 58186 | 80397 2158180 | 101753 58176 1318433 22.7 | 0.000 % |
120.45 c | 87378 | 80399 2158180 | 111929 87366 2088293 23.9 | 0.000 % |
174.06 c | 131169 | 80402 2158180 | 123122 37120 813351 21.9 | 0.000 % |
256.21 c | 196853 | 80405 2158180 | 135434 102801 2366365 23.0 | 0.000 % |
379.68 c | 295381 | 80417 2158180 | 148977 83155 2050093 24.7 | 0.000 % |
566.51 c | 443170 | 80428 2158180 | 163875 97886 2689487 27.5 | 0.000 % |
861.69 c | 664854 | 80446 2158180 | 180263 27025 536209 19.8 | 0.000 % |
1343.59 c | 997381 | 80469 2158180 | 198289 36460 732416 20.1 | 0.000 % |
1815.45
1815.45 s UNKNOWN
1815.45 c # INTERRUPTED
1815.45 c # MAIN END : (1816 seconds) [Mon Jan 29 19:05:11 2007]
1815.45 c # MAIN CPU : 36.96 = 0.05 + 0.01 + 36.36 + 0.54
1815.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-195205-1170092094 -o ROOT/results/node13/solver-195205-1170092094 -C 1800 -M 900 /tmp/evaluation/195205-1170092094/solver /tmp/evaluation/195205-1170092094 /tmp/evaluation/195205-1170092094/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
/proc/loadavg: 1.69 1.93 1.69 5/87 23514
/proc/meminfo: memFree=1767048/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=18540 CPUtime=0
/proc/23513/stat : 23513 (runsolver) R 23511 23277 23277 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 29163983 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 248835784200 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23513/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107217 s]
/proc/loadavg: 1.69 1.93 1.69 5/87 23514
/proc/meminfo: memFree=1767048/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.03
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 29163983 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515278 s]
/proc/loadavg: 1.69 1.93 1.69 5/87 23514
/proc/meminfo: memFree=1767048/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.03
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29163983 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23513/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33738 s]
/proc/loadavg: 1.69 1.93 1.69 3/102 23545
/proc/meminfo: memFree=1746440/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.83
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1190 7928 0 1 3 0 74 6 15 0 1 0 29163983 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23513/statm: 3431 809 371 3 0 531 0
[pid=23534] ppid=23513 vsize=807064 CPUtime=0.36
/proc/23534/stat : 23534 (java) R 23513 23513 23277 0 -1 0 6513 0 1 0 33 3 0 0 21 0 8 0 29164076 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201766 6263 1494 14 0 189044 0
[pid=23534/tid=23539] ppid=23513 vsize=807064 CPUtime=0.02
/proc/23534/task/23539/stat : 23539 (java) S 23513 23513 23277 0 -1 64 461 0 0 0 2 0 0 0 16 0 8 0 29164083 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23513 23513 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29164083 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23513 23513 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29164083 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23513 23513 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29164086 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23513 vsize=807064 CPUtime=0.05
/proc/23534/task/23543/stat : 23543 (java) S 23513 23513 23277 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29164086 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23544/stat : 23544 (java) S 23513 23513 23277 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29164086 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23513 23513 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29164086 826433536 6263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 820788
[startup+2.9906 s]
/proc/loadavg: 1.69 1.93 1.69 4/102 23545
/proc/meminfo: memFree=1689096/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.83
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1190 7928 0 1 3 0 74 6 15 0 1 0 29163983 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23513/statm: 3431 809 371 3 0 531 0
[pid=23534] ppid=23513 vsize=807064 CPUtime=2.01
/proc/23534/stat : 23534 (java) R 23513 23513 23277 0 -1 0 13346 0 1 0 194 7 0 0 25 0 8 0 29164076 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073537224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201766 13081 1494 14 0 189044 0
[pid=23534/tid=23539] ppid=23513 vsize=807064 CPUtime=0.53
/proc/23534/task/23539/stat : 23539 (java) S 23513 23513 23277 0 -1 64 7279 0 0 0 50 3 0 0 16 0 8 0 29164083 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23513 23513 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29164083 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23513 23513 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29164083 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23513 23513 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29164086 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23513 vsize=807064 CPUtime=0.05
/proc/23534/task/23543/stat : 23543 (java) S 23513 23513 23277 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29164086 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23544/stat : 23544 (java) S 23513 23513 23277 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29164086 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23513 vsize=807064 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23513 23513 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29164086 826433536 13081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 820788
[startup+6.19703 s]
/proc/loadavg: 1.88 1.97 1.70 3/102 23545
/proc/meminfo: memFree=1547656/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.83
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1190 7928 0 1 3 0 74 6 15 0 1 0 29163983 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23513/statm: 3431 809 371 3 0 531 0
[pid=23534] ppid=23513 vsize=807336 CPUtime=5.22
/proc/23534/stat : 23534 (java) R 23513 23513 23277 0 -1 0 26917 0 1 0 508 14 0 0 25 0 8 0 29164076 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201834 26595 1506 14 0 189112 0
[pid=23534/tid=23539] ppid=23513 vsize=807336 CPUtime=1.27
/proc/23534/task/23539/stat : 23539 (java) S 23513 23513 23277 0 -1 64 20641 0 0 0 118 9 0 0 16 0 8 0 29164083 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23513 23513 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29164083 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23513 23513 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29164083 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23513 23513 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29164086 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23513 vsize=807336 CPUtime=0.13
/proc/23534/task/23543/stat : 23543 (java) S 23513 23513 23277 0 -1 64 400 0 0 0 13 0 0 0 17 0 8 0 29164086 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23544/stat : 23544 (java) S 23513 23513 23277 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29164086 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23513 23513 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29164086 826712064 26595 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821060
[startup+12.6709 s]
/proc/loadavg: 1.97 1.99 1.71 4/102 23545
/proc/meminfo: memFree=1339416/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.83
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1190 7928 0 1 3 0 74 6 15 0 1 0 29163983 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23513/statm: 3431 809 371 3 0 531 0
[pid=23534] ppid=23513 vsize=807336 CPUtime=11.68
/proc/23534/stat : 23534 (java) R 23513 23513 23277 0 -1 0 55043 0 1 0 1136 32 0 0 25 0 8 0 29164076 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201834 54114 1507 14 0 189112 0
[pid=23534/tid=23539] ppid=23513 vsize=807336 CPUtime=3.51
/proc/23534/task/23539/stat : 23539 (java) R 23513 23513 23277 0 -1 64 48588 0 0 0 324 27 0 0 15 0 8 0 29164083 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155216454 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23513 23513 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29164083 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23513 23513 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29164083 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23513 23513 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23513 vsize=807336 CPUtime=0.14
/proc/23534/task/23543/stat : 23543 (java) S 23513 23513 23277 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23544/stat : 23544 (java) S 23513 23513 23277 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23513 23513 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 821060
[startup+25.5526 s]
/proc/loadavg: 2.26 2.05 1.73 3/102 23545
/proc/meminfo: memFree=1339416/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=13724 CPUtime=0.83
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 1190 7928 0 1 3 0 74 6 15 0 1 0 29163983 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23513/statm: 3431 809 371 3 0 531 0
[pid=23534] ppid=23513 vsize=807336 CPUtime=24.57
/proc/23534/stat : 23534 (java) R 23513 23513 23277 0 -1 0 56449 0 1 0 2420 37 0 0 25 0 8 0 29164076 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201834 54114 1507 14 0 189112 0
[pid=23534/tid=23539] ppid=23513 vsize=807336 CPUtime=8.51
/proc/23534/task/23539/stat : 23539 (java) S 23513 23513 23277 0 -1 64 49634 0 0 0 822 29 0 0 16 0 8 0 29164083 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23513 23513 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29164083 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23513 23513 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29164083 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23513 23513 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23513 vsize=807336 CPUtime=0.14
/proc/23534/task/23543/stat : 23543 (java) S 23513 23513 23277 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23544/stat : 23544 (java) S 23513 23513 23277 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23513 vsize=807336 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23513 23513 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29164086 826712064 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 821060
[startup+51.157 s]
/proc/loadavg: 2.30 2.08 1.75 3/88 23547
/proc/meminfo: memFree=1704904/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=15156 CPUtime=13.82
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 4476 0 0 0 1378 4 0 0 25 0 1 0 29167704 15519744 3437 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 3789 3437 52 112 0 3673 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 32532
[startup+102.389 s]
/proc/loadavg: 2.13 2.06 1.76 3/88 23549
/proc/meminfo: memFree=1689352/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=22112 CPUtime=64.62
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 6178 0 0 0 6455 7 0 0 25 0 1 0 29167704 22642688 5139 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 5528 5139 52 112 0 5412 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 39488
[startup+162.45 s]
/proc/loadavg: 2.05 2.05 1.77 3/88 23549
/proc/meminfo: memFree=1677704/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=27544 CPUtime=124.14
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 7504 0 0 0 12405 9 0 0 25 0 1 0 29167704 28205056 6465 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528388 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 6886 6465 52 112 0 6770 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 44920
################
# More data... #
################
/proc/loadavg: 2.02 2.02 1.90 3/88 23549
/proc/meminfo: memFree=1639240/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=41180 CPUtime=1077.07
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 10759 0 0 0 107689 18 0 0 25 0 1 0 29167704 42168320 9712 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 10295 9712 52 112 0 10179 0
Current children cumulated CPU time (s) 1114.06
Current children cumulated vsize (KiB) 58556
[startup+1183.5 s]
/proc/loadavg: 2.04 2.03 1.91 3/88 23549
/proc/meminfo: memFree=1637704/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=41540 CPUtime=1136.65
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 10864 0 0 0 113647 18 0 0 25 0 1 0 29167704 42536960 9817 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 10385 9817 52 112 0 10269 0
Current children cumulated CPU time (s) 1173.64
Current children cumulated vsize (KiB) 58916
[startup+1243.56 s]
/proc/loadavg: 2.01 2.02 1.91 3/88 23549
/proc/meminfo: memFree=1637256/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=42036 CPUtime=1196.2
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 10955 0 0 0 119601 19 0 0 25 0 1 0 29167704 43044864 9908 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 10509 9908 52 112 0 10393 0
Current children cumulated CPU time (s) 1233.19
Current children cumulated vsize (KiB) 59412
[startup+1303.62 s]
/proc/loadavg: 2.00 2.02 1.91 3/88 23549
/proc/meminfo: memFree=1635976/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=43196 CPUtime=1255.77
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 11274 0 0 0 125557 20 0 0 25 0 1 0 29167704 44232704 10227 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 10799 10227 52 112 0 10683 0
Current children cumulated CPU time (s) 1292.76
Current children cumulated vsize (KiB) 60572
[startup+1363.68 s]
/proc/loadavg: 2.00 2.01 1.91 3/88 23549
/proc/meminfo: memFree=1634184/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=44736 CPUtime=1315.33
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 11623 0 0 0 131513 20 0 0 25 0 1 0 29167704 45809664 10576 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525683 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 11184 10576 52 112 0 11068 0
Current children cumulated CPU time (s) 1352.32
Current children cumulated vsize (KiB) 62112
[startup+1423.74 s]
/proc/loadavg: 2.04 2.02 1.91 3/88 23549
/proc/meminfo: memFree=1630472/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=45032 CPUtime=1374.87
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 11667 0 0 0 137467 20 0 0 25 0 1 0 29167704 46112768 10620 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 11258 10620 52 112 0 11142 0
Current children cumulated CPU time (s) 1411.86
Current children cumulated vsize (KiB) 62408
[startup+1483.79 s]
/proc/loadavg: 2.16 2.05 1.93 3/88 23549
/proc/meminfo: memFree=1629064/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=45184 CPUtime=1434.43
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 11725 0 0 0 143422 21 0 0 25 0 1 0 29167704 46268416 10678 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 11296 10678 52 112 0 11180 0
Current children cumulated CPU time (s) 1471.42
Current children cumulated vsize (KiB) 62560
[startup+1543.85 s]
/proc/loadavg: 2.06 2.04 1.93 3/88 23549
/proc/meminfo: memFree=1627656/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=46664 CPUtime=1493.97
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 12089 0 0 0 149375 22 0 0 25 0 1 0 29167704 47783936 11042 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 11666 11042 52 112 0 11550 0
Current children cumulated CPU time (s) 1530.96
Current children cumulated vsize (KiB) 64040
[startup+1603.92 s]
/proc/loadavg: 2.02 2.03 1.93 3/94 23657
/proc/meminfo: memFree=1621888/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=50840 CPUtime=1553.44
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 13127 0 0 0 155309 35 0 0 25 0 1 0 29167704 52060160 12080 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522256 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 12710 12080 52 112 0 12594 0
Current children cumulated CPU time (s) 1590.43
Current children cumulated vsize (KiB) 68216
[startup+1664.01 s]
/proc/loadavg: 2.00 2.02 1.93 3/88 23747
/proc/meminfo: memFree=1622832/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=50840 CPUtime=1612.91
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 13141 0 0 0 161244 47 0 0 25 0 1 0 29167704 52060160 12094 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 12710 12094 52 112 0 12594 0
Current children cumulated CPU time (s) 1649.9
Current children cumulated vsize (KiB) 68216
[startup+1724.08 s]
/proc/loadavg: 2.00 2.02 1.93 3/88 23747
/proc/meminfo: memFree=1622856/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=50984 CPUtime=1672.45
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 13183 0 0 0 167198 47 0 0 25 0 1 0 29167704 52207616 12136 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 12746 12136 52 112 0 12630 0
Current children cumulated CPU time (s) 1709.44
Current children cumulated vsize (KiB) 68360
[startup+1784.14 s]
/proc/loadavg: 2.00 2.01 1.93 3/88 23747
/proc/meminfo: memFree=1622600/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=51272 CPUtime=1731.99
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 13220 0 0 0 173151 48 0 0 25 0 1 0 29167704 52502528 12173 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 12818 12173 52 112 0 12702 0
Current children cumulated CPU time (s) 1768.98
Current children cumulated vsize (KiB) 68648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.44 s]
/proc/loadavg: 1.98 2.01 1.93 3/96 23811
/proc/meminfo: memFree=1541520/2055920 swapFree=4192956/4192956
[pid=23513] ppid=23511 vsize=17376 CPUtime=36.99
/proc/23513/stat : 23513 (sugar) S 23511 23513 23277 0 -1 4194304 2180 66897 0 2 8 1 3636 54 16 0 1 0 29163983 17793024 1692 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23513/statm: 4344 1692 373 3 0 1444 0
[pid=23546] ppid=23513 vsize=51272 CPUtime=1763.07
/proc/23546/stat : 23546 (minisat) R 23513 23513 23277 0 -1 0 13221 0 0 0 176258 49 0 0 25 0 1 0 29167704 52502528 12174 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23546/statm: 12818 12174 52 112 0 12702 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 68648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23513 and gives childrusage.ru_utime.tv_sec=36 childrusage.ru_utime.tv_usec=457457 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=570913
CPU time returned by wait4() is 37.0284
while last known CPU time is 1800.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.46
CPU time (s): 1800.07
CPU user time (s): 1799.02
CPU system time (s): 1.05
CPU usage (%): 99.0976
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.4575
system time used= 0.570913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69163
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7919
involuntary context switches= 7892
runsolver used 1.73873 s user time and 4.92725 s system time
The end
Begin job on node13 on Mon Jan 29 17:34:55 UTC 2007
IDJOB= 195205
IDBENCH= 3254
IDSOLVER= 86
FILE ID= node13/195205-1170092094
PBS_JOBID= 3689408
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-19_ext.xml
COMMAND LINE= /tmp/evaluation/195205-1170092094/solver /tmp/evaluation/195205-1170092094 /tmp/evaluation/195205-1170092094/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-195205-1170092094 -o ROOT/results/node13/solver-195205-1170092094 -C 1800 -M 900 /tmp/evaluation/195205-1170092094/solver /tmp/evaluation/195205-1170092094 /tmp/evaluation/195205-1170092094/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 478aa51d88e05232d3d81d79221c2e68
RANDOM SEED= 277328778
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1768176 kB
Buffers: 40936 kB
Cached: 139128 kB
SwapCached: 0 kB
Active: 189132 kB
Inactive: 52904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768176 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2452 kB
Writeback: 0 kB
Mapped: 81856 kB
Slab: 30624 kB
Committed_AS: 215416 kB
PageTables: 2148 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66450 MiB
End job on node13 on Mon Jan 29 18:05:12 UTC 2007