Trace number 199095

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sugar 0.40UNSAT 1621.98 1637.15

General information on the benchmark

Nameknights/
knights-20-9.xml
MD5SUM433d1c888bd0ffaec46755b506e5e816
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.42378
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables9
Number of constraints36
Maximum constraint arity2
Maximum domain size400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension36
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/199095-1170094052/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/199095-1170094052/unknown.xml [Mon Jan 29 19:07:32 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/199095-1170094052/unknown.xml /tmp/evaluation/199095-1170094052/sugar16814.csp [Mon Jan 29 19:07:32 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199095-1170094052/sugar-v0-40.jar -convert /tmp/evaluation/199095-1170094052/unknown.xml /tmp/evaluation/199095-1170094052/sugar16814.csp
0.16	c BEGIN convert /tmp/evaluation/199095-1170094052/unknown.xml
0.28	c END convert (0.118167 seconds)
0.33	c # CONVERT_XML  END : /tmp/evaluation/199095-1170094052/sugar16814.csp 1917 bytes (0 seconds) [Mon Jan 29 19:07:32 2007]
0.33	c # CONVERT_XML  CPU : 0.01 = 0 + 0.01 + 0 + 0
0.33	
0.33	c # GENERATE_SAT  BEGIN : /tmp/evaluation/199095-1170094052/sugar16814.bcnf [Mon Jan 29 19:07:32 2007]
0.33	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199095-1170094052/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199095-1170094052/sugar16814.map /tmp/evaluation/199095-1170094052/sugar16814.csp /tmp/evaluation/199095-1170094052/sugar16814.bcnf
0.46	c BEGIN parse /tmp/evaluation/199095-1170094052/sugar16814.csp
0.59	c END parse (0.12926 seconds)
0.59	c BEGIN simplify
0.59	c END simplify (0.001988 seconds)
0.59	c BEGIN encode /tmp/evaluation/199095-1170094052/sugar16814.bcnf
0.82	c END encode (0.232444 seconds)
0.83	c # GENERATE_SAT  END : 4725 variables 192168 clauses 3073272 bytes (0 seconds) [Mon Jan 29 19:07:32 2007]
0.83	c # GENERATE_SAT  CPU : 0.47 = 0 + 0 + 0.43 + 0.04
0.83	
0.83	c # SOLVE_SAT  BEGIN : /tmp/evaluation/199095-1170094052/sugar16814.bcnf [Mon Jan 29 19:07:32 2007]
0.83	c # CMD : /tmp/evaluation/199095-1170094052/minisat /tmp/evaluation/199095-1170094052/sugar16814.bcnf /tmp/evaluation/199095-1170094052/sugar16814.out
0.94	c ==================================[MINISAT]===================================
0.94	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
0.94	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
0.94	c ==============================================================================
0.94	c |         0 |  192168   576144 |   64056       0        0     nan |  0.000 % |
1.05	c |       101 |  191827   574852 |   70461      95     1348    14.2 |  1.143 % |
1.08	c |       251 |  191827   574852 |   77507     241     3396    14.1 |  2.582 % |
1.13	c |       476 |  191827   574852 |   85258     464     6455    13.9 |  3.302 % |
1.34	c |       813 |  191827   574852 |   93784     801    11738    14.7 |  3.302 % |
1.95	c |      1319 |  191827   574852 |  103162    1307    19794    15.1 |  3.302 % |
2.81	c |      2079 |  188975   564668 |  113479    2067    33943    16.4 |  3.302 % |
4.01	c |      3220 |  188633   563376 |  124827    3206    52716    16.4 |  4.021 % |
6.59	c |      4928 |  187949   560792 |  137309    4912    81616    16.6 |  4.741 % |
7.56	c |      7490 |  184634   551216 |  151040    7466   121318    16.2 |  7.577 % |
13.62	c |     11335 |  184634   551216 |  166144   11311   190213    16.8 |  7.577 % |
20.37	c |     17102 |  183718   548936 |  182759   17076   288450    16.9 |  8.423 % |
31.37	c |     25751 |  182118   544072 |  201035   25719   419393    16.3 | 10.773 % |
48.24	c |     38727 |  181318   541640 |  221138   38695   616941    15.9 | 10.773 % |
80.02	c |     58189 |  179602   536928 |  243252   58153   919953    15.8 | 12.402 % |
136.17	c |     87382 |  179144   535788 |  267577   87344  1389626    15.9 | 13.249 % |
211.48	c |    131172 |  178228   533508 |  294335  131133  2072171    15.8 | 13.676 % |
403.36	c |    196859 |  178228   533508 |  323769  196820  3109957    15.8 | 13.672 % |
766.51	c |    295385 |  178229   533508 |  356146  295345  4660209    15.8 | 13.672 % |
1159.36	c |    443174 |  178229   533508 |  391760  100183  1459196    14.6 | 13.672 % |
1637.13	c ==============================================================================
1637.13	c restarts              : 20
1637.13	c conflicts             : 642307         (396 /sec)
1637.13	c decisions             : 774336         (478 /sec)
1637.13	c propagations          : 454506211      (280363 /sec)
1637.13	c conflict literals     : 9651021        (19.03 % deleted)
1637.13	c Memory used           : 42.31 MB
1637.13	c CPU time              : 1621.14 s
1637.13	c 
1637.13	c UNSATISFIABLE
1637.14	c # SOLVE_SAT  END : UNSATISFIABLE (1637 seconds) [Mon Jan 29 19:34:49 2007]
1637.14	c # SOLVE_SAT  CPU : 1621.3 = 0 + 0 + 1621.14 + 0.16
1637.14	
1637.14	c # RESULT : UNSATISFIABLE
1637.14	
1637.14	c # OUTPUT_SOL  BEGIN : UNSAT  [Mon Jan 29 19:34:49 2007]
1637.14	s UNSATISFIABLE
1637.14	c # OUTPUT_SOL  END :  (0 seconds) [Mon Jan 29 19:34:49 2007]
1637.14	c # OUTPUT_SOL  CPU : 0 = 0 + 0 + 0 + 0
1637.14	
1637.14	c # MAIN  END :  (1637 seconds) [Mon Jan 29 19:34:49 2007]
1637.14	c # MAIN  CPU : 1621.78 = 0 + 0.01 + 1621.57 + 0.2
1637.14

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node61/watcher-199095-1170094052 -o ROOT/results/node61/solver-199095-1170094052 -C 1800 -M 900 /tmp/evaluation/199095-1170094052/solver /tmp/evaluation/199095-1170094052 /tmp/evaluation/199095-1170094052/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.38 2.36 2.42 5/76 16815
/proc/meminfo: memFree=1248184/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=18540 CPUtime=0
/proc/16814/stat : 16814 (runsolver) R 16812 16814 16296 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29362083 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16814/statm: 4635 279 244 17 0 2626 0

[startup+0.108422 s]
/proc/loadavg: 2.38 2.36 2.42 5/76 16815
/proc/meminfo: memFree=1248184/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.04
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29362083 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.516458 s]
/proc/loadavg: 2.38 2.36 2.42 5/76 16815
/proc/meminfo: memFree=1248184/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.04
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 29362083 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33855 s]
/proc/loadavg: 2.38 2.36 2.42 3/78 16832
/proc/meminfo: memFree=1193320/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 15 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=9748 CPUtime=0.49
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 2816 0 0 0 48 1 0 0 21 0 1 0 29362166 9981952 2051 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 2437 2051 51 112 0 2321 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 23472

