Trace number 233314

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.29 1803.72

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-2.xml
MD5SUM92555cdf22aba40b17a03815dd090f8b
Bench Category2-ARY-INT (binary constraints in intension)
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 variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1229
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/233314-1170106696/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/233314-1170106696/unknown.xml [Mon Jan 29 22:38:17 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/233314-1170106696/unknown.xml /tmp/evaluation/233314-1170106696/sugar24971.csp [Mon Jan 29 22:38:17 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233314-1170106696/sugar-v0-40.jar -convert /tmp/evaluation/233314-1170106696/unknown.xml /tmp/evaluation/233314-1170106696/sugar24971.csp
0.17	c BEGIN convert /tmp/evaluation/233314-1170106696/unknown.xml
1.12	c END convert (0.947338 seconds)
1.17	c # CONVERT_XML  END : /tmp/evaluation/233314-1170106696/sugar24971.csp 378314 bytes (1 seconds) [Mon Jan 29 22:38:18 2007]
1.17	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
1.17	
1.17	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233314-1170106696/sugar24971.bcnf [Mon Jan 29 22:38:18 2007]
1.17	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233314-1170106696/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233314-1170106696/sugar24971.map /tmp/evaluation/233314-1170106696/sugar24971.csp /tmp/evaluation/233314-1170106696/sugar24971.bcnf
1.29	c BEGIN parse /tmp/evaluation/233314-1170106696/sugar24971.csp
2.37	c END parse (1.078593 seconds)
2.37	c BEGIN simplify
2.45	c END simplify (0.078448 seconds)
2.45	c BEGIN encode /tmp/evaluation/233314-1170106696/sugar24971.bcnf
18.66	c END encode (16.207122 seconds)
18.84	c # GENERATE_SAT  END : 486620 variables 17656140 clauses 280462712 bytes (18 seconds) [Mon Jan 29 22:38:36 2007]
18.84	c # GENERATE_SAT  CPU : 17.38 = 0.13 + 0.01 + 16.15 + 1.09
18.84	
18.84	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233314-1170106696/sugar24971.bcnf [Mon Jan 29 22:38:36 2007]
18.84	c # CMD : /tmp/evaluation/233314-1170106696/minisat /tmp/evaluation/233314-1170106696/sugar24971.bcnf /tmp/evaluation/233314-1170106696/sugar24971.out
28.91	c ==================================[MINISAT]===================================
28.91	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
28.91	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
28.91	c ==============================================================================
28.91	c |         0 | 17656140 52459400 | 5885380       0        0     nan |  0.000 % |
32.56	c |       100 | 17656140 52459400 | 6473918     100     1746    17.5 |  0.000 % |
36.94	c |       251 | 17656140 52459400 | 7121309     251     4136    16.5 |  0.000 % |
38.48	c |       476 | 17656140 52459400 | 7833440     476     7648    16.1 |  0.000 % |
38.85	c |       813 | 17656140 52459400 | 8616784     813    10831    13.3 |  0.000 % |
39.45	c |      1320 | 17656140 52459400 | 9478463    1320    16962    12.8 |  0.000 % |
40.66	c |      2079 | 17656140 52459400 | 10426309    2079    28729    13.8 |  0.000 % |
41.63	c |      3218 | 17656140 52459400 | 11468940    3218    42909    13.3 |  0.000 % |
43.32	c |      4926 | 17656140 52459400 | 12615834    4926    70161    14.2 |  0.000 % |
46.38	c |      7489 | 17656140 52459400 | 13877418    7489   113781    15.2 |  0.000 % |
50.79	c |     11335 | 17656140 52459400 | 15265159   11335   189157    16.7 |  0.000 % |
54.99	c |     17102 | 17656140 52459400 | 16791675   17102   262909    15.4 |  0.000 % |
62.69	c |     25751 | 17656140 52459400 | 18470843   25751   457468    17.8 |  0.000 % |
75.25	c |     38726 | 17656140 52459400 | 20317927   38726   728061    18.8 |  0.000 % |
95.65	c |     58188 | 17656140 52459400 | 22349720   58188  1115605    19.2 |  0.000 % |
130.35	c |     87380 | 17656140 52459400 | 24584692   87380  1898044    21.7 |  0.000 % |
265.31	c |    131170 | 17656140 52459400 | 27043162  131170  3975169    30.3 |  0.000 % |
379.54	c |    196854 | 17656140 52459400 | 29747478  196854  5549039    28.2 |  0.000 % |
582.78	c |    295380 | 17656140 52459400 | 32722226  295380  8896926    30.1 |  0.000 % |
1112.60	c |    443169 | 17656140 52459400 | 35994448  443169 12929768    29.2 |  0.000 % |
1802.56	
1802.56	s UNKNOWN
1802.56	c # INTERRUPTED
1802.56	c # MAIN  END :  (1802 seconds) [Mon Jan 29 23:08:19 2007]
1802.56	c # MAIN  CPU : 17.39 = 0.14 + 0.01 + 16.15 + 1.09
1802.56

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/node71/watcher-233314-1170106696 -o ROOT/results/node71/solver-233314-1170106696 -C 1800 -M 900 /tmp/evaluation/233314-1170106696/solver /tmp/evaluation/233314-1170106696 /tmp/evaluation/233314-1170106696/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.08 2.10 2.33 5/74 24972
/proc/meminfo: memFree=798328/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=18540 CPUtime=0
/proc/24971/stat : 24971 (runsolver) R 24969 24971 23664 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30627488 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24971/statm: 4635 279 244 17 0 2626 0

[startup+0.109841 s]
/proc/loadavg: 2.08 2.10 2.33 5/74 24972
/proc/meminfo: memFree=798328/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=13724 CPUtime=0.03
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30627488 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24971/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.517928 s]
/proc/loadavg: 2.08 2.10 2.33 5/74 24972
/proc/meminfo: memFree=798328/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=13724 CPUtime=0.03
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30627488 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24971/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.34311 s]
/proc/loadavg: 2.08 2.10 2.33 2/82 24980
/proc/meminfo: memFree=751288/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=13724 CPUtime=0.03
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30627488 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24971/statm: 3431 808 370 3 0 531 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13724

