Trace number 199207

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.13 1802

General information on the benchmark

Nameknights/
knights-80-9.xml
MD5SUM5a28e72138738f3973f09f9fbcb8490d
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
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables9
Number of constraints36
Maximum constraint arity2
Maximum domain size6400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension36
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/199207-1170094066/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/199207-1170094066/unknown.xml [Mon Jan 29 19:07:46 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/199207-1170094066/unknown.xml /tmp/evaluation/199207-1170094066/sugar22139.csp [Mon Jan 29 19:07:46 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199207-1170094066/sugar-v0-40.jar -convert /tmp/evaluation/199207-1170094066/unknown.xml /tmp/evaluation/199207-1170094066/sugar22139.csp
0.15	c BEGIN convert /tmp/evaluation/199207-1170094066/unknown.xml
0.26	c END convert (0.115069 seconds)
0.32	c # CONVERT_XML  END : /tmp/evaluation/199207-1170094066/sugar22139.csp 1926 bytes (1 seconds) [Mon Jan 29 19:07:47 2007]
0.32	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.32	
0.32	c # GENERATE_SAT  BEGIN : /tmp/evaluation/199207-1170094066/sugar22139.bcnf [Mon Jan 29 19:07:47 2007]
0.32	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199207-1170094066/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199207-1170094066/sugar22139.map /tmp/evaluation/199207-1170094066/sugar22139.csp /tmp/evaluation/199207-1170094066/sugar22139.bcnf
0.43	c BEGIN parse /tmp/evaluation/199207-1170094066/sugar22139.csp
0.54	c END parse (0.116437 seconds)
0.54	c BEGIN simplify
0.55	c END simplify (0.001761 seconds)
0.55	c BEGIN encode /tmp/evaluation/199207-1170094066/sugar22139.bcnf
9.89	c END encode (9.346494 seconds)
9.91	c # GENERATE_SAT  END : 61965 variables 9970488 clauses 159695176 bytes (9 seconds) [Mon Jan 29 19:07:56 2007]
9.91	c # GENERATE_SAT  CPU : 9.33 = 0 + 0.01 + 8.73 + 0.59
9.91	
9.91	c # SOLVE_SAT  BEGIN : /tmp/evaluation/199207-1170094066/sugar22139.bcnf [Mon Jan 29 19:07:56 2007]
9.91	c # CMD : /tmp/evaluation/199207-1170094066/minisat /tmp/evaluation/199207-1170094066/sugar22139.bcnf /tmp/evaluation/199207-1170094066/sugar22139.out
14.76	c ==================================[MINISAT]===================================
14.76	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
14.76	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
14.76	c ==============================================================================
14.76	c |         0 | 9970488 29953224 | 3323496       0        0     nan |  0.000 % |
21.02	c |       102 | 9963851 29934264 | 3655845      93      878     9.4 |  1.009 % |
24.69	c |       252 | 9963851 29934264 | 4021430     241     2390     9.9 |  1.267 % |
32.11	c |       478 | 9963853 29934264 | 4423573     463     4863    10.5 |  1.521 % |
37.24	c |       815 | 9963853 29934264 | 4865930     800     9055    11.3 |  1.520 % |
50.95	c |      1321 | 9963853 29934264 | 5352523    1306    18805    14.4 |  1.520 % |
71.14	c |      2080 | 9963853 29934264 | 5887775    2061    28514    13.8 |  2.032 % |
89.25	c |      3219 | 9963853 29934264 | 6476553    3200    44299    13.8 |  2.032 % |
219.67	c |      4927 | 9861453 29587928 | 7124208    4906    71181    14.5 |  2.156 % |
313.95	c |      7489 | 9861453 29587928 | 7836629    7465   111076    14.9 |  2.529 % |
554.40	c |     11333 | 9836805 29490600 | 8620292   11308   171040    15.1 |  2.653 % |
974.23	c |     17099 | 9836805 29490600 | 9482321   17073   266354    15.6 |  2.782 % |
1575.49	c |     25748 | 9830167 29471640 | 10430554   25722   397186    15.4 |  2.782 % |
1800.91	
1800.91	s UNKNOWN
1800.91	c # INTERRUPTED
1800.91	c # MAIN  END :  (1801 seconds) [Mon Jan 29 19:37:47 2007]
1800.91	c # MAIN  CPU : 9.33 = 0 + 0.01 + 8.73 + 0.59
1800.91

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/node75/watcher-199207-1170094066 -o ROOT/results/node75/solver-199207-1170094066 -C 1800 -M 900 /tmp/evaluation/199207-1170094066/solver /tmp/evaluation/199207-1170094066 /tmp/evaluation/199207-1170094066/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.64 3.04 3.04 2/68 22140
/proc/meminfo: memFree=1518416/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=12268 CPUtime=0
/proc/22139/stat : 22139 (sugar) R 22135 22139 21674 0 -1 4194304 597 0 0 0 0 0 0 0 19 0 1 0 29372468 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891581950 0 0 4224 0 0 0 0 17 1 0 0
/proc/22139/statm: 3067 316 241 3 0 167 0

[startup+0.102579 s]
/proc/loadavg: 2.64 3.04 3.04 2/68 22140
/proc/meminfo: memFree=1518416/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=0.03
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29372468 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.510627 s]
/proc/loadavg: 2.64 3.04 3.04 2/68 22140
/proc/meminfo: memFree=1518416/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=0.03
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29372468 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 808 370 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33272 s]
/proc/loadavg: 2.51 3.01 3.03 2/77 22156
/proc/meminfo: memFree=1497216/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=0.03
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29372468 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 808 370 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22149] ppid=22139 vsize=808052 CPUtime=1
/proc/22149/stat : 22149 (java) R 22139 22139 21674 0 -1 0 4453 0 1 0 95 5 0 0 23 0 8 0 29372500 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073574004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22149/statm: 202013 4204 1500 14 0 189291 0
[pid=22149/tid=22150] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22150/stat : 22150 (java) S 22139 22139 21674 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 29372503 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22149/tid=22151] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22151/stat : 22151 (java) S 22139 22139 21674 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29372503 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22152] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22152/stat : 22152 (java) S 22139 22139 21674 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29372503 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22153] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22153/stat : 22153 (java) S 22139 22139 21674 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29372506 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22154] ppid=22139 vsize=808052 CPUtime=0.05
/proc/22149/task/22154/stat : 22154 (java) S 22139 22139 21674 0 -1 64 368 0 0 0 5 0 0 0 16 0 8 0 29372506 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22149/tid=22155] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22155/stat : 22155 (java) S 22139 22139 21674 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29372506 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22156] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22156/stat : 22156 (java) S 22139 22139 21674 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29372506 827445248 4204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 821776

