Trace number 202565

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.03 1811.67

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-43_ext.xml
MD5SUM1c931fd7bef7b7ee3f8102667307a153
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark90.6512
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints340
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension340
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/202565-1170095694/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/202565-1170095694/unknown.xml [Mon Jan 29 19:34:54 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/202565-1170095694/unknown.xml /tmp/evaluation/202565-1170095694/sugar24101.csp [Mon Jan 29 19:34:54 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202565-1170095694/sugar-v0-40.jar -convert /tmp/evaluation/202565-1170095694/unknown.xml /tmp/evaluation/202565-1170095694/sugar24101.csp
0.25	c BEGIN convert /tmp/evaluation/202565-1170095694/unknown.xml
0.76	c END convert (0.515269 seconds)
0.78	c # CONVERT_XML  END : /tmp/evaluation/202565-1170095694/sugar24101.csp 1101811 bytes (1 seconds) [Mon Jan 29 19:34:55 2007]
0.78	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.78	
0.78	c # GENERATE_SAT  BEGIN : /tmp/evaluation/202565-1170095694/sugar24101.bcnf [Mon Jan 29 19:34:55 2007]
0.78	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202565-1170095694/sugar-v0-40.jar -bcnf -map /tmp/evaluation/202565-1170095694/sugar24101.map /tmp/evaluation/202565-1170095694/sugar24101.csp /tmp/evaluation/202565-1170095694/sugar24101.bcnf
0.90	c BEGIN parse /tmp/evaluation/202565-1170095694/sugar24101.csp
12.63	c END parse (11.727973 seconds)
12.63	c BEGIN simplify
12.69	c END simplify (0.062637 seconds)
12.69	c BEGIN encode /tmp/evaluation/202565-1170095694/sugar24101.bcnf
13.25	c END encode (0.560416 seconds)
13.33	c # GENERATE_SAT  END : 4868 variables 42660 clauses 3945552 bytes (13 seconds) [Mon Jan 29 19:35:08 2007]
13.33	c # GENERATE_SAT  CPU : 12.4 = 0.04 + 0.01 + 12.01 + 0.34
13.33	
13.33	c # SOLVE_SAT  BEGIN : /tmp/evaluation/202565-1170095694/sugar24101.bcnf [Mon Jan 29 19:35:08 2007]
13.33	c # CMD : /tmp/evaluation/202565-1170095694/minisat /tmp/evaluation/202565-1170095694/sugar24101.bcnf /tmp/evaluation/202565-1170095694/sugar24101.out
13.43	c ==================================[MINISAT]===================================
13.43	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
13.43	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
13.43	c ==============================================================================
13.43	c |         0 |   42660   943722 |   14220       0        0     nan |  0.000 % |
13.46	c |       101 |   42660   943722 |   15642     101     1989    19.7 |  0.000 % |
13.49	c |       251 |   42661   943722 |   17206     250     3659    14.6 |  0.000 % |
13.54	c |       476 |   42661   943722 |   18926     475     6259    13.2 |  0.000 % |
13.61	c |       816 |   42661   943722 |   20819     815    10004    12.3 |  0.000 % |
13.74	c |      1323 |   42661   943722 |   22901    1322    15920    12.0 |  0.000 % |
13.93	c |      2082 |   42661   943722 |   25191    2081    26435    12.7 |  0.000 % |
14.20	c |      3221 |   42662   943722 |   27710    3219    40674    12.6 |  0.000 % |
14.61	c |      4930 |   42662   943722 |   30481    4928    63510    12.9 |  0.000 % |
15.34	c |      7492 |   42663   943722 |   33530    7489    97373    13.0 |  0.000 % |
16.40	c |     11336 |   42668   943722 |   36883   11328   152338    13.4 |  0.000 % |
18.43	c |     17102 |   42674   943722 |   40571   17088   236853    13.9 |  0.000 % |
22.00	c |     25751 |   42677   943722 |   44628   25734   378339    14.7 |  0.000 % |
28.54	c |     38726 |   42683   943722 |   49091   38703   701363    18.1 |  0.000 % |
39.61	c |     58187 |   42690   943722 |   54000   22645   492592    21.8 |  0.000 % |
56.82	c |     87379 |   42693   943722 |   59400   51834  1125475    21.7 |  0.000 % |
86.56	c |    131168 |   42697   943722 |   65340   52112  1229194    23.6 |  0.000 % |
134.38	c |    196852 |   42708   943722 |   71874   16136   334706    20.7 |  0.000 % |
206.18	c |    295379 |   42720   943722 |   79062   59217  1652985    27.9 |  0.000 % |
327.91	c |    443169 |   42737   943722 |   86968   26233   620386    23.6 |  0.000 % |
494.97	c |    664852 |   42655   943416 |   95665   29169   669798    23.0 |  0.021 % |
754.13	c |    997377 |   42700   943416 |  105231   54922  1827280    33.3 |  0.021 % |
1198.08	c |   1496166 |   42749   943416 |  115754   37875  1065063    28.1 |  0.021 % |
1810.66	
1810.66	s UNKNOWN
1810.66	c # INTERRUPTED
1810.66	c # MAIN  END :  (1811 seconds) [Mon Jan 29 20:05:05 2007]
1810.66	c # MAIN  CPU : 12.4 = 0.04 + 0.01 + 12.01 + 0.34
1810.66

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/node7/watcher-202565-1170095694 -o ROOT/results/node7/solver-202565-1170095694 -C 1800 -M 900 /tmp/evaluation/202565-1170095694/solver /tmp/evaluation/202565-1170095694 /tmp/evaluation/202565-1170095694/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.02 2.02 2.13 5/87 24102
/proc/meminfo: memFree=1499456/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=12268 CPUtime=0
/proc/24101/stat : 24101 (sugar) R 24099 24101 23898 0 -1 4194304 596 0 0 0 0 0 0 0 20 0 1 0 29524155 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244690666080 0 0 4224 0 0 0 0 17 1 0 0
/proc/24101/statm: 3067 315 241 3 0 167 0

[startup+0.106329 s]
/proc/loadavg: 2.02 2.02 2.13 5/87 24102
/proc/meminfo: memFree=1499456/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=13724 CPUtime=0.03
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29524155 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.514375 s]
/proc/loadavg: 2.02 2.02 2.13 5/87 24102
/proc/meminfo: memFree=1499456/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=13724 CPUtime=0.03
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29524155 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33746 s]
/proc/loadavg: 2.02 2.02 2.13 4/96 24118
/proc/meminfo: memFree=1477112/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=13724 CPUtime=0.03
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29524155 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 3431 808 370 3 0 531 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24111] ppid=24101 vsize=807064 CPUtime=0.54
/proc/24111/stat : 24111 (java) R 24101 24101 23898 0 -1 0 7337 0 1 0 49 5 0 0 22 0 8 0 29524233 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24111/statm: 201766 7085 1494 14 0 189044 0
[pid=24111/tid=24112] ppid=24101 vsize=807064 CPUtime=0.07
/proc/24111/task/24112/stat : 24112 (java) R 24101 24101 23898 0 -1 64 1283 0 0 0 7 0 0 0 16 0 8 0 29524236 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24113] ppid=24101 vsize=807064 CPUtime=0
/proc/24111/task/24113/stat : 24113 (java) S 24101 24101 23898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29524237 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24114] ppid=24101 vsize=807064 CPUtime=0
/proc/24111/task/24114/stat : 24114 (java) S 24101 24101 23898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29524237 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24115] ppid=24101 vsize=807064 CPUtime=0
/proc/24111/task/24115/stat : 24115 (java) S 24101 24101 23898 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29524240 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24116] ppid=24101 vsize=807064 CPUtime=0.04
/proc/24111/task/24116/stat : 24116 (java) S 24101 24101 23898 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 29524240 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24117] ppid=24101 vsize=807064 CPUtime=0
/proc/24111/task/24117/stat : 24117 (java) S 24101 24101 23898 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29524240 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24118] ppid=24101 vsize=807064 CPUtime=0
/proc/24111/task/24118/stat : 24118 (java) S 24101 24101 23898 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29524240 826433536 7085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 820788

