Trace number 233548

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 1818.34

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-3.xml
MD5SUM70c6e1071e2d8fc4bc31e6131cae8760
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 variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size899
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/233548-1170106759/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/233548-1170106759/unknown.xml [Mon Jan 29 22:39:19 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/233548-1170106759/unknown.xml /tmp/evaluation/233548-1170106759/sugar19003.csp [Mon Jan 29 22:39:19 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233548-1170106759/sugar-v0-40.jar -convert /tmp/evaluation/233548-1170106759/unknown.xml /tmp/evaluation/233548-1170106759/sugar19003.csp
0.17	c BEGIN convert /tmp/evaluation/233548-1170106759/unknown.xml
0.78	c END convert (0.613873 seconds)
0.81	c # CONVERT_XML  END : /tmp/evaluation/233548-1170106759/sugar19003.csp 155085 bytes (1 seconds) [Mon Jan 29 22:39:20 2007]
0.81	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.81	
0.81	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233548-1170106759/sugar19003.bcnf [Mon Jan 29 22:39:20 2007]
0.81	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233548-1170106759/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233548-1170106759/sugar19003.map /tmp/evaluation/233548-1170106759/sugar19003.csp /tmp/evaluation/233548-1170106759/sugar19003.bcnf
0.93	c BEGIN parse /tmp/evaluation/233548-1170106759/sugar19003.csp
1.54	c END parse (0.613877 seconds)
1.54	c BEGIN simplify
1.61	c END simplify (0.069746 seconds)
1.61	c BEGIN encode /tmp/evaluation/233548-1170106759/sugar19003.bcnf
6.48	c END encode (4.863304 seconds)
6.58	c # GENERATE_SAT  END : 197447 variables 5247204 clauses 83128752 bytes (6 seconds) [Mon Jan 29 22:39:26 2007]
6.58	c # GENERATE_SAT  CPU : 5.65 = 0.06 + 0.01 + 5.19 + 0.39
6.58	
6.58	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233548-1170106759/sugar19003.bcnf [Mon Jan 29 22:39:26 2007]
6.58	c # CMD : /tmp/evaluation/233548-1170106759/minisat /tmp/evaluation/233548-1170106759/sugar19003.bcnf /tmp/evaluation/233548-1170106759/sugar19003.out
9.80	c ==================================[MINISAT]===================================
9.80	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
9.80	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
9.80	c ==============================================================================
9.80	c |         0 | 5247204 15534940 | 1749068       0        0     nan |  0.000 % |
11.52	c |       100 | 5247204 15534940 | 1923974     100     1002    10.0 |  0.000 % |
11.69	c |       251 | 5247204 15534940 | 2116372     251     2774    11.1 |  0.000 % |
11.85	c |       478 | 5247204 15534940 | 2328009     478     4482     9.4 |  0.000 % |
12.16	c |       815 | 5247204 15534940 | 2560810     815     8449    10.4 |  0.000 % |
12.53	c |      1322 | 5247204 15534940 | 2816891    1322    14325    10.8 |  0.000 % |
13.38	c |      2082 | 5247204 15534940 | 3098580    2082    22758    10.9 |  0.000 % |
14.21	c |      3221 | 5247204 15534940 | 3408438    3221    36006    11.2 |  0.000 % |
15.69	c |      4930 | 5247204 15534940 | 3749282    4930    57703    11.7 |  0.000 % |
18.36	c |      7493 | 5247204 15534940 | 4124210    7493    96464    12.9 |  0.000 % |
21.50	c |     11337 | 5247204 15534940 | 4536631   11337   164560    14.5 |  0.000 % |
26.72	c |     17103 | 5247204 15534940 | 4990295   17103   261223    15.3 |  0.000 % |
37.67	c |     25753 | 5247204 15534940 | 5489324   25753   385465    15.0 |  0.000 % |
55.03	c |     38727 | 5247204 15534940 | 6038257   38727   588584    15.2 |  0.000 % |
78.04	c |     58188 | 5247204 15534940 | 6642082   58188   882708    15.2 |  0.000 % |
126.15	c |     87380 | 5247204 15534940 | 7306291   87380  1407287    16.1 |  0.000 % |
215.34	c |    131169 | 5247204 15534940 | 8036920  131169  2168692    16.5 |  0.000 % |
384.53	c |    196855 | 5247204 15534940 | 8840612  196855  3417724    17.4 |  0.000 % |
691.55	c |    295382 | 5247204 15534940 | 9724673  295382  5175886    17.5 |  0.000 % |
1301.94	c |    443172 | 5247204 15534940 | 10697140  443172  8289427    18.7 |  0.000 % |
1815.77	
1815.77	s UNKNOWN
1815.77	c # INTERRUPTED
1815.77	c # MAIN  END :  (1816 seconds) [Mon Jan 29 23:09:35 2007]
1815.77	c # MAIN  CPU : 5.65 = 0.06 + 0.01 + 5.19 + 0.39
1815.77

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/node41/watcher-233548-1170106759 -o ROOT/results/node41/solver-233548-1170106759 -C 1800 -M 900 /tmp/evaluation/233548-1170106759/solver /tmp/evaluation/233548-1170106759 /tmp/evaluation/233548-1170106759/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.00 2.17 2.45 5/75 19004
/proc/meminfo: memFree=1160080/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=18540 CPUtime=0
/proc/19003/stat : 19003 (runsolver) R 19001 19003 18938 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30631867 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19003/statm: 4635 279 244 17 0 2626 0

[startup+0.110835 s]
/proc/loadavg: 2.00 2.17 2.45 5/75 19004
/proc/meminfo: memFree=1160080/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=13724 CPUtime=0.03
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 1112 0 0 0 3 0 0 0 21 0 1 0 30631867 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.522867 s]
/proc/loadavg: 2.00 2.17 2.45 5/75 19004
/proc/meminfo: memFree=1160080/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=13724 CPUtime=0.03
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30631867 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.35194 s]
/proc/loadavg: 2.00 2.17 2.45 4/84 19020
/proc/meminfo: memFree=1139976/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=13724 CPUtime=0.03
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30631867 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 3431 808 370 3 0 531 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19013] ppid=19003 vsize=807332 CPUtime=0.52
/proc/19013/stat : 19013 (java) R 19003 19003 18938 0 -1 0 6646 0 1 0 47 5 0 0 22 0 8 0 30631949 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 201833 6396 1506 14 0 189111 0
[pid=19013/tid=19014] ppid=19003 vsize=807332 CPUtime=0.02
/proc/19013/task/19014/stat : 19014 (java) S 19003 19003 18938 0 -1 64 489 0 0 0 2 0 0 0 16 0 8 0 30631952 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19015] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19015/stat : 19015 (java) S 19003 19003 18938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30631953 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19003 19003 18938 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30631953 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19017] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19003 19003 18938 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30631956 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19018] ppid=19003 vsize=807332 CPUtime=0.11
/proc/19013/task/19018/stat : 19018 (java) R 19003 19003 18938 0 -1 64 373 0 0 0 11 0 0 0 16 0 8 0 30631956 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153418036 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19019] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19019/stat : 19019 (java) S 19003 19003 18938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30631956 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19003 19003 18938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30631956 826707968 6396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821056

