Trace number 199421

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.40? (TO) 1800.15 1815.79

General information on the benchmark

NameallIntervalSeries/
series-100.xml
MD5SUM3bbb049b1ee13181a6ccf3fbe5bb4f50
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark34.8637
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables199
Number of constraints9900
Maximum constraint arity3
Maximum domain size100
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9900
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/199421-1170094098/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/199421-1170094098/unknown.xml [Mon Jan 29 19:08:20 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/199421-1170094098/unknown.xml /tmp/evaluation/199421-1170094098/sugar21268.csp [Mon Jan 29 19:08:20 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199421-1170094098/sugar-v0-40.jar -convert /tmp/evaluation/199421-1170094098/unknown.xml /tmp/evaluation/199421-1170094098/sugar21268.csp
0.17	c BEGIN convert /tmp/evaluation/199421-1170094098/unknown.xml
1.04	c END convert (0.870878 seconds)
1.07	c # CONVERT_XML  END : /tmp/evaluation/199421-1170094098/sugar21268.csp 152745 bytes (1 seconds) [Mon Jan 29 19:08:21 2007]
1.07	c # CONVERT_XML  CPU : 0.98 = 0 + 0 + 0.9 + 0.08
1.07	
1.07	c # GENERATE_SAT  BEGIN : /tmp/evaluation/199421-1170094098/sugar21268.bcnf [Mon Jan 29 19:08:21 2007]
1.07	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199421-1170094098/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199421-1170094098/sugar21268.map /tmp/evaluation/199421-1170094098/sugar21268.csp /tmp/evaluation/199421-1170094098/sugar21268.bcnf
1.20	c BEGIN parse /tmp/evaluation/199421-1170094098/sugar21268.csp
2.14	c END parse (0.946603 seconds)
2.14	c BEGIN simplify
2.22	c END simplify (0.07719 seconds)
2.22	c BEGIN encode /tmp/evaluation/199421-1170094098/sugar21268.bcnf
8.42	c END encode (6.20214 seconds)
8.65	c # GENERATE_SAT  END : 59004 variables 5978411 clauses 102829920 bytes (8 seconds) [Mon Jan 29 19:08:29 2007]
8.65	c # GENERATE_SAT  CPU : 7.46 = 0.18 + 0.02 + 6.85 + 0.41
8.65	
8.65	c # SOLVE_SAT  BEGIN : /tmp/evaluation/199421-1170094098/sugar21268.bcnf [Mon Jan 29 19:08:29 2007]
8.65	c # CMD : /tmp/evaluation/199421-1170094098/minisat /tmp/evaluation/199421-1170094098/sugar21268.bcnf /tmp/evaluation/199421-1170094098/sugar21268.out
13.50	c ==================================[MINISAT]===================================
13.50	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
13.50	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
13.50	c ==============================================================================
13.50	c |         0 | 4958909 16768816 | 1652969       0        0     nan |  0.000 % |
14.95	c |       100 | 4958909 16768816 | 1818265     100     1176    11.8 | 16.779 % |
16.24	c |       250 | 4958909 16768816 | 2000092     250     5682    22.7 | 16.779 % |
17.42	c |       475 | 4958909 16768816 | 2200101     475    15814    33.3 | 16.779 % |
19.50	c |       812 | 4958909 16768816 | 2420111     812    41313    50.9 | 16.779 % |
21.98	c |      1318 | 4958909 16768816 | 2662123    1318    59268    45.0 | 16.779 % |
25.71	c |      2077 | 4958909 16768816 | 2928335    2077    81587    39.3 | 16.779 % |
31.57	c |      3216 | 4958909 16768816 | 3221168    3216   128147    39.8 | 16.779 % |
42.54	c |      4928 | 4958909 16768816 | 3543285    4928   248523    50.4 | 16.779 % |
51.24	c |      7490 | 4958909 16768816 | 3897614    7490   322445    43.1 | 16.779 % |
54.59	c |     11334 | 4958909 16768816 | 4287375   11334   368238    32.5 | 16.779 % |
83.42	c |     17100 | 4958909 16768816 | 4716113   17100   699520    40.9 | 16.779 % |
123.43	c |     25749 | 4958909 16768816 | 5187724   25749  1092944    42.4 | 16.779 % |
225.36	c |     38723 | 4958909 16768816 | 5706497   38723  2427999    62.7 | 16.779 % |
328.71	c |     58184 | 4958909 16768816 | 6277147   58184  3962099    68.1 | 16.779 % |
528.69	c |     87379 | 4958909 16768816 | 6904861   87379  6831161    78.2 | 16.779 % |
738.69	c |    131169 | 4958909 16768816 | 7595347  131169  9583611    73.1 | 16.779 % |
1103.65	c |    196854 | 4958909 16768816 | 8354882  196854 13877323    70.5 | 16.779 % |
1814.73	
1814.73	s UNKNOWN
1814.73	c # INTERRUPTED
1814.73	c # MAIN  END :  (1815 seconds) [Mon Jan 29 19:38:35 2007]
1814.73	c # MAIN  CPU : 8.44 = 0.18 + 0.02 + 7.75 + 0.49
1814.73

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-199421-1170094098 -o ROOT/results/node29/solver-199421-1170094098 -C 1800 -M 900 /tmp/evaluation/199421-1170094098/solver /tmp/evaluation/199421-1170094098 /tmp/evaluation/199421-1170094098/unknown.xml 

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

/proc/loadavg: 1.96 2.44 2.62 5/88 21269
/proc/meminfo: memFree=1536656/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=12268 CPUtime=0
/proc/21268/stat : 21268 (sugar) R 21266 21268 20715 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 3174267 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221780867685 0 0 4224 0 0 0 0 17 1 0 0
/proc/21268/statm: 3067 316 241 3 0 167 0

[startup+0.10601 s]
/proc/loadavg: 1.96 2.44 2.62 5/88 21269
/proc/meminfo: memFree=1536656/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=13724 CPUtime=0.04
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 3174267 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.517037 s]
/proc/loadavg: 1.96 2.44 2.62 5/88 21269
/proc/meminfo: memFree=1536656/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=13724 CPUtime=0.04
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 3174267 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33809 s]
/proc/loadavg: 2.05 2.45 2.62 3/92 21281
/proc/meminfo: memFree=1531504/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=13724 CPUtime=1.02
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 1190 10871 0 1 3 1 90 8 15 0 1 0 3174267 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 3431 809 371 3 0 531 0
[pid=21278] ppid=21268 vsize=807064 CPUtime=0.24
/proc/21278/stat : 21278 (java) R 21268 21268 20715 0 -1 0 4152 0 1 0 23 1 0 0 17 0 8 0 3174374 826433536 3903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073482407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21278/statm: 201766 3903 1482 14 0 189044 0
[pid=21278/tid=21279] ppid=21268 vsize=807064 CPUtime=0
/proc/21278/task/21279/stat : 21279 (java) S 21268 21268 20715 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 3174378 826433536 3903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21280] ppid=21268 vsize=807064 CPUtime=0
/proc/21278/task/21280/stat : 21280 (java) S 21268 21268 20715 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 3174378 826433536 3903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21281] ppid=21268 vsize=807064 CPUtime=0
/proc/21278/task/21281/stat : 21281 (java) S 21268 21268 20715 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3174378 826433536 3903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788