[startup+2.99071 s]
/proc/loadavg: 2.38 2.36 2.42 3/78 16832
/proc/meminfo: memFree=1186216/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=9748 CPUtime=2.12
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 2821 0 0 0 211 1 0 0 25 0 1 0 29362166 9981952 2056 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 2437 2056 51 112 0 2321 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 23472

[startup+6.28302 s]
/proc/loadavg: 2.35 2.35 2.42 3/78 16832
/proc/meminfo: memFree=1181864/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=9880 CPUtime=5.39
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 2875 0 0 0 537 2 0 0 25 0 1 0 29362166 10117120 2110 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 2470 2110 51 112 0 2354 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 23604

[startup+12.7667 s]
/proc/loadavg: 2.32 2.35 2.42 3/78 16832
/proc/meminfo: memFree=1179880/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=10420 CPUtime=11.82
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 3007 0 0 0 1180 2 0 0 25 0 1 0 29362166 10670080 2242 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 2605 2242 51 112 0 2489 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 24144

[startup+25.6019 s]
/proc/loadavg: 2.25 2.33 2.41 3/78 16832
/proc/meminfo: memFree=1178472/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=11512 CPUtime=24.53
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 3270 0 0 0 2450 3 0 0 25 0 1 0 29362166 11788288 2505 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 2878 2505 51 112 0 2762 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 25236

[startup+51.2063 s]
/proc/loadavg: 2.16 2.30 2.40 3/78 16832
/proc/meminfo: memFree=1175784/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=13464 CPUtime=49.8
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 3736 0 0 0 4977 3 0 0 25 0 1 0 29362166 13787136 2971 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 3366 2971 51 112 0 3250 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 27188

