Trace number 229729

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.11 1806.59

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-17_ext.xml
MD5SUMa7601e82091219e49d4adaa8eed103b6
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark408.058
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints461
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension461
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/229729-1170106158/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/229729-1170106158/unknown.xml [Mon Jan 29 22:29:18 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/229729-1170106158/unknown.xml /tmp/evaluation/229729-1170106158/sugar24502.csp [Mon Jan 29 22:29:18 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229729-1170106158/sugar-v0-40.jar -convert /tmp/evaluation/229729-1170106158/unknown.xml /tmp/evaluation/229729-1170106158/sugar24502.csp
0.20	c BEGIN convert /tmp/evaluation/229729-1170106158/unknown.xml
0.90	c END convert (0.700838 seconds)
0.94	c # CONVERT_XML  END : /tmp/evaluation/229729-1170106158/sugar24502.csp 2164084 bytes (1 seconds) [Mon Jan 29 22:29:19 2007]
0.94	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.94	
0.94	c # GENERATE_SAT  BEGIN : /tmp/evaluation/229729-1170106158/sugar24502.bcnf [Mon Jan 29 22:29:19 2007]
0.94	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229729-1170106158/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229729-1170106158/sugar24502.map /tmp/evaluation/229729-1170106158/sugar24502.csp /tmp/evaluation/229729-1170106158/sugar24502.bcnf
1.06	c BEGIN parse /tmp/evaluation/229729-1170106158/sugar24502.csp
33.35	c END parse (32.289635 seconds)
33.35	c BEGIN simplify
33.49	c END simplify (0.137437 seconds)
33.49	c BEGIN encode /tmp/evaluation/229729-1170106158/sugar24502.bcnf
34.53	c END encode (1.04047 seconds)
34.65	c # GENERATE_SAT  END : 8254 variables 81143 clauses 9712700 bytes (33 seconds) [Mon Jan 29 22:29:52 2007]
34.65	c # GENERATE_SAT  CPU : 33.61 = 0.06 + 0 + 33.13 + 0.42
34.65	
34.65	c # SOLVE_SAT  BEGIN : /tmp/evaluation/229729-1170106158/sugar24502.bcnf [Mon Jan 29 22:29:52 2007]
34.65	c # CMD : /tmp/evaluation/229729-1170106158/minisat /tmp/evaluation/229729-1170106158/sugar24502.bcnf /tmp/evaluation/229729-1170106158/sugar24502.out
34.88	c ==================================[MINISAT]===================================
34.88	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
34.88	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
34.88	c ==============================================================================
34.88	c |         0 |   81143  2347022 |   27047       0        0     nan |  0.000 % |
34.92	c |       100 |   81143  2347022 |   29751     100     3883    38.8 |  0.000 % |
35.00	c |       251 |   81143  2347022 |   32726     251     7157    28.5 |  0.000 % |
35.14	c |       477 |   81143  2347022 |   35999     477    11788    24.7 |  0.000 % |
35.31	c |       814 |   81143  2347022 |   39599     814    22396    27.5 |  0.000 % |
35.56	c |      1322 |   81143  2347022 |   43559    1322    30389    23.0 |  0.000 % |
35.92	c |      2081 |   81143  2347022 |   47915    2081    43817    21.1 |  0.000 % |
36.48	c |      3221 |   81144  2347022 |   52706    3220    59372    18.4 |  0.000 % |
37.32	c |      4929 |   81144  2347022 |   57977    4928    90092    18.3 |  0.000 % |
38.62	c |      7491 |   81145  2347022 |   63775    7489   133904    17.9 |  0.000 % |
40.95	c |     11337 |   81145  2347022 |   70152   11335   199348    17.6 |  0.000 % |
44.62	c |     17103 |   81146  2347022 |   77168   17100   310365    18.1 |  0.000 % |
51.05	c |     25753 |   81149  2347022 |   84885   25747   498039    19.3 |  0.000 % |
61.96	c |     38727 |   81151  2347022 |   93373   38719   797700    20.6 |  0.000 % |
80.23	c |     58190 |   81152  2347022 |  102710   58181  1327282    22.8 |  0.000 % |
112.50	c |     87382 |   81152  2347022 |  112982   87373  2247852    25.7 |  0.000 % |
168.85	c |    131173 |   81153  2347022 |  124280   38278  1159814    30.3 |  0.000 % |
246.79	c |    196860 |   81165  2347022 |  136708  103953  3521761    33.9 |  0.000 % |
386.16	c |    295388 |   81173  2347022 |  150379   84189  3511911    41.7 |  0.000 % |
620.23	c |    443178 |   81179  2347022 |  165416   99971  3339042    33.4 |  0.000 % |
995.56	c |    664861 |   81189  2347022 |  181958   27155  1037444    38.2 |  0.000 % |
1574.92	c |    997388 |   81202  2347022 |  200154   35283  1268795    36.0 |  0.000 % |
1805.58	
1805.58	s UNKNOWN
1805.58	c # INTERRUPTED
1805.58	c # MAIN  END :  (1805 seconds) [Mon Jan 29 22:59:23 2007]
1805.58	c # MAIN  CPU : 33.61 = 0.06 + 0 + 33.13 + 0.42
1805.58

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/node21/watcher-229729-1170106158 -o ROOT/results/node21/solver-229729-1170106158 -C 1800 -M 900 /tmp/evaluation/229729-1170106158/solver /tmp/evaluation/229729-1170106158 /tmp/evaluation/229729-1170106158/unknown.xml 

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

/proc/loadavg: 1.96 2.16 2.66 5/88 24503
/proc/meminfo: memFree=1839424/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=12404 CPUtime=0
/proc/24502/stat : 24502 (sugar) R 24500 24502 24365 0 -1 4194304 695 0 0 0 0 0 0 0 20 0 1 0 30569694 12701696 414 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221249843497 0 0 4224 0 0 0 0 17 1 0 0
/proc/24502/statm: 3101 414 286 3 0 201 0

[startup+0.118761 s]
/proc/loadavg: 1.96 2.16 2.66 5/88 24503
/proc/meminfo: memFree=1839424/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30569694 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.526807 s]
/proc/loadavg: 1.96 2.16 2.66 5/88 24503
/proc/meminfo: memFree=1839424/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.3499 s]
/proc/loadavg: 1.96 2.16 2.65 4/97 24519
/proc/meminfo: memFree=1829624/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807064 CPUtime=0.39
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 6510 0 1 0 35 4 0 0 17 0 8 0 30569789 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073499398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24512/statm: 201766 6260 1494 14 0 189044 0
[pid=24512/tid=24513] ppid=24502 vsize=807064 CPUtime=0.02
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 457 0 0 0 2 0 0 0 16 0 8 0 30569792 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807064 CPUtime=0.05
/proc/24512/task/24517/stat : 24517 (java) R 24502 24502 24365 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788