[startup+2.97619 s]
/proc/loadavg: 2.05 2.45 2.62 4/96 21285
/proc/meminfo: memFree=1505296/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=13724 CPUtime=1.02
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 1190 10871 0 1 3 1 90 8 16 0 1 0 3174267 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 3431 809 371 3 0 531 0
[pid=21278] ppid=21268 vsize=807356 CPUtime=1.86
/proc/21278/stat : 21278 (java) R 21268 21268 20715 0 -1 0 10297 0 1 0 178 8 0 0 25 0 8 0 3174374 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21278/statm: 201839 10042 1510 14 0 189117 0
[pid=21278/tid=21279] ppid=21268 vsize=807356 CPUtime=0.2
/proc/21278/task/21279/stat : 21279 (java) S 21268 21268 20715 0 -1 64 4056 0 0 0 19 1 0 0 16 0 8 0 3174378 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21280] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21280/stat : 21280 (java) S 21268 21268 20715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3174378 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21281] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21281/stat : 21281 (java) S 21268 21268 20715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3174378 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21282] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21282/stat : 21282 (java) S 21268 21268 20715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3174382 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21283] ppid=21268 vsize=807356 CPUtime=0.17
/proc/21278/task/21283/stat : 21283 (java) S 21268 21268 20715 0 -1 64 427 0 0 0 16 1 0 0 16 0 8 0 3174382 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21284] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21284/stat : 21284 (java) S 21268 21268 20715 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3174382 826732544 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21285] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21285/stat : 21285 (java) S 21268 21268 20715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3174382 826732544 10042 18446744073709551615 134512640 134570532 4294956480 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) 821080

