Trace number 229881

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.05 1801.93

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-11_ext.xml
MD5SUM5196a80ce89877f30295c5678721b41d
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 benchmark222.955
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints472
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension472
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/229881-1170106276/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/229881-1170106276/unknown.xml [Mon Jan 29 22:31:17 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/229881-1170106276/unknown.xml /tmp/evaluation/229881-1170106276/sugar23213.csp [Mon Jan 29 22:31:17 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229881-1170106276/sugar-v0-40.jar -convert /tmp/evaluation/229881-1170106276/unknown.xml /tmp/evaluation/229881-1170106276/sugar23213.csp
0.18	c BEGIN convert /tmp/evaluation/229881-1170106276/unknown.xml
0.84	c END convert (0.661208 seconds)
0.87	c # CONVERT_XML  END : /tmp/evaluation/229881-1170106276/sugar23213.csp 2163540 bytes (1 seconds) [Mon Jan 29 22:31:18 2007]
0.87	c # CONVERT_XML  CPU : 0.01 = 0 + 0.01 + 0 + 0
0.87	
0.87	c # GENERATE_SAT  BEGIN : /tmp/evaluation/229881-1170106276/sugar23213.bcnf [Mon Jan 29 22:31:18 2007]
0.87	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229881-1170106276/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229881-1170106276/sugar23213.map /tmp/evaluation/229881-1170106276/sugar23213.csp /tmp/evaluation/229881-1170106276/sugar23213.bcnf
0.98	c BEGIN parse /tmp/evaluation/229881-1170106276/sugar23213.csp
34.42	c END parse (33.434336 seconds)
34.42	c BEGIN simplify
34.55	c END simplify (0.136895 seconds)
34.55	c BEGIN encode /tmp/evaluation/229881-1170106276/sugar23213.bcnf
35.62	c END encode (1.070992 seconds)
35.75	c # GENERATE_SAT  END : 7876 variables 80314 clauses 8952120 bytes (35 seconds) [Mon Jan 29 22:31:53 2007]
35.75	c # GENERATE_SAT  CPU : 34.81 = 0.05 + 0 + 34.3 + 0.46
35.75	
35.75	c # SOLVE_SAT  BEGIN : /tmp/evaluation/229881-1170106276/sugar23213.bcnf [Mon Jan 29 22:31:53 2007]
35.75	c # CMD : /tmp/evaluation/229881-1170106276/minisat /tmp/evaluation/229881-1170106276/sugar23213.bcnf /tmp/evaluation/229881-1170106276/sugar23213.out
35.96	c ==================================[MINISAT]===================================
35.96	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
35.96	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
35.96	c ==============================================================================
35.96	c |         0 |   80314  2157706 |   26771       0        0     nan |  0.000 % |
35.99	c |       100 |   80314  2157706 |   29448     100     4409    44.1 |  0.000 % |
36.06	c |       250 |   80314  2157706 |   32392     250     7076    28.3 |  0.000 % |
36.18	c |       477 |   80314  2157706 |   35632     477    11239    23.6 |  0.000 % |
36.32	c |       814 |   80315  2157706 |   39195     813    16951    20.8 |  0.000 % |
36.57	c |      1322 |   80315  2157706 |   43114    1321    25407    19.2 |  0.000 % |
36.93	c |      2081 |   80317  2157706 |   47426    2078    39826    19.2 |  0.000 % |
37.50	c |      3221 |   80318  2157706 |   52169    3217    61371    19.1 |  0.000 % |
38.42	c |      4930 |   80319  2157706 |   57386    4925   101784    20.7 |  0.000 % |
40.03	c |      7493 |   80320  2157706 |   63124    7487   149110    19.9 |  0.000 % |
42.37	c |     11337 |   80323  2157706 |   69437   11328   228988    20.2 |  0.000 % |
45.57	c |     17103 |   80324  2157706 |   76380   17093   355227    20.8 |  0.000 % |
52.19	c |     25752 |   80324  2157706 |   84018   25742   538363    20.9 |  0.000 % |
63.95	c |     38727 |   80324  2157706 |   92420   38717   829109    21.4 |  0.000 % |
85.15	c |     58189 |   80325  2157706 |  101662   58178  1476353    25.4 |  0.000 % |
125.07	c |     87381 |   80327  2157706 |  111829   87368  2334567    26.7 |  0.000 % |
185.84	c |    131170 |   80328  2157706 |  123012   38470  1212998    31.5 |  0.000 % |
284.52	c |    196856 |   80328  2157706 |  135313  104156  3230255    31.0 |  0.000 % |
440.39	c |    295384 |   80341  2157706 |  148844   86187  3426386    39.8 |  0.000 % |
682.70	c |    443174 |   80351  2157706 |  163729  103505  3361626    32.5 |  0.000 % |
1060.57	c |    664857 |   80357  2157706 |  180101   39900  1117225    28.0 |  0.000 % |
1647.59	c |    997382 |   80366  2157706 |  198112   57958  2023476    34.9 |  0.000 % |
1800.90	
1800.90	s UNKNOWN
1800.90	c # INTERRUPTED
1800.90	c # MAIN  END :  (1801 seconds) [Mon Jan 29 23:01:18 2007]
1800.90	c # MAIN  CPU : 34.83 = 0.06 + 0.01 + 34.3 + 0.46
1800.90

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/node66/watcher-229881-1170106276 -o ROOT/results/node66/solver-229881-1170106276 -C 1800 -M 900 /tmp/evaluation/229881-1170106276/solver /tmp/evaluation/229881-1170106276 /tmp/evaluation/229881-1170106276/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: 3.13 3.37 3.13 5/70 23214
/proc/meminfo: memFree=1919880/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=12268 CPUtime=0
/proc/23213/stat : 23213 (sugar) R 23206 23213 22670 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 30585265 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616537598 0 0 4224 0 0 0 0 17 1 0 0
/proc/23213/statm: 3067 315 241 3 0 167 0

[startup+0.107053 s]
/proc/loadavg: 3.13 3.37 3.13 5/70 23214
/proc/meminfo: memFree=1919880/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30585265 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.515132 s]
/proc/loadavg: 3.13 3.37 3.13 5/70 23214
/proc/meminfo: memFree=1919880/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30585265 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.3373 s]
/proc/loadavg: 3.13 3.37 3.13 2/77 23234
/proc/meminfo: memFree=1906064/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30585265 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 809 371 3 0 531 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23227] ppid=23213 vsize=807064 CPUtime=0.45
/proc/23227/stat : 23227 (java) R 23213 23213 22670 0 -1 0 7315 0 1 0 40 5 0 0 17 0 8 0 30585352 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23227/statm: 201766 7064 1494 14 0 189044 0
[pid=23227/tid=23228] ppid=23213 vsize=807064 CPUtime=0.05
/proc/23227/task/23228/stat : 23228 (java) S 23213 23213 22670 0 -1 64 1263 0 0 0 5 0 0 0 16 0 8 0 30585355 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23229] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23229/stat : 23229 (java) S 23213 23213 22670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30585356 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23230] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23230/stat : 23230 (java) S 23213 23213 22670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30585356 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23231] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23231/stat : 23231 (java) S 23213 23213 22670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30585359 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23232] ppid=23213 vsize=807064 CPUtime=0.05
/proc/23227/task/23232/stat : 23232 (java) S 23213 23213 22670 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30585359 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23233] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23233/stat : 23233 (java) S 23213 23213 22670 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30585359 826433536 7064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23234] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23234/stat : 23234 (java) S 23213 23213 22670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30585359 826433536 7064 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) 820788