[startup+102.503 s]
/proc/loadavg: 2.12 2.27 2.38 3/78 16832
/proc/meminfo: memFree=1172584/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=16152 CPUtime=100.63
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 4387 0 0 0 10059 4 0 0 25 0 1 0 29362166 16539648 3622 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 4038 3622 51 112 0 3922 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 29876

[startup+162.535 s]
/proc/loadavg: 2.08 2.23 2.35 3/78 16832
/proc/meminfo: memFree=1169000/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=19556 CPUtime=160.12
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 5216 0 0 0 16006 6 0 0 25 0 1 0 29362166 20025344 4451 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527148 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 4889 4451 51 112 0 4773 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 33280

[startup+222.603 s]
/proc/loadavg: 2.03 2.19 2.33 3/78 16832
/proc/meminfo: memFree=1165736/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=22588 CPUtime=219.63
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 5992 0 0 0 21957 6 0 0 25 0 1 0 29362166 23130112 5227 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 5647 5227 51 112 0 5531 0
Current children cumulated CPU time (s) 220.36
Current children cumulated vsize (KiB) 36312

[startup+282.672 s]
/proc/loadavg: 2.04 2.16 2.31 3/78 16832
/proc/meminfo: memFree=1163496/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=24944 CPUtime=279.16
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 6513 0 0 0 27908 8 0 0 25 0 1 0 29362166 25542656 5748 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 6236 5748 51 112 0 6120 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 38668

[startup+342.738 s]
/proc/loadavg: 2.01 2.13 2.29 3/78 16832
/proc/meminfo: memFree=1160680/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=27160 CPUtime=338.68
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 7069 0 0 0 33859 9 0 0 25 0 1 0 29362166 27811840 6304 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 6790 6304 51 112 0 6674 0
Current children cumulated CPU time (s) 339.41
Current children cumulated vsize (KiB) 40884

[startup+402.814 s]

################
# More data... #
################