[startup+6.18039 s]
/proc/loadavg: 2.12 2.46 2.62 3/96 21285
/proc/meminfo: memFree=1437584/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=13724 CPUtime=1.02
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 1190 10871 0 1 3 1 90 8 16 0 1 0 3174267 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 3431 809 371 3 0 531 0
[pid=21278] ppid=21268 vsize=807356 CPUtime=5.02
/proc/21278/stat : 21278 (java) R 21268 21268 20715 0 -1 0 11709 0 1 0 470 32 0 0 25 0 8 0 3174374 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21278/statm: 201839 11452 1510 14 0 189117 0
[pid=21278/tid=21279] ppid=21268 vsize=807356 CPUtime=0.22
/proc/21278/task/21279/stat : 21279 (java) S 21268 21268 20715 0 -1 64 5465 0 0 0 21 1 0 0 16 0 8 0 3174378 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21280] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21280/stat : 21280 (java) S 21268 21268 20715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3174378 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21281] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21281/stat : 21281 (java) S 21268 21268 20715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3174378 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21282] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21282/stat : 21282 (java) S 21268 21268 20715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3174382 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21283] ppid=21268 vsize=807356 CPUtime=0.17
/proc/21278/task/21283/stat : 21283 (java) S 21268 21268 20715 0 -1 64 428 0 0 0 16 1 0 0 16 0 8 0 3174382 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21284] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21284/stat : 21284 (java) S 21268 21268 20715 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3174382 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21278/tid=21285] ppid=21268 vsize=807356 CPUtime=0
/proc/21278/task/21285/stat : 21285 (java) S 21268 21268 20715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3174382 826732544 11452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 821080

[startup+12.6668 s]
/proc/loadavg: 2.19 2.47 2.62 3/89 21286
/proc/meminfo: memFree=1187912/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4101 22598 0 2 21 3 775 49 20 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=240340 CPUtime=3.93
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 58607 0 0 0 355 38 0 0 25 0 1 0 3175132 246108160 57552 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134523904 0 0 4096 0 0 0 0 17 1 0 0
/proc/21286/statm: 60085 57552 36 112 0 59969 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 265664

[startup+25.5209 s]
/proc/loadavg: 2.16 2.45 2.62 4/89 21286
/proc/meminfo: memFree=1177096/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=252192 CPUtime=16.66
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 61288 0 0 0 1627 39 0 0 25 0 1 0 3175132 258244608 60224 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 63048 60224 52 112 0 62932 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 277516

[startup+51.2182 s]
/proc/loadavg: 2.10 2.41 2.60 3/89 21286
/proc/meminfo: memFree=1173512/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=253516 CPUtime=42.13
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 61621 0 0 0 4173 40 0 0 25 0 1 0 3175132 259600384 60557 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 63379 60557 52 112 0 63263 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 278840

[startup+102.501 s]
/proc/loadavg: 2.04 2.34 2.56 4/89 21286
/proc/meminfo: memFree=1172744/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=254320 CPUtime=92.95
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 61825 0 0 0 9255 40 0 0 25 0 1 0 3175132 260423680 60761 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 63580 60761 52 112 0 63464 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 279644

[startup+162.528 s]
/proc/loadavg: 2.01 2.28 2.52 3/89 21286
/proc/meminfo: memFree=1169736/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=255964 CPUtime=152.43
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 62255 0 0 0 15202 41 0 0 25 0 1 0 3175132 262107136 61191 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 63991 61191 52 112 0 63875 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 281288

[startup+222.56 s]
/proc/loadavg: 2.00 2.22 2.49 3/89 21286
/proc/meminfo: memFree=1167304/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=257832 CPUtime=211.92
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 62731 0 0 0 21150 42 0 0 25 0 1 0 3175132 264019968 61667 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 64458 61667 52 112 0 64342 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 283156