[startup+2.99246 s]
/proc/loadavg: 1.99 2.08 2.32 3/83 24988
/proc/meminfo: memFree=753528/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=13724 CPUtime=0.03
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30627488 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24971/statm: 3431 808 370 3 0 531 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=24981] ppid=24971 vsize=807332 CPUtime=1.78
/proc/24981/stat : 24981 (java) R 24971 24971 23664 0 -1 0 9816 0 1 0 167 11 0 0 25 0 8 0 30627606 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24981/statm: 201833 9560 1510 14 0 189111 0
[pid=24981/tid=24982] ppid=24971 vsize=807332 CPUtime=0.2
/proc/24981/task/24982/stat : 24982 (java) S 24971 24971 23664 0 -1 64 3584 0 0 0 19 1 0 0 16 0 8 0 30627609 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24983] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24983/stat : 24983 (java) S 24971 24971 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30627609 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24984] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24971 24971 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30627609 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24985] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24971 24971 23664 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30627613 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24986] ppid=24971 vsize=807332 CPUtime=0.16
/proc/24981/task/24986/stat : 24986 (java) S 24971 24971 23664 0 -1 64 418 0 0 0 16 0 0 0 16 0 8 0 30627613 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24987] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24987/stat : 24987 (java) S 24971 24971 23664 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30627613 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24988] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24988/stat : 24988 (java) S 24971 24971 23664 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30627613 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 821056

[startup+6.20016 s]
/proc/loadavg: 1.99 2.08 2.32 3/83 24988
/proc/meminfo: memFree=669624/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=13724 CPUtime=0.03
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30627488 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24971/statm: 3431 808 370 3 0 531 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=24981] ppid=24971 vsize=807332 CPUtime=4.92
/proc/24981/stat : 24981 (java) R 24971 24971 23664 0 -1 0 9820 0 1 0 461 31 0 0 25 0 8 0 30627606 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24981/statm: 201833 9563 1510 14 0 189111 0
[pid=24981/tid=24982] ppid=24971 vsize=807332 CPUtime=0.2
/proc/24981/task/24982/stat : 24982 (java) S 24971 24971 23664 0 -1 64 3584 0 0 0 19 1 0 0 16 0 8 0 30627609 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24983] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24983/stat : 24983 (java) S 24971 24971 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30627609 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24984] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24971 24971 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30627609 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24985] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24971 24971 23664 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30627613 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24986] ppid=24971 vsize=807332 CPUtime=0.17
/proc/24981/task/24986/stat : 24986 (java) S 24971 24971 23664 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30627613 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24987] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24987/stat : 24987 (java) S 24971 24971 23664 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30627613 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24988] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24988/stat : 24988 (java) S 24971 24971 23664 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30627613 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 821056