[startup+3.00308 s]
/proc/loadavg: 1.96 2.16 2.65 3/97 24519
/proc/meminfo: memFree=1798840/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807064 CPUtime=2.02
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 13785 0 1 0 194 8 0 0 25 0 8 0 30569789 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073540065 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201766 13519 1494 14 0 189044 0
[pid=24512/tid=24513] ppid=24502 vsize=807064 CPUtime=0.54
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 7716 0 0 0 51 3 0 0 16 0 8 0 30569792 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807064 CPUtime=0.05
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826433536 13519 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) 820788

[startup+6.30244 s]
/proc/loadavg: 1.96 2.16 2.65 3/97 24519
/proc/meminfo: memFree=1720184/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807336 CPUtime=5.31
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 36392 0 1 0 513 18 0 0 25 0 8 0 30569789 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201834 36037 1506 14 0 189112 0
[pid=24512/tid=24513] ppid=24502 vsize=807336 CPUtime=1.53
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 30082 0 0 0 141 12 0 0 16 0 8 0 30569792 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807336 CPUtime=0.13
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 821060

[startup+12.7091 s]
/proc/loadavg: 1.97 2.16 2.64 4/97 24519
/proc/meminfo: memFree=1623800/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807588 CPUtime=11.71
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 54950 0 1 0 1144 27 0 0 25 0 8 0 30569789 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201897 54185 1507 14 0 189175 0
[pid=24512/tid=24513] ppid=24502 vsize=807588 CPUtime=3.95
/proc/24512/task/24513/stat : 24513 (java) R 24502 24502 24365 0 -1 64 48421 0 0 0 375 20 0 0 16 0 8 0 30569792 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134584 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807588 CPUtime=0.14
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 821312