[startup+282.573 s]
/proc/loadavg: 2.07 2.21 2.46 3/89 21286
/proc/meminfo: memFree=1164616/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=259752 CPUtime=271.39
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 63219 0 0 0 27096 43 0 0 25 0 1 0 3175132 265986048 62155 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528424 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 64938 62155 52 112 0 64822 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 285076

[startup+342.652 s]
/proc/loadavg: 2.02 2.17 2.43 3/89 21286
/proc/meminfo: memFree=1159688/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=264224 CPUtime=330.92
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 64300 0 0 0 33048 44 0 0 25 0 1 0 3175132 270565376 63236 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 66056 63236 52 112 0 65940 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 289548


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

/proc/loadavg: 2.00 2.00 2.16 3/89 21288
/proc/meminfo: memFree=1110600/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=306756 CPUtime=1104.25
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 74986 0 0 0 110362 63 0 0 25 0 1 0 3175132 314118144 73922 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 76689 73922 52 112 0 76573 0
Current children cumulated CPU time (s) 1112.73
Current children cumulated vsize (KiB) 332080

[startup+1183.07 s]
/proc/loadavg: 2.00 2.00 2.15 3/89 21288
/proc/meminfo: memFree=1107464/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=309652 CPUtime=1163.73
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 75730 0 0 0 116309 64 0 0 25 0 1 0 3175132 317083648 74666 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 77413 74666 52 112 0 77297 0
Current children cumulated CPU time (s) 1172.21
Current children cumulated vsize (KiB) 334976

[startup+1243.15 s]
/proc/loadavg: 2.00 2.00 2.14 3/89 21288
/proc/meminfo: memFree=1104200/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=313084 CPUtime=1223.26
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 76505 0 0 0 122261 65 0 0 25 0 1 0 3175132 320598016 75441 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 78271 75441 52 112 0 78155 0
Current children cumulated CPU time (s) 1231.74
Current children cumulated vsize (KiB) 338408

