0.05 c # Sugar v0-40 (/tmp/evaluation/210647-1170097938/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/210647-1170097938/unknown.xml [Mon Jan 29 20:12:18 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/210647-1170097938/unknown.xml /tmp/evaluation/210647-1170097938/sugar16895.csp [Mon Jan 29 20:12:18 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210647-1170097938/sugar-v0-40.jar -convert /tmp/evaluation/210647-1170097938/unknown.xml /tmp/evaluation/210647-1170097938/sugar16895.csp
0.17 c BEGIN convert /tmp/evaluation/210647-1170097938/unknown.xml
0.71 c END convert (0.538328 seconds)
0.76 c # CONVERT_XML END : /tmp/evaluation/210647-1170097938/sugar16895.csp 191256 bytes (1 seconds) [Mon Jan 29 20:12:19 2007]
0.76 c # CONVERT_XML CPU : 0.64 = 0 + 0 + 0.59 + 0.05
0.76
0.76 c # GENERATE_SAT BEGIN : /tmp/evaluation/210647-1170097938/sugar16895.bcnf [Mon Jan 29 20:12:19 2007]
0.76 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210647-1170097938/sugar-v0-40.jar -bcnf -map /tmp/evaluation/210647-1170097938/sugar16895.map /tmp/evaluation/210647-1170097938/sugar16895.csp /tmp/evaluation/210647-1170097938/sugar16895.bcnf
0.88 c BEGIN parse /tmp/evaluation/210647-1170097938/sugar16895.csp
2.75 c END parse (1.870593 seconds)
2.75 c BEGIN simplify
2.76 c END simplify (0.005623 seconds)
2.76 c BEGIN encode /tmp/evaluation/210647-1170097938/sugar16895.bcnf
2.90 c END encode (0.145034 seconds)
2.99 c # GENERATE_SAT END : 12132 variables 55868 clauses 775208 bytes (2 seconds) [Mon Jan 29 20:12:21 2007]
2.99 c # GENERATE_SAT CPU : 2.19 = 0.06 + 0 + 2.06 + 0.07
2.99
2.99 c # SOLVE_SAT BEGIN : /tmp/evaluation/210647-1170097938/sugar16895.bcnf [Mon Jan 29 20:12:21 2007]
2.99 c # CMD : /tmp/evaluation/210647-1170097938/minisat /tmp/evaluation/210647-1170097938/sugar16895.bcnf /tmp/evaluation/210647-1170097938/sugar16895.out
3.02 c ==================================[MINISAT]===================================
3.02 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.02 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.02 c ==============================================================================
3.02 c | 0 | 43905 114326 | 14635 0 0 nan | 0.000 % |
3.04 c | 100 | 43905 114326 | 16098 100 5364 53.6 | 23.294 % |
3.05 c | 250 | 43905 114326 | 17708 250 11654 46.6 | 23.294 % |
3.07 c | 475 | 43905 114326 | 19479 475 18893 39.8 | 23.294 % |
3.10 c | 812 | 43905 114326 | 21427 812 35421 43.6 | 23.294 % |
3.15 c | 1318 | 43905 114326 | 23569 1318 54199 41.1 | 23.294 % |
3.21 c | 2078 | 43905 114326 | 25926 2078 81425 39.2 | 23.294 % |
3.34 c | 3219 | 43905 114326 | 28519 3219 157307 48.9 | 23.294 % |
3.53 c | 4930 | 43905 114326 | 31371 4930 252367 51.2 | 23.294 % |
3.89 c | 7492 | 43905 114326 | 34508 7492 391357 52.2 | 23.294 % |
4.29 c | 11337 | 43905 114326 | 37959 11337 499811 44.1 | 23.294 % |
4.97 c | 17103 | 43905 114326 | 41755 17103 705922 41.3 | 23.294 % |
6.93 c | 25754 | 43905 114326 | 45930 25754 1237723 48.1 | 23.294 % |
9.31 c | 38729 | 43905 114326 | 50523 38729 1834666 47.4 | 23.294 % |
14.67 c | 58190 | 43905 114326 | 55576 58190 2725373 46.8 | 23.294 % |
30.97 c | 87382 | 43905 114326 | 61134 38872 3341706 86.0 | 23.294 % |
60.33 c | 131171 | 43905 114326 | 67247 27893 3360684 120.5 | 23.294 % |
99.63 c | 196855 | 43905 114326 | 73972 34085 3325773 97.6 | 23.294 % |
190.66 c | 295382 | 43905 114326 | 81369 66816 5370274 80.4 | 23.294 % |
368.47 c | 443172 | 43905 114326 | 89506 65785 4867954 74.0 | 23.294 % |
608.25 c | 664855 | 43905 114326 | 98456 44779 3889113 86.9 | 23.294 % |
873.11 c | 997380 | 43905 114326 | 108302 100287 2696950 26.9 | 23.294 % |
1387.45 c | 1496170 | 43905 114326 | 119132 97624 6591468 67.5 | 23.294 % |
1810.69
1810.69 s UNKNOWN
1810.69 c # INTERRUPTED
1810.69 c # MAIN END : (1811 seconds) [Mon Jan 29 20:42:29 2007]
1810.69 c # MAIN CPU : 2.83 = 0.06 + 0 + 2.65 + 0.12
1810.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-210647-1170097938 -o ROOT/results/node55/solver-210647-1170097938 -C 1800 -M 900 /tmp/evaluation/210647-1170097938/solver /tmp/evaluation/210647-1170097938 /tmp/evaluation/210647-1170097938/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.93 2.00 2.05 5/75 16896
/proc/meminfo: memFree=1806072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=18540 CPUtime=0
/proc/16895/stat : 16895 (runsolver) R 16893 16895 16476 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 29750290 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 248761609511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16895/statm: 4635 279 244 17 0 2626 0
[startup+0.109325 s]
/proc/loadavg: 1.93 2.00 2.05 5/75 16896
/proc/meminfo: memFree=1806072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=13724 CPUtime=0.04
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 1112 0 0 0 3 1 0 0 21 0 1 0 29750290 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517362 s]
/proc/loadavg: 1.93 2.00 2.05 5/75 16896
/proc/meminfo: memFree=1806072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=13724 CPUtime=0.04
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29750290 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33944 s]
/proc/loadavg: 2.02 2.01 2.06 4/83 16912
/proc/meminfo: memFree=1783736/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=13724 CPUtime=0.68
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 1190 7415 0 1 3 1 59 5 15 0 1 0 29750290 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 3431 809 371 3 0 531 0
[pid=16905] ppid=16895 vsize=807368 CPUtime=0.55
/proc/16905/stat : 16905 (java) S 16895 16895 16476 0 -1 0 7273 0 1 0 51 4 0 0 17 0 8 0 29750366 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16905/statm: 201842 7022 1506 14 0 189120 0
[pid=16905/tid=16906] ppid=16895 vsize=807368 CPUtime=0.04
/proc/16905/task/16906/stat : 16906 (java) R 16895 16895 16476 0 -1 64 1100 0 0 0 4 0 0 0 16 0 8 0 29750369 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16907] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16907/stat : 16907 (java) S 16895 16895 16476 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29750370 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16908] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16908/stat : 16908 (java) S 16895 16895 16476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29750370 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16909] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16909/stat : 16909 (java) S 16895 16895 16476 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16910] ppid=16895 vsize=807368 CPUtime=0.1
/proc/16905/task/16910/stat : 16910 (java) R 16895 16895 16476 0 -1 64 386 0 0 0 10 0 0 0 19 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16911] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16911/stat : 16911 (java) S 16895 16895 16476 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16912] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16912/stat : 16912 (java) S 16895 16895 16476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 821092
[startup+2.9916 s]
/proc/loadavg: 2.02 2.01 2.06 4/83 16912
/proc/meminfo: memFree=1774072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.86
/proc/16895/stat : 16895 (sugar) R 16893 16895 16476 0 -1 4194304 2151 16830 0 2 8 1 265 12 18 0 1 0 29750290 17920000 1722 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248761486643 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16895/statm: 4375 1722 371 3 0 1475 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 17500
[startup+6.28292 s]
/proc/loadavg: 2.02 2.01 2.06 3/76 16913
/proc/meminfo: memFree=1789232/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 15 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=8776 CPUtime=3.25
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 2058 0 0 0 324 1 0 0 25 0 1 0 29750589 8986624 1853 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 2194 1853 52 112 0 2078 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 26276
[startup+12.7445 s]
/proc/loadavg: 2.01 2.01 2.06 3/76 16913
/proc/meminfo: memFree=1778288/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=15492 CPUtime=9.65
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 3723 0 0 0 962 3 0 0 25 0 1 0 29750589 15863808 3518 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525460 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 3873 3518 52 112 0 3757 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 32992
[startup+25.5878 s]
/proc/loadavg: 2.01 2.01 2.06 3/76 16913
/proc/meminfo: memFree=1767856/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=18788 CPUtime=22.37
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 4516 0 0 0 2234 3 0 0 25 0 1 0 29750589 19238912 4311 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 4697 4311 52 112 0 4581 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 36288
[startup+51.2593 s]
/proc/loadavg: 2.08 2.02 2.06 3/76 16913
/proc/meminfo: memFree=1754032/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=32740 CPUtime=47.82
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 8009 0 0 0 4775 7 0 0 25 0 1 0 29750589 33525760 7804 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134533589 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 8185 7804 52 112 0 8069 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 50240
[startup+102.537 s]
/proc/loadavg: 2.03 2.02 2.05 3/76 16913
/proc/meminfo: memFree=1732208/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=41832 CPUtime=98.62
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 10268 0 0 0 9853 9 0 0 25 0 1 0 29750589 42835968 10063 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 10458 10063 52 112 0 10342 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 59332
[startup+162.561 s]
/proc/loadavg: 2.01 2.01 2.05 3/76 16913
/proc/meminfo: memFree=1731504/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=42288 CPUtime=158.1
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 10357 0 0 0 15801 9 0 0 25 0 1 0 29750589 43302912 10152 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 10572 10152 52 112 0 10456 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 59788
[startup+222.574 s]
/proc/loadavg: 2.00 2.01 2.04 3/76 16913
/proc/meminfo: memFree=1729840/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=43812 CPUtime=217.58
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 10754 0 0 0 21748 10 0 0 25 0 1 0 29750589 44863488 10549 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525735 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 10953 10549 52 112 0 10837 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 61312
[startup+282.589 s]
/proc/loadavg: 2.04 2.02 2.04 3/76 16913
/proc/meminfo: memFree=1721776/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=45312 CPUtime=277.05
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11067 0 0 0 27695 10 0 0 25 0 1 0 29750589 46399488 10862 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 11328 10862 52 112 0 11212 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 62812
[startup+342.61 s]
/proc/loadavg: 2.01 2.01 2.04 3/76 16913
/proc/meminfo: memFree=1709488/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=47052 CPUtime=336.52
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11526 0 0 0 33641 11 0 0 25 0 1 0 29750589 48181248 11321 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 11763 11321 52 112 0 11647 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 64552
[startup+402.633 s]
/proc/loadavg: 2.00 2.01 2.03 3/76 16913
/proc/meminfo: memFree=1697456/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=48244 CPUtime=396
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11712 0 0 0 39589 11 0 0 25 0 1 0 29750589 49401856 11507 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 12061 11507 52 112 0 11945 0
Current children cumulated CPU time (s) 398.87
Current children cumulated vsize (KiB) 65744
[startup+462.657 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 16913
/proc/meminfo: memFree=1687280/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=49100 CPUtime=455.47
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11906 0 0 0 45536 11 0 0 25 0 1 0 29750589 50278400 11701 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 12275 11701 52 112 0 12159 0
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (KiB) 66600
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/76 16913
/proc/meminfo: memFree=1654192/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73240 CPUtime=1113.01
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17845 0 0 0 111281 20 0 0 25 0 1 0 29750589 74997760 17640 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18310 17640 52 112 0 18194 0
Current children cumulated CPU time (s) 1115.88
Current children cumulated vsize (KiB) 90740
[startup+1183.34 s]
/proc/loadavg: 2.03 2.01 2.00 3/76 16913
/proc/meminfo: memFree=1654192/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73240 CPUtime=1172.79
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17846 0 0 0 117259 20 0 0 25 0 1 0 29750589 74997760 17641 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18310 17641 52 112 0 18194 0
Current children cumulated CPU time (s) 1175.66
Current children cumulated vsize (KiB) 90740
[startup+1243.39 s]
/proc/loadavg: 2.01 2.01 2.00 3/76 16913
/proc/meminfo: memFree=1654192/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73236 CPUtime=1232.56
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17847 0 0 0 123236 20 0 0 25 0 1 0 29750589 74993664 17642 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18309 17642 52 112 0 18193 0
Current children cumulated CPU time (s) 1235.43
Current children cumulated vsize (KiB) 90736
[startup+1303.45 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16913
/proc/meminfo: memFree=1654128/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73236 CPUtime=1292.33
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17853 0 0 0 129213 20 0 0 25 0 1 0 29750589 74993664 17648 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18309 17648 52 112 0 18193 0
Current children cumulated CPU time (s) 1295.2
Current children cumulated vsize (KiB) 90736
[startup+1363.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16913
/proc/meminfo: memFree=1653936/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1352.12
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17884 0 0 0 135192 20 0 0 25 0 1 0 29750589 75161600 17679 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17679 52 112 0 18234 0
Current children cumulated CPU time (s) 1354.99
Current children cumulated vsize (KiB) 90900
[startup+1423.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1653680/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1411.88
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17893 0 0 0 141168 20 0 0 25 0 1 0 29750589 75161600 17688 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17688 52 112 0 18234 0
Current children cumulated CPU time (s) 1414.75
Current children cumulated vsize (KiB) 90900
[startup+1483.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1653680/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1471.66
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17895 0 0 0 147146 20 0 0 25 0 1 0 29750589 75161600 17690 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17690 52 112 0 18234 0
Current children cumulated CPU time (s) 1474.53
Current children cumulated vsize (KiB) 90900
[startup+1543.68 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1653616/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1531.44
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17895 0 0 0 153124 20 0 0 25 0 1 0 29750589 75161600 17690 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17690 52 112 0 18234 0
Current children cumulated CPU time (s) 1534.31
Current children cumulated vsize (KiB) 90900
[startup+1603.74 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1652464/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73764 CPUtime=1591.21
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17958 0 0 0 159101 20 0 0 25 0 1 0 29750589 75534336 17753 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18441 17753 52 112 0 18325 0
Current children cumulated CPU time (s) 1594.08
Current children cumulated vsize (KiB) 91264
[startup+1663.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1646448/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73764 CPUtime=1650.99
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17958 0 0 0 165079 20 0 0 25 0 1 0 29750589 75534336 17753 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18441 17753 52 112 0 18325 0
Current children cumulated CPU time (s) 1653.86
Current children cumulated vsize (KiB) 91264
[startup+1723.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1643120/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=74092 CPUtime=1710.78
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 18022 0 0 0 171057 21 0 0 25 0 1 0 29750589 75870208 17817 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18523 17817 52 112 0 18407 0
Current children cumulated CPU time (s) 1713.65
Current children cumulated vsize (KiB) 91592
[startup+1783.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1643120/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=74092 CPUtime=1770.56
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 18022 0 0 0 177035 21 0 0 25 0 1 0 29750589 75870208 17817 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18523 17817 52 112 0 18407 0
Current children cumulated CPU time (s) 1773.43
Current children cumulated vsize (KiB) 91592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.68 s]
/proc/loadavg: 1.72 1.93 1.98 2/69 17132
/proc/meminfo: memFree=1758328/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=74256 CPUtime=1797.19
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 18051 0 0 0 179696 23 0 0 25 0 1 0 29750589 76038144 17846 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18564 17846 52 112 0 18448 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 91756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16895 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=743582 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=140978
CPU time returned by wait4() is 2.88456
while last known CPU time is 1800.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.7
CPU time (s): 1800.07
CPU user time (s): 1799.7
CPU system time (s): 0.37
CPU usage (%): 99.3582
Max. virtual memory (cumulated for all children) (KiB): 821092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.74358
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19136
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= 1374
involuntary context switches= 1315
runsolver used 1.76173 s user time and 5.08023 s system time
The end
Begin job on node55 on Mon Jan 29 19:12:18 UTC 2007
IDJOB= 210647
IDBENCH= 4635
IDSOLVER= 86
FILE ID= node55/210647-1170097938
PBS_JOBID= 3689702
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-30-29.xml
COMMAND LINE= /tmp/evaluation/210647-1170097938/solver /tmp/evaluation/210647-1170097938 /tmp/evaluation/210647-1170097938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-210647-1170097938 -o ROOT/results/node55/solver-210647-1170097938 -C 1800 -M 900 /tmp/evaluation/210647-1170097938/solver /tmp/evaluation/210647-1170097938 /tmp/evaluation/210647-1170097938/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= baa832437a6b296bd72cdf91ca429a96
RANDOM SEED= 32694750
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.247
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.247
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: 1806488 kB
Buffers: 56668 kB
Cached: 95892 kB
SwapCached: 3160 kB
Active: 86524 kB
Inactive: 110236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806488 kB
SwapTotal: 4192956 kB
SwapFree: 4184200 kB
Dirty: 4144 kB
Writeback: 0 kB
Mapped: 50496 kB
Slab: 38000 kB
Committed_AS: 245172 kB
PageTables: 1796 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node55 on Mon Jan 29 19:42:33 UTC 2007