[startup+25.5865 s]
/proc/loadavg: 1.97 2.15 2.64 3/97 24519
/proc/meminfo: memFree=1623736/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807336 CPUtime=24.59
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 55925 0 1 0 2427 32 0 0 25 0 8 0 30569789 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201834 54113 1507 14 0 189112 0
[pid=24512/tid=24513] ppid=24502 vsize=807336 CPUtime=9.07
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 48975 0 0 0 883 24 0 0 16 0 8 0 30569792 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807336 CPUtime=0.14
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 821060

[startup+51.2103 s]
/proc/loadavg: 2.03 2.15 2.62 3/90 24520
/proc/meminfo: memFree=1805616/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=16560 CPUtime=16.39
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 4807 0 0 0 1635 4 0 0 25 0 1 0 30573160 16957440 3768 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528549 0 0 4096 3 0 0 0 17 1 0 0
/proc/24520/statm: 4140 3768 52 112 0 4024 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 34200

[startup+102.49 s]
/proc/loadavg: 2.01 2.12 2.59 3/90 24520
/proc/meminfo: memFree=1796912/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0

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

/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 13732 0 0 0 120345 29 0 0 25 0 1 0 30573160 54022144 12685 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13189 12685 52 112 0 13073 0
Current children cumulated CPU time (s) 1238.19
Current children cumulated vsize (KiB) 70396

[startup+1303.1 s]
/proc/loadavg: 2.00 2.00 2.14 3/89 24766
/proc/meminfo: memFree=704312/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=54316 CPUtime=1263.71
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14134 0 0 0 126341 30 0 0 25 0 1 0 30573160 55619584 13087 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13579 13087 52 112 0 13463 0
Current children cumulated CPU time (s) 1298.16
Current children cumulated vsize (KiB) 71956