[startup+2.99065 s]
/proc/loadavg: 2.02 2.02 2.13 5/96 24118
/proc/meminfo: memFree=1458360/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=13724 CPUtime=0.03
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29524155 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 3431 808 370 3 0 531 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24111] ppid=24101 vsize=807336 CPUtime=2.17
/proc/24111/stat : 24111 (java) R 24101 24101 23898 0 -1 0 13002 0 1 0 209 8 0 0 25 0 8 0 29524233 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24111/statm: 201834 12733 1506 14 0 189112 0
[pid=24111/tid=24112] ppid=24101 vsize=807336 CPUtime=0.48
/proc/24111/task/24112/stat : 24112 (java) R 24101 24101 23898 0 -1 64 6785 0 0 0 45 3 0 0 16 0 8 0 29524236 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24113] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24113/stat : 24113 (java) S 24101 24101 23898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29524237 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24114] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24114/stat : 24114 (java) S 24101 24101 23898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29524237 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24115] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24115/stat : 24115 (java) S 24101 24101 23898 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29524240 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24116] ppid=24101 vsize=807336 CPUtime=0.13
/proc/24111/task/24116/stat : 24116 (java) S 24101 24101 23898 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 29524240 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24117] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24117/stat : 24117 (java) S 24101 24101 23898 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29524240 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24118] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24118/stat : 24118 (java) S 24101 24101 23898 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29524240 826712064 12733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 821060

