0.04 c # Sugar v0-40 (/tmp/evaluation/213841-1170099800/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/213841-1170099800/unknown.xml [Mon Jan 29 20:43:24 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/213841-1170099800/unknown.xml /tmp/evaluation/213841-1170099800/sugar26248.csp [Mon Jan 29 20:43:24 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/213841-1170099800/sugar-v0-40.jar -convert /tmp/evaluation/213841-1170099800/unknown.xml /tmp/evaluation/213841-1170099800/sugar26248.csp
0.15 c BEGIN convert /tmp/evaluation/213841-1170099800/unknown.xml
0.97 c END convert (0.816423 seconds)
1.00 c # CONVERT_XML END : /tmp/evaluation/213841-1170099800/sugar26248.csp 265618 bytes (1 seconds) [Mon Jan 29 20:43:25 2007]
1.00 c # CONVERT_XML CPU : 0.9 = 0 + 0 + 0.84 + 0.06
1.00
1.00 c # GENERATE_SAT BEGIN : /tmp/evaluation/213841-1170099800/sugar26248.bcnf [Mon Jan 29 20:43:25 2007]
1.00 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/213841-1170099800/sugar-v0-40.jar -bcnf -map /tmp/evaluation/213841-1170099800/sugar26248.map /tmp/evaluation/213841-1170099800/sugar26248.csp /tmp/evaluation/213841-1170099800/sugar26248.bcnf
1.12 c BEGIN parse /tmp/evaluation/213841-1170099800/sugar26248.csp
1.93 c END parse (0.812549 seconds)
1.93 c BEGIN simplify
1.94 c END simplify (0.005756 seconds)
1.94 c BEGIN encode /tmp/evaluation/213841-1170099800/sugar26248.bcnf
2.03 c END encode (0.096318 seconds)
2.11 c # GENERATE_SAT END : 2666 variables 6659 clauses 99748 bytes (1 seconds) [Mon Jan 29 20:43:26 2007]
2.11 c # GENERATE_SAT CPU : 1.08 = 0.03 + 0.01 + 0.97 + 0.07
2.11
2.11 c # SOLVE_SAT BEGIN : /tmp/evaluation/213841-1170099800/sugar26248.bcnf [Mon Jan 29 20:43:26 2007]
2.11 c # CMD : /tmp/evaluation/213841-1170099800/minisat /tmp/evaluation/213841-1170099800/sugar26248.bcnf /tmp/evaluation/213841-1170099800/sugar26248.out
2.11 c ==================================[MINISAT]===================================
2.11 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.11 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
2.11 c ==============================================================================
2.11 c | 0 | 6659 18272 | 2219 0 0 nan | 0.000 % |
2.13 c | 101 | 6664 18272 | 2440 96 2350 24.5 | 0.000 % |
2.15 c | 251 | 6665 18272 | 2684 245 7057 28.8 | 0.000 % |
2.18 c | 481 | 6667 18272 | 2953 473 13179 27.9 | 0.000 % |
2.24 c | 818 | 6667 18272 | 3248 810 23201 28.6 | 0.000 % |
2.31 c | 1324 | 6667 18272 | 3573 1316 42304 32.1 | 0.000 % |
2.43 c | 2083 | 6668 18272 | 3931 2074 66044 31.8 | 0.000 % |
2.61 c | 3222 | 6672 18272 | 4324 3209 96541 30.1 | 0.000 % |
2.90 c | 4931 | 6676 18272 | 4756 2724 71381 26.2 | 0.000 % |
3.35 c | 7495 | 6677 18272 | 5232 2860 68304 23.9 | 0.000 % |
4.04 c | 11339 | 6681 18272 | 5755 4047 98959 24.5 | 0.000 % |
5.13 c | 17105 | 6683 18272 | 6331 3975 92846 23.4 | 0.000 % |
6.81 c | 25756 | 6688 18272 | 6964 6197 150898 24.4 | 0.000 % |
9.29 c | 38730 | 6693 18272 | 7660 5059 116313 23.0 | 0.000 % |
13.27 c | 58191 | 6698 18272 | 8426 5131 111929 21.8 | 0.000 % |
19.12 c | 87383 | 6700 18272 | 9269 4511 92163 20.4 | 0.000 % |
27.98 c | 131172 | 6706 18272 | 10196 6103 130814 21.4 | 0.000 % |
41.66 c | 196856 | 6714 18272 | 11215 10067 228261 22.7 | 0.000 % |
62.56 c | 295383 | 6723 18266 | 12337 6622 141095 21.3 | 0.075 % |
95.25 c | 443174 | 6730 18266 | 13571 11267 244017 21.7 | 0.075 % |
147.77 c | 664857 | 6746 18266 | 14928 7432 142901 19.2 | 0.075 % |
228.73 c | 997382 | 6761 18266 | 16421 9131 176167 19.3 | 0.075 % |
362.78 c | 1496170 | 6776 18266 | 18063 12421 249700 20.1 | 0.075 % |
578.62 c | 2244352 | 6788 18266 | 19869 16111 334340 20.8 | 0.075 % |
908.91 c | 3366627 | 6793 18266 | 21856 10594 189077 17.8 | 0.075 % |
1423.32 c | 5050039 | 6818 18266 | 24042 14159 252338 17.8 | 0.075 % |
1807.98 s UNKNOWN
1807.98 c # ERROR No such file or directory /tmp/evaluation/213841-1170099800/sugar26248.out, at /tmp/evaluation/213841-1170099800/sugar line 393.
1807.98
1807.98 c # MAIN END : (1808 seconds) [Mon Jan 29 21:13:32 2007]
1807.98 c # MAIN CPU : 1799.98 = 0.03 + 0.01 + 1797.37 + 2.57
1807.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-213841-1170099800 -o ROOT/results/node16/solver-213841-1170099800 -C 1800 -M 900 /tmp/evaluation/213841-1170099800/solver /tmp/evaluation/213841-1170099800 /tmp/evaluation/213841-1170099800/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.65 3.02 2.85 4/94 26249
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=12268 CPUtime=0
/proc/26248/stat : 26248 (sugar) R 26246 26248 25854 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 29934696 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231962540645 0 0 4224 0 0 0 0 17 1 0 0
/proc/26248/statm: 3067 315 241 3 0 167 0
[startup+0.108479 s]
/proc/loadavg: 2.65 3.02 2.85 4/94 26249
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=13724 CPUtime=0.03
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29934696 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.520432 s]
/proc/loadavg: 2.65 3.02 2.85 4/94 26249
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=13724 CPUtime=0.03
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29934696 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34435 s]
/proc/loadavg: 2.65 3.02 2.85 2/102 26265
/proc/meminfo: memFree=43696/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=13724 CPUtime=0.93
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1190 10122 0 1 3 0 84 6 15 0 1 0 29934696 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3431 809 371 3 0 531 0
[pid=26258] ppid=26248 vsize=807064 CPUtime=0.32
/proc/26258/stat : 26258 (java) S 26248 26248 25854 0 -1 0 6426 0 1 0 29 3 0 0 17 0 8 0 29934797 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 201766 6176 1491 14 0 189044 0
[pid=26258/tid=26259] ppid=26248 vsize=807064 CPUtime=0.01
/proc/26258/task/26259/stat : 26259 (java) R 26248 26248 25854 0 -1 64 377 0 0 0 1 0 0 0 16 0 8 0 29934801 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154024016 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26260] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26260/stat : 26260 (java) S 26248 26248 25854 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29934801 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26261] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26261/stat : 26261 (java) S 26248 26248 25854 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 29934801 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26262] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26248 26248 25854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26263] ppid=26248 vsize=807064 CPUtime=0.05
/proc/26258/task/26263/stat : 26263 (java) S 26248 26248 25854 0 -1 64 293 0 0 0 5 0 0 0 16 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26248 26248 25854 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26258/tid=26265] ppid=26248 vsize=807064 CPUtime=0
/proc/26258/task/26265/stat : 26265 (java) S 26248 26248 25854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29934804 826433536 6176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.98116 s]
/proc/loadavg: 2.67 3.02 2.85 2/95 26266
/proc/meminfo: memFree=46120/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 15 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=2712 CPUtime=0.86
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 386 0 0 0 86 0 0 0 25 0 1 0 29934908 2777088 346 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527090 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 678 346 51 112 0 562 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 18600
[startup+6.2698 s]
/proc/loadavg: 2.67 3.02 2.85 3/95 26266
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=3104 CPUtime=4.15
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 470 0 0 0 415 0 0 0 25 0 1 0 29934908 3178496 430 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525762 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 776 430 51 112 0 660 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18992
[startup+12.7321 s]
/proc/loadavg: 2.73 3.02 2.85 3/96 26268
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=3368 CPUtime=10.61
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 541 0 0 0 1059 2 0 0 25 0 1 0 29934908 3448832 501 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525460 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 842 501 51 112 0 726 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 19256
[startup+25.5812 s]
/proc/loadavg: 2.77 3.02 2.85 3/95 26270
/proc/meminfo: memFree=15464/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=3772 CPUtime=23.44
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 641 0 0 0 2340 4 0 0 25 0 1 0 29934908 3862528 601 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525031 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 943 601 51 112 0 827 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19660
[startup+51.2229 s]
/proc/loadavg: 3.00 3.05 2.86 3/97 26277
/proc/meminfo: memFree=16408/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=4312 CPUtime=49.03
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 766 0 0 0 4889 14 0 0 25 0 1 0 29934908 4415488 726 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525036 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1078 726 51 112 0 962 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 20200
[startup+102.491 s]
/proc/loadavg: 3.61 3.18 2.92 3/95 26289
/proc/meminfo: memFree=15400/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=4796 CPUtime=100.13
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 896 0 0 0 9983 30 0 0 25 0 1 0 29934908 4911104 856 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1199 856 51 112 0 1083 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 20684
[startup+162.531 s]
/proc/loadavg: 3.47 3.26 2.96 3/95 26297
/proc/meminfo: memFree=15464/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5252 CPUtime=160.03
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 981 0 0 0 15949 54 0 0 25 0 1 0 29934908 5378048 941 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527980 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1313 941 51 112 0 1197 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 21140
[startup+222.592 s]
/proc/loadavg: 3.08 3.18 2.95 3/95 26302
/proc/meminfo: memFree=15592/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5384 CPUtime=219.87
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1040 0 0 0 21912 75 0 0 25 0 1 0 29934908 5513216 1000 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525545 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1346 1000 51 112 0 1230 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 21272
[startup+282.663 s]
/proc/loadavg: 3.17 3.19 2.96 3/95 26308
/proc/meminfo: memFree=15912/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5784 CPUtime=279.82
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1110 0 0 0 27888 94 0 0 25 0 1 0 29934908 5922816 1070 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134533254 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1446 1070 51 112 0 1330 0
Current children cumulated CPU time (s) 281.83
Current children cumulated vsize (KiB) 21672
[startup+342.728 s]
/proc/loadavg: 3.61 3.28 3.01 3/95 26317
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=5784 CPUtime=339.7
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1123 0 0 0 33855 115 0 0 25 0 1 0 29934908 5922816 1083 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525903 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1446 1083 51 112 0 1330 0
Current children cumulated CPU time (s) 341.71
Current children cumulated vsize (KiB) 21672
[startup+402.821 s]
/proc/loadavg: 4.23 3.50 3.10 3/95 26325
/proc/meminfo: memFree=15336/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=6200 CPUtime=399.68
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1205 0 0 0 39829 139 0 0 25 0 1 0 29934908 6348800 1165 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26266/statm: 1550 1165 51 112 0 1434 0
Current children cumulated CPU time (s) 401.69
Current children cumulated vsize (KiB) 22088
[startup+462.865 s]
/proc/loadavg: 3.03 3.30 3.05 3/95 26334
/proc/meminfo: memFree=16296/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=6200 CPUtime=459.57
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1225 0 0 0 45797 160 0 0 25 0 1 0 29934908 6348800 1185 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
################
# More data... #
################
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7384 CPUtime=1057.13
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1501 0 0 0 105484 229 0 0 25 0 1 0 29934908 7561216 1461 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528139 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1846 1461 51 112 0 1730 0
Current children cumulated CPU time (s) 1059.14
Current children cumulated vsize (KiB) 23272
[startup+1123.3 s]
/proc/loadavg: 2.15 2.27 2.62 3/95 26746
/proc/meminfo: memFree=1791176/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7512 CPUtime=1116.84
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1525 0 0 0 111447 237 0 0 25 0 1 0 29934908 7692288 1485 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525748 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1878 1485 51 112 0 1762 0
Current children cumulated CPU time (s) 1118.85
Current children cumulated vsize (KiB) 23400
[startup+1183.35 s]
/proc/loadavg: 2.06 2.21 2.58 3/89 26788
/proc/meminfo: memFree=1780440/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7656 CPUtime=1176.54
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1546 0 0 0 117413 241 0 0 25 0 1 0 29934908 7839744 1506 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1914 1506 51 112 0 1798 0
Current children cumulated CPU time (s) 1178.55
Current children cumulated vsize (KiB) 23544
[startup+1243.39 s]
/proc/loadavg: 2.08 2.19 2.54 3/89 26788
/proc/meminfo: memFree=1771736/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7656 CPUtime=1236.27
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1546 0 0 0 123386 241 0 0 25 0 1 0 29934908 7839744 1506 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1914 1506 51 112 0 1798 0
Current children cumulated CPU time (s) 1238.28
Current children cumulated vsize (KiB) 23544
[startup+1303.44 s]
/proc/loadavg: 2.07 2.17 2.51 3/89 26788
/proc/meminfo: memFree=1771288/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7656 CPUtime=1296.02
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1560 0 0 0 129361 241 0 0 25 0 1 0 29934908 7839744 1520 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525539 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1914 1520 51 112 0 1798 0
Current children cumulated CPU time (s) 1298.03
Current children cumulated vsize (KiB) 23544
[startup+1363.48 s]
/proc/loadavg: 2.02 2.13 2.48 3/89 26788
/proc/meminfo: memFree=1771032/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7856 CPUtime=1355.74
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1588 0 0 0 135332 242 0 0 25 0 1 0 29934908 8044544 1548 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528532 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1964 1548 51 112 0 1848 0
Current children cumulated CPU time (s) 1357.75
Current children cumulated vsize (KiB) 23744
[startup+1423.53 s]
/proc/loadavg: 2.04 2.12 2.45 3/89 26788
/proc/meminfo: memFree=1756248/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=7856 CPUtime=1415.48
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1588 0 0 0 141305 243 0 0 25 0 1 0 29934908 8044544 1548 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 1964 1548 51 112 0 1848 0
Current children cumulated CPU time (s) 1417.49
Current children cumulated vsize (KiB) 23744
[startup+1483.57 s]
/proc/loadavg: 2.08 2.11 2.42 3/89 26788
/proc/meminfo: memFree=1753176/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8056 CPUtime=1475.23
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1639 0 0 0 147280 243 0 0 25 0 1 0 29934908 8249344 1599 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522259 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2014 1599 51 112 0 1898 0
Current children cumulated CPU time (s) 1477.24
Current children cumulated vsize (KiB) 23944
[startup+1543.6 s]
/proc/loadavg: 2.06 2.10 2.40 3/89 26788
/proc/meminfo: memFree=1752728/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8056 CPUtime=1534.94
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1654 0 0 0 153251 243 0 0 25 0 1 0 29934908 8249344 1614 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2014 1614 51 112 0 1898 0
Current children cumulated CPU time (s) 1536.95
Current children cumulated vsize (KiB) 23944
[startup+1603.64 s]
/proc/loadavg: 2.02 2.08 2.37 3/89 26788
/proc/meminfo: memFree=1752216/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8196 CPUtime=1594.68
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1679 0 0 0 159225 243 0 0 25 0 1 0 29934908 8392704 1639 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527270 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2049 1639 51 112 0 1933 0
Current children cumulated CPU time (s) 1596.69
Current children cumulated vsize (KiB) 24084
[startup+1663.68 s]
/proc/loadavg: 2.01 2.06 2.35 3/89 26788
/proc/meminfo: memFree=1746072/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8196 CPUtime=1654.44
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1680 0 0 0 165201 243 0 0 25 0 1 0 29934908 8392704 1640 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2049 1640 51 112 0 1933 0
Current children cumulated CPU time (s) 1656.45
Current children cumulated vsize (KiB) 24084
[startup+1723.72 s]
/proc/loadavg: 2.00 2.05 2.32 3/89 26788
/proc/meminfo: memFree=1745496/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8388 CPUtime=1714.17
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1709 0 0 0 171174 243 0 0 25 0 1 0 29934908 8589312 1669 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528068 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2097 1669 51 112 0 1981 0
Current children cumulated CPU time (s) 1716.18
Current children cumulated vsize (KiB) 24276
[startup+1783.76 s]
/proc/loadavg: 2.00 2.04 2.30 3/89 26788
/proc/meminfo: memFree=1744792/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8388 CPUtime=1773.91
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1722 0 0 0 177147 244 0 0 25 0 1 0 29934908 8589312 1682 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2097 1682 51 112 0 1981 0
Current children cumulated CPU time (s) 1775.92
Current children cumulated vsize (KiB) 24276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.98 s]
/proc/loadavg: 2.00 2.03 2.29 3/89 26788
/proc/meminfo: memFree=1744600/2055920 swapFree=4192812/4192956
[pid=26248] ppid=26246 vsize=15888 CPUtime=2.01
/proc/26248/stat : 26248 (sugar) S 26246 26248 25854 0 -1 4194304 1821 18952 0 2 6 1 181 13 16 0 1 0 29934696 16269312 1335 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26248/statm: 3972 1335 373 3 0 1072 0
[pid=26266] ppid=26248 vsize=8516 CPUtime=1798
/proc/26266/stat : 26266 (minisat) R 26248 26248 25854 0 -1 0 1739 0 0 0 179556 244 0 0 25 0 1 0 29934908 8720384 1699 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528549 0 0 4096 3 0 0 0 17 0 0 0
/proc/26266/statm: 2129 1699 51 112 0 2013 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 24404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
Real time (s): 1808.02
CPU time (s): 1800.04
CPU user time (s): 1797.44
CPU system time (s): 2.5926
CPU usage (%): 99.5587
Max. virtual memory (cumulated for all children) (KiB): 821100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 2.5926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22602
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= 1120
involuntary context switches= 40597
runsolver used 2.02469 s user time and 5.2622 s system time
The end
Begin job on node16 on Mon Jan 29 19:43:22 UTC 2007
IDJOB= 213841
IDBENCH= 4878
IDSOLVER= 86
FILE ID= node16/213841-1170099800
PBS_JOBID= 3689476
Free space on /tmp= 47688 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-4-c.xml
COMMAND LINE= /tmp/evaluation/213841-1170099800/solver /tmp/evaluation/213841-1170099800 /tmp/evaluation/213841-1170099800/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-213841-1170099800 -o ROOT/results/node16/solver-213841-1170099800 -C 1800 -M 900 /tmp/evaluation/213841-1170099800/solver /tmp/evaluation/213841-1170099800 /tmp/evaluation/213841-1170099800/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5ac9825c2c6e6d545950ffed7b469e76
RANDOM SEED= 211334038
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.281
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.281
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: 15888 kB
Buffers: 3320 kB
Cached: 1860084 kB
SwapCached: 0 kB
Active: 112376 kB
Inactive: 1831232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 824276 kB
Writeback: 0 kB
Mapped: 105756 kB
Slab: 81168 kB
Committed_AS: 598680 kB
PageTables: 2216 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= 66548 MiB
End job on node16 on Mon Jan 29 20:13:32 UTC 2007