0.13 c # Sugar v0-40 (/tmp/evaluation/217597-1170101421/sugar-v0-40.jar)
0.13
0.14 c # MAIN BEGIN : /tmp/evaluation/217597-1170101421/unknown.xml [Mon Jan 29 21:10:21 2007]
0.14 c # CONVERT_XML BEGIN : /tmp/evaluation/217597-1170101421/unknown.xml /tmp/evaluation/217597-1170101421/sugar26817.csp [Mon Jan 29 21:10:21 2007]
0.14 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217597-1170101421/sugar-v0-40.jar -convert /tmp/evaluation/217597-1170101421/unknown.xml /tmp/evaluation/217597-1170101421/sugar26817.csp
1.02 c BEGIN convert /tmp/evaluation/217597-1170101421/unknown.xml
1.58 c END convert (0.565359 seconds)
1.61 c # CONVERT_XML END : /tmp/evaluation/217597-1170101421/sugar26817.csp 128730 bytes (1 seconds) [Mon Jan 29 21:10:22 2007]
1.61 c # CONVERT_XML CPU : 0.63 = 0 + 0 + 0.58 + 0.05
1.61
1.61 c # GENERATE_SAT BEGIN : /tmp/evaluation/217597-1170101421/sugar26817.bcnf [Mon Jan 29 21:10:22 2007]
1.61 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217597-1170101421/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217597-1170101421/sugar26817.map /tmp/evaluation/217597-1170101421/sugar26817.csp /tmp/evaluation/217597-1170101421/sugar26817.bcnf
1.73 c BEGIN parse /tmp/evaluation/217597-1170101421/sugar26817.csp
2.45 c END parse (0.71926 seconds)
2.45 c BEGIN simplify
2.52 c END simplify (0.068789 seconds)
2.52 c BEGIN encode /tmp/evaluation/217597-1170101421/sugar26817.bcnf
2.72 c END encode (0.194019 seconds)
2.88 c # GENERATE_SAT END : 14400 variables 44000 clauses 620024 bytes (2 seconds) [Mon Jan 29 21:10:24 2007]
2.88 c # GENERATE_SAT CPU : 1.23 = 0.13 + 0.01 + 1.02 + 0.07
2.88
2.88 c # SOLVE_SAT BEGIN : /tmp/evaluation/217597-1170101421/sugar26817.bcnf [Mon Jan 29 21:10:24 2007]
2.88 c # CMD : /tmp/evaluation/217597-1170101421/minisat /tmp/evaluation/217597-1170101421/sugar26817.bcnf /tmp/evaluation/217597-1170101421/sugar26817.out
2.91 c ==================================[MINISAT]===================================
2.91 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.91 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
2.91 c ==============================================================================
2.91 c | 0 | 44000 111000 | 14666 0 0 nan | 0.000 % |
2.93 c | 100 | 44000 111000 | 16132 100 560 5.6 | 0.000 % |
2.95 c | 250 | 44000 111000 | 17745 250 1363 5.5 | 0.000 % |
2.99 c | 475 | 44000 111000 | 19520 475 2563 5.4 | 0.000 % |
3.04 c | 812 | 44000 111000 | 21472 812 4429 5.5 | 0.000 % |
3.11 c | 1318 | 44000 111000 | 23619 1318 7366 5.6 | 0.000 % |
3.25 c | 2078 | 44000 111000 | 25981 2078 11907 5.7 | 0.000 % |
3.43 c | 3217 | 44000 111000 | 28579 3217 20139 6.3 | 0.000 % |
3.71 c | 4925 | 44000 111000 | 31437 4925 44499 9.0 | 0.000 % |
4.05 c | 7487 | 44000 111000 | 34581 7487 79224 10.6 | 0.000 % |
4.58 c | 11331 | 44000 111000 | 38039 11331 185716 16.4 | 0.000 % |
5.71 c | 17097 | 44000 111000 | 41843 17097 377474 22.1 | 0.000 % |
7.56 c | 25747 | 44000 111000 | 46028 25747 665083 25.8 | 0.000 % |
11.87 c | 38722 | 44000 111000 | 50631 38722 1166482 30.1 | 0.000 % |
19.97 c | 58184 | 44000 111000 | 55694 21035 766438 36.4 | 0.000 % |
35.06 c | 87376 | 44000 111000 | 61263 50227 2132496 42.5 | 0.000 % |
57.60 c | 131165 | 44000 111000 | 67389 46088 1895559 41.1 | 0.000 % |
97.71 c | 196849 | 44000 111000 | 74128 58961 2619755 44.4 | 0.000 % |
160.69 c | 295376 | 44000 111000 | 81541 39324 1824187 46.4 | 0.000 % |
285.28 c | 443165 | 44000 111000 | 89695 58997 2877963 48.8 | 0.000 % |
491.65 c | 664851 | 44000 111000 | 98665 64264 3699876 57.6 | 0.000 % |
838.19 c | 997376 | 44000 111000 | 108532 78114 4441016 56.9 | 0.000 % |
1292.41 c | 1496165 | 44000 111000 | 119385 43037 1902632 44.2 | 0.000 % |
1804.28
1804.28 s UNKNOWN
1804.28 c # INTERRUPTED
1804.28 c # MAIN END : (1804 seconds) [Mon Jan 29 21:40:25 2007]
1804.28 c # MAIN CPU : 1.86 = 0.13 + 0.01 + 1.6 + 0.12
1804.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-217597-1170101421 -o ROOT/results/node15/solver-217597-1170101421 -C 1800 -M 900 /tmp/evaluation/217597-1170101421/solver /tmp/evaluation/217597-1170101421 /tmp/evaluation/217597-1170101421/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.46 4.83 5.17 5/94 26818
/proc/meminfo: memFree=732240/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=5352 CPUtime=0
/proc/26817/stat : 26817 (solver) D 26815 26817 25982 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30096459 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 240472616231 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26817/statm: 1338 231 193 169 0 49 0
[startup+0.109693 s]
/proc/loadavg: 2.46 4.83 5.17 5/94 26818
/proc/meminfo: memFree=732240/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=12668 CPUtime=0.01
/proc/26817/stat : 26817 (sugar) D 26815 26817 25982 0 -1 4194304 776 0 4 0 1 0 0 0 18 0 1 0 30096459 12972032 499 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/26817/statm: 3167 499 315 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668
[startup+0.51875 s]
/proc/loadavg: 2.46 4.83 5.17 5/94 26818
/proc/meminfo: memFree=732240/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=13724 CPUtime=0.04
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 1108 0 4 0 3 1 0 0 16 0 1 0 30096459 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3429 s]
/proc/loadavg: 2.46 4.83 5.17 4/102 26826
/proc/meminfo: memFree=714640/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=13724 CPUtime=0.04
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30096459 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 3431 805 368 3 0 531 0
[pid=26819] ppid=26817 vsize=807288 CPUtime=0.38
/proc/26819/stat : 26819 (java) R 26817 26817 25982 0 -1 0 4249 0 32 0 35 3 0 0 18 0 8 0 30096473 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26819/statm: 201822 4029 1679 14 0 189100 0
[pid=26819/tid=26820] ppid=26817 vsize=807288 CPUtime=0
/proc/26819/task/26820/stat : 26820 (java) S 26817 26817 25982 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 30096552 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26819/tid=26821] ppid=26817 vsize=807288 CPUtime=0
/proc/26819/task/26821/stat : 26821 (java) S 26817 26817 25982 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30096552 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26819/tid=26822] ppid=26817 vsize=807288 CPUtime=0
/proc/26819/task/26822/stat : 26822 (java) S 26817 26817 25982 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30096552 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26819/tid=26823] ppid=26817 vsize=807288 CPUtime=0
/proc/26819/task/26823/stat : 26823 (java) S 26817 26817 25982 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30096556 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26819/tid=26824] ppid=26817 vsize=807288 CPUtime=0.09
/proc/26819/task/26824/stat : 26824 (java) R 26817 26817 25982 0 -1 64 379 0 0 0 9 0 0 0 16 0 8 0 30096556 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155582244 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26819/tid=26825] ppid=26817 vsize=807288 CPUtime=0
/proc/26819/task/26825/stat : 26825 (java) S 26817 26817 25982 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30096556 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26819/tid=26826] ppid=26817 vsize=807288 CPUtime=0
/proc/26819/task/26826/stat : 26826 (java) S 26817 26817 25982 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30096556 826662912 4029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 821012
[startup+2.98618 s]
/proc/loadavg: 2.46 4.83 5.17 3/102 26834
/proc/meminfo: memFree=691344/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 17 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 21456
[startup+6.27475 s]
/proc/loadavg: 2.50 4.80 5.15 3/95 26835
/proc/meminfo: memFree=685960/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=6352 CPUtime=3.34
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 1358 0 0 0 332 2 0 0 25 0 1 0 30096747 6504448 1191 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528710 0 0 4096 3 0 0 0 17 1 0 0
/proc/26835/statm: 1588 1191 52 112 0 1472 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 27808
[startup+12.7429 s]
/proc/loadavg: 2.43 4.70 5.12 3/95 26835
/proc/meminfo: memFree=656456/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=10392 CPUtime=9.71
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 2348 0 0 0 968 3 0 0 25 0 1 0 30096747 10641408 2181 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26835/statm: 2598 2181 52 112 0 2482 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 31848
[startup+25.5821 s]
/proc/loadavg: 2.36 4.61 5.09 3/95 26835
/proc/meminfo: memFree=604240/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=12628 CPUtime=22.44
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 2911 0 0 0 2240 4 0 0 25 0 1 0 30096747 12931072 2744 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/26835/statm: 3157 2744 52 112 0 3041 0
Current children cumulated CPU time (s) 24.34
Current children cumulated vsize (KiB) 34084
[startup+51.219 s]
/proc/loadavg: 2.24 4.40 5.00 3/95 26835
/proc/meminfo: memFree=495696/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=17204 CPUtime=47.82
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 4047 0 0 0 4773 9 0 0 25 0 1 0 30096747 17616896 3880 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528105 0 0 4096 3 0 0 0 17 1 0 0
/proc/26835/statm: 4301 3880 52 112 0 4185 0
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (KiB) 38660
[startup+102.521 s]
/proc/loadavg: 2.15 4.05 4.85 3/95 26835
/proc/meminfo: memFree=289552/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=20256 CPUtime=98.62
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 4795 0 0 0 9849 13 0 0 25 0 1 0 30096747 20742144 4628 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528319 0 0 4096 3 0 0 0 17 1 0 0
/proc/26835/statm: 5064 4628 52 112 0 4948 0
Current children cumulated CPU time (s) 100.52
Current children cumulated vsize (KiB) 41712
[startup+162.604 s]
/proc/loadavg: 2.06 3.68 4.67 2/82 26991
/proc/meminfo: memFree=1798840/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=23184 CPUtime=158.28
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 5540 0 0 0 15804 24 0 0 25 0 1 0 30096747 23740416 5373 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 5796 5373 52 112 0 5680 0
Current children cumulated CPU time (s) 160.18
Current children cumulated vsize (KiB) 44640
[startup+222.622 s]
/proc/loadavg: 1.98 3.36 4.50 3/89 27118
/proc/meminfo: memFree=1757368/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=24160 CPUtime=218.22
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 5773 0 0 0 21795 27 0 0 25 0 1 0 30096747 24739840 5606 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 6040 5606 52 112 0 5924 0
Current children cumulated CPU time (s) 220.12
Current children cumulated vsize (KiB) 45616
[startup+282.644 s]
/proc/loadavg: 1.99 3.11 4.34 3/89 27118
/proc/meminfo: memFree=1754488/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=25944 CPUtime=278.17
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 6225 0 0 0 27788 29 0 0 25 0 1 0 30096747 26566656 6058 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528348 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 6486 6058 52 112 0 6370 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (KiB) 47400
[startup+342.661 s]
/proc/loadavg: 1.99 2.89 4.18 3/89 27118
/proc/meminfo: memFree=1749240/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=29384 CPUtime=338.13
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 7091 0 0 0 33783 30 0 0 25 0 1 0 30096747 30089216 6924 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 7346 6924 52 112 0 7230 0
Current children cumulated CPU time (s) 340.03
Current children cumulated vsize (KiB) 50840
[startup+402.684 s]
/proc/loadavg: 1.99 2.73 4.04 3/89 27118
/proc/meminfo: memFree=1741752/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=35352 CPUtime=398.08
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 8551 0 0 0 39776 32 0 0 25 0 1 0 30096747 36200448 8384 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 8838 8384 52 112 0 8722 0
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (KiB) 56808
[startup+462.705 s]
/proc/loadavg: 1.99 2.59 3.91 3/89 27118
/proc/meminfo: memFree=1739640/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=35912 CPUtime=458.03
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 8697 0 0 0 45770 33 0 0 25 0 1 0 30096747 36773888 8530 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 8978 8530 52 112 0 8862 0
Current children cumulated CPU time (s) 459.93
Current children cumulated vsize (KiB) 57368
################
# More data... #
################
/proc/loadavg: 1.99 2.05 2.91 3/89 27118
/proc/meminfo: memFree=1720568/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=39204 CPUtime=1117.84
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 9410 0 0 0 111749 35 0 0 25 0 1 0 30096747 40144896 9243 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 9801 9243 52 112 0 9685 0
Current children cumulated CPU time (s) 1119.74
Current children cumulated vsize (KiB) 60660
[startup+1183.33 s]
/proc/loadavg: 1.99 2.04 2.85 3/89 27118
/proc/meminfo: memFree=1719352/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=39204 CPUtime=1177.83
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 9429 0 0 0 117748 35 0 0 25 0 1 0 30096747 40144896 9262 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 9801 9262 52 112 0 9685 0
Current children cumulated CPU time (s) 1179.73
Current children cumulated vsize (KiB) 60660
[startup+1243.35 s]
/proc/loadavg: 1.99 2.03 2.80 3/89 27118
/proc/meminfo: memFree=1719224/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=39380 CPUtime=1237.8
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 9452 0 0 0 123744 36 0 0 25 0 1 0 30096747 40325120 9285 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 9845 9285 52 112 0 9729 0
Current children cumulated CPU time (s) 1239.7
Current children cumulated vsize (KiB) 60836
[startup+1303.38 s]
/proc/loadavg: 1.99 2.02 2.75 3/89 27118
/proc/meminfo: memFree=1718904/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=39548 CPUtime=1297.78
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 9502 0 0 0 129742 36 0 0 25 0 1 0 30096747 40497152 9335 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 9887 9335 52 112 0 9771 0
Current children cumulated CPU time (s) 1299.68
Current children cumulated vsize (KiB) 61004
[startup+1363.4 s]
/proc/loadavg: 1.99 2.02 2.70 3/89 27118
/proc/meminfo: memFree=1718712/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=39688 CPUtime=1357.71
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 9540 0 0 0 135735 36 0 0 25 0 1 0 30096747 40640512 9373 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 9922 9373 52 112 0 9806 0
Current children cumulated CPU time (s) 1359.61
Current children cumulated vsize (KiB) 61144
[startup+1423.41 s]
/proc/loadavg: 1.99 2.01 2.65 3/89 27118
/proc/meminfo: memFree=1717688/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=40536 CPUtime=1417.66
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 9743 0 0 0 141730 36 0 0 25 0 1 0 30096747 41508864 9576 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 10134 9576 52 112 0 10018 0
Current children cumulated CPU time (s) 1419.56
Current children cumulated vsize (KiB) 61992
[startup+1483.5 s]
/proc/loadavg: 1.99 2.01 2.61 3/89 27118
/proc/meminfo: memFree=1714616/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=43284 CPUtime=1477.7
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 10415 0 0 0 147732 38 0 0 25 0 1 0 30096747 44322816 10248 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 10821 10248 52 112 0 10705 0
Current children cumulated CPU time (s) 1479.6
Current children cumulated vsize (KiB) 64740
[startup+1543.57 s]
/proc/loadavg: 1.99 2.00 2.57 3/89 27120
/proc/meminfo: memFree=1713464/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=43732 CPUtime=1537.69
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 10508 0 0 0 153731 38 0 0 25 0 1 0 30096747 44781568 10341 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 10933 10341 52 112 0 10817 0
Current children cumulated CPU time (s) 1539.59
Current children cumulated vsize (KiB) 65188
[startup+1603.57 s]
/proc/loadavg: 1.99 2.00 2.53 3/89 27120
/proc/meminfo: memFree=1711480/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=45568 CPUtime=1597.61
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 10953 0 0 0 159722 39 0 0 25 0 1 0 30096747 46661632 10786 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525628 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 11392 10786 52 112 0 11276 0
Current children cumulated CPU time (s) 1599.51
Current children cumulated vsize (KiB) 67024
[startup+1663.59 s]
/proc/loadavg: 2.06 2.02 2.50 3/89 27120
/proc/meminfo: memFree=1711160/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=45800 CPUtime=1657.57
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 10985 0 0 0 165718 39 0 0 25 0 1 0 30096747 46899200 10818 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 11450 10818 52 112 0 11334 0
Current children cumulated CPU time (s) 1659.47
Current children cumulated vsize (KiB) 67256
[startup+1723.61 s]
/proc/loadavg: 2.10 2.03 2.47 3/89 27120
/proc/meminfo: memFree=1709496/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=47248 CPUtime=1717.52
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 11366 0 0 0 171712 40 0 0 25 0 1 0 30096747 48381952 11199 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 11812 11199 52 112 0 11696 0
Current children cumulated CPU time (s) 1719.42
Current children cumulated vsize (KiB) 68704
[startup+1783.62 s]
/proc/loadavg: 2.04 2.02 2.44 3/89 27120
/proc/meminfo: memFree=1709112/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=47248 CPUtime=1777.46
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 11385 0 0 0 177706 40 0 0 25 0 1 0 30096747 48381952 11218 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 11812 11218 52 112 0 11696 0
Current children cumulated CPU time (s) 1779.36
Current children cumulated vsize (KiB) 68704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.27 s]
/proc/loadavg: 2.02 2.02 2.43 3/89 27120
/proc/meminfo: memFree=1708856/2055920 swapFree=4192812/4192956
[pid=26817] ppid=26815 vsize=21456 CPUtime=1.9
/proc/26817/stat : 26817 (sugar) S 26815 26817 25982 0 -1 4194304 3180 16230 4 36 16 2 160 12 16 0 1 0 30096459 21970944 2696 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26817/statm: 5364 2696 373 3 0 2464 0
[pid=26835] ppid=26817 vsize=47552 CPUtime=1798.1
/proc/26835/stat : 26835 (minisat) R 26817 26817 25982 0 -1 0 11428 0 0 0 179770 40 0 0 25 0 1 0 30096747 48693248 11261 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26835/statm: 11888 11261 52 112 0 11772 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 69008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26817 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=769730 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=151976
CPU time returned by wait4() is 1.92171
while last known CPU time is 1800.01
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1805.29
CPU time (s): 1800.01
CPU user time (s): 1799.46
CPU system time (s): 0.55
CPU usage (%): 99.7076
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.76973
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19496
page faults= 40
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1631
involuntary context switches= 1466
runsolver used 2.09068 s user time and 5.9061 s system time
The end
Begin job on node15 on Mon Jan 29 20:10:21 UTC 2007
IDJOB= 217597
IDBENCH= 5157
IDSOLVER= 86
FILE ID= node15/217597-1170101421
PBS_JOBID= 3689488
Free space on /tmp= 40950 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey3/ramsey-25-3.xml
COMMAND LINE= /tmp/evaluation/217597-1170101421/solver /tmp/evaluation/217597-1170101421 /tmp/evaluation/217597-1170101421/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-217597-1170101421 -o ROOT/results/node15/solver-217597-1170101421 -C 1800 -M 900 /tmp/evaluation/217597-1170101421/solver /tmp/evaluation/217597-1170101421 /tmp/evaluation/217597-1170101421/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 9c172daa4013523791b57a3b9bb87565
RANDOM SEED= 649057938
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.276
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.276
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: 733040 kB
Buffers: 33264 kB
Cached: 1109952 kB
SwapCached: 0 kB
Active: 131452 kB
Inactive: 1106696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 733040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 451336 kB
Writeback: 0 kB
Mapped: 120424 kB
Slab: 69484 kB
Committed_AS: 628596 kB
PageTables: 2284 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= 66551 MiB
End job on node15 on Mon Jan 29 20:40:26 UTC 2007