0.05 c # Sugar v0-40 (/tmp/evaluation/252590-1170112285/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/252590-1170112285/unknown.xml [Tue Jan 30 00:11:26 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/252590-1170112285/unknown.xml /tmp/evaluation/252590-1170112285/sugar29659.csp [Tue Jan 30 00:11:26 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/252590-1170112285/sugar-v0-40.jar -convert /tmp/evaluation/252590-1170112285/unknown.xml /tmp/evaluation/252590-1170112285/sugar29659.csp
0.16 c BEGIN convert /tmp/evaluation/252590-1170112285/unknown.xml
1.43 c END convert (1.263666 seconds)
1.48 c # CONVERT_XML END : /tmp/evaluation/252590-1170112285/sugar29659.csp 513588 bytes (1 seconds) [Tue Jan 30 00:11:27 2007]
1.48 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.48
1.48 c # GENERATE_SAT BEGIN : /tmp/evaluation/252590-1170112285/sugar29659.bcnf [Tue Jan 30 00:11:27 2007]
1.48 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/252590-1170112285/sugar-v0-40.jar -bcnf -map /tmp/evaluation/252590-1170112285/sugar29659.map /tmp/evaluation/252590-1170112285/sugar29659.csp /tmp/evaluation/252590-1170112285/sugar29659.bcnf
1.60 c BEGIN parse /tmp/evaluation/252590-1170112285/sugar29659.csp
3.78 c END parse (2.177552 seconds)
3.78 c BEGIN simplify
3.79 c END simplify (0.012261 seconds)
3.79 c BEGIN encode /tmp/evaluation/252590-1170112285/sugar29659.bcnf
4.04 c END encode (0.249697 seconds)
4.16 c # GENERATE_SAT END : 14832 variables 71100 clauses 992472 bytes (3 seconds) [Tue Jan 30 00:11:30 2007]
4.16 c # GENERATE_SAT CPU : 2.59 = 0.08 + 0 + 2.42 + 0.09
4.16
4.16 c # SOLVE_SAT BEGIN : /tmp/evaluation/252590-1170112285/sugar29659.bcnf [Tue Jan 30 00:11:30 2007]
4.16 c # CMD : /tmp/evaluation/252590-1170112285/minisat /tmp/evaluation/252590-1170112285/sugar29659.bcnf /tmp/evaluation/252590-1170112285/sugar29659.out
4.20 c ==================================[MINISAT]===================================
4.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.20 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
4.20 c ==============================================================================
4.20 c | 0 | 58284 157788 | 19428 0 0 nan | 0.000 % |
4.25 c | 100 | 58312 157788 | 21370 72 969 13.5 | 19.175 % |
4.27 c | 250 | 58314 157788 | 23507 220 5091 23.1 | 19.175 % |
4.29 c | 475 | 58316 157788 | 25858 443 10310 23.3 | 19.175 % |
4.32 c | 813 | 58317 157788 | 28444 780 18486 23.7 | 19.175 % |
4.35 c | 1319 | 58318 157788 | 31288 1285 31342 24.4 | 19.175 % |
4.41 c | 2078 | 58318 157788 | 34417 2044 53674 26.3 | 19.175 % |
4.51 c | 3217 | 58321 157788 | 37859 3180 89012 28.0 | 19.175 % |
4.68 c | 4925 | 58325 157788 | 41645 4884 154468 31.6 | 19.175 % |
4.93 c | 7488 | 58342 157788 | 45810 7430 249709 33.6 | 19.175 % |
5.33 c | 11332 | 58344 157788 | 50391 11272 451037 40.0 | 19.175 % |
6.13 c | 17098 | 58359 157788 | 55430 17023 756234 44.4 | 19.175 % |
7.27 c | 25747 | 58371 157788 | 60973 25660 1172248 45.7 | 19.175 % |
9.33 c ==============================================================================
9.33 c restarts : 13
9.33 c conflicts : 33178 (6512 /sec)
9.33 c decisions : 65534 (12862 /sec)
9.33 c propagations : 3459994 (679066 /sec)
9.33 c conflict literals : 1650385 (2.68 % deleted)
9.33 c Memory used : 12.59 MB
9.33 c CPU time : 5.09523 s
9.33 c
9.33 c SATISFIABLE
9.34 c # SOLVE_SAT END : SATISFIABLE (5 seconds) [Tue Jan 30 00:11:35 2007]
9.34 c # SOLVE_SAT CPU : 5.13 = 0 + 0 + 5.1 + 0.03
9.34
9.34 c # RESULT : SATISFIABLE
9.34
9.34 c # OUTPUT_SOL BEGIN : SAT [Tue Jan 30 00:11:35 2007]
9.46 c BEGIN read SAT output /tmp/evaluation/252590-1170112285/sugar29659.out
9.50 c END read SAT output (0.044241 seconds)
9.50 c BEGIN write solution /tmp/evaluation/252590-1170112285/sugar29659.sol
9.68 c END write solution (0.175727 seconds)
9.74 s SATISFIABLE
9.74 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0
9.77 c # OUTPUT_SOL END : (0 seconds) [Tue Jan 30 00:11:35 2007]
9.77 c # OUTPUT_SOL CPU : 0.05 = 0.04 + 0.01 + 0 + 0
9.77
9.77 c # MAIN END : (9 seconds) [Tue Jan 30 00:11:35 2007]
9.77 c # MAIN CPU : 7.77 = 0.12 + 0.01 + 7.52 + 0.12
9.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-252590-1170112285 -o ROOT/results/node18/solver-252590-1170112285 -C 1800 -M 900 /tmp/evaluation/252590-1170112285/solver /tmp/evaluation/252590-1170112285 /tmp/evaluation/252590-1170112285/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
/proc/loadavg: 2.25 2.28 2.50 5/94 29660
/proc/meminfo: memFree=458760/2055920 swapFree=4192812/4192956
[pid=29659] ppid=29657 vsize=18540 CPUtime=0
/proc/29659/stat : 29659 (runsolver) R 29657 29375 29375 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 31183108 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 4203142 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29659/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107227 s]
/proc/loadavg: 2.25 2.28 2.50 5/94 29660
/proc/meminfo: memFree=458760/2055920 swapFree=4192812/4192956
[pid=29659] ppid=29657 vsize=13724 CPUtime=0.04
/proc/29659/stat : 29659 (sugar) S 29657 29659 29375 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 31183108 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29659/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515268 s]
/proc/loadavg: 2.25 2.28 2.50 5/94 29660
/proc/meminfo: memFree=458760/2055920 swapFree=4192812/4192956
[pid=29659] ppid=29657 vsize=13724 CPUtime=0.04
/proc/29659/stat : 29659 (sugar) S 29657 29659 29375 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31183108 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29659/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33834 s]
/proc/loadavg: 2.25 2.28 2.50 3/102 29668
/proc/meminfo: memFree=410760/2055920 swapFree=4192812/4192956
[pid=29659] ppid=29657 vsize=13724 CPUtime=0.04
/proc/29659/stat : 29659 (sugar) S 29657 29659 29375 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31183108 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29659/statm: 3431 805 368 3 0 531 0
[pid=29661] ppid=29659 vsize=807412 CPUtime=1.27
/proc/29661/stat : 29661 (java) R 29659 29659 29375 0 -1 0 13040 0 1 0 120 7 0 0 17 0 8 0 31183113 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073451421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29661/statm: 201853 12786 1694 14 0 189131 0
[pid=29661/tid=29662] ppid=29659 vsize=807412 CPUtime=0.18
/proc/29661/task/29662/stat : 29662 (java) S 29659 29659 29375 0 -1 64 6432 0 0 0 16 2 0 0 16 0 8 0 31183116 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29661/tid=29663] ppid=29659 vsize=807412 CPUtime=0
/proc/29661/task/29663/stat : 29663 (java) S 29659 29659 29375 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 31183116 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29661/tid=29664] ppid=29659 vsize=807412 CPUtime=0
/proc/29661/task/29664/stat : 29664 (java) S 29659 29659 29375 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31183116 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29661/tid=29665] ppid=29659 vsize=807412 CPUtime=0
/proc/29661/task/29665/stat : 29665 (java) S 29659 29659 29375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31183120 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29661/tid=29666] ppid=29659 vsize=807412 CPUtime=0.17
/proc/29661/task/29666/stat : 29666 (java) R 29659 29659 29375 0 -1 64 425 0 0 0 17 0 0 0 20 0 8 0 31183120 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29661/tid=29667] ppid=29659 vsize=807412 CPUtime=0
/proc/29661/task/29667/stat : 29667 (java) S 29659 29659 29375 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 31183120 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29661/tid=29668] ppid=29659 vsize=807412 CPUtime=0
/proc/29661/task/29668/stat : 29668 (java) S 29659 29659 29375 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31183120 826789888 12786 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 821136
[startup+2.98551 s]
/proc/loadavg: 2.25 2.28 2.50 4/103 29676
/proc/meminfo: memFree=420168/2055920 swapFree=4192812/4192956
[pid=29659] ppid=29657 vsize=13724 CPUtime=0.04
/proc/29659/stat : 29659 (sugar) S 29657 29659 29375 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 31183108 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29659/statm: 3431 808 370 3 0 531 0
[pid=29661] ppid=29659 vsize=0 CPUtime=1.37
/proc/29661/stat : 29661 (java) Z 29659 29659 29375 0 -1 1036 13434 0 1 0 129 8 0 0 16 0 1 0 31183113 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29661/statm: 0 0 0 0 0 0 0
[pid=29669] ppid=29659 vsize=807376 CPUtime=1.47
/proc/29669/stat : 29669 (java) R 29659 29659 29375 0 -1 0 10059 0 1 0 142 5 0 0 18 0 8 0 31183257 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29669/statm: 201844 9802 1506 14 0 189122 0
[pid=29669/tid=29670] ppid=29659 vsize=807376 CPUtime=0.22
/proc/29669/task/29670/stat : 29670 (java) S 29659 29659 29375 0 -1 64 3848 0 0 0 21 1 0 0 16 0 8 0 31183260 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29669/tid=29671] ppid=29659 vsize=807376 CPUtime=0
/proc/29669/task/29671/stat : 29671 (java) S 29659 29659 29375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 31183260 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29669/tid=29672] ppid=29659 vsize=807376 CPUtime=0
/proc/29669/task/29672/stat : 29672 (java) S 29659 29659 29375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 31183260 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29669/tid=29673] ppid=29659 vsize=807376 CPUtime=0
/proc/29669/task/29673/stat : 29673 (java) S 29659 29659 29375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31183264 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29669/tid=29674] ppid=29659 vsize=807376 CPUtime=0.14
/proc/29669/task/29674/stat : 29674 (java) R 29659 29659 29375 0 -1 64 419 0 0 0 14 0 0 0 19 0 8 0 31183264 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29669/tid=29675] ppid=29659 vsize=807376 CPUtime=0
/proc/29669/task/29675/stat : 29675 (java) S 29659 29659 29375 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 31183264 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29669/tid=29676] ppid=29659 vsize=807376 CPUtime=0
/proc/29669/task/29676/stat : 29676 (java) S 29659 29659 29375 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31183264 826753024 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821100
[startup+6.18982 s]
/proc/loadavg: 2.39 2.30 2.51 3/96 29677
/proc/meminfo: memFree=421440/2055920 swapFree=4192812/4192956
[pid=29659] ppid=29657 vsize=19348 CPUtime=2.63
/proc/29659/stat : 29659 (sugar) S 29657 29659 29375 0 -1 4194304 2675 13869 0 1 11 1 242 9 15 0 1 0 31183108 19812352 2188 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29659/statm: 4837 2188 373 3 0 1937 0
[pid=29661] ppid=29659 vsize=0 CPUtime=1.37
/proc/29661/stat : 29661 (java) Z 29659 29659 29375 0 -1 1036 13434 0 1 0 129 8 0 0 16 0 1 0 31183113 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29661/statm: 0 0 0 0 0 0 0
[pid=29677] ppid=29659 vsize=8504 CPUtime=2
/proc/29677/stat : 29677 (minisat) R 29659 29659 29375 0 -1 0 1999 0 0 0 199 1 0 0 25 0 1 0 31183524 8708096 1741 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528712 0 0 4096 3 0 0 0 17 1 0 0
/proc/29677/statm: 2126 1741 52 112 0 2010 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 27852
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29659 and gives childrusage.ru_utime.tv_sec=7 childrusage.ru_utime.tv_usec=680832 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=149977
CPU time returned by wait4() is 7.83081
while last known CPU time is 9.18
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 9.80176
CPU time (s): 9.18
CPU user time (s): 8.96
CPU system time (s): 0.22
CPU usage (%): 93.6567
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.68083
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19782
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 732
involuntary context switches= 1001
runsolver used 0.008998 s user time and 0.043993 s system time
The end
Begin job on node18 on Mon Jan 29 23:11:26 UTC 2007
IDJOB= 252590
IDBENCH= 12955
IDSOLVER= 86
FILE ID= node18/252590-1170112285
PBS_JOBID= 3690037
Free space on /tmp= 62861 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-3-8.xml
COMMAND LINE= /tmp/evaluation/252590-1170112285/solver /tmp/evaluation/252590-1170112285 /tmp/evaluation/252590-1170112285/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-252590-1170112285 -o ROOT/results/node18/solver-252590-1170112285 -C 1800 -M 900 /tmp/evaluation/252590-1170112285/solver /tmp/evaluation/252590-1170112285 /tmp/evaluation/252590-1170112285/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f48056a29e890b3334c681202da6c1bf
RANDOM SEED= 54661593
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.236
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.236
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: 459560 kB
Buffers: 25220 kB
Cached: 1393124 kB
SwapCached: 0 kB
Active: 119908 kB
Inactive: 1380520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 459560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 206968 kB
Writeback: 0 kB
Mapped: 107552 kB
Slab: 80792 kB
Committed_AS: 826536 kB
PageTables: 2128 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= 62822 MiB
End job on node18 on Mon Jan 29 23:11:36 UTC 2007