[startup+2.98392 s]
/proc/loadavg: 2.51 3.01 3.03 2/77 22186
/proc/meminfo: memFree=1474744/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=0.03
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29372468 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 808 370 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22149] ppid=22139 vsize=808052 CPUtime=2.61
/proc/22149/stat : 22149 (java) R 22139 22139 21674 0 -1 0 4456 0 1 0 245 16 0 0 25 0 8 0 29372500 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073575006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22149/statm: 202013 4206 1501 14 0 189291 0
[pid=22149/tid=22150] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22150/stat : 22150 (java) S 22139 22139 21674 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29372503 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22149/tid=22151] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22151/stat : 22151 (java) S 22139 22139 21674 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29372503 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22152] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22152/stat : 22152 (java) S 22139 22139 21674 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29372503 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22153] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22153/stat : 22153 (java) S 22139 22139 21674 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29372506 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22154] ppid=22139 vsize=808052 CPUtime=0.05
/proc/22149/task/22154/stat : 22154 (java) S 22139 22139 21674 0 -1 64 368 0 0 0 5 0 0 0 16 0 8 0 29372506 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22149/tid=22155] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22155/stat : 22155 (java) S 22139 22139 21674 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29372506 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22156] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22156/stat : 22156 (java) S 22139 22139 21674 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29372506 827445248 4206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821776

[startup+6.2623 s]
/proc/loadavg: 2.51 3.01 3.03 3/78 22220
/proc/meminfo: memFree=1415280/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=0.03
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29372468 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 808 370 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22149] ppid=22139 vsize=808052 CPUtime=5.68
/proc/22149/stat : 22149 (java) R 22139 22139 21674 0 -1 0 4458 0 1 0 532 36 0 0 25 0 8 0 29372500 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22149/statm: 202013 4208 1501 14 0 189291 0
[pid=22149/tid=22150] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22150/stat : 22150 (java) S 22139 22139 21674 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29372503 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22149/tid=22151] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22151/stat : 22151 (java) S 22139 22139 21674 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29372503 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22152] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22152/stat : 22152 (java) S 22139 22139 21674 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29372503 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22153] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22153/stat : 22153 (java) S 22139 22139 21674 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29372506 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22154] ppid=22139 vsize=808052 CPUtime=0.05
/proc/22149/task/22154/stat : 22154 (java) S 22139 22139 21674 0 -1 64 368 0 0 0 5 0 0 0 17 0 8 0 29372506 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22149/tid=22155] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22155/stat : 22155 (java) S 22139 22139 21674 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29372506 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22149/tid=22156] ppid=22139 vsize=808052 CPUtime=0
/proc/22149/task/22156/stat : 22156 (java) S 22139 22139 21674 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29372506 827445248 4208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 821776

