0.04 c # Sugar v0-40 (/tmp/evaluation/194464-1170090264/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/194464-1170090264/unknown.xml [Mon Jan 29 18:04:24 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/194464-1170090264/unknown.xml /tmp/evaluation/194464-1170090264/sugar25290.csp [Mon Jan 29 18:04:24 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194464-1170090264/sugar-v0-40.jar -convert /tmp/evaluation/194464-1170090264/unknown.xml /tmp/evaluation/194464-1170090264/sugar25290.csp
0.18 c BEGIN convert /tmp/evaluation/194464-1170090264/unknown.xml
0.86 c END convert (0.677391 seconds)
0.87 c # CONVERT_XML END : /tmp/evaluation/194464-1170090264/sugar25290.csp 2173931 bytes (1 seconds) [Mon Jan 29 18:04:25 2007]
0.87 c # CONVERT_XML CPU : 0.78 = 0 + 0 + 0.71 + 0.07
0.87
0.87 c # GENERATE_SAT BEGIN : /tmp/evaluation/194464-1170090264/sugar25290.bcnf [Mon Jan 29 18:04:25 2007]
0.87 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194464-1170090264/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194464-1170090264/sugar25290.map /tmp/evaluation/194464-1170090264/sugar25290.csp /tmp/evaluation/194464-1170090264/sugar25290.bcnf
0.99 c BEGIN parse /tmp/evaluation/194464-1170090264/sugar25290.csp
36.65 c END parse (35.659505 seconds)
36.65 c BEGIN simplify
36.78 c END simplify (0.135989 seconds)
36.78 c BEGIN encode /tmp/evaluation/194464-1170090264/sugar25290.bcnf
37.92 c END encode (1.133298 seconds)
38.05 c # GENERATE_SAT END : 8226 variables 81417 clauses 9651332 bytes (37 seconds) [Mon Jan 29 18:05:02 2007]
38.05 c # GENERATE_SAT CPU : 36.65 = 0.06 + 0.01 + 36.13 + 0.45
38.05
38.05 c # SOLVE_SAT BEGIN : /tmp/evaluation/194464-1170090264/sugar25290.bcnf [Mon Jan 29 18:05:02 2007]
38.05 c # CMD : /tmp/evaluation/194464-1170090264/minisat /tmp/evaluation/194464-1170090264/sugar25290.bcnf /tmp/evaluation/194464-1170090264/sugar25290.out
38.28 c ==================================[MINISAT]===================================
38.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
38.28 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
38.28 c ==============================================================================
38.28 c | 0 | 81417 2331406 | 27139 0 0 nan | 0.000 % |
38.33 c | 100 | 81417 2331406 | 29852 100 2365 23.6 | 0.000 % |
38.41 c | 250 | 81417 2331406 | 32838 250 4781 19.1 | 0.000 % |
38.54 c | 475 | 81419 2331406 | 36122 473 9983 21.1 | 0.000 % |
38.70 c | 812 | 81419 2331406 | 39734 810 15581 19.2 | 0.000 % |
38.94 c | 1318 | 81419 2331406 | 43707 1316 24447 18.6 | 0.000 % |
39.26 c | 2078 | 81420 2331406 | 48078 2075 35335 17.0 | 0.000 % |
39.74 c | 3217 | 81421 2331406 | 52886 3213 53345 16.6 | 0.000 % |
40.50 c | 4926 | 81423 2331406 | 58174 4920 79250 16.1 | 0.000 % |
41.70 c | 7489 | 81423 2331406 | 63992 7483 122624 16.4 | 0.000 % |
43.80 c | 11333 | 81423 2331406 | 70391 11327 188348 16.6 | 0.000 % |
46.91 c | 17099 | 81426 2331406 | 77430 17090 289048 16.9 | 0.000 % |
52.32 c | 25748 | 81428 2331406 | 85173 25737 449412 17.5 | 0.000 % |
62.21 c | 38722 | 81431 2331406 | 93691 38708 759684 19.6 | 0.000 % |
81.59 c | 58184 | 81435 2331406 | 103060 58166 1102604 19.0 | 0.000 % |
115.33 c | 87377 | 81437 2331406 | 113366 87357 1773580 20.3 | 0.000 % |
169.80 c | 131168 | 81440 2331406 | 124702 34801 727411 20.9 | 0.000 % |
247.38 c | 196853 | 81445 2331406 | 137173 100481 2894706 28.8 | 0.000 % |
389.51 c | 295380 | 81452 2331406 | 150890 82500 2300882 27.9 | 0.000 % |
616.53 c | 443170 | 81457 2331406 | 165979 102102 2921856 28.6 | 0.000 % |
981.54 c | 664853 | 81466 2331406 | 182577 34027 900855 26.5 | 0.000 % |
1595.82 c | 997380 | 81480 2331406 | 200835 46075 1136312 24.7 | 0.000 % |
1816.45
1816.45 s UNKNOWN
1816.45 c # INTERRUPTED
1816.45 c # MAIN END : (1817 seconds) [Mon Jan 29 18:34:41 2007]
1816.45 c # MAIN CPU : 37.43 = 0.06 + 0.01 + 36.84 + 0.52
1816.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-194464-1170090264 -o ROOT/results/node17/solver-194464-1170090264 -C 1800 -M 900 /tmp/evaluation/194464-1170090264/solver /tmp/evaluation/194464-1170090264 /tmp/evaluation/194464-1170090264/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: 0.93 0.53 0.20 3/81 25291
/proc/meminfo: memFree=1640632/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=12268 CPUtime=0
/proc/25290/stat : 25290 (sugar) R 25285 25290 25217 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 28980661 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245482879589 0 0 4224 0 0 0 0 17 1 0 0
/proc/25290/statm: 3067 315 241 3 0 167 0
[startup+0.107463 s]
/proc/loadavg: 0.93 0.53 0.20 3/81 25291
/proc/meminfo: memFree=1640632/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.04
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 28980661 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25290/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515508 s]
/proc/loadavg: 0.93 0.53 0.20 3/81 25291
/proc/meminfo: memFree=1640632/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.04
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 28980661 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3376 s]
/proc/loadavg: 0.93 0.53 0.20 3/102 25347
/proc/meminfo: memFree=1595784/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.82
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1190 7917 0 1 3 1 71 7 15 0 1 0 28980661 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 3431 809 371 3 0 531 0
[pid=25340] ppid=25290 vsize=807064 CPUtime=0.44
/proc/25340/stat : 25340 (java) R 25290 25290 25217 0 -1 0 7323 0 1 0 40 4 0 0 17 0 8 0 28980748 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073485780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25340/statm: 201766 7072 1494 14 0 189044 0
[pid=25340/tid=25341] ppid=25290 vsize=807064 CPUtime=0.05
/proc/25340/task/25341/stat : 25341 (java) S 25290 25290 25217 0 -1 64 1271 0 0 0 5 0 0 0 16 0 8 0 28980752 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25342] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25342/stat : 25342 (java) S 25290 25290 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28980752 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25343] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25343/stat : 25343 (java) S 25290 25290 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28980752 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25344] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25344/stat : 25344 (java) S 25290 25290 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28980755 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25345] ppid=25290 vsize=807064 CPUtime=0.04
/proc/25340/task/25345/stat : 25345 (java) S 25290 25290 25217 0 -1 64 292 0 0 0 4 0 0 0 17 0 8 0 28980755 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25346] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25346/stat : 25346 (java) S 25290 25290 25217 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 28980755 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25347] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25347/stat : 25347 (java) S 25290 25290 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28980755 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+2.99432 s]
/proc/loadavg: 0.93 0.53 0.20 5/102 25355
/proc/meminfo: memFree=1562888/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.82
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1190 7917 0 1 3 1 71 7 15 0 1 0 28980661 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 3431 809 371 3 0 531 0
[pid=25340] ppid=25290 vsize=807064 CPUtime=2.08
/proc/25340/stat : 25340 (java) R 25290 25290 25217 0 -1 0 14196 0 1 0 200 8 0 0 25 0 8 0 28980748 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25340/statm: 201766 13929 1494 14 0 189044 0
[pid=25340/tid=25341] ppid=25290 vsize=807064 CPUtime=0.56
/proc/25340/task/25341/stat : 25341 (java) S 25290 25290 25217 0 -1 64 8128 0 0 0 53 3 0 0 16 0 8 0 28980752 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25342] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25342/stat : 25342 (java) S 25290 25290 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28980752 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25343] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25343/stat : 25343 (java) S 25290 25290 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28980752 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25344] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25344/stat : 25344 (java) S 25290 25290 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28980755 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25345] ppid=25290 vsize=807064 CPUtime=0.04
/proc/25340/task/25345/stat : 25345 (java) S 25290 25290 25217 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 28980755 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25346] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25346/stat : 25346 (java) S 25290 25290 25217 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 28980755 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25347] ppid=25290 vsize=807064 CPUtime=0
/proc/25340/task/25347/stat : 25347 (java) S 25290 25290 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28980755 826433536 13929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.2141 s]
/proc/loadavg: 1.10 0.57 0.22 3/102 25355
/proc/meminfo: memFree=1422344/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.82
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1190 7917 0 1 3 1 71 7 15 0 1 0 28980661 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 3431 809 371 3 0 531 0
[pid=25340] ppid=25290 vsize=807336 CPUtime=5.22
/proc/25340/stat : 25340 (java) R 25290 25290 25217 0 -1 0 33779 0 1 0 505 17 0 0 25 0 8 0 28980748 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25340/statm: 201834 33425 1506 14 0 189112 0
[pid=25340/tid=25341] ppid=25290 vsize=807336 CPUtime=1.49
/proc/25340/task/25341/stat : 25341 (java) S 25290 25290 25217 0 -1 64 27472 0 0 0 138 11 0 0 16 0 8 0 28980752 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25342] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25342/stat : 25342 (java) S 25290 25290 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28980752 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25343] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25343/stat : 25343 (java) S 25290 25290 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28980752 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25344] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25344/stat : 25344 (java) S 25290 25290 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28980755 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25345] ppid=25290 vsize=807336 CPUtime=0.12
/proc/25340/task/25345/stat : 25345 (java) S 25290 25290 25217 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 28980755 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25346] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25346/stat : 25346 (java) S 25290 25290 25217 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 28980755 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25347] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25347/stat : 25347 (java) S 25290 25290 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28980755 826712064 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 821060
[startup+12.6738 s]
/proc/loadavg: 1.33 0.63 0.24 3/102 25355
/proc/meminfo: memFree=1208080/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.82
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1190 7917 0 1 3 1 71 7 15 0 1 0 28980661 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 3431 809 371 3 0 531 0
[pid=25340] ppid=25290 vsize=807336 CPUtime=11.6
/proc/25340/stat : 25340 (java) R 25290 25290 25217 0 -1 0 55009 0 1 0 1132 28 0 0 25 0 8 0 28980748 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25340/statm: 201834 54112 1507 14 0 189112 0
[pid=25340/tid=25341] ppid=25290 vsize=807336 CPUtime=3.82
/proc/25340/task/25341/stat : 25341 (java) S 25290 25290 25217 0 -1 64 48485 0 0 0 361 21 0 0 16 0 8 0 28980752 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25342] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25342/stat : 25342 (java) S 25290 25290 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28980752 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25343] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25343/stat : 25343 (java) S 25290 25290 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28980752 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25344] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25344/stat : 25344 (java) S 25290 25290 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25345] ppid=25290 vsize=807336 CPUtime=0.13
/proc/25340/task/25345/stat : 25345 (java) S 25290 25290 25217 0 -1 64 403 0 0 0 12 1 0 0 17 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25346] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25346/stat : 25346 (java) S 25290 25290 25217 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25347] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25347/stat : 25347 (java) S 25290 25290 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 821060
[startup+25.4821 s]
/proc/loadavg: 1.48 0.70 0.27 3/102 25355
/proc/meminfo: memFree=1208080/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=13724 CPUtime=0.82
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 1190 7917 0 1 3 1 71 7 15 0 1 0 28980661 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 3431 809 371 3 0 531 0
[pid=25340] ppid=25290 vsize=807336 CPUtime=24.25
/proc/25340/stat : 25340 (java) R 25290 25290 25217 0 -1 0 55987 0 1 0 2392 33 0 0 25 0 8 0 28980748 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25340/statm: 201834 54112 1507 14 0 189112 0
[pid=25340/tid=25341] ppid=25290 vsize=807336 CPUtime=8.32
/proc/25340/task/25341/stat : 25341 (java) S 25290 25290 25217 0 -1 64 49136 0 0 0 808 24 0 0 16 0 8 0 28980752 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25342] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25342/stat : 25342 (java) S 25290 25290 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28980752 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25343] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25343/stat : 25343 (java) S 25290 25290 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28980752 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25344] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25344/stat : 25344 (java) S 25290 25290 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25345] ppid=25290 vsize=807336 CPUtime=0.13
/proc/25340/task/25345/stat : 25345 (java) S 25290 25290 25217 0 -1 64 403 0 0 0 12 1 0 0 17 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25346] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25346/stat : 25346 (java) S 25290 25290 25217 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25340/tid=25347] ppid=25290 vsize=807336 CPUtime=0
/proc/25340/task/25347/stat : 25347 (java) S 25290 25290 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28980755 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 821060
[startup+51.1017 s]
/proc/loadavg: 1.78 0.83 0.32 3/88 25357
/proc/meminfo: memFree=1574208/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=15996 CPUtime=12.92
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 4685 0 0 0 1288 4 0 0 25 0 1 0 28984466 16379904 3646 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 3999 3646 52 112 0 3883 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 33636
[startup+102.342 s]
/proc/loadavg: 1.90 1.01 0.41 3/88 25357
/proc/meminfo: memFree=1560704/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=22296 CPUtime=63.72
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 6234 0 0 0 6363 9 0 0 25 0 1 0 28984466 22831104 5195 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 5574 5195 52 112 0 5458 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 39936
[startup+162.406 s]
/proc/loadavg: 1.99 1.20 0.51 3/88 25357
/proc/meminfo: memFree=1550016/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=26936 CPUtime=123.27
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 7378 0 0 0 12317 10 0 0 25 0 1 0 28984466 27582464 6339 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 6734 6339 52 112 0 6618 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 44576
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.45 3/88 25357
/proc/meminfo: memFree=1516544/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=43956 CPUtime=1075.71
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 11517 0 0 0 107552 19 0 0 25 0 1 0 28984466 45010944 10478 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 10989 10478 52 112 0 10873 0
Current children cumulated CPU time (s) 1113.18
Current children cumulated vsize (KiB) 61596
[startup+1183.48 s]
/proc/loadavg: 2.00 1.97 1.48 3/88 25357
/proc/meminfo: memFree=1512576/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=47680 CPUtime=1135.23
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 12457 0 0 0 113502 21 0 0 25 0 1 0 28984466 48824320 11418 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528537 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 11920 11418 52 112 0 11804 0
Current children cumulated CPU time (s) 1172.7
Current children cumulated vsize (KiB) 65320
[startup+1243.55 s]
/proc/loadavg: 2.00 1.97 1.51 3/88 25357
/proc/meminfo: memFree=1507584/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=52264 CPUtime=1194.76
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 13623 0 0 0 119454 22 0 0 25 0 1 0 28984466 53518336 12584 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 13066 12584 52 112 0 12950 0
Current children cumulated CPU time (s) 1232.23
Current children cumulated vsize (KiB) 69904
[startup+1303.61 s]
/proc/loadavg: 2.00 1.97 1.54 3/88 25357
/proc/meminfo: memFree=1505600/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=54132 CPUtime=1254.28
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 14072 0 0 0 125405 23 0 0 25 0 1 0 28984466 55431168 13033 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 13533 13033 52 112 0 13417 0
Current children cumulated CPU time (s) 1291.75
Current children cumulated vsize (KiB) 71772
[startup+1363.68 s]
/proc/loadavg: 2.00 1.97 1.56 3/88 25357
/proc/meminfo: memFree=1503616/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=54132 CPUtime=1313.78
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 14072 0 0 0 131355 23 0 0 25 0 1 0 28984466 55431168 13033 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528388 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 13533 13033 52 112 0 13417 0
Current children cumulated CPU time (s) 1351.25
Current children cumulated vsize (KiB) 71772
[startup+1423.75 s]
/proc/loadavg: 2.00 1.97 1.59 3/88 25357
/proc/meminfo: memFree=1503488/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=54132 CPUtime=1373.33
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 14087 0 0 0 137310 23 0 0 25 0 1 0 28984466 55431168 13048 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 13533 13048 52 112 0 13417 0
Current children cumulated CPU time (s) 1410.8
Current children cumulated vsize (KiB) 71772
[startup+1483.81 s]
/proc/loadavg: 2.00 1.97 1.61 3/88 25357
/proc/meminfo: memFree=1500864/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=56592 CPUtime=1432.86
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 14666 0 0 0 143262 24 0 0 25 0 1 0 28984466 57950208 13627 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 14148 13627 52 112 0 14032 0
Current children cumulated CPU time (s) 1470.33
Current children cumulated vsize (KiB) 74232
[startup+1543.87 s]
/proc/loadavg: 2.05 1.99 1.64 3/88 25357
/proc/meminfo: memFree=1496000/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=61080 CPUtime=1492.39
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 15802 0 0 0 149213 26 0 0 25 0 1 0 28984466 62545920 14763 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527303 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 15270 14763 52 112 0 15154 0
Current children cumulated CPU time (s) 1529.86
Current children cumulated vsize (KiB) 78720
[startup+1603.93 s]
/proc/loadavg: 2.02 1.99 1.66 4/88 25357
/proc/meminfo: memFree=1494144/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=62892 CPUtime=1551.94
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 16229 0 0 0 155167 27 0 0 25 0 1 0 28984466 64401408 15190 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 15723 15190 52 112 0 15607 0
Current children cumulated CPU time (s) 1589.41
Current children cumulated vsize (KiB) 80532
[startup+1663.99 s]
/proc/loadavg: 2.00 1.99 1.67 3/88 25357
/proc/meminfo: memFree=1493696/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=62892 CPUtime=1611.47
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 16243 0 0 0 161120 27 0 0 25 0 1 0 28984466 64401408 15204 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 15723 15204 52 112 0 15607 0
Current children cumulated CPU time (s) 1648.94
Current children cumulated vsize (KiB) 80532
[startup+1724.05 s]
/proc/loadavg: 2.04 2.00 1.70 3/88 25357
/proc/meminfo: memFree=1493696/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=63052 CPUtime=1670.99
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 16250 0 0 0 167072 27 0 0 25 0 1 0 28984466 64565248 15211 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 15763 15211 52 112 0 15647 0
Current children cumulated CPU time (s) 1708.46
Current children cumulated vsize (KiB) 80692
[startup+1784.11 s]
/proc/loadavg: 2.01 2.00 1.72 3/88 25357
/proc/meminfo: memFree=1493376/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=63296 CPUtime=1730.54
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 16307 0 0 0 173027 27 0 0 25 0 1 0 28984466 64815104 15268 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 15824 15268 52 112 0 15708 0
Current children cumulated CPU time (s) 1768.01
Current children cumulated vsize (KiB) 80936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.45 s]
/proc/loadavg: 2.00 2.00 1.73 3/96 25421
/proc/meminfo: memFree=1343680/2055920 swapFree=4192956/4192956
[pid=25290] ppid=25285 vsize=17640 CPUtime=37.47
/proc/25290/stat : 25290 (sugar) S 25285 25290 25217 0 -1 4194304 2250 66363 0 2 9 2 3684 52 16 0 1 0 28980661 18063360 1762 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25290/statm: 4410 1762 373 3 0 1510 0
[pid=25356] ppid=25290 vsize=63296 CPUtime=1762.62
/proc/25356/stat : 25356 (minisat) R 25290 25290 25217 0 -1 0 16312 0 0 0 176233 29 0 0 25 0 1 0 28984466 64815104 15273 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25356/statm: 15824 15273 52 112 0 15708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 80936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25290 and gives childrusage.ru_utime.tv_sec=36 childrusage.ru_utime.tv_usec=936384 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=556915
CPU time returned by wait4() is 37.4933
while last known CPU time is 1800.1
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1817.47
CPU time (s): 1800.1
CPU user time (s): 1799.26
CPU system time (s): 0.84
CPU usage (%): 99.0443
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.9364
system time used= 0.556915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68699
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= 8489
involuntary context switches= 9058
runsolver used 1.89471 s user time and 5.2532 s system time
The end
Begin job on node17 on Mon Jan 29 17:04:24 UTC 2007
IDJOB= 194464
IDBENCH= 3215
IDSOLVER= 86
FILE ID= node17/194464-1170090264
PBS_JOBID= 3689398
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-14_ext.xml
COMMAND LINE= /tmp/evaluation/194464-1170090264/solver /tmp/evaluation/194464-1170090264 /tmp/evaluation/194464-1170090264/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-194464-1170090264 -o ROOT/results/node17/solver-194464-1170090264 -C 1800 -M 900 /tmp/evaluation/194464-1170090264/solver /tmp/evaluation/194464-1170090264 /tmp/evaluation/194464-1170090264/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= b693e6ce086cbc963d32ce1c1b817361
RANDOM SEED= 590457142
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.229
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.229
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: 1641112 kB
Buffers: 49232 kB
Cached: 247928 kB
SwapCached: 0 kB
Active: 194396 kB
Inactive: 151928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1641112 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1492 kB
Writeback: 0 kB
Mapped: 68052 kB
Slab: 53676 kB
Committed_AS: 197164 kB
PageTables: 1968 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= 66558 MiB
End job on node17 on Mon Jan 29 17:34:42 UTC 2007