Trace number 238578

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.01 1818.52

General information on the benchmark

NameblackHole/BH-4-7/
BlackHole-4-7-h-7_ext.xml
MD5SUMcfdbf0bf28850a1803f64cc72d52db68
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension1262
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.12	c # Sugar v0-40 (/tmp/evaluation/238578-1170108631/sugar-v0-40.jar)
0.12	
0.13	c # MAIN  BEGIN : /tmp/evaluation/238578-1170108631/unknown.xml [Mon Jan 29 23:10:32 2007]
0.13	c # CONVERT_XML  BEGIN : /tmp/evaluation/238578-1170108631/unknown.xml /tmp/evaluation/238578-1170108631/sugar26868.csp [Mon Jan 29 23:10:32 2007]
0.13	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238578-1170108631/sugar-v0-40.jar -convert /tmp/evaluation/238578-1170108631/unknown.xml /tmp/evaluation/238578-1170108631/sugar26868.csp
0.37	c BEGIN convert /tmp/evaluation/238578-1170108631/unknown.xml
0.92	c END convert (0.545583 seconds)
0.95	c # CONVERT_XML  END : /tmp/evaluation/238578-1170108631/sugar26868.csp 1865619 bytes (1 seconds) [Mon Jan 29 23:10:33 2007]
0.95	c # CONVERT_XML  CPU : 0.65 = 0 + 0 + 0.6 + 0.05
0.95	
0.95	c # GENERATE_SAT  BEGIN : /tmp/evaluation/238578-1170108631/sugar26868.bcnf [Mon Jan 29 23:10:33 2007]
0.95	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238578-1170108631/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238578-1170108631/sugar26868.map /tmp/evaluation/238578-1170108631/sugar26868.csp /tmp/evaluation/238578-1170108631/sugar26868.bcnf
1.06	c BEGIN parse /tmp/evaluation/238578-1170108631/sugar26868.csp
108.72	c END parse (107.657387 seconds)
108.72	c BEGIN simplify
109.12	c END simplify (0.402735 seconds)
109.12	c BEGIN encode /tmp/evaluation/238578-1170108631/sugar26868.bcnf
111.56	c END encode (2.435997 seconds)
111.78	c # GENERATE_SAT  END : 18424 variables 91071 clauses 26422124 bytes (110 seconds) [Mon Jan 29 23:12:23 2007]
111.78	c # GENERATE_SAT  CPU : 110.56 = 0.14 + 0.01 + 109.37 + 1.04
111.78	
111.78	c # SOLVE_SAT  BEGIN : /tmp/evaluation/238578-1170108631/sugar26868.bcnf [Mon Jan 29 23:12:23 2007]
111.78	c # CMD : /tmp/evaluation/238578-1170108631/minisat /tmp/evaluation/238578-1170108631/sugar26868.bcnf /tmp/evaluation/238578-1170108631/sugar26868.out
112.34	c ==================================[MINISAT]===================================
112.34	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
112.34	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
112.34	c ==============================================================================
112.34	c |         0 |   88578  6318494 |   29526       0        0     nan |  0.000 % |
112.41	c |       100 |   88586  6318494 |   32478      87      812     9.3 |  0.554 % |
112.47	c |       251 |   88591  6318494 |   35726     232     1962     8.5 |  0.564 % |
112.54	c |       476 |   88601  6318494 |   39299     447     4299     9.6 |  0.564 % |
112.61	c |       813 |   88624  6318494 |   43229     759     7256     9.6 |  0.765 % |
112.68	c |      1319 |   88652  6318494 |   47551    1236    12668    10.2 |  0.803 % |
112.78	c |      2078 |   88669  6318494 |   52307    1977    22725    11.5 |  0.874 % |
112.89	c |      3217 |   88676  6318494 |   57537    3109    53686    17.3 |  0.874 % |
113.07	c |      4926 |   88684  6318494 |   63291    4809    94450    19.6 |  0.890 % |
113.40	c |      7488 |   88685  6318494 |   69620    7370   230417    31.3 |  0.890 % |
113.93	c |     11332 |   88691  6318494 |   76582   11208   452638    40.4 |  0.890 % |
115.02	c |     17098 |   88697  6318494 |   84241   16968   788559    46.5 |  0.890 % |
116.74	c |     25747 |   88698  6318494 |   92665   25616  1371026    53.5 |  0.890 % |
120.48	c |     38722 |   88701  6318494 |  101931   38588  2599479    67.4 |  0.890 % |
128.53	c |     58185 |   88709  6318494 |  112124   58043  4519731    77.9 |  0.890 % |
143.62	c |     87377 |   87617  6305370 |  123337   87182  6125877    70.3 |  0.917 % |
170.75	c |    131166 |   87639  6305370 |  135671   23555  1091263    46.3 |  0.939 % |
201.01	c |    196851 |   86157  6297444 |  149238   89217  4678578    52.4 |  0.939 % |
254.62	c |    295377 |   85434  6295261 |  164162   57249  3833523    67.0 |  0.955 % |
367.11	c |    443166 |   84736  6293093 |  180578   63556  2623380    41.3 |  0.961 % |
549.91	c |    664851 |   84753  6293093 |  198636  128856  5645521    43.8 |  0.961 % |
824.57	c |    997376 |   84080  6290740 |  218499  107812  2983462    27.7 |  1.075 % |
1261.03	c |   1496166 |   67693  6221789 |  240349  214338  6610816    30.8 |  1.102 % |
1817.43	
1817.43	s UNKNOWN
1817.43	c # INTERRUPTED
1817.43	c # MAIN  END :  (1817 seconds) [Mon Jan 29 23:40:49 2007]
1817.43	c # MAIN  CPU : 111.22 = 0.15 + 0.01 + 109.97 + 1.09
1817.43

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node75/watcher-238578-1170108631 -o ROOT/results/node75/solver-238578-1170108631 -C 1800 -M 900 /tmp/evaluation/238578-1170108631/solver /tmp/evaluation/238578-1170108631 /tmp/evaluation/238578-1170108631/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.99 2.30 2.17 3/81 26869
/proc/meminfo: memFree=268096/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=5352 CPUtime=0
/proc/26868/stat : 26868 (solver) D 26866 26868 26212 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30829003 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 231882681639 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/26868/statm: 1338 231 193 169 0 49 0