[startup+2.99063 s]
/proc/loadavg: 3.13 3.37 3.13 3/90 23277
/proc/meminfo: memFree=1868264/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30585265 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 809 371 3 0 531 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23227] ppid=23213 vsize=807064 CPUtime=2.1
/proc/23227/stat : 23227 (java) R 23213 23213 22670 0 -1 0 13817 0 1 0 202 8 0 0 17 0 8 0 30585352 826433536 13550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23227/statm: 201766 13551 1494 14 0 189044 0
[pid=23227/tid=23228] ppid=23213 vsize=807064 CPUtime=0.56
/proc/23227/task/23228/stat : 23228 (java) R 23213 23213 22670 0 -1 64 7750 0 0 0 54 2 0 0 16 0 8 0 30585355 826433536 13551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23229] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23229/stat : 23229 (java) S 23213 23213 22670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30585356 826433536 13552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23230] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23230/stat : 23230 (java) S 23213 23213 22670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30585356 826433536 13552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23231] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23231/stat : 23231 (java) S 23213 23213 22670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30585359 826433536 13553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23232] ppid=23213 vsize=807064 CPUtime=0.05
/proc/23227/task/23232/stat : 23232 (java) S 23213 23213 22670 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30585359 826433536 13554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23233] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23233/stat : 23233 (java) S 23213 23213 22670 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30585359 826433536 13554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23234] ppid=23213 vsize=807064 CPUtime=0
/proc/23227/task/23234/stat : 23234 (java) S 23213 23213 22670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30585359 826433536 13555 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) 820788