[startup+6.20497 s]
/proc/loadavg: 2.01 2.02 2.13 3/96 24118
/proc/meminfo: memFree=1381304/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=13724 CPUtime=0.03
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29524155 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 3431 808 370 3 0 531 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24111] ppid=24101 vsize=807336 CPUtime=5.34
/proc/24111/stat : 24111 (java) R 24101 24101 23898 0 -1 0 34367 0 1 0 516 18 0 0 25 0 8 0 29524233 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24111/statm: 201834 34003 1506 14 0 189112 0
[pid=24111/tid=24112] ppid=24101 vsize=807336 CPUtime=1.47
/proc/24111/task/24112/stat : 24112 (java) S 24101 24101 23898 0 -1 64 28052 0 0 0 134 13 0 0 16 0 8 0 29524236 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24113] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24113/stat : 24113 (java) S 24101 24101 23898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29524237 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24114] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24114/stat : 24114 (java) S 24101 24101 23898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29524237 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24115] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24115/stat : 24115 (java) S 24101 24101 23898 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29524240 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24116] ppid=24101 vsize=807336 CPUtime=0.14
/proc/24111/task/24116/stat : 24116 (java) S 24101 24101 23898 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 29524240 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24117] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24117/stat : 24117 (java) S 24101 24101 23898 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29524240 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24118] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24118/stat : 24118 (java) S 24101 24101 23898 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29524240 826712064 34003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 821060

[startup+12.6947 s]
/proc/loadavg: 2.01 2.02 2.13 3/96 24118
/proc/meminfo: memFree=1284408/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=13724 CPUtime=0.03
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29524155 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 3431 808 370 3 0 531 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24111] ppid=24101 vsize=807336 CPUtime=11.76
/proc/24111/stat : 24111 (java) R 24101 24101 23898 0 -1 0 54853 0 2 0 1146 30 0 0 25 0 8 0 29524233 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24111/statm: 201834 54109 1507 14 0 189112 0
[pid=24111/tid=24112] ppid=24101 vsize=807336 CPUtime=3.36
/proc/24111/task/24112/stat : 24112 (java) S 24101 24101 23898 0 -1 64 48376 0 1 0 312 24 0 0 16 0 8 0 29524236 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24113] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24113/stat : 24113 (java) S 24101 24101 23898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29524237 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24114] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24114/stat : 24114 (java) S 24101 24101 23898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29524237 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24115] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24115/stat : 24115 (java) S 24101 24101 23898 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29524240 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24116] ppid=24101 vsize=807336 CPUtime=0.14
/proc/24111/task/24116/stat : 24116 (java) S 24101 24101 23898 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 29524240 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24117] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24117/stat : 24117 (java) S 24101 24101 23898 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29524240 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24111/tid=24118] ppid=24101 vsize=807336 CPUtime=0
/proc/24111/task/24118/stat : 24118 (java) S 24101 24101 23898 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29524240 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 821060