[startup+0.101728 s]
/proc/loadavg: 1.99 2.30 2.17 3/81 26869
/proc/meminfo: memFree=268096/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=12668 CPUtime=0.01
/proc/26868/stat : 26868 (sugar) R 26866 26868 26212 0 -1 4194304 796 0 0 0 1 0 0 0 18 0 1 0 30829003 12972032 515 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231900519266 0 0 4224 0 0 0 0 17 1 0 0
/proc/26868/statm: 3167 515 316 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668

[startup+0.509776 s]
/proc/loadavg: 1.99 2.30 2.17 3/81 26869
/proc/meminfo: memFree=268096/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.03
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30829003 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33088 s]
/proc/loadavg: 1.99 2.29 2.17 3/89 26885
/proc/meminfo: memFree=252928/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807064 CPUtime=0.36
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 6521 0 1 0 33 3 0 0 17 0 8 0 30829099 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073482304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201766 6271 1494 14 0 189044 0
[pid=26878/tid=26879] ppid=26868 vsize=807064 CPUtime=0.02
/proc/26878/task/26879/stat : 26879 (java) S 26868 26868 26212 0 -1 64 469 0 0 0 2 0 0 0 16 0 8 0 30829102 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26880] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26880/stat : 26880 (java) S 26868 26868 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30829102 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26881] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26881/stat : 26881 (java) S 26868 26868 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30829102 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26882] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26882/stat : 26882 (java) S 26868 26868 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30829105 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26883] ppid=26868 vsize=807064 CPUtime=0.05
/proc/26878/task/26883/stat : 26883 (java) R 26868 26868 26212 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30829105 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26884] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26884/stat : 26884 (java) S 26868 26868 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30829105 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26885] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26885/stat : 26885 (java) S 26868 26868 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30829105 826433536 6271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 820788

[startup+2.97107 s]
/proc/loadavg: 1.99 2.29 2.17 3/89 26885
/proc/meminfo: memFree=216960/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807064 CPUtime=1.99
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 13857 0 1 0 193 6 0 0 25 0 8 0 30829099 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201766 13591 1494 14 0 189044 0
[pid=26878/tid=26879] ppid=26868 vsize=807064 CPUtime=0.5
/proc/26878/task/26879/stat : 26879 (java) S 26868 26868 26212 0 -1 64 7789 0 0 0 48 2 0 0 16 0 8 0 30829102 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26880] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26880/stat : 26880 (java) S 26868 26868 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30829102 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26881] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26881/stat : 26881 (java) S 26868 26868 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30829102 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26882] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26882/stat : 26882 (java) S 26868 26868 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30829105 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26883] ppid=26868 vsize=807064 CPUtime=0.05
/proc/26878/task/26883/stat : 26883 (java) S 26868 26868 26212 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30829105 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26884] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26884/stat : 26884 (java) S 26868 26868 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30829105 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26885] ppid=26868 vsize=807064 CPUtime=0
/proc/26878/task/26885/stat : 26885 (java) S 26868 26868 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30829105 826433536 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 820788