[startup+12.7581 s]
/proc/loadavg: 2.43 2.98 3.02 3/76 22273
/proc/meminfo: memFree=1078984/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1316 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=231040 CPUtime=2.79
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 54543 0 0 0 240 39 0 0 25 0 1 0 29373459 236584960 54515 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 0 0 0 0 17 1 0 0
/proc/22272/statm: 57760 54515 35 112 0 57644 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 244764

[startup+25.5876 s]
/proc/loadavg: 2.36 2.94 3.01 3/76 22273
/proc/meminfo: memFree=878352/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=412532 CPUtime=15.62
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 100679 0 0 0 1493 69 0 0 25 0 1 0 29373459 422432768 99625 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 103133 99625 51 112 0 103017 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 426256

[startup+51.2727 s]
/proc/loadavg: 2.22 2.85 2.97 3/76 22273
/proc/meminfo: memFree=876368/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=412532 CPUtime=41.3
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 100693 0 0 0 4061 69 0 0 25 0 1 0 29373459 422432768 99639 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 103133 99639 51 112 0 103017 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 426256

[startup+102.537 s]
/proc/loadavg: 2.09 2.72 2.92 3/76 22273
/proc/meminfo: memFree=863632/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=419876 CPUtime=92.55
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 102389 0 0 0 9185 70 0 0 25 0 1 0 29373459 429953024 101335 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 104969 101335 51 112 0 104853 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 433600

[startup+162.638 s]
/proc/loadavg: 2.03 2.58 2.86 3/76 22273
/proc/meminfo: memFree=855696/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=421300 CPUtime=152.64
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 102713 0 0 0 15193 71 0 0 25 0 1 0 29373459 431411200 101659 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 105325 101659 51 112 0 105209 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 435024

[startup+222.743 s]
/proc/loadavg: 2.07 2.49 2.81 3/76 22273
/proc/meminfo: memFree=845392/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36

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

/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103372 0 0 0 123245 71 0 0 25 0 1 0 29373459 434323456 102318 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102318 51 112 0 105920 0
Current children cumulated CPU time (s) 1242.74
Current children cumulated vsize (KiB) 437868

[startup+1303.56 s]
/proc/loadavg: 2.02 2.02 2.24 3/76 22273
/proc/meminfo: memFree=756432/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424144 CPUtime=1293.24
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103373 0 0 0 129253 71 0 0 25 0 1 0 29373459 434323456 102319 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102319 51 112 0 105920 0
Current children cumulated CPU time (s) 1302.82
Current children cumulated vsize (KiB) 437868

[startup+1363.65 s]
/proc/loadavg: 2.00 2.02 2.22 3/76 22273
/proc/meminfo: memFree=753168/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424144 CPUtime=1353.32
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103373 0 0 0 135261 71 0 0 25 0 1 0 29373459 434323456 102319 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102319 51 112 0 105920 0
Current children cumulated CPU time (s) 1362.9
Current children cumulated vsize (KiB) 437868

[startup+1423.75 s]
/proc/loadavg: 2.00 2.01 2.20 3/76 22273
/proc/meminfo: memFree=749648/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424144 CPUtime=1413.4
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103375 0 0 0 141269 71 0 0 25 0 1 0 29373459 434323456 102321 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102321 51 112 0 105920 0
Current children cumulated CPU time (s) 1422.98
Current children cumulated vsize (KiB) 437868

[startup+1483.75 s]
/proc/loadavg: 2.00 2.01 2.19 3/76 22273
/proc/meminfo: memFree=746384/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424144 CPUtime=1473.39
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103375 0 0 0 147268 71 0 0 25 0 1 0 29373459 434323456 102321 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102321 51 112 0 105920 0
Current children cumulated CPU time (s) 1482.97
Current children cumulated vsize (KiB) 437868