[startup+2.98908 s]
/proc/loadavg: 2.00 2.17 2.44 3/84 19020
/proc/meminfo: memFree=1122760/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=13724 CPUtime=0.03
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30631867 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 3431 808 370 3 0 531 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19013] ppid=19003 vsize=807332 CPUtime=2.15
/proc/19013/stat : 19013 (java) R 19003 19003 18938 0 -1 0 8145 0 1 0 201 14 0 0 25 0 8 0 30631949 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 201833 7892 1510 14 0 189111 0
[pid=19013/tid=19014] ppid=19003 vsize=807332 CPUtime=0.1
/proc/19013/task/19014/stat : 19014 (java) S 19003 19003 18938 0 -1 64 1913 0 0 0 9 1 0 0 16 0 8 0 30631952 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19015] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19015/stat : 19015 (java) S 19003 19003 18938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30631953 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19003 19003 18938 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30631953 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19017] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19003 19003 18938 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19018] ppid=19003 vsize=807332 CPUtime=0.18
/proc/19013/task/19018/stat : 19018 (java) S 19003 19003 18938 0 -1 64 420 0 0 0 17 1 0 0 16 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19019] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19019/stat : 19019 (java) S 19003 19003 18938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19003 19003 18938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821056

[startup+6.28037 s]
/proc/loadavg: 2.00 2.17 2.44 3/84 19020
/proc/meminfo: memFree=1062728/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=13724 CPUtime=0.03
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30631867 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 3431 808 370 3 0 531 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19013] ppid=19003 vsize=807332 CPUtime=5.38
/proc/19013/stat : 19013 (java) R 19003 19003 18938 0 -1 0 8145 0 1 0 501 37 0 0 25 0 8 0 30631949 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152049402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 201833 7892 1510 14 0 189111 0
[pid=19013/tid=19014] ppid=19003 vsize=807332 CPUtime=0.1
/proc/19013/task/19014/stat : 19014 (java) S 19003 19003 18938 0 -1 64 1913 0 0 0 9 1 0 0 16 0 8 0 30631952 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19015] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19015/stat : 19015 (java) S 19003 19003 18938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30631953 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19003 19003 18938 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30631953 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19017] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19003 19003 18938 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19018] ppid=19003 vsize=807332 CPUtime=0.18
/proc/19013/task/19018/stat : 19018 (java) S 19003 19003 18938 0 -1 64 420 0 0 0 17 1 0 0 16 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19019] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19019/stat : 19019 (java) S 19003 19003 18938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19003 vsize=807332 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19003 19003 18938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30631956 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 821056