[startup+6.21646 s]
/proc/loadavg: 2.07 2.30 2.18 4/89 26885
/proc/meminfo: memFree=95296/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807340 CPUtime=5.2
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 42718 0 1 0 503 17 0 0 25 0 8 0 30829099 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201835 42323 1506 14 0 189113 0
[pid=26878/tid=26879] ppid=26868 vsize=807340 CPUtime=1.67
/proc/26878/task/26879/stat : 26879 (java) S 26868 26868 26212 0 -1 64 36367 0 0 0 154 13 0 0 16 0 8 0 30829102 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26880] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26880/stat : 26880 (java) S 26868 26868 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30829102 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26881] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26881/stat : 26881 (java) S 26868 26868 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30829102 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26882] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26882/stat : 26882 (java) S 26868 26868 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30829105 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26883] ppid=26868 vsize=807340 CPUtime=0.12
/proc/26878/task/26883/stat : 26883 (java) S 26868 26868 26212 0 -1 64 392 0 0 0 12 0 0 0 16 0 8 0 30829105 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26884] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26884/stat : 26884 (java) S 26868 26868 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30829105 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26885] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26885/stat : 26885 (java) S 26868 26868 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30829105 826716160 42323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 821064

[startup+12.6792 s]
/proc/loadavg: 2.07 2.30 2.17 4/89 26885
/proc/meminfo: memFree=16064/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807340 CPUtime=11.62
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 55103 0 1 0 1137 25 0 0 25 0 8 0 30829099 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201835 54119 1507 14 0 189113 0
[pid=26878/tid=26879] ppid=26868 vsize=807340 CPUtime=4.35
/proc/26878/task/26879/stat : 26879 (java) R 26868 26868 26212 0 -1 64 48479 0 0 0 415 20 0 0 15 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827382 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26880] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26880/stat : 26880 (java) S 26868 26868 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26881] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26881/stat : 26881 (java) S 26868 26868 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26882] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26882/stat : 26882 (java) S 26868 26868 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26883] ppid=26868 vsize=807340 CPUtime=0.14
/proc/26878/task/26883/stat : 26883 (java) S 26868 26868 26212 0 -1 64 398 0 0 0 14 0 0 0 16 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26884] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26884/stat : 26884 (java) S 26868 26868 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26885] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26885/stat : 26885 (java) S 26868 26868 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 821064

[startup+25.4937 s]
/proc/loadavg: 2.14 2.30 2.18 3/89 26885
/proc/meminfo: memFree=16128/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807340 CPUtime=24.43
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 56432 0 1 0 2409 34 0 0 25 0 8 0 30829099 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201835 54119 1507 14 0 189113 0
[pid=26878/tid=26879] ppid=26868 vsize=807340 CPUtime=9.77
/proc/26878/task/26879/stat : 26879 (java) R 26868 26868 26212 0 -1 64 49270 0 0 0 952 25 0 0 16 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26880] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26880/stat : 26880 (java) S 26868 26868 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26881] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26881/stat : 26881 (java) S 26868 26868 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26882] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26882/stat : 26882 (java) S 26868 26868 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26883] ppid=26868 vsize=807340 CPUtime=0.14
/proc/26878/task/26883/stat : 26883 (java) S 26868 26868 26212 0 -1 64 398 0 0 0 14 0 0 0 16 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26884] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26884/stat : 26884 (java) S 26868 26868 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26885] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26885/stat : 26885 (java) S 26868 26868 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 821064

[startup+51.1158 s]
/proc/loadavg: 2.49 2.37 2.20 4/89 26885
/proc/meminfo: memFree=15616/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807340 CPUtime=50.03
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 59145 0 1 0 4954 49 0 0 25 0 8 0 30829099 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201835 54119 1507 14 0 189113 0
[pid=26878/tid=26879] ppid=26868 vsize=807340 CPUtime=21
/proc/26878/task/26879/stat : 26879 (java) R 26868 26868 26212 0 -1 64 50964 0 0 0 2066 34 0 0 15 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155242140 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26880] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26880/stat : 26880 (java) S 26868 26868 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26881] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26881/stat : 26881 (java) S 26868 26868 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30829102 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26882] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26882/stat : 26882 (java) S 26868 26868 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26883] ppid=26868 vsize=807340 CPUtime=0.14
/proc/26878/task/26883/stat : 26883 (java) S 26868 26868 26212 0 -1 64 398 0 0 0 14 0 0 0 16 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26884] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26884/stat : 26884 (java) S 26868 26868 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26878/tid=26885] ppid=26868 vsize=807340 CPUtime=0
/proc/26878/task/26885/stat : 26885 (java) S 26868 26868 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30829105 826716160 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 821064

