0.05 c # Sugar v0-40 (/tmp/evaluation/212203-1170098838/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/212203-1170098838/unknown.xml [Mon Jan 29 20:27:19 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/212203-1170098838/unknown.xml /tmp/evaluation/212203-1170098838/sugar22380.csp [Mon Jan 29 20:27:19 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212203-1170098838/sugar-v0-40.jar -convert /tmp/evaluation/212203-1170098838/unknown.xml /tmp/evaluation/212203-1170098838/sugar22380.csp
0.17 c BEGIN convert /tmp/evaluation/212203-1170098838/unknown.xml
2.48 c END convert (2.316233 seconds)
2.53 c # CONVERT_XML END : /tmp/evaluation/212203-1170098838/sugar22380.csp 731193 bytes (2 seconds) [Mon Jan 29 20:27:21 2007]
2.53 c # CONVERT_XML CPU : 2.42 = 0 + 0 + 2.33 + 0.09
2.53
2.53 c # GENERATE_SAT BEGIN : /tmp/evaluation/212203-1170098838/sugar22380.bcnf [Mon Jan 29 20:27:21 2007]
2.53 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212203-1170098838/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212203-1170098838/sugar22380.map /tmp/evaluation/212203-1170098838/sugar22380.csp /tmp/evaluation/212203-1170098838/sugar22380.bcnf
2.65 c BEGIN parse /tmp/evaluation/212203-1170098838/sugar22380.csp
60.73 c END parse (58.079826 seconds)
60.73 c BEGIN simplify
60.74 c END simplify (0.012651 seconds)
60.74 c BEGIN encode /tmp/evaluation/212203-1170098838/sugar22380.bcnf
62.68 c END encode (1.942277 seconds)
63.02 c # GENERATE_SAT END : 122602 variables 1929662 clauses 29500988 bytes (61 seconds) [Mon Jan 29 20:28:22 2007]
63.02 c # GENERATE_SAT CPU : 60.08 = 0.27 + 0.03 + 59.4 + 0.38
63.02
63.02 c # SOLVE_SAT BEGIN : /tmp/evaluation/212203-1170098838/sugar22380.bcnf [Mon Jan 29 20:28:22 2007]
63.02 c # CMD : /tmp/evaluation/212203-1170098838/minisat /tmp/evaluation/212203-1170098838/sugar22380.bcnf /tmp/evaluation/212203-1170098838/sugar22380.out
64.29 c ==================================[MINISAT]===================================
64.29 c | Conflicts | ORIGINAL | LEARNT | Progress |
64.29 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
64.29 c ==============================================================================
64.30 c | 0 | 1190299 3371617 | 396766 0 0 nan | 0.000 % |
64.85 c | 100 | 1190306 3371617 | 436442 79 2498 31.6 | 37.503 % |
65.14 c | 250 | 1190324 3371617 | 480086 210 6468 30.8 | 37.525 % |
65.64 c | 475 | 1190345 3371617 | 528095 412 14869 36.1 | 37.570 % |
66.68 c | 815 | 1183770 3355867 | 580905 699 26400 37.8 | 37.702 % |
67.95 c | 1322 | 1183800 3355867 | 638995 1172 46349 39.5 | 37.778 % |
69.50 c | 2082 | 1183826 3355867 | 702895 1906 94646 49.7 | 37.778 % |
72.73 c | 3221 | 1181383 3349771 | 773184 3019 177881 58.9 | 37.822 % |
78.71 c | 4931 | 1180130 3346624 | 850503 4662 279951 60.0 | 37.941 % |
87.76 c | 7494 | 1177352 3339811 | 935553 7157 429595 60.0 | 38.007 % |
101.97 c | 11339 | 1175350 3334816 | 1029108 10945 678254 62.0 | 38.080 % |
122.75 c | 17107 | 1173777 3330946 | 1132019 16662 1023947 61.5 | 38.170 % |
154.51 c | 25757 | 1171817 3326041 | 1245221 25245 1511339 59.9 | 38.318 % |
206.37 c | 38735 | 1167123 3314452 | 1369743 38170 2345665 61.5 | 38.472 % |
300.79 c | 58199 | 1165532 3310576 | 1506718 57603 3449852 59.9 | 38.556 % |
441.14 c | 87393 | 1162413 3302737 | 1657390 86712 5213285 60.1 | 38.701 % |
675.46 c | 131182 | 1156827 3288766 | 1823129 130440 7835371 60.1 | 38.931 % |
1064.07 c | 196866 | 1150701 3273589 | 2005441 196027 11752834 60.0 | 39.242 % |
1720.07 c | 295393 | 1144033 3257017 | 2205986 294488 17714795 60.2 | 39.516 % |
1804.88
1804.88 s UNKNOWN
1804.88 c # INTERRUPTED
1804.88 c # MAIN END : (1805 seconds) [Mon Jan 29 20:57:24 2007]
1804.88 c # MAIN CPU : 62.5 = 0.27 + 0.03 + 61.73 + 0.47
1804.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-212203-1170098838 -o ROOT/results/node29/solver-212203-1170098838 -C 1800 -M 900 /tmp/evaluation/212203-1170098838/solver /tmp/evaluation/212203-1170098838 /tmp/evaluation/212203-1170098838/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.90 1.98 1.99 5/94 22381
/proc/meminfo: memFree=1256432/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=18540 CPUtime=0
/proc/22380/stat : 22380 (runsolver) R 22378 22380 21668 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 3648115 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22380/statm: 4635 279 244 17 0 2626 0
[startup+0.111095 s]
/proc/loadavg: 1.90 1.98 1.99 5/94 22381
/proc/meminfo: memFree=1256432/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=0.03
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 3648115 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.525119 s]
/proc/loadavg: 1.90 1.98 1.99 5/94 22381
/proc/meminfo: memFree=1256432/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=0.03
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3648115 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.35198 s]
/proc/loadavg: 1.90 1.98 1.99 3/102 22389
/proc/meminfo: memFree=1202800/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=0.03
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3648115 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 805 368 3 0 531 0
[pid=22382] ppid=22380 vsize=807412 CPUtime=1.27
/proc/22382/stat : 22382 (java) R 22380 22380 21668 0 -1 0 11042 0 1 0 121 6 0 0 21 0 8 0 3648120 826789888 10783 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22382/statm: 201853 10783 1694 14 0 189131 0
[pid=22382/tid=22383] ppid=22380 vsize=807412 CPUtime=0.08
/proc/22382/task/22383/stat : 22383 (java) R 22380 22380 21668 0 -1 64 4431 0 0 0 7 1 0 0 16 0 8 0 3648123 826789888 10783 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154023982 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22382/tid=22384] ppid=22380 vsize=807412 CPUtime=0
/proc/22382/task/22384/stat : 22384 (java) S 22380 22380 21668 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 3648124 826789888 10784 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22382/tid=22385] ppid=22380 vsize=807412 CPUtime=0
/proc/22382/task/22385/stat : 22385 (java) S 22380 22380 21668 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3648124 826789888 10784 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22382/tid=22386] ppid=22380 vsize=807412 CPUtime=0
/proc/22382/task/22386/stat : 22386 (java) S 22380 22380 21668 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3648127 826789888 10784 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22382/tid=22387] ppid=22380 vsize=807412 CPUtime=0.15
/proc/22382/task/22387/stat : 22387 (java) S 22380 22380 21668 0 -1 64 417 0 0 0 14 1 0 0 16 0 8 0 3648127 826789888 10784 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22382/tid=22388] ppid=22380 vsize=807412 CPUtime=0
/proc/22382/task/22388/stat : 22388 (java) S 22380 22380 21668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3648127 826789888 10784 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22382/tid=22389] ppid=22380 vsize=807412 CPUtime=0
/proc/22382/task/22389/stat : 22389 (java) S 22380 22380 21668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3648127 826789888 10784 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821136
[startup+3.00508 s]
/proc/loadavg: 1.91 1.98 1.99 3/102 22389
/proc/meminfo: memFree=1176368/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=2.46
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1190 11502 0 1 3 1 233 9 15 0 1 0 3648115 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13724
[startup+6.28729 s]
/proc/loadavg: 1.91 1.98 1.99 3/102 22397
/proc/meminfo: memFree=1122224/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=2.46
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1190 11502 0 1 3 1 233 9 15 0 1 0 3648115 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 809 371 3 0 531 0
[pid=22390] ppid=22380 vsize=807380 CPUtime=3.73
/proc/22390/stat : 22390 (java) R 22380 22380 21668 0 -1 0 10914 0 1 0 365 8 0 0 25 0 8 0 3648368 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22390/statm: 201845 10647 1507 14 0 189123 0
[pid=22390/tid=22391] ppid=22380 vsize=807380 CPUtime=0.29
/proc/22390/task/22391/stat : 22391 (java) S 22380 22380 21668 0 -1 64 4595 0 0 0 28 1 0 0 16 0 8 0 3648371 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22392] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22392/stat : 22392 (java) S 22380 22380 21668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3648372 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22393] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22393/stat : 22393 (java) S 22380 22380 21668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3648372 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22394] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22394/stat : 22394 (java) S 22380 22380 21668 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3648375 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22395] ppid=22380 vsize=807380 CPUtime=0.14
/proc/22390/task/22395/stat : 22395 (java) S 22380 22380 21668 0 -1 64 419 0 0 0 14 0 0 0 16 0 8 0 3648375 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22396] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22396/stat : 22396 (java) S 22380 22380 21668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3648375 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22397] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22397/stat : 22397 (java) S 22380 22380 21668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3648375 826757120 10647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 821104
[startup+12.7867 s]
/proc/loadavg: 2.00 1.99 1.99 3/102 22397
/proc/meminfo: memFree=1000112/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=2.46
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1190 11502 0 1 3 1 233 9 15 0 1 0 3648115 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 809 371 3 0 531 0
[pid=22390] ppid=22380 vsize=807380 CPUtime=10.23
/proc/22390/stat : 22390 (java) R 22380 22380 21668 0 -1 0 11761 0 1 0 1015 8 0 0 25 0 8 0 3648368 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22390/statm: 201845 11465 1507 14 0 189123 0
[pid=22390/tid=22391] ppid=22380 vsize=807380 CPUtime=0.43
/proc/22390/task/22391/stat : 22391 (java) S 22380 22380 21668 0 -1 64 5412 0 0 0 41 2 0 0 16 0 8 0 3648371 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22392] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22392/stat : 22392 (java) S 22380 22380 21668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3648372 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22393] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22393/stat : 22393 (java) S 22380 22380 21668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3648372 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22394] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22394/stat : 22394 (java) S 22380 22380 21668 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3648375 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22395] ppid=22380 vsize=807380 CPUtime=0.15
/proc/22390/task/22395/stat : 22395 (java) S 22380 22380 21668 0 -1 64 420 0 0 0 15 0 0 0 16 0 8 0 3648375 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22396] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22396/stat : 22396 (java) S 22380 22380 21668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3648375 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22397] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22397/stat : 22397 (java) S 22380 22380 21668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3648375 826757120 11465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 821104
[startup+25.6435 s]
/proc/loadavg: 2.00 1.99 1.99 3/102 22397
/proc/meminfo: memFree=778224/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=2.46
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1190 11502 0 1 3 1 233 9 15 0 1 0 3648115 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 809 371 3 0 531 0
[pid=22390] ppid=22380 vsize=807380 CPUtime=23.05
/proc/22390/stat : 22390 (java) R 22380 22380 21668 0 -1 0 13570 0 1 0 2289 16 0 0 25 0 8 0 3648368 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22390/statm: 201845 13219 1507 14 0 189123 0
[pid=22390/tid=22391] ppid=22380 vsize=807380 CPUtime=0.72
/proc/22390/task/22391/stat : 22391 (java) S 22380 22380 21668 0 -1 64 7166 0 0 0 68 4 0 0 16 0 8 0 3648371 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22392] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22392/stat : 22392 (java) S 22380 22380 21668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3648372 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22393] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22393/stat : 22393 (java) S 22380 22380 21668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3648372 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22394] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22394/stat : 22394 (java) S 22380 22380 21668 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3648375 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22395] ppid=22380 vsize=807380 CPUtime=0.15
/proc/22390/task/22395/stat : 22395 (java) S 22380 22380 21668 0 -1 64 420 0 0 0 15 0 0 0 16 0 8 0 3648375 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22396] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22396/stat : 22396 (java) S 22380 22380 21668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3648375 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22397] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22397/stat : 22397 (java) S 22380 22380 21668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3648375 826757120 13219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 821104
[startup+51.2841 s]
/proc/loadavg: 2.13 2.02 2.00 3/102 22397
/proc/meminfo: memFree=337584/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=13724 CPUtime=2.46
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 1190 11502 0 1 3 1 233 9 15 0 1 0 3648115 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 3431 809 371 3 0 531 0
[pid=22390] ppid=22380 vsize=807380 CPUtime=48.5
/proc/22390/stat : 22390 (java) R 22380 22380 21668 0 -1 0 16775 0 1 0 4827 23 0 0 25 0 8 0 3648368 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22390/statm: 201845 16309 1507 14 0 189123 0
[pid=22390/tid=22391] ppid=22380 vsize=807380 CPUtime=1.31
/proc/22390/task/22391/stat : 22391 (java) S 22380 22380 21668 0 -1 64 10256 0 0 0 125 6 0 0 16 0 8 0 3648371 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22390/tid=22392] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22392/stat : 22392 (java) S 22380 22380 21668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3648372 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22393] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22393/stat : 22393 (java) S 22380 22380 21668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3648372 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22394] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22394/stat : 22394 (java) S 22380 22380 21668 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3648375 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22395] ppid=22380 vsize=807380 CPUtime=0.15
/proc/22390/task/22395/stat : 22395 (java) S 22380 22380 21668 0 -1 64 420 0 0 0 15 0 0 0 17 0 8 0 3648375 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22396] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22396/stat : 22396 (java) S 22380 22380 21668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3648375 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22390/tid=22397] ppid=22380 vsize=807380 CPUtime=0
/proc/22390/task/22397/stat : 22397 (java) S 22380 22380 21668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3648375 826757120 16309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 821104
[startup+102.488 s]
/proc/loadavg: 2.35 2.10 2.03 3/95 22398
/proc/meminfo: memFree=16040/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=73988 CPUtime=39.38
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 19109 0 0 0 3913 25 0 0 25 0 1 0 3654417 75763712 17856 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 18497 17856 52 112 0 18381 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 106632
[startup+162.49 s]
/proc/loadavg: 2.89 2.28 2.09 3/95 22398
/proc/meminfo: memFree=14824/2055920 swapFree=4192956/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=73988 CPUtime=99.29
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 19109 0 0 0 9882 47 0 0 25 0 1 0 3654417 75763712 17856 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528549 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 18497 17856 52 112 0 18381 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 106632
[startup+222.589 s]
/proc/loadavg: 3.57 2.56 2.20 3/95 22398
/proc/meminfo: memFree=16104/2055920 swapFree=4192956/4192956
################
# More data... #
################
/proc/loadavg: 2.56 2.81 2.60 3/95 22398
/proc/meminfo: memFree=16232/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=112252 CPUtime=1058.45
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 28548 0 0 0 105440 405 0 0 25 0 1 0 3654417 114946048 27295 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 28063 27295 52 112 0 27947 0
Current children cumulated CPU time (s) 1120.98
Current children cumulated vsize (KiB) 144896
[startup+1183.53 s]
/proc/loadavg: 2.80 2.83 2.62 3/95 22398
/proc/meminfo: memFree=15208/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=115940 CPUtime=1118.41
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 29359 0 0 0 111413 428 0 0 25 0 1 0 3654417 118722560 28106 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 28985 28106 52 112 0 28869 0
Current children cumulated CPU time (s) 1180.94
Current children cumulated vsize (KiB) 148584
[startup+1243.63 s]
/proc/loadavg: 2.93 2.86 2.64 3/95 22398
/proc/meminfo: memFree=14888/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=118804 CPUtime=1178.4
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 30088 0 0 0 117394 446 0 0 25 0 1 0 3654417 121655296 28835 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134523956 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 29701 28835 52 112 0 29585 0
Current children cumulated CPU time (s) 1240.93
Current children cumulated vsize (KiB) 151448
[startup+1303.7 s]
/proc/loadavg: 3.61 3.08 2.73 3/95 22398
/proc/meminfo: memFree=15208/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=121204 CPUtime=1238.35
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 30657 0 0 0 123365 470 0 0 25 0 1 0 3654417 124112896 29404 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 30301 29404 52 112 0 30185 0
Current children cumulated CPU time (s) 1300.88
Current children cumulated vsize (KiB) 153848
[startup+1363.79 s]
/proc/loadavg: 3.00 3.01 2.73 3/95 22398
/proc/meminfo: memFree=15208/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=123552 CPUtime=1298.33
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 31256 0 0 0 129338 495 0 0 25 0 1 0 3654417 126517248 30003 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 30888 30003 52 112 0 30772 0
Current children cumulated CPU time (s) 1360.86
Current children cumulated vsize (KiB) 156196
[startup+1423.84 s]
/proc/loadavg: 2.56 2.88 2.70 3/95 22398
/proc/meminfo: memFree=16232/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=126200 CPUtime=1358.27
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 31933 0 0 0 135310 517 0 0 25 0 1 0 3654417 129228800 30680 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525947 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 31550 30680 52 112 0 31434 0
Current children cumulated CPU time (s) 1420.8
Current children cumulated vsize (KiB) 158844
[startup+1483.89 s]
/proc/loadavg: 2.47 2.80 2.68 3/95 22398
/proc/meminfo: memFree=15208/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=128724 CPUtime=1418.21
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 32550 0 0 0 141281 540 0 0 25 0 1 0 3654417 131813376 31297 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 32181 31297 52 112 0 32065 0
Current children cumulated CPU time (s) 1480.74
Current children cumulated vsize (KiB) 161368
[startup+1543.99 s]
/proc/loadavg: 2.87 2.85 2.70 3/95 22398
/proc/meminfo: memFree=15144/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=130968 CPUtime=1478.2
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 33138 0 0 0 147252 568 0 0 25 0 1 0 3654417 134111232 31885 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 32742 31885 52 112 0 32626 0
Current children cumulated CPU time (s) 1540.73
Current children cumulated vsize (KiB) 163612
[startup+1604.08 s]
/proc/loadavg: 3.42 2.98 2.76 3/95 22398
/proc/meminfo: memFree=16168/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=133508 CPUtime=1538.04
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 33745 0 0 0 153211 593 0 0 25 0 1 0 3654417 136712192 32492 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528704 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 33377 32492 52 112 0 33261 0
Current children cumulated CPU time (s) 1600.57
Current children cumulated vsize (KiB) 166152
[startup+1664.09 s]
/proc/loadavg: 2.94 2.95 2.76 3/95 22398
/proc/meminfo: memFree=16232/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=135984 CPUtime=1597.66
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 34385 0 0 0 159149 617 0 0 25 0 1 0 3654417 139247616 33132 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 33996 33132 52 112 0 33880 0
Current children cumulated CPU time (s) 1660.19
Current children cumulated vsize (KiB) 168628
[startup+1724.19 s]
/proc/loadavg: 2.63 2.85 2.73 3/95 22398
/proc/meminfo: memFree=15272/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=138680 CPUtime=1657.36
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 35046 0 0 0 165090 646 0 0 25 0 1 0 3654417 142008320 33793 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 34670 33793 52 112 0 34554 0
Current children cumulated CPU time (s) 1719.89
Current children cumulated vsize (KiB) 171324
[startup+1784.22 s]
/proc/loadavg: 2.77 2.83 2.73 3/95 22398
/proc/meminfo: memFree=14824/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=141708 CPUtime=1717.01
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 35820 0 0 0 171027 674 0 0 25 0 1 0 3654417 145108992 34567 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 35427 34567 52 112 0 35311 0
Current children cumulated CPU time (s) 1779.54
Current children cumulated vsize (KiB) 174352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.87 s]
/proc/loadavg: 2.83 2.84 2.74 3/95 22398
/proc/meminfo: memFree=14952/2055920 swapFree=4192812/4192956
[pid=22380] ppid=22378 vsize=32644 CPUtime=62.53
/proc/22380/stat : 22380 (sugar) S 22378 22380 21668 0 -1 4194304 5907 30783 0 2 30 3 6173 47 16 0 1 0 3648115 33427456 5421 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22380/statm: 8161 5421 373 3 0 5261 0
[pid=22398] ppid=22380 vsize=143012 CPUtime=1737.52
/proc/22398/stat : 22398 (minisat) R 22380 22380 21668 0 -1 0 36110 0 0 0 173071 681 0 0 25 0 1 0 3654417 146444288 34857 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22398/statm: 35753 34857 52 112 0 35637 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 175656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22380 and gives childrusage.ru_utime.tv_sec=62 childrusage.ru_utime.tv_usec=34569 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=520920
CPU time returned by wait4() is 62.5555
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.82
CPU time (s): 1800.08
CPU user time (s): 1792.74
CPU system time (s): 7.34
CPU usage (%): 99.6267
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.0346
system time used= 0.52092
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36775
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= 4791
involuntary context switches= 6090
runsolver used 2.08268 s user time and 5.8901 s system time
The end
Begin job on node29 on Mon Jan 29 19:27:19 UTC 2007
IDJOB= 212203
IDBENCH= 4752
IDSOLVER= 86
FILE ID= node29/212203-1170098838
PBS_JOBID= 3689677
Free space on /tmp= 66358 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-ran14x18.xml
COMMAND LINE= /tmp/evaluation/212203-1170098838/solver /tmp/evaluation/212203-1170098838 /tmp/evaluation/212203-1170098838/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-212203-1170098838 -o ROOT/results/node29/solver-212203-1170098838 -C 1800 -M 900 /tmp/evaluation/212203-1170098838/solver /tmp/evaluation/212203-1170098838 /tmp/evaluation/212203-1170098838/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f76dd8d8566fc7554907bf4a8fe41987
RANDOM SEED= 186393602
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.209
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 : 5931.00
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.209
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: 1257040 kB
Buffers: 45824 kB
Cached: 532584 kB
SwapCached: 0 kB
Active: 257200 kB
Inactive: 463612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1257040 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 211936 kB
Writeback: 0 kB
Mapped: 167872 kB
Slab: 62672 kB
Committed_AS: 541408 kB
PageTables: 2396 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= 37117 MiB
End job on node29 on Mon Jan 29 19:57:27 UTC 2007