[startup+6.2863 s]
/proc/loadavg: 3.04 3.35 3.12 4/90 23285
/proc/meminfo: memFree=1746280/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30585265 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 809 371 3 0 531 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23227] ppid=23213 vsize=807328 CPUtime=5.4
/proc/23227/stat : 23227 (java) R 23213 23213 22670 0 -1 0 31511 0 1 0 523 17 0 0 25 0 8 0 30585352 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23227/statm: 201832 31165 1506 14 0 189110 0
[pid=23227/tid=23228] ppid=23213 vsize=807328 CPUtime=1.43
/proc/23227/task/23228/stat : 23228 (java) R 23213 23213 22670 0 -1 64 25213 0 0 0 133 10 0 0 15 0 8 0 30585355 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827385 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23229] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23229/stat : 23229 (java) S 23213 23213 22670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30585356 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23230] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23230/stat : 23230 (java) S 23213 23213 22670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30585356 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23231] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23231/stat : 23231 (java) S 23213 23213 22670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30585359 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23232] ppid=23213 vsize=807328 CPUtime=0.13
/proc/23227/task/23232/stat : 23232 (java) S 23213 23213 22670 0 -1 64 400 0 0 0 12 1 0 0 16 0 8 0 30585359 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23233] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23233/stat : 23233 (java) S 23213 23213 22670 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30585359 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23234] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23234/stat : 23234 (java) S 23213 23213 22670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30585359 826703872 31165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 821052

[startup+12.7256 s]
/proc/loadavg: 3.04 3.34 3.12 3/90 23285
/proc/meminfo: memFree=1489648/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30585265 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 809 371 3 0 531 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23227] ppid=23213 vsize=807328 CPUtime=11.83
/proc/23227/stat : 23227 (java) R 23213 23213 22670 0 -1 0 54822 0 1 0 1152 31 0 0 25 0 8 0 30585352 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23227/statm: 201832 54113 1507 14 0 189110 0
[pid=23227/tid=23228] ppid=23213 vsize=807328 CPUtime=3.68
/proc/23227/task/23228/stat : 23228 (java) S 23213 23213 22670 0 -1 64 48341 0 0 0 345 23 0 0 16 0 8 0 30585355 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23229] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23229/stat : 23229 (java) S 23213 23213 22670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30585356 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23230] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23230/stat : 23230 (java) S 23213 23213 22670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30585356 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23231] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23231/stat : 23231 (java) S 23213 23213 22670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23232] ppid=23213 vsize=807328 CPUtime=0.14
/proc/23227/task/23232/stat : 23232 (java) S 23213 23213 22670 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23233] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23233/stat : 23233 (java) S 23213 23213 22670 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23234] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23234/stat : 23234 (java) S 23213 23213 22670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 821052

