0.05 c # Sugar v0-40 (/tmp/evaluation/203436-1170095946/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/203436-1170095946/unknown.xml [Mon Jan 29 19:39:06 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/203436-1170095946/unknown.xml /tmp/evaluation/203436-1170095946/sugar24679.csp [Mon Jan 29 19:39:06 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203436-1170095946/sugar-v0-40.jar -convert /tmp/evaluation/203436-1170095946/unknown.xml /tmp/evaluation/203436-1170095946/sugar24679.csp
0.25 c BEGIN convert /tmp/evaluation/203436-1170095946/unknown.xml
1.01 c END convert (0.763051 seconds)
1.04 c # CONVERT_XML END : /tmp/evaluation/203436-1170095946/sugar24679.csp 2584107 bytes (1 seconds) [Mon Jan 29 19:39:07 2007]
1.05 c # CONVERT_XML CPU : 0.88 = 0 + 0 + 0.82 + 0.06
1.05
1.05 c # GENERATE_SAT BEGIN : /tmp/evaluation/203436-1170095946/sugar24679.bcnf [Mon Jan 29 19:39:07 2007]
1.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203436-1170095946/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203436-1170095946/sugar24679.map /tmp/evaluation/203436-1170095946/sugar24679.csp /tmp/evaluation/203436-1170095946/sugar24679.bcnf
1.17 c BEGIN parse /tmp/evaluation/203436-1170095946/sugar24679.csp
28.79 c END parse (27.621551 seconds)
28.79 c BEGIN simplify
28.90 c END simplify (0.111017 seconds)
28.90 c BEGIN encode /tmp/evaluation/203436-1170095946/sugar24679.bcnf
29.86 c END encode (0.950786 seconds)
29.98 c # GENERATE_SAT END : 5979 variables 89200 clauses 7155264 bytes (29 seconds) [Mon Jan 29 19:39:36 2007]
29.98 c # GENERATE_SAT CPU : 28.81 = 0.04 + 0.01 + 28.35 + 0.41
29.98
29.98 c # SOLVE_SAT BEGIN : /tmp/evaluation/203436-1170095946/sugar24679.bcnf [Mon Jan 29 19:39:36 2007]
29.98 c # CMD : /tmp/evaluation/203436-1170095946/minisat /tmp/evaluation/203436-1170095946/sugar24679.bcnf /tmp/evaluation/203436-1170095946/sugar24679.out
30.15 c ==================================[MINISAT]===================================
30.15 c | Conflicts | ORIGINAL | LEARNT | Progress |
30.15 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
30.15 c ==============================================================================
30.15 c | 0 | 89200 1699608 | 29733 0 0 nan | 0.000 % |
30.19 c | 100 | 89200 1699608 | 32706 100 3260 32.6 | 0.000 % |
30.26 c | 251 | 89200 1699608 | 35976 251 6317 25.2 | 0.000 % |
30.38 c | 476 | 89200 1699608 | 39574 476 17058 35.8 | 0.000 % |
30.52 c | 813 | 89202 1699608 | 43532 811 25105 31.0 | 0.000 % |
30.77 c | 1319 | 89202 1699608 | 47885 1317 35862 27.2 | 0.000 % |
31.21 c | 2080 | 89203 1699608 | 52673 2077 52116 25.1 | 0.000 % |
31.72 c | 3219 | 89204 1699608 | 57941 3215 70393 21.9 | 0.001 % |
32.57 c | 4928 | 89205 1699608 | 63735 4923 99276 20.2 | 0.000 % |
33.64 c | 7490 | 89207 1699608 | 70108 7483 145499 19.4 | 0.000 % |
35.37 c | 11335 | 89209 1699608 | 77119 11326 215786 19.1 | 0.000 % |
38.61 c | 17102 | 89209 1699608 | 84831 17093 373846 21.9 | 0.000 % |
43.55 c | 25752 | 89211 1699608 | 93314 25741 533953 20.7 | 0.000 % |
52.42 c | 38726 | 89214 1699608 | 102646 38712 827693 21.4 | 0.000 % |
68.07 c | 58189 | 89223 1699608 | 112911 58166 1302253 22.4 | 0.000 % |
98.32 c | 87383 | 89225 1699608 | 124202 87358 2013342 23.0 | 0.000 % |
156.70 c | 131173 | 89228 1699608 | 136622 24459 823478 33.7 | 0.000 % |
232.48 c | 196857 | 89232 1699608 | 150284 90139 2932568 32.5 | 0.000 % |
374.22 c | 295384 | 89234 1699608 | 165313 59940 2087413 34.8 | 0.000 % |
605.92 c | 443174 | 89241 1699608 | 181844 60075 1931457 32.2 | 0.000 % |
960.59 c | 664857 | 89260 1699608 | 200028 121176 4427160 36.5 | 0.000 % |
1527.26 c | 997383 | 89280 1699608 | 220031 98761 3721944 37.7 | 0.000 % |
1802.05
1802.05 s UNKNOWN
1802.05 c # INTERRUPTED
1802.05 c # MAIN END : (1802 seconds) [Mon Jan 29 20:09:08 2007]
1802.05 c # MAIN CPU : 29.69 = 0.04 + 0.01 + 29.17 + 0.47
1802.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-203436-1170095946 -o ROOT/results/node1/solver-203436-1170095946 -C 1800 -M 900 /tmp/evaluation/203436-1170095946/solver /tmp/evaluation/203436-1170095946 /tmp/evaluation/203436-1170095946/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: 1.94 2.23 2.52 3/88 24680
/proc/meminfo: memFree=1850704/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=5356 CPUtime=0
/proc/24679/stat : 24679 (solver) R 24677 24679 23668 0 -1 4194304 184 0 0 0 0 0 0 0 20 0 1 0 29549645 5484544 153 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 259353444434 0 0 4096 0 0 0 0 17 1 0 0
/proc/24679/statm: 1339 153 126 169 0 50 0
[startup+0.103748 s]
/proc/loadavg: 1.94 2.23 2.52 3/88 24680
/proc/meminfo: memFree=1850704/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.03
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29549645 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.512792 s]
/proc/loadavg: 1.94 2.23 2.52 3/88 24680
/proc/meminfo: memFree=1850704/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.03
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29549645 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33388 s]
/proc/loadavg: 1.94 2.23 2.52 3/96 24696
/proc/meminfo: memFree=1842960/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.91
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1190 8055 0 1 3 0 82 6 15 0 1 0 29549645 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 809 371 3 0 531 0
[pid=24689] ppid=24679 vsize=807064 CPUtime=0.26
/proc/24689/stat : 24689 (java) R 24679 24679 23668 0 -1 0 4902 0 1 0 24 2 0 0 18 0 8 0 29549750 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24689/statm: 201766 4653 1482 14 0 189044 0
[pid=24689/tid=24690] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24690/stat : 24690 (java) S 24679 24679 23668 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 29549753 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24691] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24691/stat : 24691 (java) S 24679 24679 23668 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29549754 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24692] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24692/stat : 24692 (java) S 24679 24679 23668 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29549754 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24693] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24693/stat : 24693 (java) S 24679 24679 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29549757 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24694] ppid=24679 vsize=807064 CPUtime=0.05
/proc/24689/task/24694/stat : 24694 (java) S 24679 24679 23668 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29549757 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24695] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24695/stat : 24695 (java) S 24679 24679 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29549757 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24696] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24696/stat : 24696 (java) S 24679 24679 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29549757 826433536 4653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 820788
[startup+2.97208 s]
/proc/loadavg: 1.94 2.23 2.52 3/96 24696
/proc/meminfo: memFree=1813520/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.91
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1190 8055 0 1 3 0 82 6 15 0 1 0 29549645 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 809 371 3 0 531 0
[pid=24689] ppid=24679 vsize=807064 CPUtime=1.89
/proc/24689/stat : 24689 (java) R 24679 24679 23668 0 -1 0 12894 0 1 0 183 6 0 0 25 0 8 0 29549750 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24689/statm: 201766 12630 1494 14 0 189044 0
[pid=24689/tid=24690] ppid=24679 vsize=807064 CPUtime=0.51
/proc/24689/task/24690/stat : 24690 (java) R 24679 24679 23668 0 -1 64 6829 0 0 0 49 2 0 0 16 0 8 0 29549753 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24691] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24691/stat : 24691 (java) S 24679 24679 23668 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29549754 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24692] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24692/stat : 24692 (java) S 24679 24679 23668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29549754 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24693] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24693/stat : 24693 (java) S 24679 24679 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29549757 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24694] ppid=24679 vsize=807064 CPUtime=0.05
/proc/24689/task/24694/stat : 24694 (java) S 24679 24679 23668 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29549757 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24695] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24695/stat : 24695 (java) S 24679 24679 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29549757 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24696] ppid=24679 vsize=807064 CPUtime=0
/proc/24689/task/24696/stat : 24696 (java) S 24679 24679 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29549757 826433536 12630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 820788
[startup+6.20446 s]
/proc/loadavg: 1.94 2.23 2.52 3/96 24696
/proc/meminfo: memFree=1743696/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.91
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1190 8055 0 1 3 0 82 6 15 0 1 0 29549645 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 809 371 3 0 531 0
[pid=24689] ppid=24679 vsize=807328 CPUtime=5.11
/proc/24689/stat : 24689 (java) R 24679 24679 23668 0 -1 0 31595 0 1 0 497 14 0 0 25 0 8 0 29549750 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24689/statm: 201832 31260 1506 14 0 189110 0
[pid=24689/tid=24690] ppid=24679 vsize=807328 CPUtime=1.54
/proc/24689/task/24690/stat : 24690 (java) S 24679 24679 23668 0 -1 64 25313 0 0 0 145 9 0 0 16 0 8 0 29549753 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24691] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24691/stat : 24691 (java) S 24679 24679 23668 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29549754 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24692] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24692/stat : 24692 (java) S 24679 24679 23668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29549754 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24693] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24693/stat : 24693 (java) S 24679 24679 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29549757 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24694] ppid=24679 vsize=807328 CPUtime=0.13
/proc/24689/task/24694/stat : 24694 (java) S 24679 24679 23668 0 -1 64 395 0 0 0 13 0 0 0 16 0 8 0 29549757 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24695] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24695/stat : 24695 (java) S 24679 24679 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29549757 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24696] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24696/stat : 24696 (java) S 24679 24679 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29549757 826703872 31260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 821052
[startup+12.6802 s]
/proc/loadavg: 2.03 2.24 2.52 6/96 24696
/proc/meminfo: memFree=1634832/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.91
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1190 8055 0 1 3 0 82 6 15 0 1 0 29549645 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 809 371 3 0 531 0
[pid=24689] ppid=24679 vsize=807328 CPUtime=11.55
/proc/24689/stat : 24689 (java) R 24679 24679 23668 0 -1 0 54782 0 1 0 1127 28 0 0 25 0 8 0 29549750 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24689/statm: 201832 54111 1507 14 0 189110 0
[pid=24689/tid=24690] ppid=24679 vsize=807328 CPUtime=3.63
/proc/24689/task/24690/stat : 24690 (java) S 24679 24679 23668 0 -1 64 48326 0 0 0 341 22 0 0 16 0 8 0 29549753 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24691] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24691/stat : 24691 (java) S 24679 24679 23668 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29549754 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24692] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24692/stat : 24692 (java) S 24679 24679 23668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29549754 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24693] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24693/stat : 24693 (java) S 24679 24679 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24694] ppid=24679 vsize=807328 CPUtime=0.14
/proc/24689/task/24694/stat : 24694 (java) S 24679 24679 23668 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24695] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24695/stat : 24695 (java) S 24679 24679 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24696] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24696/stat : 24696 (java) S 24679 24679 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 821052
[startup+25.5605 s]
/proc/loadavg: 2.09 2.25 2.52 4/96 24696
/proc/meminfo: memFree=1634256/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=13724 CPUtime=0.91
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1190 8055 0 1 3 0 82 6 15 0 1 0 29549645 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 3431 809 371 3 0 531 0
[pid=24689] ppid=24679 vsize=807328 CPUtime=24.42
/proc/24689/stat : 24689 (java) R 24679 24679 23668 0 -1 0 56069 0 1 0 2409 33 0 0 25 0 8 0 29549750 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24689/statm: 201832 54111 1507 14 0 189110 0
[pid=24689/tid=24690] ppid=24679 vsize=807328 CPUtime=8.56
/proc/24689/task/24690/stat : 24690 (java) S 24679 24679 23668 0 -1 64 49249 0 0 0 830 26 0 0 16 0 8 0 29549753 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24691] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24691/stat : 24691 (java) S 24679 24679 23668 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29549754 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24692] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24692/stat : 24692 (java) S 24679 24679 23668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29549754 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24693] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24693/stat : 24693 (java) S 24679 24679 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24694] ppid=24679 vsize=807328 CPUtime=0.14
/proc/24689/task/24694/stat : 24694 (java) S 24679 24679 23668 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24695] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24695/stat : 24695 (java) S 24679 24679 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24689/tid=24696] ppid=24679 vsize=807328 CPUtime=0
/proc/24689/task/24696/stat : 24696 (java) S 24679 24679 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29549757 826703872 54111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 821052
[startup+51.2315 s]
/proc/loadavg: 2.06 2.23 2.50 3/89 24697
/proc/meminfo: memFree=1821640/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=15552 CPUtime=21.22
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 4576 0 0 0 2118 4 0 0 25 0 1 0 29552643 15925248 3537 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 3888 3537 52 112 0 3772 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 32008
[startup+102.468 s]
/proc/loadavg: 2.02 2.19 2.47 3/89 24697
/proc/meminfo: memFree=1814472/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=22296 CPUtime=72.44
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 6262 0 0 0 7237 7 0 0 25 0 1 0 29552643 22831104 5223 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 5574 5223 52 112 0 5458 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 38752
[startup+162.554 s]
/proc/loadavg: 2.01 2.15 2.44 3/89 24697
/proc/meminfo: memFree=1807880/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=27960 CPUtime=132.51
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 7643 0 0 0 13241 10 0 0 25 0 1 0 29552643 28631040 6604 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 6990 6604 52 112 0 6874 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 44416
################
# More data... #
################
/proc/loadavg: 2.02 2.01 2.15 3/89 24697
/proc/meminfo: memFree=1773960/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=49924 CPUtime=1092.67
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13073 0 0 0 109247 20 0 0 25 0 1 0 29552643 51122176 12034 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 12481 12034 52 112 0 12365 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 66380
[startup+1183.1 s]
/proc/loadavg: 2.00 2.01 2.13 3/89 24697
/proc/meminfo: memFree=1772552/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=49924 CPUtime=1152.76
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13073 0 0 0 115255 21 0 0 25 0 1 0 29552643 51122176 12034 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134526905 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 12481 12034 52 112 0 12365 0
Current children cumulated CPU time (s) 1182.48
Current children cumulated vsize (KiB) 66380
[startup+1243.2 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 24697
/proc/meminfo: memFree=1772168/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=49924 CPUtime=1212.84
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13074 0 0 0 121263 21 0 0 25 0 1 0 29552643 51122176 12035 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 12481 12035 52 112 0 12365 0
Current children cumulated CPU time (s) 1242.56
Current children cumulated vsize (KiB) 66380
[startup+1303.27 s]
/proc/loadavg: 2.00 2.00 2.11 3/89 24697
/proc/meminfo: memFree=1771912/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=50084 CPUtime=1272.89
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13112 0 0 0 127268 21 0 0 25 0 1 0 29552643 51286016 12073 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 12521 12073 52 112 0 12405 0
Current children cumulated CPU time (s) 1302.61
Current children cumulated vsize (KiB) 66540
[startup+1363.36 s]
/proc/loadavg: 2.00 2.00 2.10 3/95 24811
/proc/meminfo: memFree=1769488/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=50232 CPUtime=1332.83
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13156 0 0 0 133261 22 0 0 25 0 1 0 29552643 51437568 12117 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 12558 12117 52 112 0 12442 0
Current children cumulated CPU time (s) 1362.55
Current children cumulated vsize (KiB) 66688
[startup+1423.45 s]
/proc/loadavg: 2.00 2.00 2.09 3/89 24895
/proc/meminfo: memFree=1768384/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=52572 CPUtime=1392.8
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13719 0 0 0 139257 23 0 0 25 0 1 0 29552643 53833728 12680 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 13143 12680 52 112 0 13027 0
Current children cumulated CPU time (s) 1422.52
Current children cumulated vsize (KiB) 69028
[startup+1483.46 s]
/proc/loadavg: 2.00 2.00 2.08 3/89 24895
/proc/meminfo: memFree=1768192/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=52572 CPUtime=1452.79
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13725 0 0 0 145256 23 0 0 25 0 1 0 29552643 53833728 12686 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527404 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 13143 12686 52 112 0 13027 0
Current children cumulated CPU time (s) 1482.51
Current children cumulated vsize (KiB) 69028
[startup+1543.46 s]
/proc/loadavg: 2.00 2.00 2.08 3/89 24895
/proc/meminfo: memFree=1767680/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=52764 CPUtime=1512.77
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13762 0 0 0 151254 23 0 0 25 0 1 0 29552643 54030336 12723 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 13191 12723 52 112 0 13075 0
Current children cumulated CPU time (s) 1542.49
Current children cumulated vsize (KiB) 69220
[startup+1603.56 s]
/proc/loadavg: 2.04 2.01 2.08 3/89 24895
/proc/meminfo: memFree=1767424/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=52928 CPUtime=1572.85
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13808 0 0 0 157261 24 0 0 25 0 1 0 29552643 54198272 12769 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 13232 12769 52 112 0 13116 0
Current children cumulated CPU time (s) 1602.57
Current children cumulated vsize (KiB) 69384
[startup+1663.63 s]
/proc/loadavg: 2.01 2.01 2.07 3/89 24895
/proc/meminfo: memFree=1767104/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=53236 CPUtime=1632.91
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13876 0 0 0 163267 24 0 0 25 0 1 0 29552643 54513664 12837 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24697/statm: 13309 12837 52 112 0 13193 0
Current children cumulated CPU time (s) 1662.63
Current children cumulated vsize (KiB) 69692
[startup+1723.69 s]
/proc/loadavg: 2.13 2.03 2.08 3/95 24959
/proc/meminfo: memFree=1332888/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=53580 CPUtime=1692.73
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 13961 0 0 0 169243 30 0 0 25 0 1 0 29552643 54865920 12922 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24697/statm: 13395 12922 52 112 0 13279 0
Current children cumulated CPU time (s) 1722.45
Current children cumulated vsize (KiB) 70036
[startup+1783.72 s]
/proc/loadavg: 2.11 2.05 2.08 3/95 24959
/proc/meminfo: memFree=1095128/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=55848 CPUtime=1752.18
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 14428 0 0 0 175187 31 0 0 25 0 1 0 29552643 57188352 13389 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24697/statm: 13962 13389 52 112 0 13846 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 72304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.04 s]
/proc/loadavg: 2.15 2.06 2.08 3/95 24959
/proc/meminfo: memFree=1094680/2055920 swapFree=4192812/4192956
[pid=24679] ppid=24677 vsize=16456 CPUtime=29.72
/proc/24679/stat : 24679 (sugar) S 24677 24679 23668 0 -1 4194304 1965 64621 0 2 7 1 2917 47 16 0 1 0 29549645 16850944 1476 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24679/statm: 4114 1476 373 3 0 1214 0
[pid=24697] ppid=24679 vsize=56108 CPUtime=1770.32
/proc/24697/stat : 24697 (minisat) R 24679 24679 23668 0 -1 0 14481 0 0 0 177001 31 0 0 25 0 1 0 29552643 57454592 13442 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525189 0 0 4096 3 0 0 0 17 0 0 0
/proc/24697/statm: 14027 13442 52 112 0 13911 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 72564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24679 and gives childrusage.ru_utime.tv_sec=29 childrusage.ru_utime.tv_usec=251553 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=504923
CPU time returned by wait4() is 29.7565
while last known CPU time is 1800.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1803.06
CPU time (s): 1800.05
CPU user time (s): 1799.25
CPU system time (s): 0.8
CPU usage (%): 99.8329
Max. virtual memory (cumulated for all children) (KiB): 821556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.2516
system time used= 0.504923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66671
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= 6501
involuntary context switches= 6353
runsolver used 2.16467 s user time and 5.54516 s system time
The end
Begin job on node1 on Mon Jan 29 18:39:06 UTC 2007
IDJOB= 203436
IDBENCH= 3962
IDSOLVER= 86
FILE ID= node1/203436-1170095946
PBS_JOBID= 3689426
Free space on /tmp= 66555 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-2-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/203436-1170095946/solver /tmp/evaluation/203436-1170095946 /tmp/evaluation/203436-1170095946/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-203436-1170095946 -o ROOT/results/node1/solver-203436-1170095946 -C 1800 -M 900 /tmp/evaluation/203436-1170095946/solver /tmp/evaluation/203436-1170095946 /tmp/evaluation/203436-1170095946/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f9fcd9c4e9b246ac18c50f79cecf144d
RANDOM SEED= 612413840
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.230
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.230
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: 1851184 kB
Buffers: 23780 kB
Cached: 58704 kB
SwapCached: 0 kB
Active: 113052 kB
Inactive: 37484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1851184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1328 kB
Writeback: 0 kB
Mapped: 87800 kB
Slab: 39112 kB
Committed_AS: 262204 kB
PageTables: 2168 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= 66480 MiB
End job on node1 on Mon Jan 29 19:09:09 UTC 2007