[startup+12.7679 s]
/proc/loadavg: 2.00 2.16 2.44 3/77 19021
/proc/meminfo: memFree=834816/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 15 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=240644 CPUtime=6.11
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 60262 0 0 0 567 44 0 0 25 0 1 0 30632525 246419456 59207 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 60161 59207 52 112 0 60045 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 257960

[startup+25.6181 s]
/proc/loadavg: 2.00 2.16 2.43 3/77 19021
/proc/meminfo: memFree=831104/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=244368 CPUtime=18.84
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 61213 0 0 0 1840 44 0 0 25 0 1 0 30632525 250232832 60158 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 61092 60158 52 112 0 60976 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 261684

[startup+51.3183 s]
/proc/loadavg: 2.00 2.14 2.42 3/77 19021
/proc/meminfo: memFree=828864/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=246692 CPUtime=44.25
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 61789 0 0 0 4381 44 0 0 25 0 1 0 30632525 252612608 60734 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528267 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 61673 60734 52 112 0 61557 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 264008

[startup+102.605 s]
/proc/loadavg: 2.05 2.13 2.40 3/77 19021
/proc/meminfo: memFree=825344/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=250344 CPUtime=95.06
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 62682 0 0 0 9460 46 0 0 25 0 1 0 30632525 256352256 61627 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 62586 61627 52 112 0 62470 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 267660

[startup+162.629 s]
/proc/loadavg: 2.02 2.11 2.37 3/77 19021
/proc/meminfo: memFree=821760/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=254096 CPUtime=154.54
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 63589 0 0 0 15407 47 0 0 25 0 1 0 30632525 260194304 62534 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 63524 62534 52 112 0 63408 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 271412

[startup+222.653 s]
/proc/loadavg: 2.00 2.08 2.35 3/77 19021
/proc/meminfo: memFree=818688/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68

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

Current children cumulated CPU time (s) 1231.52
Current children cumulated vsize (KiB) 308520

[startup+1303.08 s]
/proc/loadavg: 2.00 2.00 2.09 3/83 19047
/proc/meminfo: memFree=781040/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=293168 CPUtime=1284.56
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 73212 0 0 0 128396 60 0 0 25 0 1 0 30632525 300204032 72157 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 73292 72157 52 112 0 73176 0
Current children cumulated CPU time (s) 1290.96
Current children cumulated vsize (KiB) 310484

[startup+1363.12 s]
/proc/loadavg: 2.16 2.03 2.09 3/83 19171
/proc/meminfo: memFree=779328/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=294640 CPUtime=1343.9
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 73578 0 0 0 134329 61 0 0 25 0 1 0 30632525 301711360 72523 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 73660 72523 52 112 0 73544 0
Current children cumulated CPU time (s) 1350.3
Current children cumulated vsize (KiB) 311956

[startup+1423.16 s]
/proc/loadavg: 2.06 2.03 2.09 3/77 19219
/proc/meminfo: memFree=779072/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=296904 CPUtime=1403.32
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 73916 0 0 0 140270 62 0 0 25 0 1 0 30632525 304029696 72861 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 74226 72861 52 112 0 74110 0
Current children cumulated CPU time (s) 1409.72
Current children cumulated vsize (KiB) 314220

[startup+1483.18 s]
/proc/loadavg: 2.09 2.04 2.08 3/77 19219
/proc/meminfo: memFree=777728/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=298264 CPUtime=1462.8
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 74252 0 0 0 146217 63 0 0 25 0 1 0 30632525 305422336 73197 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528354 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 74566 73197 52 112 0 74450 0
Current children cumulated CPU time (s) 1469.2
Current children cumulated vsize (KiB) 315580

[startup+1543.2 s]
/proc/loadavg: 2.03 2.03 2.08 3/77 19219
/proc/meminfo: memFree=776320/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=299488 CPUtime=1522.27
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 74579 0 0 0 152164 63 0 0 25 0 1 0 30632525 306675712 73524 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19021/statm: 74872 73524 52 112 0 74756 0
Current children cumulated CPU time (s) 1528.67
Current children cumulated vsize (KiB) 316804