[startup+25.5398 s]
/proc/loadavg: 2.96 3.31 3.11 4/90 23285
/proc/meminfo: memFree=1489712/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=13724 CPUtime=0.04
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30585265 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23213/statm: 3431 809 371 3 0 531 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23227] ppid=23213 vsize=807328 CPUtime=24.64
/proc/23227/stat : 23227 (java) R 23213 23213 22670 0 -1 0 55839 0 1 0 2428 36 0 0 25 0 8 0 30585352 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23227/statm: 201832 54113 1507 14 0 189110 0
[pid=23227/tid=23228] ppid=23213 vsize=807328 CPUtime=8.47
/proc/23227/task/23228/stat : 23228 (java) S 23213 23213 22670 0 -1 64 49011 0 0 0 821 26 0 0 16 0 8 0 30585355 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23229] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23229/stat : 23229 (java) S 23213 23213 22670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30585356 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23230] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23230/stat : 23230 (java) S 23213 23213 22670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30585356 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23231] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23231/stat : 23231 (java) S 23213 23213 22670 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23232] ppid=23213 vsize=807328 CPUtime=0.14
/proc/23227/task/23232/stat : 23232 (java) S 23213 23213 22670 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23227/tid=23233] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23233/stat : 23233 (java) S 23213 23213 22670 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30585359 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23227/tid=23234] ppid=23213 vsize=807328 CPUtime=0
/proc/23227/task/23234/stat : 23234 (java) S 23213 23213 22670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30585359 826703872 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.44
Current children cumulated vsize (KiB) 821052

[startup+51.2293 s]
/proc/loadavg: 2.75 3.23 3.09 3/76 23287
/proc/meminfo: memFree=1861856/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=15624 CPUtime=15.46
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 4602 0 0 0 1542 4 0 0 25 0 1 0 30588840 15998976 3562 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 3906 3562 52 112 0 3790 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33000

[startup+102.496 s]
/proc/loadavg: 2.32 3.04 3.03 3/76 23287
/proc/meminfo: memFree=1848096/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0

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

/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 11621 0 0 0 120742 16 0 0 25 0 1 0 30588840 45260800 10565 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 11050 10565 52 112 0 10934 0
Current children cumulated CPU time (s) 1243.2
Current children cumulated vsize (KiB) 61576

[startup+1303.87 s]
/proc/loadavg: 2.00 2.01 2.25 3/76 23289
/proc/meminfo: memFree=1806752/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=45772 CPUtime=1267.66
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12010 0 0 0 126749 17 0 0 25 0 1 0 30588840 46870528 10954 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 11443 10954 52 112 0 11327 0
Current children cumulated CPU time (s) 1303.28
Current children cumulated vsize (KiB) 63148

[startup+1363.97 s]
/proc/loadavg: 2.06 2.02 2.24 3/76 23289
/proc/meminfo: memFree=1802656/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=46988 CPUtime=1327.72
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12322 0 0 0 132755 17 0 0 25 0 1 0 30588840 48115712 11266 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528442 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 11747 11266 52 112 0 11631 0
Current children cumulated CPU time (s) 1363.34
Current children cumulated vsize (KiB) 64364

[startup+1424.06 s]
/proc/loadavg: 2.02 2.02 2.23 3/76 23289
/proc/meminfo: memFree=1802464/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=47288 CPUtime=1387.79
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12358 0 0 0 138762 17 0 0 25 0 1 0 30588840 48422912 11302 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 11822 11302 52 112 0 11706 0
Current children cumulated CPU time (s) 1423.41
Current children cumulated vsize (KiB) 64664

[startup+1484.16 s]
/proc/loadavg: 2.01 2.01 2.21 3/76 23289
/proc/meminfo: memFree=1802272/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=47288 CPUtime=1447.88
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12362 0 0 0 144770 18 0 0 25 0 1 0 30588840 48422912 11306 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528762 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 11822 11306 52 112 0 11706 0
Current children cumulated CPU time (s) 1483.5
Current children cumulated vsize (KiB) 64664

[startup+1544.16 s]
/proc/loadavg: 2.00 2.01 2.19 3/76 23289
/proc/meminfo: memFree=1801952/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=47452 CPUtime=1507.86
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12419 0 0 0 150768 18 0 0 25 0 1 0 30588840 48590848 11363 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 11863 11363 52 112 0 11747 0
Current children cumulated CPU time (s) 1543.48
Current children cumulated vsize (KiB) 64828

[startup+1604.26 s]
/proc/loadavg: 2.07 2.02 2.18 3/76 23289
/proc/meminfo: memFree=1797856/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=49116 CPUtime=1567.93
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12840 0 0 0 156775 18 0 0 25 0 1 0 30588840 50294784 11784 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 12279 11784 52 112 0 12163 0
Current children cumulated CPU time (s) 1603.55
Current children cumulated vsize (KiB) 66492

