0.05 c # Sugar v0-40 (/tmp/evaluation/194331-1170090243/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/194331-1170090243/unknown.xml [Mon Jan 29 18:04:07 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/194331-1170090243/unknown.xml /tmp/evaluation/194331-1170090243/sugar25184.csp [Mon Jan 29 18:04:07 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194331-1170090243/sugar-v0-40.jar -convert /tmp/evaluation/194331-1170090243/unknown.xml /tmp/evaluation/194331-1170090243/sugar25184.csp
0.21 c BEGIN convert /tmp/evaluation/194331-1170090243/unknown.xml
0.87 c END convert (0.65471 seconds)
0.90 c # CONVERT_XML END : /tmp/evaluation/194331-1170090243/sugar25184.csp 2154395 bytes (1 seconds) [Mon Jan 29 18:04:08 2007]
0.90 c # CONVERT_XML CPU : 0.74 = 0 + 0 + 0.69 + 0.05
0.90
0.90 c # GENERATE_SAT BEGIN : /tmp/evaluation/194331-1170090243/sugar25184.bcnf [Mon Jan 29 18:04:08 2007]
0.90 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194331-1170090243/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194331-1170090243/sugar25184.map /tmp/evaluation/194331-1170090243/sugar25184.csp /tmp/evaluation/194331-1170090243/sugar25184.bcnf
1.02 c BEGIN parse /tmp/evaluation/194331-1170090243/sugar25184.csp
28.08 c END parse (27.059882 seconds)
28.08 c BEGIN simplify
28.19 c END simplify (0.113586 seconds)
28.19 c BEGIN encode /tmp/evaluation/194331-1170090243/sugar25184.bcnf
29.23 c END encode (1.036912 seconds)
29.35 c # GENERATE_SAT END : 7378 variables 79125 clauses 8320296 bytes (29 seconds) [Mon Jan 29 18:04:37 2007]
29.35 c # GENERATE_SAT CPU : 28.04 = 0.05 + 0.01 + 27.45 + 0.53
29.35
29.35 c # SOLVE_SAT BEGIN : /tmp/evaluation/194331-1170090243/sugar25184.bcnf [Mon Jan 29 18:04:37 2007]
29.35 c # CMD : /tmp/evaluation/194331-1170090243/minisat /tmp/evaluation/194331-1170090243/sugar25184.bcnf /tmp/evaluation/194331-1170090243/sugar25184.out
29.54 c ==================================[MINISAT]===================================
29.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
29.54 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
29.54 c ==============================================================================
29.54 c | 0 | 79125 2000941 | 26375 0 0 nan | 0.000 % |
29.57 c | 100 | 79125 2000941 | 29012 100 4900 49.0 | 0.000 % |
29.64 c | 251 | 79125 2000941 | 31913 251 7965 31.7 | 0.000 % |
29.74 c | 476 | 79125 2000941 | 35105 476 10966 23.0 | 0.000 % |
29.92 c | 814 | 79126 2000941 | 38615 813 17094 21.0 | 0.000 % |
30.19 c | 1320 | 79126 2000941 | 42477 1319 25866 19.6 | 0.000 % |
30.61 c | 2080 | 79126 2000941 | 46724 2079 40972 19.7 | 0.000 % |
31.29 c | 3219 | 79127 2000941 | 51397 3217 62295 19.4 | 0.000 % |
32.29 c | 4927 | 79128 2000941 | 56537 4924 97306 19.8 | 0.000 % |
33.56 c | 7491 | 79128 2000941 | 62190 7488 143907 19.2 | 0.000 % |
35.45 c | 11335 | 79128 2000941 | 68409 11332 221300 19.5 | 0.000 % |
38.29 c | 17104 | 79129 2000941 | 75250 17100 316847 18.5 | 0.000 % |
43.66 c | 25753 | 79129 2000941 | 82776 25749 503687 19.6 | 0.000 % |
53.15 c | 38727 | 79130 2000941 | 91053 38722 747380 19.3 | 0.000 % |
69.48 c | 58189 | 79132 2000941 | 100159 58182 1287337 22.1 | 0.000 % |
101.59 c | 87382 | 79136 2000941 | 110174 87371 2144426 24.5 | 0.000 % |
151.55 c | 131171 | 79141 2000941 | 121192 37565 1082387 28.8 | 0.000 % |
228.77 c | 196855 | 79149 2000941 | 133311 103241 3168637 30.7 | 0.000 % |
357.24 c | 295381 | 79158 2000941 | 146642 90200 3487330 38.7 | 0.000 % |
561.70 c | 443171 | 79171 2000941 | 161307 108565 4230967 39.0 | 0.000 % |
871.54 c | 664856 | 79183 2000941 | 177437 47105 1615512 34.3 | 0.000 % |
1427.48 c | 997382 | 79201 2000941 | 195181 69471 2000528 28.8 | 0.000 % |
1806.55
1806.55 s UNKNOWN
1806.55 c # INTERRUPTED
1806.55 c # MAIN END : (1807 seconds) [Mon Jan 29 18:34:14 2007]
1806.55 c # MAIN CPU : 28.78 = 0.05 + 0.01 + 28.14 + 0.58
1806.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-194331-1170090243 -o ROOT/results/node10/solver-194331-1170090243 -C 1800 -M 900 /tmp/evaluation/194331-1170090243/solver /tmp/evaluation/194331-1170090243 /tmp/evaluation/194331-1170090243/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.31 1.12 0.43 5/94 25185
/proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=18540 CPUtime=0
/proc/25184/stat : 25184 (runsolver) R 25182 25184 24582 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28979742 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25184/statm: 4635 279 244 17 0 2626 0
[startup+0.108069 s]
/proc/loadavg: 2.31 1.12 0.43 5/94 25185
/proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.03
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 28979742 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.521125 s]
/proc/loadavg: 2.31 1.12 0.43 5/94 25185
/proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.03
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 28979742 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.35024 s]
/proc/loadavg: 2.31 1.12 0.43 3/102 25201
/proc/meminfo: memFree=25768/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.78
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1190 7898 0 1 3 1 69 5 15 0 1 0 28979742 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 3431 809 371 3 0 531 0
[pid=25194] ppid=25184 vsize=807064 CPUtime=0.42
/proc/25194/stat : 25194 (java) R 25184 25184 24582 0 -1 0 7319 0 1 0 39 3 0 0 25 0 8 0 28979833 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25194/statm: 201766 7068 1494 14 0 189044 0
[pid=25194/tid=25195] ppid=25184 vsize=807064 CPUtime=0.05
/proc/25194/task/25195/stat : 25195 (java) S 25184 25184 24582 0 -1 64 1267 0 0 0 5 0 0 0 16 0 8 0 28979836 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25196] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25196/stat : 25196 (java) S 25184 25184 24582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979837 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25197] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25197/stat : 25197 (java) S 25184 25184 24582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979837 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25198] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25198/stat : 25198 (java) S 25184 25184 24582 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 28979840 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25199] ppid=25184 vsize=807064 CPUtime=0.05
/proc/25194/task/25199/stat : 25199 (java) S 25184 25184 24582 0 -1 64 292 0 0 0 5 0 0 0 18 0 8 0 28979840 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25200] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25200/stat : 25200 (java) S 25184 25184 24582 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 28979840 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25201] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25201/stat : 25201 (java) S 25184 25184 24582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979840 826433536 7068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 820788
[startup+2.98945 s]
/proc/loadavg: 2.31 1.12 0.43 3/102 25201
/proc/meminfo: memFree=15400/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.78
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1190 7898 0 1 3 1 69 5 15 0 1 0 28979742 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 3431 809 371 3 0 531 0
[pid=25194] ppid=25184 vsize=807064 CPUtime=2.04
/proc/25194/stat : 25194 (java) R 25184 25184 24582 0 -1 0 14012 0 1 0 197 7 0 0 25 0 8 0 28979833 826433536 13745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25194/statm: 201766 13746 1494 14 0 189044 0
[pid=25194/tid=25195] ppid=25184 vsize=807064 CPUtime=0.55
/proc/25194/task/25195/stat : 25195 (java) R 25184 25184 24582 0 -1 64 7947 0 0 0 52 3 0 0 16 0 8 0 28979836 826433536 13748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25196] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25196/stat : 25196 (java) S 25184 25184 24582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979837 826433536 13749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25197] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25197/stat : 25197 (java) S 25184 25184 24582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979837 826433536 13751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25198] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25198/stat : 25198 (java) S 25184 25184 24582 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 28979840 826433536 13752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25199] ppid=25184 vsize=807064 CPUtime=0.05
/proc/25194/task/25199/stat : 25199 (java) S 25184 25184 24582 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28979840 826433536 13754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25200] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25200/stat : 25200 (java) S 25184 25184 24582 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 28979840 826433536 13756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25201] ppid=25184 vsize=807064 CPUtime=0
/proc/25194/task/25201/stat : 25201 (java) S 25184 25184 24582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979840 826433536 13757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 820788
[startup+6.28391 s]
/proc/loadavg: 2.37 1.15 0.44 3/102 25201
/proc/meminfo: memFree=16168/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.78
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1190 7898 0 1 3 1 69 5 15 0 1 0 28979742 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 3431 809 371 3 0 531 0
[pid=25194] ppid=25184 vsize=807336 CPUtime=5.28
/proc/25194/stat : 25194 (java) R 25184 25184 24582 0 -1 0 37341 0 1 0 511 17 0 0 23 0 8 0 28979833 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25194/statm: 201834 36973 1507 14 0 189112 0
[pid=25194/tid=25195] ppid=25184 vsize=807336 CPUtime=1.55
/proc/25194/task/25195/stat : 25195 (java) R 25184 25184 24582 0 -1 64 31018 0 0 0 143 12 0 0 15 0 8 0 28979836 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155529744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25196] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25196/stat : 25196 (java) S 25184 25184 24582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979837 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25197] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25197/stat : 25197 (java) S 25184 25184 24582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979837 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25198] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25198/stat : 25198 (java) S 25184 25184 24582 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 28979840 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25199] ppid=25184 vsize=807336 CPUtime=0.13
/proc/25194/task/25199/stat : 25199 (java) S 25184 25184 24582 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 28979840 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25200] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25200/stat : 25200 (java) S 25184 25184 24582 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 28979840 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25201] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25201/stat : 25201 (java) S 25184 25184 24582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979840 826712064 36973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 821060
[startup+12.7788 s]
/proc/loadavg: 2.58 1.22 0.47 4/102 25201
/proc/meminfo: memFree=16168/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.78
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1190 7898 0 1 3 1 69 5 15 0 1 0 28979742 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 3431 809 371 3 0 531 0
[pid=25194] ppid=25184 vsize=807336 CPUtime=11.69
/proc/25194/stat : 25194 (java) R 25184 25184 24582 0 -1 0 54876 0 1 0 1139 30 0 0 25 0 8 0 28979833 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25194/statm: 201834 54115 1507 14 0 189112 0
[pid=25194/tid=25195] ppid=25184 vsize=807336 CPUtime=3.63
/proc/25194/task/25195/stat : 25195 (java) S 25184 25184 24582 0 -1 64 48357 0 0 0 342 21 0 0 16 0 8 0 28979836 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25196] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25196/stat : 25196 (java) S 25184 25184 24582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979837 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25197] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25197/stat : 25197 (java) S 25184 25184 24582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979837 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25198] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25198/stat : 25198 (java) S 25184 25184 24582 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25199] ppid=25184 vsize=807336 CPUtime=0.14
/proc/25194/task/25199/stat : 25199 (java) S 25184 25184 24582 0 -1 64 404 0 0 0 14 0 0 0 17 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25200] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25200/stat : 25200 (java) S 25184 25184 24582 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25201] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25201/stat : 25201 (java) S 25184 25184 24582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 821060
[startup+25.6725 s]
/proc/loadavg: 2.67 1.30 0.51 3/102 25201
/proc/meminfo: memFree=15336/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=13724 CPUtime=0.78
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 1190 7898 0 1 3 1 69 5 15 0 1 0 28979742 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 3431 809 371 3 0 531 0
[pid=25194] ppid=25184 vsize=807336 CPUtime=24.49
/proc/25194/stat : 25194 (java) R 25184 25184 24582 0 -1 0 56527 0 1 0 2406 43 0 0 25 0 8 0 28979833 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25194/statm: 201834 54115 1507 14 0 189112 0
[pid=25194/tid=25195] ppid=25184 vsize=807336 CPUtime=8.75
/proc/25194/task/25195/stat : 25195 (java) S 25184 25184 24582 0 -1 64 49614 0 0 0 848 27 0 0 16 0 8 0 28979836 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25194/tid=25196] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25196/stat : 25196 (java) S 25184 25184 24582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979837 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25197] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25197/stat : 25197 (java) S 25184 25184 24582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979837 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25198] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25198/stat : 25198 (java) S 25184 25184 24582 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25199] ppid=25184 vsize=807336 CPUtime=0.14
/proc/25194/task/25199/stat : 25199 (java) S 25184 25184 24582 0 -1 64 404 0 0 0 14 0 0 0 17 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25200] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25200/stat : 25200 (java) S 25184 25184 24582 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25194/tid=25201] ppid=25184 vsize=807336 CPUtime=0
/proc/25194/task/25201/stat : 25201 (java) S 25184 25184 24582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979840 826712064 54115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 821060
[startup+51.372 s]
/proc/loadavg: 2.78 1.44 0.57 3/95 25202
/proc/meminfo: memFree=14944/2055920 swapFree=4192956/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=16136 CPUtime=21.87
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 4708 0 0 0 2174 13 0 0 25 0 1 0 28982678 16523264 3672 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25202/statm: 4034 3672 52 112 0 3918 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 33380
[startup+102.627 s]
/proc/loadavg: 3.88 1.94 0.79 3/95 25202
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=23844 CPUtime=72.79
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 6626 0 0 0 7245 34 0 0 25 0 1 0 28982678 24416256 5590 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525036 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 5961 5590 52 112 0 5845 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 41088
[startup+162.699 s]
/proc/loadavg: 3.12 2.08 0.91 3/95 25202
/proc/meminfo: memFree=15008/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=27544 CPUtime=132.38
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 7534 0 0 0 13172 66 0 0 25 0 1 0 28982678 28205056 6498 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/25202/statm: 6886 6498 52 112 0 6770 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 44788
################
# More data... #
################
/proc/loadavg: 2.02 2.41 2.00 3/88 25267
/proc/meminfo: memFree=1791576/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=46404 CPUtime=1089.2
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12169 0 0 0 108603 317 0 0 25 0 1 0 28982678 47517696 11133 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 11601 11133 52 112 0 11485 0
Current children cumulated CPU time (s) 1118.01
Current children cumulated vsize (KiB) 63648
[startup+1183.82 s]
/proc/loadavg: 2.01 2.32 2.00 3/88 25267
/proc/meminfo: memFree=1785944/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=46832 CPUtime=1149.22
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12251 0 0 0 114605 317 0 0 25 0 1 0 28982678 47955968 11215 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 11708 11215 52 112 0 11592 0
Current children cumulated CPU time (s) 1178.03
Current children cumulated vsize (KiB) 64076
[startup+1243.92 s]
/proc/loadavg: 2.15 2.29 2.01 3/88 25267
/proc/meminfo: memFree=1785304/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=47352 CPUtime=1209.25
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12352 0 0 0 120607 318 0 0 25 0 1 0 28982678 48488448 11316 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 11838 11316 52 112 0 11722 0
Current children cumulated CPU time (s) 1238.06
Current children cumulated vsize (KiB) 64596
[startup+1304 s]
/proc/loadavg: 2.05 2.24 2.00 3/88 25267
/proc/meminfo: memFree=1784344/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=47872 CPUtime=1269.28
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12468 0 0 0 126610 318 0 0 25 0 1 0 28982678 49020928 11432 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134532773 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 11968 11432 52 112 0 11852 0
Current children cumulated CPU time (s) 1298.09
Current children cumulated vsize (KiB) 65116
[startup+1364.08 s]
/proc/loadavg: 2.02 2.19 2.00 3/88 25267
/proc/meminfo: memFree=1780632/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=47872 CPUtime=1329.3
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12479 0 0 0 132612 318 0 0 25 0 1 0 28982678 49020928 11443 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 11968 11443 52 112 0 11852 0
Current children cumulated CPU time (s) 1358.11
Current children cumulated vsize (KiB) 65116
[startup+1424.17 s]
/proc/loadavg: 2.05 2.17 2.00 3/88 25267
/proc/meminfo: memFree=1777624/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=47872 CPUtime=1389.3
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12480 0 0 0 138612 318 0 0 25 0 1 0 28982678 49020928 11444 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 11968 11444 52 112 0 11852 0
Current children cumulated CPU time (s) 1418.11
Current children cumulated vsize (KiB) 65116
[startup+1484.25 s]
/proc/loadavg: 2.02 2.14 2.00 3/88 25267
/proc/meminfo: memFree=1777048/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=48168 CPUtime=1449.33
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12563 0 0 0 144615 318 0 0 25 0 1 0 28982678 49324032 11519 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 12042 11519 52 112 0 11926 0
Current children cumulated CPU time (s) 1478.14
Current children cumulated vsize (KiB) 65412
[startup+1544.34 s]
/proc/loadavg: 2.12 2.14 2.01 3/88 25267
/proc/meminfo: memFree=1776920/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=48168 CPUtime=1509.35
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12564 0 0 0 150617 318 0 0 25 0 1 0 28982678 49324032 11520 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 12042 11520 52 112 0 11926 0
Current children cumulated CPU time (s) 1538.16
Current children cumulated vsize (KiB) 65412
[startup+1604.42 s]
/proc/loadavg: 2.04 2.11 2.00 3/88 25267
/proc/meminfo: memFree=1775448/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=49208 CPUtime=1569.36
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 12808 0 0 0 156617 319 0 0 25 0 1 0 28982678 50388992 11764 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 12302 11764 52 112 0 12186 0
Current children cumulated CPU time (s) 1598.17
Current children cumulated vsize (KiB) 66452
[startup+1664.5 s]
/proc/loadavg: 2.06 2.10 2.00 3/88 25267
/proc/meminfo: memFree=1768408/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=54680 CPUtime=1629.39
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 14199 0 0 0 162618 321 0 0 25 0 1 0 28982678 55992320 13155 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 13670 13155 52 112 0 13554 0
Current children cumulated CPU time (s) 1658.2
Current children cumulated vsize (KiB) 71924
[startup+1724.58 s]
/proc/loadavg: 2.02 2.08 2.00 3/88 25267
/proc/meminfo: memFree=1768216/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=54680 CPUtime=1689.4
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 14199 0 0 0 168619 321 0 0 25 0 1 0 28982678 55992320 13155 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528424 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 13670 13155 52 112 0 13554 0
Current children cumulated CPU time (s) 1718.21
Current children cumulated vsize (KiB) 71924
[startup+1784.66 s]
/proc/loadavg: 2.01 2.06 2.00 3/88 25267
/proc/meminfo: memFree=1767832/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=54844 CPUtime=1749.41
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 14217 0 0 0 174620 321 0 0 25 0 1 0 28982678 56160256 13173 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 13711 13173 52 112 0 13595 0
Current children cumulated CPU time (s) 1778.22
Current children cumulated vsize (KiB) 72088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.55 s]
/proc/loadavg: 2.13 2.09 2.01 3/88 25267
/proc/meminfo: memFree=1767704/2055920 swapFree=4192812/4192956
[pid=25184] ppid=25182 vsize=17244 CPUtime=28.81
/proc/25184/stat : 25184 (sugar) S 25182 25184 24582 0 -1 4194304 2142 65337 0 2 8 1 2814 58 16 0 1 0 28979742 17657856 1656 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25184/statm: 4311 1656 373 3 0 1411 0
[pid=25202] ppid=25184 vsize=55008 CPUtime=1771.29
/proc/25202/stat : 25202 (minisat) R 25184 25184 24582 0 -1 0 14243 0 0 0 176808 321 0 0 25 0 1 0 28982678 56328192 13199 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525640 0 0 4096 3 0 0 0 17 0 0 0
/proc/25202/statm: 13752 13199 52 112 0 13636 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 72252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25184 and gives childrusage.ru_utime.tv_sec=28 childrusage.ru_utime.tv_usec=231708 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=606907
CPU time returned by wait4() is 28.8386
while last known CPU time is 1800.11
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1807.61
CPU time (s): 1800.11
CPU user time (s): 1796.3
CPU system time (s): 3.81
CPU usage (%): 99.585
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2317
system time used= 0.606907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67565
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= 7217
involuntary context switches= 7527
runsolver used 2.02569 s user time and 6.02808 s system time
The end
Begin job on node10 on Mon Jan 29 17:04:05 UTC 2007
IDJOB= 194331
IDBENCH= 3208
IDSOLVER= 86
FILE ID= node10/194331-1170090243
PBS_JOBID= 3689379
Free space on /tmp= 63266 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-42_ext.xml
COMMAND LINE= /tmp/evaluation/194331-1170090243/solver /tmp/evaluation/194331-1170090243 /tmp/evaluation/194331-1170090243/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-194331-1170090243 -o ROOT/results/node10/solver-194331-1170090243 -C 1800 -M 900 /tmp/evaluation/194331-1170090243/solver /tmp/evaluation/194331-1170090243 /tmp/evaluation/194331-1170090243/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 7cee397b385f55f69494b0e8ffd131d4
RANDOM SEED= 421510342
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.232
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.232
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: 15112 kB
Buffers: 22040 kB
Cached: 1780164 kB
SwapCached: 0 kB
Active: 174108 kB
Inactive: 1769216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15112 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 549840 kB
Writeback: 0 kB
Mapped: 166620 kB
Slab: 82064 kB
Committed_AS: 419992 kB
PageTables: 2392 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= 66549 MiB
End job on node10 on Mon Jan 29 17:34:15 UTC 2007