[startup+1603.22 s]
/proc/loadavg: 2.06 2.03 2.08 2/78 19220
/proc/meminfo: memFree=1304056/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=300696 CPUtime=1581.74
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 74881 0 0 0 158110 64 0 0 25 0 1 0 30632525 307912704 73826 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19021/statm: 75174 73826 52 112 0 75058 0
Current children cumulated CPU time (s) 1588.14
Current children cumulated vsize (KiB) 318012

[startup+1663.3 s]
/proc/loadavg: 2.54 2.16 2.12 3/83 19292
/proc/meminfo: memFree=226840/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=302152 CPUtime=1641.67
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 75228 0 0 0 164080 87 0 0 25 0 1 0 30632525 309403648 74173 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528368 0 0 4096 3 0 0 0 17 0 0 0
/proc/19021/statm: 75538 74173 52 112 0 75422 0
Current children cumulated CPU time (s) 1648.07
Current children cumulated vsize (KiB) 319468

[startup+1723.35 s]
/proc/loadavg: 4.01 2.64 2.28 3/84 19309
/proc/meminfo: memFree=15440/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=303448 CPUtime=1701.52
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 75574 0 0 0 170035 117 0 0 25 0 1 0 30632525 310730752 74519 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134524987 0 0 4096 3 0 0 0 17 0 0 0
/proc/19021/statm: 75862 74519 52 112 0 75746 0
Current children cumulated CPU time (s) 1707.92
Current children cumulated vsize (KiB) 320764

[startup+1783.36 s]
/proc/loadavg: 4.64 3.06 2.45 3/83 19327
/proc/meminfo: memFree=16344/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=304740 CPUtime=1761.37
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 75893 0 0 0 175985 152 0 0 25 0 1 0 30632525 312053760 74838 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19021/statm: 76185 74838 52 112 0 76069 0
Current children cumulated CPU time (s) 1767.77
Current children cumulated vsize (KiB) 322056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.76 s]
/proc/loadavg: 4.64 3.22 2.52 3/84 19338
/proc/meminfo: memFree=16336/2055920 swapFree=4192812/4192956
[pid=19003] ppid=19001 vsize=17316 CPUtime=5.68
/proc/19003/stat : 19003 (sugar) S 19001 19003 18938 0 -1 4194304 2183 8161 0 1 9 1 519 39 16 0 1 0 30631867 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19003/statm: 4329 1693 373 3 0 1429 0
[pid=19005] ppid=19003 vsize=0 CPUtime=0.72
/proc/19005/stat : 19005 (java) Z 19003 19003 18938 0 -1 1036 7682 0 1 0 67 5 0 0 17 0 1 0 30631873 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19005/statm: 0 0 0 0 0 0 0
[pid=19021] ppid=19003 vsize=305836 CPUtime=1793.68
/proc/19021/stat : 19021 (minisat) R 19003 19003 18938 0 -1 0 76123 0 0 0 179202 166 0 0 25 0 1 0 30632525 313176064 75068 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19021/statm: 76459 75068 52 112 0 76343 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 323152

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

Sending SIGKILL to process tree (bottom up)

Child ended because it received signal 9 (SIGKILL)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19003 and gives childrusage.ru_utime.tv_sec=5 childrusage.ru_utime.tv_usec=288196 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=420936
CPU time returned by wait4() is 5.70913
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): 1818.34
CPU time (s): 1800.13
CPU user time (s): 1797.97
CPU system time (s): 2.16
CPU usage (%): 98.9986
Max. virtual memory (cumulated for all children) (KiB): 821056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2882
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10367
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= 824
involuntary context switches= 866

runsolver used 2.12968 s user time and 5.99809 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Jan 29 21:39:19 UTC 2007


IDJOB= 233548
IDBENCH= 6615
IDSOLVER= 86
FILE ID= node41/233548-1170106759

PBS_JOBID= 3689894

Free space on /tmp= 66371 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-3.xml
COMMAND LINE= /tmp/evaluation/233548-1170106759/solver /tmp/evaluation/233548-1170106759 /tmp/evaluation/233548-1170106759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-233548-1170106759 -o ROOT/results/node41/solver-233548-1170106759 -C 1800 -M 900  /tmp/evaluation/233548-1170106759/solver /tmp/evaluation/233548-1170106759 /tmp/evaluation/233548-1170106759/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  70c6e1071e2d8fc4bc31e6131cae8760

RANDOM SEED= 941227714

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.231
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.231
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:       1160496 kB
Buffers:         40240 kB
Cached:         241144 kB
SwapCached:          0 kB
Active:         787804 kB
Inactive:        48668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1160496 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1444 kB
Writeback:           0 kB
Mapped:         566040 kB
Slab:            42928 kB
Committed_AS:   774028 kB
PageTables:       3052 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= 61790 MiB



End job on node41 on Mon Jan 29 22:09:40 UTC 2007