0.05 c # Sugar v0-40 (/tmp/evaluation/202800-1170095742/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/202800-1170095742/unknown.xml [Mon Jan 29 19:35:42 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/202800-1170095742/unknown.xml /tmp/evaluation/202800-1170095742/sugar13159.csp [Mon Jan 29 19:35:42 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202800-1170095742/sugar-v0-40.jar -convert /tmp/evaluation/202800-1170095742/unknown.xml /tmp/evaluation/202800-1170095742/sugar13159.csp
0.17 c BEGIN convert /tmp/evaluation/202800-1170095742/unknown.xml
0.69 c END convert (0.523339 seconds)
0.71 c # CONVERT_XML END : /tmp/evaluation/202800-1170095742/sugar13159.csp 1101043 bytes (1 seconds) [Mon Jan 29 19:35:43 2007]
0.71 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.71
0.71 c # GENERATE_SAT BEGIN : /tmp/evaluation/202800-1170095742/sugar13159.bcnf [Mon Jan 29 19:35:43 2007]
0.71 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202800-1170095742/sugar-v0-40.jar -bcnf -map /tmp/evaluation/202800-1170095742/sugar13159.map /tmp/evaluation/202800-1170095742/sugar13159.csp /tmp/evaluation/202800-1170095742/sugar13159.bcnf
0.83 c BEGIN parse /tmp/evaluation/202800-1170095742/sugar13159.csp
12.74 c END parse (11.916012 seconds)
12.75 c BEGIN simplify
12.82 c END simplify (0.076431 seconds)
12.82 c BEGIN encode /tmp/evaluation/202800-1170095742/sugar13159.bcnf
13.36 c END encode (0.533262 seconds)
13.47 c # GENERATE_SAT END : 5200 variables 43277 clauses 4205276 bytes (12 seconds) [Mon Jan 29 19:35:55 2007]
13.47 c # GENERATE_SAT CPU : 12.58 = 0.04 + 0 + 12.21 + 0.33
13.47
13.47 c # SOLVE_SAT BEGIN : /tmp/evaluation/202800-1170095742/sugar13159.bcnf [Mon Jan 29 19:35:55 2007]
13.47 c # CMD : /tmp/evaluation/202800-1170095742/minisat /tmp/evaluation/202800-1170095742/sugar13159.bcnf /tmp/evaluation/202800-1170095742/sugar13159.out
13.57 c ==================================[MINISAT]===================================
13.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
13.57 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
13.58 c ==============================================================================
13.58 c | 0 | 43277 1008034 | 14425 0 0 nan | 0.000 % |
13.60 c | 101 | 43277 1008034 | 15867 101 1697 16.8 | 0.000 % |
13.65 c | 251 | 43277 1008034 | 17454 251 3959 15.8 | 0.000 % |
13.72 c | 476 | 43278 1008034 | 19199 475 6990 14.7 | 0.000 % |
13.86 c | 813 | 43281 1008034 | 21119 809 18791 23.2 | 0.000 % |
14.06 c | 1320 | 43282 1008034 | 23231 1315 27541 20.9 | 0.000 % |
14.31 c | 2080 | 43282 1008034 | 25554 2075 39873 19.2 | 0.000 % |
14.64 c | 3219 | 43286 1008034 | 28110 3210 68139 21.2 | 0.000 % |
15.30 c | 4928 | 43288 1008034 | 30921 4917 107134 21.8 | 0.000 % |
16.44 c | 7491 | 43289 1008034 | 34013 7479 184665 24.7 | 0.000 % |
17.99 c | 11335 | 43294 1008034 | 37414 11318 266430 23.5 | 0.000 % |
20.26 c | 17101 | 43302 1008034 | 41156 17076 401256 23.5 | 0.000 % |
24.77 c | 25751 | 43303 1008034 | 45271 25725 627548 24.4 | 0.000 % |
32.02 c | 38725 | 43306 1008034 | 49799 38696 876959 22.7 | 0.000 % |
45.64 c | 58188 | 43309 1008034 | 54778 22978 574152 25.0 | 0.002 % |
63.01 c | 87380 | 43151 1007449 | 60256 18758 577044 30.8 | 0.404 % |
99.47 c | 131170 | 43167 1007449 | 66282 19515 634579 32.5 | 0.404 % |
151.04 c | 196854 | 43180 1007449 | 72910 35819 1294761 36.1 | 0.404 % |
228.29 c | 295382 | 43101 1007203 | 80201 35661 1035930 29.0 | 0.423 % |
346.99 c | 443171 | 43135 1007203 | 88221 59462 2096946 35.3 | 0.423 % |
542.99 c | 664855 | 43158 1007203 | 97044 73372 2534865 34.5 | 0.423 % |
849.32 c | 997382 | 43182 1007203 | 106748 89566 4059805 45.3 | 0.423 % |
1329.12 c | 1496170 | 43208 1007203 | 117423 64194 2541883 39.6 | 0.423 % |
1809.11
1809.11 s UNKNOWN
1809.11 c # INTERRUPTED
1809.11 c # MAIN END : (1809 seconds) [Mon Jan 29 20:05:51 2007]
1809.11 c # MAIN CPU : 12.58 = 0.04 + 0 + 12.21 + 0.33
1809.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-202800-1170095742 -o ROOT/results/node23/solver-202800-1170095742 -C 1800 -M 900 /tmp/evaluation/202800-1170095742/solver /tmp/evaluation/202800-1170095742 /tmp/evaluation/202800-1170095742/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
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.03 2.08 2.14 5/95 13160
/proc/meminfo: memFree=1355328/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=18540 CPUtime=0
/proc/13159/stat : 13159 (runsolver) R 13157 13159 12658 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29528069 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13159/statm: 4635 279 244 17 0 2626 0
[startup+0.110434 s]
/proc/loadavg: 2.03 2.08 2.14 5/95 13160
/proc/meminfo: memFree=1355328/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=13724 CPUtime=0.04
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29528069 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.522476 s]
/proc/loadavg: 2.03 2.08 2.14 5/95 13160
/proc/meminfo: memFree=1355328/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=13724 CPUtime=0.04
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29528069 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.35159 s]
/proc/loadavg: 2.03 2.08 2.14 4/97 13177
/proc/meminfo: memFree=1530224/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=13724 CPUtime=0.04
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29528069 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 3431 808 370 3 0 531 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13169] ppid=13159 vsize=807064 CPUtime=0.62
/proc/13169/stat : 13169 (java) R 13159 13159 12658 0 -1 0 7772 0 1 0 58 4 0 0 19 0 8 0 29528140 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13169/statm: 201766 7519 1494 14 0 189044 0
[pid=13169/tid=13170] ppid=13159 vsize=807064 CPUtime=0.09
/proc/13169/task/13170/stat : 13170 (java) R 13159 13159 12658 0 -1 64 1718 0 0 0 9 0 0 0 16 0 8 0 29528144 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13171] ppid=13159 vsize=807064 CPUtime=0
/proc/13169/task/13171/stat : 13171 (java) S 13159 13159 12658 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29528144 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13172] ppid=13159 vsize=807064 CPUtime=0
/proc/13169/task/13172/stat : 13172 (java) S 13159 13159 12658 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29528144 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13173] ppid=13159 vsize=807064 CPUtime=0
/proc/13169/task/13173/stat : 13173 (java) S 13159 13159 12658 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29528147 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13174] ppid=13159 vsize=807064 CPUtime=0.05
/proc/13169/task/13174/stat : 13174 (java) S 13159 13159 12658 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29528147 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13175] ppid=13159 vsize=807064 CPUtime=0
/proc/13169/task/13175/stat : 13175 (java) S 13159 13159 12658 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29528147 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13176] ppid=13159 vsize=807064 CPUtime=0
/proc/13169/task/13176/stat : 13176 (java) S 13159 13159 12658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29528147 826433536 7519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820788
[startup+2.98876 s]
/proc/loadavg: 2.03 2.08 2.14 4/97 13177
/proc/meminfo: memFree=1512176/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=13724 CPUtime=0.04
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29528069 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 3431 808 370 3 0 531 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13169] ppid=13159 vsize=807328 CPUtime=2.24
/proc/13169/stat : 13169 (java) R 13159 13159 12658 0 -1 0 15701 0 1 0 216 8 0 0 25 0 8 0 29528140 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13169/statm: 201832 15424 1506 14 0 189110 0
[pid=13169/tid=13170] ppid=13159 vsize=807328 CPUtime=0.56
/proc/13169/task/13170/stat : 13170 (java) R 13159 13159 12658 0 -1 64 9478 0 0 0 52 4 0 0 16 0 8 0 29528144 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827311 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13171] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13171/stat : 13171 (java) S 13159 13159 12658 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29528144 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13172] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13172/stat : 13172 (java) S 13159 13159 12658 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29528144 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13173] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13173/stat : 13173 (java) S 13159 13159 12658 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29528147 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13174] ppid=13159 vsize=807328 CPUtime=0.13
/proc/13169/task/13174/stat : 13174 (java) S 13159 13159 12658 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 29528147 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13175] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13175/stat : 13175 (java) S 13159 13159 12658 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29528147 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13176] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13176/stat : 13176 (java) S 13159 13159 12658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29528147 826703872 15424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821052
[startup+6.21212 s]
/proc/loadavg: 2.11 2.09 2.15 3/97 13177
/proc/meminfo: memFree=1420976/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=13724 CPUtime=0.04
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29528069 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 3431 808 370 3 0 531 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13169] ppid=13159 vsize=807328 CPUtime=5.44
/proc/13169/stat : 13169 (java) R 13159 13159 12658 0 -1 0 37575 0 1 0 526 18 0 0 25 0 8 0 29528140 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13169/statm: 201832 37199 1506 14 0 189110 0
[pid=13169/tid=13170] ppid=13159 vsize=807328 CPUtime=1.56
/proc/13169/task/13170/stat : 13170 (java) S 13159 13159 12658 0 -1 64 31250 0 0 0 144 12 0 0 16 0 8 0 29528144 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13171] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13171/stat : 13171 (java) S 13159 13159 12658 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29528144 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13172] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13172/stat : 13172 (java) S 13159 13159 12658 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29528144 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13173] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13173/stat : 13173 (java) S 13159 13159 12658 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29528147 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13174] ppid=13159 vsize=807328 CPUtime=0.14
/proc/13169/task/13174/stat : 13174 (java) S 13159 13159 12658 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 29528147 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13175] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13175/stat : 13175 (java) S 13159 13159 12658 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29528147 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13176] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13176/stat : 13176 (java) S 13159 13159 12658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29528147 826703872 37199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821052
[startup+12.6479 s]
/proc/loadavg: 2.18 2.10 2.15 3/97 13177
/proc/meminfo: memFree=1337008/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=13724 CPUtime=0.04
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29528069 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 3431 808 370 3 0 531 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13169] ppid=13159 vsize=807328 CPUtime=11.81
/proc/13169/stat : 13169 (java) R 13159 13159 12658 0 -1 0 54918 0 1 0 1153 28 0 0 25 0 8 0 29528140 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13169/statm: 201832 54106 1507 14 0 189110 0
[pid=13169/tid=13170] ppid=13159 vsize=807328 CPUtime=3.45
/proc/13169/task/13170/stat : 13170 (java) S 13159 13159 12658 0 -1 64 48426 0 0 0 324 21 0 0 16 0 8 0 29528144 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13171] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13171/stat : 13171 (java) S 13159 13159 12658 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29528144 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13172] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13172/stat : 13172 (java) S 13159 13159 12658 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29528144 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13173] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13173/stat : 13173 (java) S 13159 13159 12658 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29528147 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13174] ppid=13159 vsize=807328 CPUtime=0.14
/proc/13169/task/13174/stat : 13174 (java) S 13159 13159 12658 0 -1 64 403 0 0 0 14 0 0 0 17 0 8 0 29528147 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13175] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13175/stat : 13175 (java) S 13159 13159 12658 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29528147 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13169/tid=13176] ppid=13159 vsize=807328 CPUtime=0
/proc/13169/task/13176/stat : 13176 (java) S 13159 13159 12658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29528147 826703872 54106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821052
[startup+25.5023 s]
/proc/loadavg: 2.14 2.10 2.15 3/90 13180
/proc/meminfo: memFree=1530024/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=10644 CPUtime=11.9
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 3343 0 0 0 1188 2 0 0 25 0 1 0 29529417 10899456 2304 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 2661 2304 52 112 0 2545 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 26956
[startup+51.2002 s]
/proc/loadavg: 2.09 2.09 2.15 3/90 13180
/proc/meminfo: memFree=1525032/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=13504 CPUtime=37.42
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 4057 0 0 0 3739 3 0 0 25 0 1 0 29529417 13828096 3018 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528572 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 3376 3018 52 112 0 3260 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 29816
[startup+102.484 s]
/proc/loadavg: 2.04 2.07 2.14 3/90 13180
/proc/meminfo: memFree=1516840/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=18360 CPUtime=88.46
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 5270 0 0 0 8842 4 0 0 25 0 1 0 29529417 18800640 4231 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527284 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 4590 4231 52 112 0 4474 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 34672
[startup+162.509 s]
/proc/loadavg: 2.01 2.06 2.12 3/90 13180
/proc/meminfo: memFree=1515112/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
################
# More data... #
################
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 9734 0 0 0 122338 17 0 0 25 0 1 0 29529417 37416960 8687 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 9135 8687 52 112 0 9019 0
Current children cumulated CPU time (s) 1236.8
Current children cumulated vsize (KiB) 52852
[startup+1302.97 s]
/proc/loadavg: 2.11 2.04 2.04 3/90 13180
/proc/meminfo: memFree=1485352/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=36980 CPUtime=1283.28
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 9806 0 0 0 128311 17 0 0 25 0 1 0 29529417 37867520 8759 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 9245 8759 52 112 0 9129 0
Current children cumulated CPU time (s) 1296.53
Current children cumulated vsize (KiB) 53292
[startup+1362.99 s]
/proc/loadavg: 2.04 2.03 2.03 3/90 13180
/proc/meminfo: memFree=1484776/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=36980 CPUtime=1343.03
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 9831 0 0 0 134285 18 0 0 25 0 1 0 29529417 37867520 8784 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 9245 8784 52 112 0 9129 0
Current children cumulated CPU time (s) 1356.28
Current children cumulated vsize (KiB) 53292
[startup+1423.02 s]
/proc/loadavg: 2.01 2.02 2.02 3/90 13180
/proc/meminfo: memFree=1483880/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=37660 CPUtime=1402.77
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 9990 0 0 0 140258 19 0 0 25 0 1 0 29529417 38563840 8943 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 9415 8943 52 112 0 9299 0
Current children cumulated CPU time (s) 1416.02
Current children cumulated vsize (KiB) 53972
[startup+1483.05 s]
/proc/loadavg: 2.00 2.02 2.02 3/90 13180
/proc/meminfo: memFree=1481960/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=39372 CPUtime=1462.51
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 10423 0 0 0 146231 20 0 0 25 0 1 0 29529417 40316928 9376 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 9843 9376 52 112 0 9727 0
Current children cumulated CPU time (s) 1475.76
Current children cumulated vsize (KiB) 55684
[startup+1543.08 s]
/proc/loadavg: 2.05 2.03 2.02 3/96 13264
/proc/meminfo: memFree=1476784/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=42996 CPUtime=1522.19
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 11312 0 0 0 152197 22 0 0 25 0 1 0 29529417 44027904 10265 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 10749 10265 52 112 0 10633 0
Current children cumulated CPU time (s) 1535.44
Current children cumulated vsize (KiB) 59308
[startup+1603.12 s]
/proc/loadavg: 2.02 2.02 2.01 3/96 13352
/proc/meminfo: memFree=1476648/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=42996 CPUtime=1581.85
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 11312 0 0 0 158163 22 0 0 25 0 1 0 29529417 44027904 10265 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 10749 10265 52 112 0 10633 0
Current children cumulated CPU time (s) 1595.1
Current children cumulated vsize (KiB) 59308
[startup+1663.15 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 13378
/proc/meminfo: memFree=1476520/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=42996 CPUtime=1641.56
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 11321 0 0 0 164134 22 0 0 25 0 1 0 29529417 44027904 10274 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 10749 10274 52 112 0 10633 0
Current children cumulated CPU time (s) 1654.81
Current children cumulated vsize (KiB) 59308
[startup+1723.18 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 13378
/proc/meminfo: memFree=1476264/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=42996 CPUtime=1701.31
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 11322 0 0 0 170108 23 0 0 25 0 1 0 29529417 44027904 10275 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134524956 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 10749 10275 52 112 0 10633 0
Current children cumulated CPU time (s) 1714.56
Current children cumulated vsize (KiB) 59308
[startup+1783.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 13378
/proc/meminfo: memFree=1476072/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=43180 CPUtime=1761.04
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 11339 0 0 0 176081 23 0 0 25 0 1 0 29529417 44216320 10292 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 10795 10292 52 112 0 10679 0
Current children cumulated CPU time (s) 1774.29
Current children cumulated vsize (KiB) 59492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.1 s]
/proc/loadavg: 1.86 1.97 1.99 3/97 13442
/proc/meminfo: memFree=1467568/2055920 swapFree=4192956/4192956
[pid=13159] ppid=13157 vsize=16312 CPUtime=12.62
/proc/13159/stat : 13159 (sugar) S 13157 13159 12658 0 -1 4194304 1935 54961 0 1 7 1 1221 33 16 0 1 0 29528069 16703488 1445 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13159/statm: 4078 1445 373 3 0 1178 0
[pid=13161] ppid=13159 vsize=0 CPUtime=0.63
/proc/13161/stat : 13161 (java) Z 13159 13159 12658 0 -1 1036 7508 0 1 0 57 6 0 0 18 0 1 0 29528074 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/13161/statm: 0 0 0 0 0 0 0
[pid=13178] ppid=13159 vsize=43180 CPUtime=1786.86
/proc/13178/stat : 13178 (minisat) R 13159 13159 12658 0 -1 0 11340 0 0 0 178662 24 0 0 25 0 1 0 29529417 44216320 10293 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/13178/statm: 10795 10293 52 112 0 10679 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 59492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 13159 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=293131 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=356945
CPU time returned by wait4() is 12.6501
while last known CPU time is 1800.12
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.12
CPU time (s): 1800.12
CPU user time (s): 1799.47
CPU system time (s): 0.65
CPU usage (%): 99.4475
Max. virtual memory (cumulated for all children) (KiB): 821304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2931
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56981
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= 2952
involuntary context switches= 3124
runsolver used 2.26565 s user time and 5.75812 s system time
The end
Begin job on node23 on Mon Jan 29 18:35:42 UTC 2007
IDJOB= 202800
IDBENCH= 3883
IDSOLVER= 86
FILE ID= node23/202800-1170095742
PBS_JOBID= 3689647
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
COMMAND LINE= /tmp/evaluation/202800-1170095742/solver /tmp/evaluation/202800-1170095742 /tmp/evaluation/202800-1170095742/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-202800-1170095742 -o ROOT/results/node23/solver-202800-1170095742 -C 1800 -M 900 /tmp/evaluation/202800-1170095742/solver /tmp/evaluation/202800-1170095742 /tmp/evaluation/202800-1170095742/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2034b20f95b4ca3ea3b257a685963d8c
RANDOM SEED= 925501703
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.216
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.216
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: 1355808 kB
Buffers: 51280 kB
Cached: 304700 kB
SwapCached: 0 kB
Active: 423740 kB
Inactive: 205312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1355808 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3288 kB
Writeback: 0 kB
Mapped: 298600 kB
Slab: 55648 kB
Committed_AS: 497408 kB
PageTables: 2528 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= 66563 MiB
End job on node23 on Mon Jan 29 19:05:53 UTC 2007