[startup+1303.23 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 21288
/proc/meminfo: memFree=1100552/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=316644 CPUtime=1282.8
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 77388 0 0 0 128213 67 0 0 25 0 1 0 3175132 324243456 76324 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 79161 76324 52 112 0 79045 0
Current children cumulated CPU time (s) 1291.28
Current children cumulated vsize (KiB) 341968

[startup+1363.33 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 21288
/proc/meminfo: memFree=1096520/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=320208 CPUtime=1342.35
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 78293 0 0 0 134167 68 0 0 25 0 1 0 3175132 327892992 77229 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 80052 77229 52 112 0 79936 0
Current children cumulated CPU time (s) 1350.83
Current children cumulated vsize (KiB) 345532

[startup+1423.36 s]
/proc/loadavg: 2.00 2.00 2.10 3/89 21288
/proc/meminfo: memFree=1093128/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=323364 CPUtime=1401.83
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 79079 0 0 0 140114 69 0 0 25 0 1 0 3175132 331124736 78015 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21286/statm: 80841 78015 52 112 0 80725 0
Current children cumulated CPU time (s) 1410.31
Current children cumulated vsize (KiB) 348688

[startup+1483.37 s]
/proc/loadavg: 2.33 2.09 2.12 4/95 21359
/proc/meminfo: memFree=480288/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=327044 CPUtime=1461.68
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 80022 0 0 0 146091 77 0 0 25 0 1 0 3175132 334893056 78958 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528418 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 81761 78958 52 112 0 81645 0
Current children cumulated CPU time (s) 1470.16
Current children cumulated vsize (KiB) 352368

[startup+1543.47 s]
/proc/loadavg: 2.12 2.07 2.11 3/95 21359
/proc/meminfo: memFree=441248/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=329284 CPUtime=1521.65
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 80584 0 0 0 152087 78 0 0 25 0 1 0 3175132 337186816 79520 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 82321 79520 52 112 0 82205 0
Current children cumulated CPU time (s) 1530.13
Current children cumulated vsize (KiB) 354608

[startup+1603.53 s]
/proc/loadavg: 2.09 2.07 2.11 3/95 21359
/proc/meminfo: memFree=438688/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=331792 CPUtime=1581.43
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 81223 0 0 0 158064 79 0 0 25 0 1 0 3175132 339755008 80159 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 82948 80159 52 112 0 82832 0
Current children cumulated CPU time (s) 1589.91
Current children cumulated vsize (KiB) 357116

[startup+1663.58 s]
/proc/loadavg: 2.07 2.07 2.10 3/95 21359
/proc/meminfo: memFree=435872/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=334548 CPUtime=1641.18
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 81920 0 0 0 164038 80 0 0 25 0 1 0 3175132 342577152 80856 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 83637 80856 52 112 0 83521 0
Current children cumulated CPU time (s) 1649.66
Current children cumulated vsize (KiB) 359872

[startup+1723.66 s]
/proc/loadavg: 2.06 2.07 2.09 3/95 21359
/proc/meminfo: memFree=432800/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=337576 CPUtime=1700.95
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 82669 0 0 0 170014 81 0 0 25 0 1 0 3175132 345677824 81605 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 84394 81605 52 112 0 84278 0
Current children cumulated CPU time (s) 1709.43
Current children cumulated vsize (KiB) 362900

[startup+1783.72 s]
/proc/loadavg: 2.07 2.07 2.09 3/95 21359
/proc/meminfo: memFree=429600/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=340484 CPUtime=1760.74
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 83431 0 0 0 175991 83 0 0 25 0 1 0 3175132 348655616 82367 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525036 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 85121 82367 52 112 0 85005 0
Current children cumulated CPU time (s) 1769.22
Current children cumulated vsize (KiB) 365808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.72 s]
/proc/loadavg: 2.04 2.06 2.09 3/95 21359
/proc/meminfo: memFree=428128/2055920 swapFree=4192956/4192956
[pid=21268] ppid=21266 vsize=25324 CPUtime=8.48
/proc/21268/stat : 21268 (sugar) S 21266 21268 20715 0 -1 4194304 4111 22598 0 2 21 3 775 49 16 0 1 0 3174267 25931776 3590 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21268/statm: 6331 3590 373 3 0 3431 0
[pid=21286] ppid=21268 vsize=341936 CPUtime=1791.59
/proc/21286/stat : 21286 (minisat) R 21268 21268 20715 0 -1 0 83779 0 0 0 179075 84 0 0 25 0 1 0 3175132 350142464 82715 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21286/statm: 85484 82715 52 112 0 85368 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 367260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21268 and gives childrusage.ru_utime.tv_sec=7 childrusage.ru_utime.tv_usec=971788 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=579911
CPU time returned by wait4() is 8.5517
while last known CPU time is 1800.15

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

Real time (s): 1815.79
CPU time (s): 1800.15
CPU user time (s): 1798.71
CPU system time (s): 1.44
CPU usage (%): 99.1386
Max. virtual memory (cumulated for all children) (KiB): 821080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.97179
system time used= 0.579911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26793
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= 1476
involuntary context switches= 1695

runsolver used 2.02369 s user time and 5.84911 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Mon Jan 29 18:08:19 UTC 2007


IDJOB= 199421
IDBENCH= 3615
IDSOLVER= 86
FILE ID= node29/199421-1170094098

PBS_JOBID= 3689598

Free space on /tmp= 66562 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-100.xml
COMMAND LINE= /tmp/evaluation/199421-1170094098/solver /tmp/evaluation/199421-1170094098 /tmp/evaluation/199421-1170094098/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-199421-1170094098 -o ROOT/results/node29/solver-199421-1170094098 -C 1800 -M 900  /tmp/evaluation/199421-1170094098/solver /tmp/evaluation/199421-1170094098 /tmp/evaluation/199421-1170094098/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  3bbb049b1ee13181a6ccf3fbe5bb4f50

RANDOM SEED= 626290311

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1537136 kB
Buffers:         43052 kB
Cached:         288652 kB
SwapCached:          0 kB
Active:         229272 kB
Inactive:       220136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1537136 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3320 kB
Writeback:           0 kB
Mapped:         137504 kB
Slab:            54116 kB
Committed_AS:   254992 kB
PageTables:       2280 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= 66527 MiB



End job on node29 on Mon Jan 29 18:38:36 UTC 2007