[startup+1363.11 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 24766
/proc/meminfo: memFree=701304/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=54592 CPUtime=1323.65
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14176 0 0 0 132335 30 0 0 25 0 1 0 30573160 55902208 13129 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13648 13129 52 112 0 13532 0
Current children cumulated CPU time (s) 1358.1
Current children cumulated vsize (KiB) 72232

[startup+1423.14 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 24766
/proc/meminfo: memFree=698360/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=54760 CPUtime=1383.62
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14211 0 0 0 138331 31 0 0 25 0 1 0 30573160 56074240 13164 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13690 13164 52 112 0 13574 0
Current children cumulated CPU time (s) 1418.07
Current children cumulated vsize (KiB) 72400

[startup+1483.17 s]
/proc/loadavg: 2.07 2.02 2.11 3/89 24766
/proc/meminfo: memFree=695224/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=55080 CPUtime=1443.6
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14289 0 0 0 144329 31 0 0 25 0 1 0 30573160 56401920 13242 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13770 13242 52 112 0 13654 0
Current children cumulated CPU time (s) 1478.05
Current children cumulated vsize (KiB) 72720

[startup+1543.19 s]
/proc/loadavg: 2.02 2.01 2.10 3/89 24766
/proc/meminfo: memFree=691960/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=56128 CPUtime=1503.54
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14576 0 0 0 150323 31 0 0 25 0 1 0 30573160 57475072 13529 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14032 13529 52 112 0 13916 0
Current children cumulated CPU time (s) 1537.99
Current children cumulated vsize (KiB) 73768

[startup+1603.21 s]
/proc/loadavg: 2.01 2.00 2.09 3/89 24766
/proc/meminfo: memFree=687992/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57448 CPUtime=1563.5
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14886 0 0 0 156318 32 0 0 25 0 1 0 30573160 58826752 13839 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14362 13839 52 112 0 14246 0
Current children cumulated CPU time (s) 1597.95
Current children cumulated vsize (KiB) 75088

[startup+1663.23 s]
/proc/loadavg: 2.00 2.00 2.08 4/89 24766
/proc/meminfo: memFree=685176/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57448 CPUtime=1623.47
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14903 0 0 0 162315 32 0 0 25 0 1 0 30573160 58826752 13856 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528302 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14362 13856 52 112 0 14246 0
Current children cumulated CPU time (s) 1657.92
Current children cumulated vsize (KiB) 75088

[startup+1723.25 s]
/proc/loadavg: 2.00 2.00 2.08 3/89 24766
/proc/meminfo: memFree=681720/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57648 CPUtime=1683.42
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14931 0 0 0 168309 33 0 0 25 0 1 0 30573160 59031552 13884 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14412 13884 52 112 0 14296 0
Current children cumulated CPU time (s) 1717.87
Current children cumulated vsize (KiB) 75288

[startup+1783.27 s]
/proc/loadavg: 2.00 2.00 2.07 3/89 24766
/proc/meminfo: memFree=679224/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57792 CPUtime=1743.38
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14980 0 0 0 174305 33 0 0 25 0 1 0 30573160 59179008 13933 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525599 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14448 13933 52 112 0 14332 0
Current children cumulated CPU time (s) 1777.83
Current children cumulated vsize (KiB) 75432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.57 s]
/proc/loadavg: 2.00 2.00 2.07 3/89 24766
/proc/meminfo: memFree=678008/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57932 CPUtime=1765.64
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14994 0 0 0 176531 33 0 0 25 0 1 0 30573160 59322368 13947 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527084 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14483 13947 52 112 0 14367 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 75572

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24502 and gives childrusage.ru_utime.tv_sec=33 childrusage.ru_utime.tv_usec=231947 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=448931
CPU time returned by wait4() is 33.6809
while last known CPU time is 1800.11

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

Real time (s): 1806.59
CPU time (s): 1800.11
CPU user time (s): 1799.28
CPU system time (s): 0.83
CPU usage (%): 99.6412
Max. virtual memory (cumulated for all children) (KiB): 821564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2319
system time used= 0.448931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60660
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= 8049
involuntary context switches= 7570

runsolver used 2.10068 s user time and 5.8861 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Jan 29 21:29:18 UTC 2007


IDJOB= 229729
IDBENCH= 6352
IDSOLVER= 86
FILE ID= node21/229729-1170106158

PBS_JOBID= 3689853

Free space on /tmp= 66562 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-17_ext.xml
COMMAND LINE= /tmp/evaluation/229729-1170106158/solver /tmp/evaluation/229729-1170106158 /tmp/evaluation/229729-1170106158/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-229729-1170106158 -o ROOT/results/node21/solver-229729-1170106158 -C 1800 -M 900  /tmp/evaluation/229729-1170106158/solver /tmp/evaluation/229729-1170106158 /tmp/evaluation/229729-1170106158/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  a7601e82091219e49d4adaa8eed103b6

RANDOM SEED= 672397547

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.245
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.245
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:       1839904 kB
Buffers:         35836 kB
Cached:          65212 kB
SwapCached:          0 kB
Active:         111544 kB
Inactive:        56384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1292 kB
Writeback:           0 kB
Mapped:          86660 kB
Slab:            33096 kB
Committed_AS:   484872 kB
PageTables:       2036 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= 66302 MiB



End job on node21 on Mon Jan 29 21:59:24 UTC 2007