[startup+1664.35 s]
/proc/loadavg: 2.02 2.01 2.17 3/76 23289
/proc/meminfo: memFree=1796640/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=49116 CPUtime=1628
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12840 0 0 0 162782 18 0 0 25 0 1 0 30588840 50294784 11784 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 12279 11784 52 112 0 12163 0
Current children cumulated CPU time (s) 1663.62
Current children cumulated vsize (KiB) 66492

[startup+1724.45 s]
/proc/loadavg: 2.01 2.00 2.16 3/76 23289
/proc/meminfo: memFree=1796320/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=49392 CPUtime=1688.07
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12892 0 0 0 168789 18 0 0 25 0 1 0 30588840 50577408 11836 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 12348 11836 52 112 0 12232 0
Current children cumulated CPU time (s) 1723.69
Current children cumulated vsize (KiB) 66768

[startup+1784.55 s]
/proc/loadavg: 2.00 2.00 2.14 4/81 23297
/proc/meminfo: memFree=1794352/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=49696 CPUtime=1748.13
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12951 0 0 0 174794 19 0 0 25 0 1 0 30588840 50888704 11895 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 12424 11895 52 112 0 12308 0
Current children cumulated CPU time (s) 1783.75
Current children cumulated vsize (KiB) 67072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.14 3/82 23365
/proc/meminfo: memFree=1794280/2055920 swapFree=4192812/4192956
[pid=23213] ppid=23206 vsize=17376 CPUtime=34.86
/proc/23213/stat : 23213 (sugar) S 23206 23213 22670 0 -1 4194304 2206 58098 0 1 9 1 3430 46 16 0 1 0 30585265 17793024 1718 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23213/statm: 4344 1718 373 3 0 1444 0
[pid=23215] ppid=23213 vsize=0 CPUtime=0.76
/proc/23215/stat : 23215 (java) Z 23213 23213 22670 0 -1 1036 7928 0 1 0 70 6 0 0 16 0 1 0 30585270 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23215/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23213 vsize=49696 CPUtime=1764.42
/proc/23287/stat : 23287 (minisat) R 23213 23213 22670 0 -1 0 12952 0 0 0 176423 19 0 0 25 0 1 0 30588840 50888704 11896 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23287/statm: 12424 11896 52 112 0 12308 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 67072

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23213 and gives childrusage.ru_utime.tv_sec=34 childrusage.ru_utime.tv_usec=398770 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=489925
CPU time returned by wait4() is 34.8887
while last known CPU time is 1800.05

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

Real time (s): 1801.93
CPU time (s): 1800.05
CPU user time (s): 1799.32
CPU system time (s): 0.73
CPU usage (%): 99.8956
Max. virtual memory (cumulated for all children) (KiB): 821556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.3988
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60390
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= 7268
involuntary context switches= 7019

runsolver used 1.67274 s user time and 4.87026 s system time

The end

Launcher Data (download as text)

Begin job on node66 on Mon Jan 29 21:31:16 UTC 2007


IDJOB= 229881
IDBENCH= 6373
IDSOLVER= 86
FILE ID= node66/229881-1170106276

PBS_JOBID= 3689811

Free space on /tmp= 66553 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-11_ext.xml
COMMAND LINE= /tmp/evaluation/229881-1170106276/solver /tmp/evaluation/229881-1170106276 /tmp/evaluation/229881-1170106276/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-229881-1170106276 -o ROOT/results/node66/solver-229881-1170106276 -C 1800 -M 900  /tmp/evaluation/229881-1170106276/solver /tmp/evaluation/229881-1170106276 /tmp/evaluation/229881-1170106276/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  5196a80ce89877f30295c5678721b41d

RANDOM SEED= 972000346

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.259
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	: 5931.00
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.259
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:       1909448 kB
Buffers:         21344 kB
Cached:          55224 kB
SwapCached:          0 kB
Active:          66128 kB
Inactive:        33800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1909448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1152 kB
Writeback:           0 kB
Mapped:          34124 kB
Slab:            31928 kB
Committed_AS:   234680 kB
PageTables:       1728 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= 66553 MiB



End job on node66 on Mon Jan 29 22:01:19 UTC 2007