Trace number 217372

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.09 1802.33

General information on the benchmark

NamelatinSquare/
latinSquare-dg-10_all.xml
MD5SUM57a4d2bf2f9bee6ff4f0a3cc066ce2e3
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity10
Maximum domain size10
Number of constraints which are defined in extension0
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)allDifferent(40)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/217372-1170101106/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/217372-1170101106/unknown.xml [Mon Jan 29 21:05:06 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/217372-1170101106/unknown.xml /tmp/evaluation/217372-1170101106/sugar25762.csp [Mon Jan 29 21:05:06 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217372-1170101106/sugar-v0-40.jar -convert /tmp/evaluation/217372-1170101106/unknown.xml /tmp/evaluation/217372-1170101106/sugar25762.csp
0.15	c BEGIN convert /tmp/evaluation/217372-1170101106/unknown.xml
0.27	c END convert (0.120845 seconds)
0.32	c # CONVERT_XML  END : /tmp/evaluation/217372-1170101106/sugar25762.csp 26430 bytes (1 seconds) [Mon Jan 29 21:05:07 2007]
0.32	c # CONVERT_XML  CPU : 0.22 = 0 + 0 + 0.2 + 0.02
0.32	
0.32	c # GENERATE_SAT  BEGIN : /tmp/evaluation/217372-1170101106/sugar25762.bcnf [Mon Jan 29 21:05:07 2007]
0.32	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217372-1170101106/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217372-1170101106/sugar25762.map /tmp/evaluation/217372-1170101106/sugar25762.csp /tmp/evaluation/217372-1170101106/sugar25762.bcnf
0.43	c BEGIN parse /tmp/evaluation/217372-1170101106/sugar25762.csp
0.77	c END parse (0.334879 seconds)
0.77	c BEGIN simplify
0.81	c END simplify (0.043724 seconds)
0.81	c BEGIN encode /tmp/evaluation/217372-1170101106/sugar25762.bcnf
0.90	c END encode (0.088142 seconds)
0.95	c # GENERATE_SAT  END : 4500 variables 38600 clauses 578424 bytes (0 seconds) [Mon Jan 29 21:05:07 2007]
0.95	c # GENERATE_SAT  CPU : 0.62 = 0.03 + 0.01 + 0.52 + 0.06
0.95	
0.95	c # SOLVE_SAT  BEGIN : /tmp/evaluation/217372-1170101106/sugar25762.bcnf [Mon Jan 29 21:05:07 2007]
0.95	c # CMD : /tmp/evaluation/217372-1170101106/minisat /tmp/evaluation/217372-1170101106/sugar25762.bcnf /tmp/evaluation/217372-1170101106/sugar25762.out
0.97	c ==================================[MINISAT]===================================
0.97	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
0.97	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
0.97	c ==============================================================================
0.97	c |         0 |   38600   106000 |   12866       0        0     nan |  0.000 % |
0.99	c |       101 |   38600   106000 |   14152     101     3880    38.4 |  0.000 % |
1.02	c |       252 |   38600   106000 |   15567     252     9095    36.1 |  0.000 % |
1.06	c |       478 |   38600   106000 |   17124     478    14320    30.0 |  0.000 % |
1.11	c |       815 |   38600   106000 |   18837     815    22899    28.1 |  0.000 % |
1.18	c |      1321 |   38600   106000 |   20720    1321    33018    25.0 |  0.000 % |
1.30	c |      2080 |   38600   106000 |   22792    2080    55456    26.7 |  0.000 % |
1.50	c |      3221 |   38600   106000 |   25072    3221    87534    27.2 |  0.000 % |
1.80	c |      4931 |   38600   106000 |   27579    4931   140734    28.5 |  0.000 % |
2.34	c |      7494 |   38600   106000 |   30337    7494   220107    29.4 |  0.000 % |
3.16	c |     11339 |   38600   106000 |   33371   11339   332735    29.3 |  0.000 % |
4.59	c |     17107 |   38600   106000 |   36708   17107   524526    30.7 |  0.000 % |
7.39	c |     25757 |   38600   106000 |   40379   25757   873588    33.9 |  0.000 % |
13.04	c |     38731 |   38600   106000 |   44416   38731  1320790    34.1 |  0.000 % |
22.11	c |     58193 |   38600   106000 |   48858   25868  1151589    44.5 |  0.000 % |
33.79	c |     87385 |   38600   106000 |   53744   19870   730081    36.7 |  0.000 % |
57.04	c |    131174 |   38600   106000 |   59118   24367  1008371    41.4 |  0.000 % |
97.19	c |    196861 |   38600   106000 |   65030   45182  2225276    49.3 |  0.000 % |
160.29	c |    295388 |   38600   106000 |   71533   43091  1794948    41.7 |  0.000 % |
264.42	c |    443177 |   38600   106000 |   78687   23522   945410    40.2 |  0.000 % |
449.03	c |    664861 |   38600   106000 |   86556   57478  2973226    51.7 |  0.000 % |
732.52	c |    997386 |   38600   106000 |   95211   43685  1763463    40.4 |  0.000 % |
1221.83	c |   1496174 |   38600   106000 |  104732   79882  3954385    49.5 |  0.000 % |
1801.32	
1801.32	s UNKNOWN
1801.32	c # INTERRUPTED
1801.32	c # MAIN  END :  (1802 seconds) [Mon Jan 29 21:35:08 2007]
1801.32	c # MAIN  CPU : 0.84 = 0.03 + 0.01 + 0.72 + 0.08
1801.32

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/node76/watcher-217372-1170101106 -o ROOT/results/node76/solver-217372-1170101106 -C 1800 -M 900 /tmp/evaluation/217372-1170101106/solver /tmp/evaluation/217372-1170101106 /tmp/evaluation/217372-1170101106/unknown.xml 

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

/proc/loadavg: 0.92 0.98 1.28 3/70 25763
/proc/meminfo: memFree=1922960/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=12272 CPUtime=0
/proc/25762/stat : 25762 (sugar) R 25760 25762 24676 0 -1 4194304 592 0 0 0 0 0 0 0 20 0 1 0 30068935 12566528 314 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206843904885 0 0 4224 0 0 0 0 17 1 0 0
/proc/25762/statm: 3068 315 240 3 0 167 0

[startup+0.106296 s]
/proc/loadavg: 0.92 0.98 1.28 3/70 25763
/proc/meminfo: memFree=1922960/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=13728 CPUtime=0.03
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1106 0 0 0 3 0 0 0 16 0 1 0 30068935 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/25762/statm: 3432 802 365 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13728

[startup+0.514344 s]
/proc/loadavg: 0.92 0.98 1.28 3/70 25763
/proc/meminfo: memFree=1922960/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=13728 CPUtime=0.25
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1186 3611 0 1 3 0 20 2 15 0 1 0 30068935 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3432 808 370 3 0 531 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13728

[startup+1.33443 s]
/proc/loadavg: 0.92 0.98 1.28 2/71 25780
/proc/meminfo: memFree=1916552/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 15 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=3676 CPUtime=0.37
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 713 0 0 0 37 0 0 0 20 0 1 0 30069030 3764224 556 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 919 556 51 112 0 803 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 19520

[startup+2.97062 s]
/proc/loadavg: 0.92 0.98 1.28 2/71 25780
/proc/meminfo: memFree=1915592/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 15 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=4912 CPUtime=2.01
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 1021 0 0 0 201 0 0 0 25 0 1 0 30069030 5029888 864 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 1228 864 51 112 0 1112 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 20756

[startup+6.25 s]
/proc/loadavg: 0.93 0.98 1.27 2/71 25780
/proc/meminfo: memFree=1913160/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=7020 CPUtime=5.28
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 1559 0 0 0 528 0 0 0 25 0 1 0 30069030 7188480 1402 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 1755 1402 51 112 0 1639 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 22864

[startup+12.7058 s]
/proc/loadavg: 0.93 0.98 1.27 2/71 25780
/proc/meminfo: memFree=1910344/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=9816 CPUtime=11.74
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 2243 0 0 0 1173 1 0 0 25 0 1 0 30069030 10051584 2086 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 2454 2086 51 112 0 2338 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 25660

[startup+25.5172 s]
/proc/loadavg: 0.94 0.98 1.27 2/71 25780
/proc/meminfo: memFree=1908688/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=11472 CPUtime=24.54
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 2632 0 0 0 2452 2 0 0 25 0 1 0 30069030 11747328 2475 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 2868 2475 51 112 0 2752 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 27316

[startup+51.1422 s]
/proc/loadavg: 0.96 0.98 1.26 2/71 25780
/proc/meminfo: memFree=1905936/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=14368 CPUtime=50.14
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 3362 0 0 0 5012 2 0 0 25 0 1 0 30069030 14712832 3205 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 3592 3205 51 112 0 3476 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 30212

[startup+102.374 s]
/proc/loadavg: 0.98 0.98 1.25 2/71 25780
/proc/meminfo: memFree=1902288/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=17948 CPUtime=101.34
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 4257 0 0 0 10131 3 0 0 25 0 1 0 30069030 18378752 4100 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528680 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 4487 4100 51 112 0 4371 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 33792

[startup+162.43 s]
/proc/loadavg: 0.99 0.98 1.23 2/71 25780
/proc/meminfo: memFree=1899600/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=20592 CPUtime=161.36
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 4919 0 0 0 16132 4 0 0 25 0 1 0 30069030 21086208 4762 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 5148 4762 51 112 0 5032 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36436

[startup+222.473 s]
/proc/loadavg: 0.99 0.98 1.21 2/71 25780
/proc/meminfo: memFree=1898256/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=21916 CPUtime=221.36
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 5248 0 0 0 22132 4 0 0 25 0 1 0 30069030 22441984 5091 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 5479 5091 51 112 0 5363 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37760

[startup+282.517 s]
/proc/loadavg: 0.99 0.98 1.19 2/71 25780
/proc/meminfo: memFree=1898000/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=22332 CPUtime=281.37
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 5323 0 0 0 28133 4 0 0 25 0 1 0 30069030 22867968 5166 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 5583 5166 51 112 0 5467 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 38176

[startup+342.57 s]
/proc/loadavg: 0.99 0.98 1.18 2/71 25780
/proc/meminfo: memFree=1894416/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=25784 CPUtime=341.38
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 6207 0 0 0 34133 5 0 0 25 0 1 0 30069030 26402816 6050 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 6446 6050 51 112 0 6330 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 41628

[startup+402.618 s]
/proc/loadavg: 0.99 0.98 1.16 2/71 25780
/proc/meminfo: memFree=1892752/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=27620 CPUtime=401.38
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 6641 0 0 0 40133 5 0 0 25 0 1 0 30069030 28282880 6484 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 6905 6484 51 112 0 6789 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 43464

[startup+462.658 s]
/proc/loadavg: 1.03 1.00 1.16 2/71 25780
/proc/meminfo: memFree=1892560/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=27788 CPUtime=461.4
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 6677 0 0 0 46134 6 0 0 25 0 1 0 30069030 28454912 6520 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 6947 6520 51 112 0 6831 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 43632

[startup+522.706 s]
/proc/loadavg: 1.01 1.00 1.15 2/71 25780
/proc/meminfo: memFree=1891216/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=29200 CPUtime=521.39
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 7027 0 0 0 52133 6 0 0 25 0 1 0 30069030 29900800 6870 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 7300 6870 51 112 0 7184 0
Current children cumulated CPU time (s) 522.26

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

/proc/loadavg: 1.00 1.00 1.06 2/71 25780
/proc/meminfo: memFree=1883984/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=36632 CPUtime=1121.47
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 8795 0 0 0 112138 9 0 0 25 0 1 0 30069030 37511168 8638 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9158 8638 51 112 0 9042 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 52476

[startup+1183.22 s]
/proc/loadavg: 1.00 1.00 1.05 2/71 25780
/proc/meminfo: memFree=1883920/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=36812 CPUtime=1181.48
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 8816 0 0 0 118139 9 0 0 25 0 1 0 30069030 37695488 8659 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9203 8659 51 112 0 9087 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 52656

[startup+1243.27 s]
/proc/loadavg: 1.00 1.00 1.05 2/71 25780
/proc/meminfo: memFree=1883856/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=36812 CPUtime=1241.49
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 8824 0 0 0 124140 9 0 0 25 0 1 0 30069030 37695488 8667 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528371 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9203 8667 51 112 0 9087 0
Current children cumulated CPU time (s) 1242.36
Current children cumulated vsize (KiB) 52656

[startup+1303.31 s]
/proc/loadavg: 1.00 1.00 1.04 2/71 25780
/proc/meminfo: memFree=1883792/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=36812 CPUtime=1301.5
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 8829 0 0 0 130141 9 0 0 25 0 1 0 30069030 37695488 8672 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528433 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9203 8672 51 112 0 9087 0
Current children cumulated CPU time (s) 1302.37
Current children cumulated vsize (KiB) 52656

[startup+1363.36 s]
/proc/loadavg: 1.00 1.00 1.04 2/71 25780
/proc/meminfo: memFree=1883344/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=37240 CPUtime=1361.52
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 8946 0 0 0 136143 9 0 0 25 0 1 0 30069030 38133760 8789 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9310 8789 51 112 0 9194 0
Current children cumulated CPU time (s) 1362.39
Current children cumulated vsize (KiB) 53084

[startup+1423.41 s]
/proc/loadavg: 1.00 1.00 1.03 2/71 25780
/proc/meminfo: memFree=1883088/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=37372 CPUtime=1421.52
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 8995 0 0 0 142143 9 0 0 25 0 1 0 30069030 38268928 8838 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9343 8838 51 112 0 9227 0
Current children cumulated CPU time (s) 1422.39
Current children cumulated vsize (KiB) 53216

[startup+1483.46 s]
/proc/loadavg: 1.00 1.00 1.02 2/71 25780
/proc/meminfo: memFree=1882768/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=37928 CPUtime=1481.54
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9093 0 0 0 148145 9 0 0 25 0 1 0 30069030 38838272 8936 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 9482 8936 51 112 0 9366 0
Current children cumulated CPU time (s) 1482.41
Current children cumulated vsize (KiB) 53772

[startup+1543.5 s]
/proc/loadavg: 1.00 1.00 1.02 2/71 25780
/proc/meminfo: memFree=1880080/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=40476 CPUtime=1541.55
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9739 0 0 0 154146 9 0 0 25 0 1 0 30069030 41447424 9582 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 10119 9582 51 112 0 10003 0
Current children cumulated CPU time (s) 1542.42
Current children cumulated vsize (KiB) 56320

[startup+1603.54 s]
/proc/loadavg: 1.00 1.00 1.01 2/71 25780
/proc/meminfo: memFree=1879696/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=40996 CPUtime=1601.55
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9838 0 0 0 160146 9 0 0 25 0 1 0 30069030 41979904 9681 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 10249 9681 51 112 0 10133 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 56840

[startup+1663.59 s]
/proc/loadavg: 1.00 1.00 1.01 2/71 25780
/proc/meminfo: memFree=1879440/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=41304 CPUtime=1661.57
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9901 0 0 0 166148 9 0 0 25 0 1 0 30069030 42295296 9744 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 10326 9744 51 112 0 10210 0
Current children cumulated CPU time (s) 1662.44
Current children cumulated vsize (KiB) 57148

[startup+1723.64 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 25780
/proc/meminfo: memFree=1879376/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=41304 CPUtime=1721.59
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9902 0 0 0 172150 9 0 0 25 0 1 0 30069030 42295296 9745 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 10326 9745 51 112 0 10210 0
Current children cumulated CPU time (s) 1722.46
Current children cumulated vsize (KiB) 57148

[startup+1783.69 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 25780
/proc/meminfo: memFree=1879312/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=41436 CPUtime=1781.59
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9932 0 0 0 178150 9 0 0 25 0 1 0 30069030 42430464 9775 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 10359 9775 51 112 0 10243 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (KiB) 57280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 25780
/proc/meminfo: memFree=1879248/2055888 swapFree=4096564/4096564
[pid=25762] ppid=25760 vsize=15844 CPUtime=0.87
/proc/25762/stat : 25762 (sugar) S 25760 25762 24676 0 -1 4194304 1816 10307 0 2 6 1 72 8 16 0 1 0 30068935 16224256 1330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25762/statm: 3961 1330 373 3 0 1060 0
[pid=25780] ppid=25762 vsize=41436 CPUtime=1799.21
/proc/25780/stat : 25780 (minisat) R 25762 25762 24676 0 -1 0 9935 0 0 0 179912 9 0 0 25 0 1 0 30069030 42430464 9778 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528704 0 0 4096 3 0 0 0 17 0 0 0
/proc/25780/statm: 10359 9778 51 112 0 10243 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 57280

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25762 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=787880 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=94985
CPU time returned by wait4() is 0.882865
while last known CPU time is 1800.09

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

Real time (s): 1802.33
CPU time (s): 1800.09
CPU user time (s): 1799.9
CPU system time (s): 0.19
CPU usage (%): 99.8759
Max. virtual memory (cumulated for all children) (KiB): 57280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.78788
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12208
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= 703
involuntary context switches= 93

runsolver used 1.35479 s user time and 3.54646 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Mon Jan 29 20:05:06 UTC 2007


IDJOB= 217372
IDBENCH= 5132
IDSOLVER= 86
FILE ID= node76/217372-1170101106

PBS_JOBID= 3689638

Free space on /tmp= 66651 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/latinSquare/latinSquare-dg-10_all.xml
COMMAND LINE= /tmp/evaluation/217372-1170101106/solver /tmp/evaluation/217372-1170101106 /tmp/evaluation/217372-1170101106/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-217372-1170101106 -o ROOT/results/node76/solver-217372-1170101106 -C 1800 -M 900  /tmp/evaluation/217372-1170101106/solver /tmp/evaluation/217372-1170101106 /tmp/evaluation/217372-1170101106/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  57a4d2bf2f9bee6ff4f0a3cc066ce2e3

RANDOM SEED= 87890195

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.219
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	: 6006.18
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.219
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1923376 kB
Buffers:         14476 kB
Cached:          58556 kB
SwapCached:          0 kB
Active:          45620 kB
Inactive:        43760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1923376 kB
SwapTotal:     4096564 kB
SwapFree:      4096564 kB
Dirty:             756 kB
Writeback:           0 kB
Mapped:          26788 kB
Slab:            29464 kB
Committed_AS:   416504 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66651 MiB



End job on node76 on Mon Jan 29 20:35:09 UTC 2007