[startup+12.6986 s]
/proc/loadavg: 1.99 2.08 2.31 3/79 25004
/proc/meminfo: memFree=1662624/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=13724 CPUtime=0.03
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30627488 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24971/statm: 3431 808 370 3 0 531 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=24981] ppid=24971 vsize=807332 CPUtime=11.28
/proc/24981/stat : 24981 (java) R 24971 24971 23664 0 -1 0 11761 0 1 0 1060 68 0 0 25 0 8 0 30627606 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24981/statm: 201833 11503 1510 14 0 189111 0
[pid=24981/tid=24982] ppid=24971 vsize=807332 CPUtime=0.26
/proc/24981/task/24982/stat : 24982 (java) S 24971 24971 23664 0 -1 64 5524 0 0 0 24 2 0 0 16 0 8 0 30627609 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24983] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24983/stat : 24983 (java) S 24971 24971 23664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30627609 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24984] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24971 24971 23664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30627609 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24985] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24971 24971 23664 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30627613 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24986] ppid=24971 vsize=807332 CPUtime=0.17
/proc/24981/task/24986/stat : 24986 (java) S 24971 24971 23664 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30627613 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24987] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24987/stat : 24987 (java) S 24971 24971 23664 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30627613 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24981/tid=24988] ppid=24971 vsize=807332 CPUtime=0
/proc/24981/task/24988/stat : 24988 (java) S 24971 24971 23664 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30627613 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 821056

[startup+25.5504 s]
/proc/loadavg: 2.38 2.16 2.34 3/77 25063
/proc/meminfo: memFree=903664/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3371 11779 0 1 17 1 1615 109 19 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=468136 CPUtime=6.63
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 114517 0 0 0 580 83 0 0 25 0 1 0 30629372 479371264 114312 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 0 0 0 0 17 0 0 0
/proc/25060/statm: 117034 114314 35 112 0 116918 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 490332

[startup+51.246 s]
/proc/loadavg: 2.33 2.16 2.33 3/77 25135
/proc/meminfo: memFree=511864/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=768096 CPUtime=32.3
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 190521 0 0 0 3096 134 0 0 25 0 1 0 30629372 786530304 189290 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528504 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 192024 189290 52 112 0 191908 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 790292

[startup+102.533 s]
/proc/loadavg: 2.13 2.13 2.31 3/77 25135
/proc/meminfo: memFree=497848/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=775000 CPUtime=83.5
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 192192 0 0 0 8214 136 0 0 25 0 1 0 30629372 793600000 190961 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 193750 190961 52 112 0 193634 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 797196

[startup+162.556 s]
/proc/loadavg: 2.05 2.11 2.29 3/77 25135
/proc/meminfo: memFree=486968/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=779192 CPUtime=143.47
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 193230 0 0 0 14210 137 0 0 25 0 1 0 30629372 797892608 191999 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 194798 191999 52 112 0 194682 0
Current children cumulated CPU time (s) 161.95
Current children cumulated vsize (KiB) 801388

[startup+222.585 s]
/proc/loadavg: 2.02 2.08 2.27 3/77 25135
/proc/meminfo: memFree=480696/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06

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

/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 207972 0 0 0 122106 160 0 0 25 0 1 0 30629372 859185152 206741 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 209762 206741 52 112 0 209646 0
Current children cumulated CPU time (s) 1241.14
Current children cumulated vsize (KiB) 861244

[startup+1303 s]
/proc/loadavg: 2.07 2.02 2.07 3/77 25135
/proc/meminfo: memFree=376056/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=841184 CPUtime=1282.62
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 208502 0 0 0 128102 160 0 0 25 0 1 0 30629372 861372416 207271 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 210296 207271 52 112 0 210180 0
Current children cumulated CPU time (s) 1301.1
Current children cumulated vsize (KiB) 863380

[startup+1363.02 s]
/proc/loadavg: 2.03 2.02 2.07 3/77 25135
/proc/meminfo: memFree=372024/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=843448 CPUtime=1342.56
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 209101 0 0 0 134095 161 0 0 25 0 1 0 30629372 863690752 207870 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 210862 207870 52 112 0 210746 0
Current children cumulated CPU time (s) 1361.04
Current children cumulated vsize (KiB) 865644

[startup+1423.06 s]
/proc/loadavg: 2.01 2.01 2.06 3/83 25273
/proc/meminfo: memFree=366840/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=845696 CPUtime=1402.51
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 209678 0 0 0 140074 177 0 0 25 0 1 0 30629372 865992704 208447 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 211424 208447 52 112 0 211308 0
Current children cumulated CPU time (s) 1420.99
Current children cumulated vsize (KiB) 867892

[startup+1483.1 s]
/proc/loadavg: 2.00 2.00 2.06 3/77 25333
/proc/meminfo: memFree=363896/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=848324 CPUtime=1462.47
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 210345 0 0 0 146062 185 0 0 25 0 1 0 30629372 868683776 209114 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 212081 209114 52 112 0 211965 0
Current children cumulated CPU time (s) 1480.95
Current children cumulated vsize (KiB) 870520

[startup+1543.13 s]
/proc/loadavg: 2.00 2.00 2.05 3/77 25333
/proc/meminfo: memFree=360440/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=850388 CPUtime=1522.41
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 210856 0 0 0 152056 185 0 0 25 0 1 0 30629372 870797312 209625 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 212597 209625 52 112 0 212481 0
Current children cumulated CPU time (s) 1540.89
Current children cumulated vsize (KiB) 872584