[startup+25.538 s]
/proc/loadavg: 2.01 2.01 2.13 3/89 24119
/proc/meminfo: memFree=1479664/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=10288 CPUtime=12.07
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 3188 0 0 0 1205 2 0 0 25 0 1 0 29525489 10534912 2209 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/24119/statm: 2572 2209 52 112 0 2456 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 26468

[startup+51.2377 s]
/proc/loadavg: 2.00 2.01 2.12 3/89 24121
/proc/meminfo: memFree=1474864/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=12604 CPUtime=37.53
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 3747 0 0 0 3749 4 0 0 25 0 1 0 29525489 12906496 2768 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525028 0 0 4096 3 0 0 0 17 1 0 0
/proc/24119/statm: 3151 2768 52 112 0 3035 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 28784

[startup+102.523 s]
/proc/loadavg: 2.06 2.02 2.12 3/89 24121
/proc/meminfo: memFree=1467952/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=15888 CPUtime=88.36
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 4560 0 0 0 8830 6 0 0 25 0 1 0 29525489 16269312 3581 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24119/statm: 3972 3581 52 112 0 3856 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 32068

[startup+162.552 s]
/proc/loadavg: 2.02 2.02 2.11 3/89 24121
/proc/meminfo: memFree=1463088/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0

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

/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8418 0 0 0 122217 18 0 0 25 0 1 0 29525489 32485376 7439 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 7931 7439 52 112 0 7815 0
Current children cumulated CPU time (s) 1235.42
Current children cumulated vsize (KiB) 47904

[startup+1302.83 s]
/proc/loadavg: 2.04 2.01 2.01 3/89 24258
/proc/meminfo: memFree=1757488/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=31900 CPUtime=1282.01
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8465 0 0 0 128182 19 0 0 25 0 1 0 29525489 32665600 7486 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 7975 7486 52 112 0 7859 0
Current children cumulated CPU time (s) 1295.08
Current children cumulated vsize (KiB) 48080

[startup+1362.84 s]
/proc/loadavg: 2.07 2.02 2.01 3/89 24258
/proc/meminfo: memFree=1757168/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32116 CPUtime=1341.7
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8491 0 0 0 134151 19 0 0 25 0 1 0 29525489 32886784 7512 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8029 7512 52 112 0 7913 0
Current children cumulated CPU time (s) 1354.77
Current children cumulated vsize (KiB) 48296

[startup+1422.84 s]
/proc/loadavg: 2.02 2.02 2.01 3/89 24258
/proc/meminfo: memFree=1757104/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32116 CPUtime=1401.39
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8491 0 0 0 140120 19 0 0 25 0 1 0 29525489 32886784 7512 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8029 7512 52 112 0 7913 0
Current children cumulated CPU time (s) 1414.46
Current children cumulated vsize (KiB) 48296

[startup+1482.84 s]
/proc/loadavg: 2.06 2.03 2.01 3/89 24258
/proc/meminfo: memFree=1756528/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32116 CPUtime=1461.04
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8491 0 0 0 146085 19 0 0 25 0 1 0 29525489 32886784 7512 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528368 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8029 7512 52 112 0 7913 0
Current children cumulated CPU time (s) 1474.11
Current children cumulated vsize (KiB) 48296