[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45628 CPUtime=993.41
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11446 0 0 0 99328 13 0 0 25 0 1 0 29362166 46723072 10681 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11407 10681 51 112 0 11291 0
Current children cumulated CPU time (s) 994.14
Current children cumulated vsize (KiB) 59352

[startup+1063.56 s]
/proc/loadavg: 2.05 2.03 2.12 3/78 16832
/proc/meminfo: memFree=1124904/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45760 CPUtime=1052.93
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11487 0 0 0 105280 13 0 0 25 0 1 0 29362166 46858240 10722 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11440 10722 51 112 0 11324 0
Current children cumulated CPU time (s) 1053.66
Current children cumulated vsize (KiB) 59484

[startup+1123.64 s]
/proc/loadavg: 2.02 2.02 2.11 3/78 16832
/proc/meminfo: memFree=1123880/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45760 CPUtime=1112.45
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11487 0 0 0 111232 13 0 0 25 0 1 0 29362166 46858240 10722 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528354 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11440 10722 51 112 0 11324 0
Current children cumulated CPU time (s) 1113.18
Current children cumulated vsize (KiB) 59484

[startup+1183.71 s]
/proc/loadavg: 2.00 2.02 2.10 3/78 16832
/proc/meminfo: memFree=1122856/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45760 CPUtime=1171.98
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11487 0 0 0 117185 13 0 0 25 0 1 0 29362166 46858240 10722 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11440 10722 51 112 0 11324 0
Current children cumulated CPU time (s) 1172.71
Current children cumulated vsize (KiB) 59484

[startup+1243.79 s]
/proc/loadavg: 2.00 2.01 2.09 3/78 16832
/proc/meminfo: memFree=1121640/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45760 CPUtime=1231.51
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11487 0 0 0 123138 13 0 0 25 0 1 0 29362166 46858240 10722 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11440 10722 51 112 0 11324 0
Current children cumulated CPU time (s) 1232.24
Current children cumulated vsize (KiB) 59484

[startup+1303.86 s]
/proc/loadavg: 2.00 2.01 2.08 3/78 16832
/proc/meminfo: memFree=1120552/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45760 CPUtime=1291.04
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11505 0 0 0 129090 14 0 0 25 0 1 0 29362166 46858240 10740 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11440 10740 51 112 0 11324 0
Current children cumulated CPU time (s) 1291.77
Current children cumulated vsize (KiB) 59484

[startup+1363.92 s]
/proc/loadavg: 2.00 2.00 2.08 3/78 16832
/proc/meminfo: memFree=1119400/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45916 CPUtime=1350.56
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11532 0 0 0 135042 14 0 0 25 0 1 0 29362166 47017984 10767 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11479 10767 51 112 0 11363 0
Current children cumulated CPU time (s) 1351.29
Current children cumulated vsize (KiB) 59640

[startup+1423.99 s]
/proc/loadavg: 2.00 2.00 2.07 3/78 16832
/proc/meminfo: memFree=1118248/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45916 CPUtime=1410.08
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11563 0 0 0 140994 14 0 0 25 0 1 0 29362166 47017984 10798 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11479 10798 51 112 0 11363 0
Current children cumulated CPU time (s) 1410.81
Current children cumulated vsize (KiB) 59640

[startup+1484.06 s]
/proc/loadavg: 2.00 2.00 2.07 3/78 16832
/proc/meminfo: memFree=1116904/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=46212 CPUtime=1469.6
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11607 0 0 0 146946 14 0 0 25 0 1 0 29362166 47321088 10842 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11553 10842 51 112 0 11437 0
Current children cumulated CPU time (s) 1470.33
Current children cumulated vsize (KiB) 59936

[startup+1544.13 s]
/proc/loadavg: 2.06 2.01 2.07 3/78 16832
/proc/meminfo: memFree=1116328/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45360 CPUtime=1529.12
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11636 0 0 0 152898 14 0 0 25 0 1 0 29362166 46448640 10667 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11340 10667 51 112 0 11224 0
Current children cumulated CPU time (s) 1529.85
Current children cumulated vsize (KiB) 59084

[startup+1604.2 s]
/proc/loadavg: 2.02 2.01 2.06 3/78 16832
/proc/meminfo: memFree=1114728/2055920 swapFree=4192956/4192956
[pid=16814] ppid=16812 vsize=13724 CPUtime=0.51
/proc/16814/stat : 16814 (sugar) S 16812 16814 16296 0 -1 4194304 1324 4474 0 1 3 1 43 4 16 0 1 0 29362083 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16814/statm: 3431 837 373 3 0 531 0
[pid=16816] ppid=16814 vsize=0 CPUtime=0.22
/proc/16816/stat : 16816 (java) Z 16814 16814 16296 0 -1 1036 3513 0 1 0 20 2 0 0 16 0 1 0 29362088 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16816/statm: 0 0 0 0 0 0 0
[pid=16832] ppid=16814 vsize=45360 CPUtime=1588.64
/proc/16832/stat : 16832 (minisat) R 16814 16814 16296 0 -1 0 11640 0 0 0 158850 14 0 0 25 0 1 0 29362166 46448640 10671 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16832/statm: 11340 10671 51 112 0 11224 0
Current children cumulated CPU time (s) 1589.37
Current children cumulated vsize (KiB) 59084

Child status: 0

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16814 and gives childrusage.ru_utime.tv_sec=1621 childrusage.ru_utime.tv_usec=613477 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=213967
CPU time returned by wait4() is 1621.83
while last known CPU time is 1621.98

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1637.15
CPU time (s): 1621.98
CPU user time (s): 1621.77
CPU system time (s): 0.21
CPU usage (%): 99.0736
Max. virtual memory (cumulated for all children) (KiB): 59936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1621.61
system time used= 0.213967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17535
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= 396
involuntary context switches= 28850

runsolver used 1.9637 s user time and 5.2842 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Mon Jan 29 18:07:32 UTC 2007


IDJOB= 199095
IDBENCH= 3592
IDSOLVER= 86
FILE ID= node61/199095-1170094052

PBS_JOBID= 3689587

Free space on /tmp= 66440 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/knights/knights-20-9.xml
COMMAND LINE= /tmp/evaluation/199095-1170094052/solver /tmp/evaluation/199095-1170094052 /tmp/evaluation/199095-1170094052/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-199095-1170094052 -o ROOT/results/node61/solver-199095-1170094052 -C 1800 -M 900  /tmp/evaluation/199095-1170094052/solver /tmp/evaluation/199095-1170094052 /tmp/evaluation/199095-1170094052/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  433d1c888bd0ffaec46755b506e5e816

RANDOM SEED= 202296977

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.216
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.216
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:       1250072 kB
Buffers:         42208 kB
Cached:         413528 kB
SwapCached:          0 kB
Active:         546272 kB
Inactive:       207308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1250072 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:          128128 kB
Writeback:           0 kB
Mapped:         308736 kB
Slab:            37100 kB
Committed_AS:   384380 kB
PageTables:       2316 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= 66440 MiB



End job on node61 on Mon Jan 29 18:34:49 UTC 2007