[startup+1603.15 s]
/proc/loadavg: 2.00 2.00 2.05 3/77 25333
/proc/meminfo: memFree=356792/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=852776 CPUtime=1582.38
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 211451 0 0 0 158052 186 0 0 25 0 1 0 30629372 873242624 210220 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 213194 210220 52 112 0 213078 0
Current children cumulated CPU time (s) 1600.86
Current children cumulated vsize (KiB) 874972

[startup+1663.18 s]
/proc/loadavg: 2.00 2.00 2.04 3/77 25333
/proc/meminfo: memFree=352888/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=855296 CPUtime=1642.34
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 212095 0 0 0 164047 187 0 0 25 0 1 0 30629372 875823104 210864 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 213824 210864 52 112 0 213708 0
Current children cumulated CPU time (s) 1660.82
Current children cumulated vsize (KiB) 877492

[startup+1723.2 s]
/proc/loadavg: 2.00 2.00 2.03 3/77 25333
/proc/meminfo: memFree=349368/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=857424 CPUtime=1702.27
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 212629 0 0 0 170039 188 0 0 25 0 1 0 30629372 878002176 211398 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 214356 211398 52 112 0 214240 0
Current children cumulated CPU time (s) 1720.75
Current children cumulated vsize (KiB) 879620

[startup+1783.22 s]
/proc/loadavg: 2.04 2.01 2.03 3/77 25333
/proc/meminfo: memFree=345976/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=859552 CPUtime=1762.24
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 213159 0 0 0 176035 189 0 0 25 0 1 0 30629372 880181248 211928 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 214888 211928 52 112 0 214772 0
Current children cumulated CPU time (s) 1780.72
Current children cumulated vsize (KiB) 881748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.55 s]
/proc/loadavg: 2.03 2.01 2.03 3/77 25333
/proc/meminfo: memFree=344824/2055920 swapFree=4192812/4192956
[pid=24971] ppid=24969 vsize=22196 CPUtime=17.42
/proc/24971/stat : 24971 (sugar) S 24969 24971 23664 0 -1 4194304 3381 11779 0 1 17 1 1615 109 16 0 1 0 30627488 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24971/statm: 5549 2891 373 3 0 2649 0
[pid=24973] ppid=24971 vsize=0 CPUtime=1.06
/proc/24973/stat : 24973 (java) Z 24971 24971 23664 0 -1 1036 11272 0 1 0 99 7 0 0 16 0 1 0 30627493 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24973/statm: 0 0 0 0 0 0 0
[pid=25060] ppid=24971 vsize=860252 CPUtime=1781.55
/proc/25060/stat : 25060 (minisat) R 24971 24971 23664 0 -1 0 213336 0 0 0 177966 189 0 0 25 0 1 0 30629372 880898048 212105 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/25060/statm: 215063 212105 52 112 0 214947 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 882448

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24971 and gives childrusage.ru_utime.tv_sec=16 childrusage.ru_utime.tv_usec=327517 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=260808
CPU time returned by wait4() is 17.5883
while last known CPU time is 1800.29

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

Real time (s): 1803.72
CPU time (s): 1800.29
CPU user time (s): 1796.97
CPU system time (s): 3.32
CPU usage (%): 99.8096
Max. virtual memory (cumulated for all children) (KiB): 882448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3275
system time used= 1.26081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15245
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= 1081
involuntary context switches= 1141

runsolver used 2.06968 s user time and 5.97709 s system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Jan 29 21:38:16 UTC 2007


IDJOB= 233314
IDBENCH= 6592
IDSOLVER= 86
FILE ID= node71/233314-1170106696

PBS_JOBID= 3689749

Free space on /tmp= 66268 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-2.xml
COMMAND LINE= /tmp/evaluation/233314-1170106696/solver /tmp/evaluation/233314-1170106696 /tmp/evaluation/233314-1170106696/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-233314-1170106696 -o ROOT/results/node71/solver-233314-1170106696 -C 1800 -M 900  /tmp/evaluation/233314-1170106696/solver /tmp/evaluation/233314-1170106696 /tmp/evaluation/233314-1170106696/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  92555cdf22aba40b17a03815dd090f8b

RANDOM SEED= 498559936

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.266
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.266
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:        803544 kB
Buffers:         52448 kB
Cached:         345760 kB
SwapCached:          0 kB
Active:        1135944 kB
Inactive:        59204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        803544 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          220916 kB
Writeback:           0 kB
Mapped:         807920 kB
Slab:            40904 kB
Committed_AS:  1194644 kB
PageTables:       3576 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= 66483 MiB



End job on node71 on Mon Jan 29 22:08:21 UTC 2007