[startup+1542.85 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 24258
/proc/meminfo: memFree=1756208/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32280 CPUtime=1520.72
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8550 0 0 0 152053 19 0 0 25 0 1 0 29525489 33054720 7571 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8070 7571 52 112 0 7954 0
Current children cumulated CPU time (s) 1533.79
Current children cumulated vsize (KiB) 48460

[startup+1602.87 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 24364
/proc/meminfo: memFree=1754304/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32416 CPUtime=1580.37
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8560 0 0 0 158010 27 0 0 25 0 1 0 29525489 33193984 7581 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8104 7581 52 112 0 7988 0
Current children cumulated CPU time (s) 1593.44
Current children cumulated vsize (KiB) 48596

[startup+1662.89 s]
/proc/loadavg: 2.07 2.03 2.00 3/89 24456
/proc/meminfo: memFree=1754864/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32416 CPUtime=1640
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8581 0 0 0 163961 39 0 0 25 0 1 0 29525489 33193984 7602 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8104 7602 52 112 0 7988 0
Current children cumulated CPU time (s) 1653.07
Current children cumulated vsize (KiB) 48596

[startup+1722.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 24456
/proc/meminfo: memFree=1754672/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32904 CPUtime=1699.68
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8672 0 0 0 169929 39 0 0 25 0 1 0 29525489 33693696 7693 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8226 7693 52 112 0 8110 0
Current children cumulated CPU time (s) 1712.75
Current children cumulated vsize (KiB) 49084

[startup+1782.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 24456
/proc/meminfo: memFree=1751728/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32904 CPUtime=1759.36
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8672 0 0 0 175897 39 0 0 25 0 1 0 29525489 33693696 7693 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528002 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8226 7693 52 112 0 8110 0
Current children cumulated CPU time (s) 1772.43
Current children cumulated vsize (KiB) 49084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.66 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 24456
/proc/meminfo: memFree=1749232/2055920 swapFree=4192812/4192956
[pid=24101] ppid=24099 vsize=16180 CPUtime=12.43
/proc/24101/stat : 24101 (sugar) S 24099 24101 23898 0 -1 4194304 1896 54891 0 2 7 1 1201 34 16 0 1 0 29524155 16568320 1404 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24101/statm: 4045 1404 373 3 0 1145 0
[pid=24103] ppid=24101 vsize=0 CPUtime=0.64
/proc/24103/stat : 24103 (java) Z 24101 24101 23898 0 -1 1036 7508 0 1 0 57 7 0 0 18 0 1 0 29524160 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
[pid=24119] ppid=24101 vsize=32904 CPUtime=1786.95
/proc/24119/stat : 24119 (minisat) R 24101 24101 23898 0 -1 0 8697 0 0 0 178656 39 0 0 25 0 1 0 29525489 33693696 7718 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528461 0 0 4096 3 0 0 0 17 0 0 0
/proc/24119/statm: 8226 7718 52 112 0 8110 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49084

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24101 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=89162 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=361944
CPU time returned by wait4() is 12.4511
while last known CPU time is 1800.03

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

Real time (s): 1811.67
CPU time (s): 1800.03
CPU user time (s): 1799.21
CPU system time (s): 0.82
CPU usage (%): 99.3573
Max. virtual memory (cumulated for all children) (KiB): 821312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0892
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56871
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2873
involuntary context switches= 3104

runsolver used 2.36364 s user time and 5.66814 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan 29 18:34:54 UTC 2007


IDJOB= 202565
IDBENCH= 3865
IDSOLVER= 86
FILE ID= node7/202565-1170095694

PBS_JOBID= 3689435

Free space on /tmp= 66488 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
COMMAND LINE= /tmp/evaluation/202565-1170095694/solver /tmp/evaluation/202565-1170095694 /tmp/evaluation/202565-1170095694/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-202565-1170095694 -o ROOT/results/node7/solver-202565-1170095694 -C 1800 -M 900  /tmp/evaluation/202565-1170095694/solver /tmp/evaluation/202565-1170095694 /tmp/evaluation/202565-1170095694/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  1c931fd7bef7b7ee3f8102667307a153

RANDOM SEED= 902042117

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.232
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.232
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:       1499936 kB
Buffers:         34700 kB
Cached:         114560 kB
SwapCached:          0 kB
Active:         473044 kB
Inactive:        36544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1499936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             992 kB
Writeback:           0 kB
Mapped:         380044 kB
Slab:            30680 kB
Committed_AS:   554928 kB
PageTables:       2780 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= 66548 MiB



End job on node7 on Mon Jan 29 19:05:06 UTC 2007