[startup+102.334 s]
/proc/loadavg: 2.44 2.38 2.21 3/89 26885
/proc/meminfo: memFree=15232/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=13724 CPUtime=0.68
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 1190 7338 0 1 3 0 60 5 15 0 1 0 30829003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26868/statm: 3431 809 371 3 0 531 0
[pid=26878] ppid=26868 vsize=807340 CPUtime=101.17
/proc/26878/stat : 26878 (java) R 26868 26868 26212 0 -1 0 96773 0 1 0 10035 82 0 0 25 0 8 0 30829099 826716160 86809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26878/statm: 201835 86809 1507 14 0 189113 0
[pid=26878/tid=26879] ppid=26868 vsize=807340 CPUtime=44.27

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

/proc/loadavg: 2.11 2.19 2.24 3/82 26886
/proc/meminfo: memFree=16248/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=79292 CPUtime=1001.07
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20304 0 0 0 99985 122 0 0 25 0 1 0 30840181 81195008 19265 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522573 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 19823 19265 52 112 0 19707 0
Current children cumulated CPU time (s) 1112.32
Current children cumulated vsize (KiB) 103092

[startup+1182.79 s]
/proc/loadavg: 2.10 2.17 2.23 3/82 26886
/proc/meminfo: memFree=15864/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=79468 CPUtime=1060.51
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20331 0 0 0 105923 128 0 0 25 0 1 0 30840181 81375232 19292 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 19867 19292 52 112 0 19751 0
Current children cumulated CPU time (s) 1171.76
Current children cumulated vsize (KiB) 103268

[startup+1242.81 s]
/proc/loadavg: 2.30 2.21 2.23 3/82 26886
/proc/meminfo: memFree=16312/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=79628 CPUtime=1119.92
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20368 0 0 0 111859 133 0 0 25 0 1 0 30840181 81539072 19329 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 19907 19329 52 112 0 19791 0
Current children cumulated CPU time (s) 1231.17
Current children cumulated vsize (KiB) 103428

[startup+1302.84 s]
/proc/loadavg: 2.18 2.19 2.22 3/82 26886
/proc/meminfo: memFree=16120/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=79772 CPUtime=1179.35
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20430 0 0 0 117795 140 0 0 25 0 1 0 30840181 81686528 19391 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522283 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 19943 19391 52 112 0 19827 0
Current children cumulated CPU time (s) 1290.6
Current children cumulated vsize (KiB) 103572

[startup+1362.89 s]
/proc/loadavg: 2.20 2.18 2.22 3/82 26952
/proc/meminfo: memFree=1589816/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=79984 CPUtime=1238.77
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20465 0 0 0 123725 152 0 0 25 0 1 0 30840181 81903616 19426 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26886/statm: 19996 19426 52 112 0 19880 0
Current children cumulated CPU time (s) 1350.02
Current children cumulated vsize (KiB) 103784

[startup+1422.95 s]
/proc/loadavg: 2.14 2.17 2.21 3/75 26955
/proc/meminfo: memFree=702832/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80304 CPUtime=1298.19
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20528 0 0 0 129659 160 0 0 25 0 1 0 30840181 82231296 19489 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20076 19489 52 112 0 19960 0
Current children cumulated CPU time (s) 1409.44
Current children cumulated vsize (KiB) 104104

[startup+1483.01 s]
/proc/loadavg: 2.93 2.35 2.26 3/83 27028
/proc/meminfo: memFree=1218304/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80468 CPUtime=1357.66
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20587 0 0 0 135594 172 0 0 25 0 1 0 30840181 82399232 19548 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20117 19548 52 112 0 20001 0
Current children cumulated CPU time (s) 1468.91
Current children cumulated vsize (KiB) 104268