[startup+1543.86 s]
/proc/loadavg: 2.00 2.00 2.17 3/76 22273
/proc/meminfo: memFree=743184/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424144 CPUtime=1533.48
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103376 0 0 0 153277 71 0 0 25 0 1 0 29373459 434323456 102322 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102322 51 112 0 105920 0
Current children cumulated CPU time (s) 1543.06
Current children cumulated vsize (KiB) 437868

[startup+1603.95 s]
/proc/loadavg: 2.00 2.00 2.16 3/76 22275
/proc/meminfo: memFree=739856/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424144 CPUtime=1593.56
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103379 0 0 0 159285 71 0 0 25 0 1 0 29373459 434323456 102325 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106036 102325 51 112 0 105920 0
Current children cumulated CPU time (s) 1603.14
Current children cumulated vsize (KiB) 437868

[startup+1663.96 s]
/proc/loadavg: 2.00 2.00 2.15 3/76 22275
/proc/meminfo: memFree=736272/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424308 CPUtime=1653.54
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103407 0 0 0 165283 71 0 0 25 0 1 0 29373459 434491392 102353 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106077 102353 51 112 0 105961 0
Current children cumulated CPU time (s) 1663.12
Current children cumulated vsize (KiB) 438032

[startup+1724.06 s]
/proc/loadavg: 2.00 2.00 2.14 3/76 22275
/proc/meminfo: memFree=732432/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424308 CPUtime=1713.63
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103407 0 0 0 171292 71 0 0 25 0 1 0 29373459 434491392 102353 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106077 102353 51 112 0 105961 0
Current children cumulated CPU time (s) 1723.21
Current children cumulated vsize (KiB) 438032

[startup+1784.16 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 22275
/proc/meminfo: memFree=728400/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424308 CPUtime=1773.71
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103408 0 0 0 177300 71 0 0 25 0 1 0 29373459 434491392 102354 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106077 102354 51 112 0 105961 0
Current children cumulated CPU time (s) 1783.29
Current children cumulated vsize (KiB) 438032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.91 s]
/proc/loadavg: 2.00 2.00 2.12 3/76 22275
/proc/meminfo: memFree=727184/2055920 swapFree=4192956/4192956
[pid=22139] ppid=22135 vsize=13724 CPUtime=9.36
/proc/22139/stat : 22139 (sugar) S 22135 22139 21674 0 -1 4194304 1325 4497 0 1 3 1 873 59 16 0 1 0 29372468 14053376 837 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22139/statm: 3431 837 373 3 0 531 0
[pid=22141] ppid=22139 vsize=0 CPUtime=0.22
/proc/22141/stat : 22141 (java) Z 22139 22139 21674 0 -1 1036 3579 0 1 0 19 3 0 0 16 0 1 0 29372472 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22141/statm: 0 0 0 0 0 0 0
[pid=22272] ppid=22139 vsize=424308 CPUtime=1790.46
/proc/22272/stat : 22272 (minisat) R 22139 22139 21674 0 -1 0 103408 0 0 0 178975 71 0 0 25 0 1 0 29373459 434491392 102354 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/22272/statm: 106077 102354 51 112 0 105961 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 438032

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22139 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=765667 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=686895
CPU time returned by wait4() is 9.45256
while last known CPU time is 1800.13

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

Real time (s): 1802
CPU time (s): 1800.13
CPU user time (s): 1798.7
CPU system time (s): 1.43
CPU usage (%): 99.8963
Max. virtual memory (cumulated for all children) (KiB): 821776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.76567
system time used= 0.686895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5906
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= 496
involuntary context switches= 338

runsolver used 1.73374 s user time and 4.94025 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Mon Jan 29 18:07:46 UTC 2007


IDJOB= 199207
IDBENCH= 3599
IDSOLVER= 86
FILE ID= node75/199207-1170094066

PBS_JOBID= 3689593

Free space on /tmp= 66564 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  5a28e72138738f3973f09f9fbcb8490d

RANDOM SEED= 951657773

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1518696 kB
Buffers:         50824 kB
Cached:         393488 kB
SwapCached:          0 kB
Active:         183592 kB
Inactive:       282048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1518696 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             956 kB
Writeback:           0 kB
Mapped:          31612 kB
Slab:            57136 kB
Committed_AS:    75824 kB
PageTables:       1680 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= 66542 MiB



End job on node75 on Mon Jan 29 18:37:48 UTC 2007