[startup+1543.09 s]
/proc/loadavg: 4.27 2.84 2.43 3/83 27040
/proc/meminfo: memFree=182080/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80468 CPUtime=1417.09
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20587 0 0 0 141516 193 0 0 25 0 1 0 30840181 82399232 19548 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528105 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20117 19548 52 112 0 20001 0
Current children cumulated CPU time (s) 1528.34
Current children cumulated vsize (KiB) 104268

[startup+1603.09 s]
/proc/loadavg: 3.69 2.95 2.50 3/83 27042
/proc/meminfo: memFree=16000/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80468 CPUtime=1476.44
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20587 0 0 0 147435 209 0 0 25 0 1 0 30840181 82399232 19548 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20117 19548 52 112 0 20001 0
Current children cumulated CPU time (s) 1587.69
Current children cumulated vsize (KiB) 104268

[startup+1663.18 s]
/proc/loadavg: 2.81 2.85 2.49 3/83 27042
/proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80680 CPUtime=1535.98
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20632 0 0 0 153384 214 0 0 25 0 1 0 30840181 82616320 19593 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20170 19593 52 112 0 20054 0
Current children cumulated CPU time (s) 1647.23
Current children cumulated vsize (KiB) 104480

[startup+1723.27 s]
/proc/loadavg: 2.39 2.72 2.46 3/83 27042
/proc/meminfo: memFree=15360/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80844 CPUtime=1595.5
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20661 0 0 0 159331 219 0 0 25 0 1 0 30840181 82784256 19622 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20211 19622 52 112 0 20095 0
Current children cumulated CPU time (s) 1706.75
Current children cumulated vsize (KiB) 104644

[startup+1783.35 s]
/proc/loadavg: 2.19 2.60 2.44 3/83 27042
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=80844 CPUtime=1655
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20661 0 0 0 165276 224 0 0 25 0 1 0 30840181 82784256 19622 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20211 19622 52 112 0 20095 0
Current children cumulated CPU time (s) 1766.25
Current children cumulated vsize (KiB) 104644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.43 s]
/proc/loadavg: 2.16 2.55 2.43 3/83 27042
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=26868] ppid=26866 vsize=23800 CPUtime=111.25
/proc/26868/stat : 26868 (sugar) S 26866 26868 26212 0 -1 4194304 3690 111414 0 2 18 1 10997 109 16 0 1 0 30829003 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26868/statm: 5950 3170 373 3 0 3050 0
[pid=26886] ppid=26868 vsize=81060 CPUtime=1688.75
/proc/26886/stat : 26886 (minisat) R 26868 26868 26212 0 -1 0 20690 0 0 0 168647 228 0 0 25 0 1 0 30840181 83005440 19651 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527306 0 0 4096 3 0 0 0 17 0 0 0
/proc/26886/statm: 20265 19651 52 112 0 20149 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104860

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26868 and gives childrusage.ru_utime.tv_sec=110 childrusage.ru_utime.tv_usec=158253 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=123829
CPU time returned by wait4() is 111.282
while last known CPU time is 1800.01

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

Real time (s): 1818.52
CPU time (s): 1800.01
CPU user time (s): 1796.62
CPU system time (s): 3.39
CPU usage (%): 98.982
Max. virtual memory (cumulated for all children) (KiB): 822068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.158
system time used= 1.12383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115190
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= 28796
involuntary context switches= 28610

runsolver used 2.06669 s user time and 5.43817 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Mon Jan 29 22:10:32 UTC 2007


IDJOB= 238578
IDBENCH= 7009
IDSOLVER= 86
FILE ID= node75/238578-1170108631

PBS_JOBID= 3689893

Free space on /tmp= 62645 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-7_ext.xml
COMMAND LINE= /tmp/evaluation/238578-1170108631/solver /tmp/evaluation/238578-1170108631 /tmp/evaluation/238578-1170108631/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-238578-1170108631 -o ROOT/results/node75/solver-238578-1170108631 -C 1800 -M 900  /tmp/evaluation/238578-1170108631/solver /tmp/evaluation/238578-1170108631 /tmp/evaluation/238578-1170108631/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  cfdbf0bf28850a1803f64cc72d52db68

RANDOM SEED= 762673577

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        269280 kB
Buffers:          5816 kB
Cached:        1526360 kB
SwapCached:          0 kB
Active:         195072 kB
Inactive:      1507840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        269280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          762704 kB
Writeback:           0 kB
Mapped:         187548 kB
Slab:            68576 kB
Committed_AS:   647620 kB
PageTables:       2164 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= 63548 MiB



End job on node75 on Mon Jan 29 22:40:50 UTC 2007