Trace number 3369647

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.19 1203.36

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
MD5SUMfeb620c17f2a4d7899a2e7883baa7391
Bench CategoryAPPLICATION (applications instances)
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 variables1430
Number of clauses87044
Sum of the clauses size258924
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22369
Number of clauses of size 384652
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369647-1305390939.cnf'
0.00/0.01	c -- header says num vars:           1430
0.00/0.01	c -- header says num clauses:       87044
2.76/0.73	c -- clauses added:            0 learnts,        87044 normals,            0 xors
2.76/0.73	c -- vars added       1430
2.76/0.73	c Parsing time:  0.09 s
2.76/0.73	c  N st     0         0      1430     84675      2369         0    258924         0   no data   no data  --
2.76/0.73	c asymm  cl-useful: 0/13768/84675 lits-rem:0 time: 2.44
2.76/0.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  157 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.17
2.76/0.73	c Replacing      157 vars Replaced    39311 lits Time:     0.13 s 
2.76/0.79	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2.76/0.79	c subs with bin:     3582  lits-rem:         0  v-fix:    0  time:  0.04 s
2.76/0.79	c Subs w/ non-existent bins:   3429 l-rem:      0 v-fix:     0 done:   1273 time:  0.06 s
2.76/0.79	c Removed useless bin:       0  fixed:     0  props:   0.71M  time:  0.02 s
5.96/1.55	c lits-rem:         0  cl-subs:        0  v-elim:    393  v-fix:    0  time:  0.53 s
5.96/1.55	c Finding binary XORs  T:     0.00 s  found:       0
5.96/1.55	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
5.96/1.55	c calculated reachability. Time: 0.00
5.96/1.55	c Calc default polars -  time:   0.01 s pos:     446 undec:     578 neg:     406
5.96/1.55	c =========================================================================================
5.96/1.55	c types(t): F = full restart, N = normal restart
5.96/1.55	c types(t): S = simplification begin/end, E = solution found
5.96/1.55	c restart types(rt): st = static, dy = dynamic
5.96/1.55	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.96/1.55	c  B st     0         0       880     77204      2248         0    236526         0   no data   no data  --
5.96/1.55	c  N dy    16      4025       880     77204      2248      3906    236526    228246     12.12     13.20  --
7.15/1.85	c  N dy    36      9848       880     77204      2248      9512    236526    439399     12.00     12.64  --
8.75/2.25	c  N dy    44     13897       880     77204      2248     13315    236526    563351     11.63     13.23  --
10.35/2.64	c  N dy    63     17925       880     77204      2248     17296    236526    800578     11.83     13.67  --
12.33/3.11	c  N dy   100     22193       880     77204      2248     11868    236526    455360     12.87     13.63  --
13.53/3.40	c  F st   120     25000       880     77204      2248     14656    236526    639270     13.23   no data  --
14.34/3.61	c  N st   124     27031       880     77204      2248     16658    236526    784624     13.23   no data  --
15.57/3.91	c  S st   126     30001       880     77204      2248     19577    236526   1017273     13.23   no data  --
15.92/4.00	c  S st   126     30504       880     77204      2248     20079    236526   1040043     13.23   no data  --
15.92/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15.92/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.22
16.32/4.11	c bin-w-bin subsume rem            0 bins  time:  0.03 s
17.12/4.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.06 s
17.52/4.41	c Subs w/ non-existent bins:      0 l-rem:   2975 v-fix:     0 done:    655 time:  0.14 s
17.52/4.42	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
35.07/8.86	c lits-rem:        45  cl-subs:     1489  v-elim:      0  v-fix:    0  time: 17.72 s
36.27/9.18	c asymm  cl-useful: 0/3076/77204 lits-rem:0 time: 1.25
36.27/9.18	c calculated reachability. Time: 0.00
36.27/9.18	c  N dy   126     30504       880     77204      2248     18590    236526   1013843     13.23   no data  --
39.06/9.85	c  N dy   131     35209       880     77204      2248     23163    236526   1213158     12.98     13.68  --
42.25/10.65	c  N dy   133     39485       880     77204      2248     27163    236526   1286910     12.68     13.52  --
44.25/11.12	c  N dy   134     43515       880     77204      2248     16010    236526    527436     12.38     13.05  --
45.05/11.36	c  S st   149     45757       880     77204      2248     18214    236526    655111     12.51      8.70  --
45.45/11.42	c  S st   149     46259       880     77204      2248     18715    236526    681270     12.51   no data  --
45.45/11.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
45.45/11.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.45/11.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.18
45.88/11.51	c bin-w-bin subsume rem            0 bins  time:  0.02 s
46.28/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.52 s
46.28/11.66	c Subs w/ non-existent bins:      0 l-rem:   2091 v-fix:     0 done:    669 time:  0.10 s
46.28/11.67	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
64.59/16.29	c lits-rem:        70  cl-subs:      648  v-elim:      0  v-fix:    0  time: 18.42 s
64.99/16.30	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
64.99/16.32	c vivif2 --  cl tried    18067 cl shrink     1660 lits rem       8379 time: 0.07
66.19/16.62	c asymm  cl-useful: 0/3542/77204 lits-rem:0 time: 1.21
66.19/16.63	c calculated reachability. Time: 0.00
66.19/16.63	c  N dy   149     46259       880     77204      2248     18067    236526    660846     12.51   no data  --
68.98/17.31	c  N dy   164     52849       880     77204      2248     24518    236526   1040985     12.36     13.08  --
72.96/18.39	c  N dy   191     59299       880     77204      2248     30830    236526   1373800     12.42     13.14  --
75.76/19.03	c  N dy   195     64155       880     77204      2248     35568    236526   1597756     12.19     12.95  --
78.16/19.65	c  N dy   220     68674       880     77204      2248     21772    236526    826114     12.27     12.96  --
78.56/19.74	c  S st   225     69390       880     77204      2248     22486    236526    876637     12.32     12.01  --
78.95/19.81	c  S st   225     69892       880     77204      2248     22986    236526    904207     12.32   no data  --
78.95/19.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
78.95/19.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.95/19.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.23
79.35/19.92	c bin-w-bin subsume rem            0 bins  time:  0.03 s
80.15/20.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.76 s
80.15/20.13	c Subs w/ non-existent bins:      0 l-rem:   1573 v-fix:     0 done:    450 time:  0.09 s
80.15/20.14	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
92.11/23.12	c lits-rem:        11  cl-subs:      201  v-elim:      0  v-fix:    0  time: 11.89 s
92.11/23.13	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
92.11/23.15	c vivif2 --  cl tried    22785 cl shrink     1524 lits rem       8069 time: 0.09
93.32/23.46	c asymm  cl-useful: 0/3204/77204 lits-rem:0 time: 1.23
93.32/23.46	c calculated reachability. Time: 0.00
93.32/23.46	c  N dy   225     69892       880     77204      2248     22785    236526    891743     12.32   no data  --
95.71/24.04	c  N dy   243     74465       880     77204      2248     27286    236526   1143363     12.37     13.08  --
98.54/24.75	c  N dy   268     79254       880     77204      2248     31983    236526   1414557     12.43     15.70  --
102.92/25.89	c  F st   291     87500       880     77204      2248     40083    236526   1896208     12.33     12.58  --
102.92/25.90	c  N st   291     87500       880     77204      2248     40083    236526   1896208     12.33     12.58  --
106.48/26.70	c  N dy   299     93095       880     77204      2248     25157    236526    994822     12.34     13.11  --
110.06/27.69	c  N dy   338    100051       880     77204      2248     32048    236526   1458952     12.43     13.10  --
113.26/28.47	c  S st   346    104840       880     77204      2248     36692    236526   1660883     12.32      9.35  --
113.66/28.59	c  S st   346    105345       880     77204      2248     37196    236526   1682383     12.32   no data  --
114.06/28.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
114.06/28.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.06/28.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.33
114.46/28.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
116.09/29.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
116.09/29.20	c Subs w/ non-existent bins:      0 l-rem:   2356 v-fix:     0 done:    501 time:  0.16 s
116.49/29.21	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
148.36/37.27	c lits-rem:        27  cl-subs:      835  v-elim:      0  v-fix:    0  time: 32.12 s
148.36/37.28	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
148.76/37.33	c vivif2 --  cl tried    36361 cl shrink     4385 lits rem      25746 time: 0.20
149.96/37.62	c asymm  cl-useful: 0/2351/77204 lits-rem:0 time: 1.16
149.96/37.62	c calculated reachability. Time: 0.00
149.96/37.62	c  N dy   346    105345       880     77204      2248     36361    236526   1638333     12.32   no data  --
155.59/39.02	c  N dy   381    112137       880     77204      2248     43044    236526   2002752     12.38     17.50  --
159.53/40.09	c  N dy   401    119337       880     77204      2248     28074    236526   1014369     12.34     21.81  --
165.51/41.55	c  N dy   442    128672       880     77204      2248     37206    236526   1605952     12.42     13.09  --
171.90/43.15	c  N dy   499    136944       880     77204      2248     45388    236526   2134556     12.58     16.04  --
177.53/44.51	c  N dy   549    145772       880     77204      2248     30835    236526   1223570     12.70     17.43  --
183.86/46.17	c  N dy   569    155073       880     77204      2248     39863    236526   1640788     12.61     19.96  --
186.29/46.71	c  S st   582    158018       880     77204      2248     42772    236526   1833287     12.60      7.89  --
186.70/46.83	c  S st   582    158521       880     77204      2248     43274    236526   1857935     12.60   no data  --
186.70/46.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
186.70/46.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
187.04/46.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.5M T:  0.36
187.04/46.99	c bin-w-bin subsume rem            0 bins  time:  0.03 s
189.05/47.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.75 s
189.05/47.47	c Subs w/ non-existent bins:      0 l-rem:   2933 v-fix:     0 done:    430 time:  0.19 s
189.05/47.48	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
224.55/56.40	c lits-rem:        12  cl-subs:     1233  v-elim:      0  v-fix:    0  time: 35.54 s
224.95/56.40	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
224.95/56.46	c vivif2 --  cl tried    42041 cl shrink     5297 lits rem      39670 time: 0.24
226.19/56.75	c asymm  cl-useful: 0/2816/77204 lits-rem:0 time: 1.13
226.19/56.75	c calculated reachability. Time: 0.00
226.19/56.75	c  N dy   582    158521       880     77204      2248     42041    236526   1792546     12.60   no data  --
234.13/58.72	c  N dy   616    168663       880     77204      2248     27615    236526    963601     12.57     13.47  --
245.69/61.61	c  N dy   669    183335       880     77204      2248     41772    236526   1621601     12.58     13.32  --
254.87/63.99	c  N dy   675    195765       880     77204      2248     28320    236526    832580     12.43     13.12  --
263.25/66.06	c  N dy   736    208295       880     77204      2248     40594    236526   1542263     12.49     18.89  --
275.61/69.12	c  N dy   824    225016       880     77204      2248     30797    236526   1044120     12.63     13.45  --
284.38/71.30	c  S st   881    237781       880     77204      2248     43332    236526   1834465     12.64     11.86  --
284.78/71.43	c  S st   881    238284       880     77204      2248     43835    236526   1855185     12.64   no data  --
284.78/71.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
284.78/71.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.19/71.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.9M T:  0.39
285.19/71.60	c bin-w-bin subsume rem            0 bins  time:  0.03 s
287.22/72.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.69 s
287.22/72.06	c Subs w/ non-existent bins:      0 l-rem:   2301 v-fix:     0 done:    261 time:  0.15 s
287.22/72.06	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.01 s
319.09/80.07	c lits-rem:        84  cl-subs:      772  v-elim:      0  v-fix:    0  time: 31.91 s
319.09/80.08	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
319.49/80.14	c vivif2 --  cl tried    43063 cl shrink     4756 lits rem      30377 time: 0.23
320.69/80.44	c asymm  cl-useful: 0/2735/77204 lits-rem:0 time: 1.22
320.69/80.45	c calculated reachability. Time: 0.00
320.69/80.45	c  N dy   881    238284       880     77204      2248     43063    236526   1809622     12.64   no data  --
333.85/83.74	c  N dy   910    253921       880     77204      2248     30885    236526   1033505     12.55     13.31  --
345.42/86.68	c  N dy  1010    270510       880     77204      2248     47245    236526   2100600     12.67     13.37  --
360.19/90.31	c  N dy  1081    288154       880     77204      2248     36143    236526   1270671     12.68     13.39  --
373.34/93.65	c  F st  1142    306250       880     77204      2248     53897    236526   2427683     12.66   no data  --
374.14/93.81	c  N st  1144    306876       880     77204      2248     54518    236526   2475838     12.66   no data  --
387.71/97.22	c  N dy  1199    326473       880     77204      2248     44415    236526   1838630     12.64     13.39  --
404.46/101.40	c  N dy  1304    346600       880     77204      2248     33823    236526   1095057     12.74     13.41  --
412.84/103.54	c  S st  1342    357427       880     77204      2248     44429    236526   1723630     12.73   no data  --
413.64/103.70	c  S st  1342    357932       880     77204      2248     44934    236526   1745610     12.73   no data  --
413.64/103.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
413.64/103.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
414.04/103.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.5M T:  0.44
414.04/103.88	c bin-w-bin subsume rem            0 bins  time:  0.03 s
416.03/104.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
416.03/104.35	c Subs w/ non-existent bins:      0 l-rem:   2505 v-fix:     0 done:    268 time:  0.16 s
416.03/104.36	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
445.95/111.80	c lits-rem:        16  cl-subs:      865  v-elim:      0  v-fix:    0  time: 29.67 s
445.95/111.81	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
445.95/111.86	c vivif2 --  cl tried    44069 cl shrink     4012 lits rem      23215 time: 0.21
447.14/112.15	c asymm  cl-useful: 0/2569/77204 lits-rem:0 time: 1.14
447.14/112.16	c calculated reachability. Time: 0.00
447.14/112.16	c  N dy  1342    357932       880     77204      2248     44069    236526   1705157     12.73   no data  --
467.89/117.32	c  N dy  1437    379819       880     77204      2248     34058    236526   1022755     12.78     13.54  --
482.65/121.02	c  N dy  1458    401293       880     77204      2248     54910    236526   2159851     12.67     13.41  --
497.85/124.86	c  N dy  1572    421315       880     77204      2248     42408    236526   1645099     12.75     18.70  --
512.97/128.64	c  N dy  1638    442252       880     77204      2248     62775    236526   2903708     12.74     13.48  --
530.52/133.01	c  N dy  1676    462326       880     77204      2248     48950    236526   1701659     12.68     13.35  --
547.67/137.39	c  N dy  1767    482403       880     77204      2248     34526    236526   1071045     12.71     14.96  --
562.03/140.94	c  N dy  1851    502406       880     77204      2248     54134    236526   2334878     12.73     15.32  --
580.79/145.60	c  N dy  1944    524069       880     77204      2248     40168    236526   1438131     12.77     13.45  --
591.15/148.21	c  S st  1972    536899       880     77204      2248     52633    236526   2109212     12.74   no data  --
591.55/148.37	c  S st  1972    537404       880     77204      2248     53137    236526   2127297     12.74   no data  --
591.55/148.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
591.55/148.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
592.35/148.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.51
592.35/148.58	c bin-w-bin subsume rem            0 bins  time:  0.03 s
594.39/149.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.90 s
594.39/149.10	c Subs w/ non-existent bins:      0 l-rem:   2172 v-fix:     0 done:    414 time:  0.16 s
594.79/149.11	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
635.83/159.45	c lits-rem:        30  cl-subs:     1386  v-elim:      0  v-fix:    0  time: 41.21 s
635.83/159.45	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
636.23/159.51	c vivif2 --  cl tried    51751 cl shrink     4031 lits rem      26609 time: 0.24
637.03/159.79	c asymm  cl-useful: 0/1904/77204 lits-rem:0 time: 1.11
637.43/159.80	c calculated reachability. Time: 0.00
637.43/159.80	c  N dy  1972    537404       880     77204      2248     51751    236526   2073962     12.74   no data  --
660.96/165.71	c  N dy  2076    557479       880     77204      2248     71473    236526   3435906     12.82     22.32  --
677.76/169.92	c  N dy  2149    577534       880     77204      2248     54885    236526   2322690     12.82     17.99  --
700.10/175.59	c  N dy  2230    598925       880     77204      2248     38611    236526   1173488     12.84     13.62  --
719.21/180.33	c  N dy  2296    619028       880     77204      2248     58187    236526   2299880     12.83     13.51  --
742.34/186.14	c  N dy  2397    639528       880     77204      2248     40169    236526   1208050     12.87     13.57  --
759.10/190.38	c  N dy  2488    659582       880     77204      2248     59866    236526   2587637     12.90     19.52  --
784.23/196.62	c  N dy  2608    679657       880     77204      2248     40394    236526   1241958     12.97     21.85  --
800.19/200.68	c  N dy  2667    700244       880     77204      2248     60548    236526   2578278     12.96     13.88  --
822.57/206.27	c  N dy  2739    721227       880     77204      2248     40947    236526   1217653     12.96     13.65  --
842.87/211.34	c  N dy  2837    746095       880     77204      2248     65319    236526   2790632     12.98     13.77  --
866.01/217.19	c  N dy  2944    766195       880     77204      2248     43893    236526   1417125     13.04     21.31  --
882.76/221.37	c  N dy  2993    788062       880     77204      2248     65172    236526   2774278     13.00     13.90  --
907.49/227.56	c  S st  3057    806106       880     77204      2248     82720    236526   3772914     13.01     10.43  --
908.69/227.85	c  S st  3057    806610       880     77204      2248     83223    236526   3794152     13.01   no data  --
908.69/227.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
908.69/227.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
909.49/228.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.7M T:  0.85
909.89/228.20	c bin-w-bin subsume rem            0 bins  time:  0.03 s
913.87/229.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.87 s
914.27/229.27	c Subs w/ non-existent bins:      0 l-rem:   3072 v-fix:     0 done:    287 time:  0.38 s
914.27/229.27	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
1346.30/337.52	c lits-rem:         8  cl-subs:     2832  v-elim:      0  v-fix:    0  time: 431.33 s
1346.30/337.53	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
1346.70/337.68	c vivif2 --  cl tried    80391 cl shrink     9966 lits rem      78667 time: 0.61
1347.90/337.99	c asymm  cl-useful: 0/2657/77204 lits-rem:0 time: 1.23
1347.90/338.00	c calculated reachability. Time: 0.00
1347.90/338.00	c  N dy  3057    806610       880     77204      2248     80391    236526   3660313     13.01   no data  --
1369.04/343.25	c  N dy  3139    827044       880     77204      2248     58420    236526   2297483     13.02     13.83  --
1389.37/348.33	c  N dy  3157    848162       880     77204      2248     78877    236526   3453417     12.95     13.64  --
1413.32/354.32	c  N dy  3223    868222       880     77204      2248     55421    236526   1853250     12.95     21.44  --
1434.46/359.66	c  N dy  3296    888277       880     77204      2248     74922    236526   3028231     12.95     17.94  --
1457.60/365.44	c  N dy  3323    909308       880     77204      2248     51598    236526   1756159     12.89     13.58  --
1479.53/370.90	c  N dy  3419    929321       880     77204      2248     71157    236526   2952281     12.92     17.99  --
1509.05/378.33	c  N dy  3506    951274       880     77204      2248     47737    236526   1469116     12.92     14.08  --
1527.81/383.07	c  N dy  3528    972395       880     77204      2248     68087    236526   2492638     12.87     13.55  --
1555.77/390.03	c  N dy  3596    992538       880     77204      2248     87458    236526   3420089     12.87     13.55  --
1581.26/396.47	c  N dy  3620   1019042       880     77204      2248     67627    236526   2447532     12.80     13.49  --
1604.39/402.21	c  N dy  3701   1039136       880     77204      2248     87349    236526   3765234     12.82     18.19  --
1625.57/407.51	c  N dy  3781   1060632       880     77204      2248     61715    236526   2362299     12.82     13.71  --
1636.70/410.39	c  F st  3834   1071875       880     77204      2248     72756    236526   3028177     12.84      9.47  --
1646.27/412.74	c  N dy  3857   1080909       880     77204      2248     81657    236526   3669533     12.84     13.82  --
1674.24/419.71	c  N dy  3922   1102427       880     77204      2248     54858    236526   1824934     12.83     13.60  --
1694.54/424.88	c  N dy  4007   1123619       880     77204      2248     75589    236526   3177550     12.84     13.76  --
1722.51/431.86	c  N dy  4118   1143649       880     77204      2248     95267    236526   4505669     12.88     16.18  --
1745.20/437.52	c  N dy  4202   1163670       880     77204      2248     65917    236526   2499586     12.89     26.03  --
1771.52/444.18	c  N dy  4296   1183752       880     77204      2248     85560    236526   3695876     12.90     14.94  --
1797.45/450.60	c  N dy  4380   1204474       880     77204      2248     55949    236526   1866199     12.91     13.74  --
1802.24/451.88	c  S st  4404   1209915       880     77204      2248     61279    236526   2226153     12.91   no data  --
1803.05/452.10	c  S st  4404   1210416       880     77204      2248     61779    236526   2245979     12.91   no data  --
1803.45/452.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1803.45/452.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1803.85/452.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.9M T:  0.59
1804.25/452.32	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1805.88/452.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.76 s
1806.23/452.80	c Subs w/ non-existent bins:      0 l-rem:   1166 v-fix:     0 done:    342 time:  0.13 s
1806.23/452.80	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
1846.91/463.00	c lits-rem:        10  cl-subs:      560  v-elim:      0  v-fix:    0  time: 40.63 s
1846.91/463.01	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
1846.91/463.06	c vivif2 --  cl tried    61219 cl shrink     2603 lits rem      17049 time: 0.21
1848.12/463.35	c asymm  cl-useful: 0/1902/77204 lits-rem:0 time: 1.16
1848.12/463.36	c calculated reachability. Time: 0.00
1848.12/463.36	c  N dy  4404   1210416       880     77204      2248     61219    236526   2217180     12.91   no data  --
1872.44/469.41	c  N dy  4469   1231439       880     77204      2248     81680    236526   3401283     12.91     13.68  --
1900.77/476.51	c  N dy  4552   1253209       880     77204      2248     52166    236526   1588410     12.91     13.62  --
1920.32/481.46	c  N dy  4613   1275961       880     77204      2248     74397    236526   2948488     12.89     13.87  --
1943.45/487.28	c  N dy  4681   1296022       880     77204      2248     93871    236526   4085601     12.89     15.76  --
1966.59/493.05	c  N dy  4738   1316040       880     77204      2248     61675    236526   2188584     12.88     13.89  --
1991.72/499.39	c  N dy  4826   1338983       880     77204      2248     84167    236526   3636183     12.89     13.61  --
2022.83/507.13	c  N dy  4901   1359654       880     77204      2248    104236    236526   4749527     12.89     13.74  --
2043.17/512.25	c  N dy  4972   1379989       880     77204      2248     71383    236526   2758518     12.88     13.70  --
2066.31/518.00	c  N dy  5036   1402640       880     77204      2248     93496    236526   4174886     12.87     13.63  --
2093.84/524.97	c  N dy  5112   1423806       880     77204      2248     60483    236526   2054743     12.88     13.69  --
2119.37/531.30	c  N dy  5194   1444887       880     77204      2248     81019    236526   3222097     12.89     13.72  --
2148.14/538.52	c  N dy  5242   1468011       880     77204      2248    103417    236526   4499261     12.86     13.58  --
2172.03/544.50	c  N dy  5298   1488983       880     77204      2248     69237    236526   2536670     12.85     13.62  --
2198.36/551.13	c  N dy  5381   1509700       880     77204      2248     89386    236526   3745600     12.85     13.68  --
2229.48/558.91	c  N dy  5478   1529716       880     77204      2248    108994    236526   5028580     12.87     18.63  --
2252.61/564.77	c  N dy  5524   1549777       880     77204      2248     72971    236526   2657114     12.86     17.49  --
2282.93/572.32	c  N dy  5664   1569807       880     77204      2248     92635    236526   3936497     12.90     18.11  --
2315.64/580.59	c  N dy  5750   1589834       880     77204      2248    112236    236526   5170350     12.90     20.88  --
2341.22/586.96	c  N dy  5809   1612479       880     77204      2248     77706    236526   3108511     12.89     13.57  --
2371.53/594.56	c  N dy  5882   1632530       880     77204      2248     97235    236526   4223124     12.89     14.25  --
2408.59/603.83	c  N dy  5937   1655456       880     77204      2248     61968    236526   2117384     12.87     13.90  --
2432.52/609.84	c  N dy  6007   1675901       880     77204      2248     81943    236526   3331898     12.87     13.60  --
2462.85/617.47	c  N dy  6065   1697792       880     77204      2248    103357    236526   4780552     12.86     13.60  --
2488.37/623.83	c  S st  6126   1710416       880     77204      2248    115747    236526   5538968     12.87      9.95  --
2490.41/624.32	c  S st  6126   1710917       880     77204      2248    116247    236526   5561158     12.87   no data  --
2490.41/624.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2490.41/624.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2491.96/624.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.8M T:  1.80
2492.76/624.97	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2499.19/626.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.35 s
2499.54/626.69	c Subs w/ non-existent bins:      0 l-rem:   2681 v-fix:     0 done:    116 time:  0.51 s
2499.54/626.69	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
3652.41/915.63	c lits-rem:        23  cl-subs:     2326  v-elim:      0  v-fix:    0  time: 1151.84 s
3652.41/915.63	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
3653.25/915.87	c vivif2 --  cl tried   113921 cl shrink    13047 lits rem     109047 time: 0.92
3654.40/916.20	c asymm  cl-useful: 0/1171/77204 lits-rem:0 time: 1.31
3654.80/916.20	c calculated reachability. Time: 0.00
3654.80/916.20	c  N dy  6126   1710917       880     77204      2248    113921    236526   5404030     12.87   no data  --
3684.31/923.63	c  N dy  6232   1731005       880     77204      2248     75035    236526   2973446     12.90     19.83  --
3717.83/932.00	c  N dy  6341   1751065       880     77204      2248     94679    236526   4254062     12.92     15.33  --
3761.72/943.04	c  N dy  6430   1777740       880     77204      2248     61094    236526   2033476     12.91     13.74  --
3786.84/949.38	c  N dy  6537   1797743       880     77204      2248     80710    236526   3370256     12.93     19.51  --
3821.14/957.93	c  N dy  6660   1817834       880     77204      2248    100453    236526   4751733     12.96     20.13  --
3859.84/967.68	c  N dy  6751   1838577       880     77204      2248    120778    236526   6098070     12.98     13.68  --
3885.41/974.02	c  N dy  6793   1861122       880     77204      2248     82066    236526   3378234     12.96     13.65  --
3920.08/982.74	c  N dy  6879   1881306       880     77204      2248    101864    236526   4699885     12.97     13.67  --
3965.55/994.13	c  N dy  7005   1902889       880     77204      2248    123037    236526   6103657     13.00     13.78  --
3991.48/1000.68	c  N dy  7091   1922977       880     77204      2248     81057    236526   3316899     13.01     17.98  --
4018.61/1007.49	c  N dy  7158   1943033       880     77204      2248    100664    236526   4635860     13.01     16.77  --
4059.70/1017.79	c  N dy  7276   1963126       880     77204      2248    120414    236526   6042436     13.03     22.57  --
4093.20/1026.11	c  N dy  7392   1985340       880     77204      2248     79544    236526   3199425     13.05     13.75  --
4124.72/1034.03	c  N dy  7462   2008914       880     77204      2248    102469    236526   4738365     13.05     13.75  --
4171.04/1045.63	c  N dy  7578   2031134       880     77204      2248    124171    236526   6128683     13.07     14.13  --
4199.72/1052.89	c  N dy  7675   2051333       880     77204      2248     80416    236526   3255545     13.08     13.83  --
4239.21/1062.71	c  N dy  7761   2073128       880     77204      2248    101549    236526   4493360     13.09     13.87  --
4280.33/1073.10	c  N dy  7854   2093129       880     77204      2248    121121    236526   5800593     13.10     20.35  --
4318.60/1082.69	c  N dy  7957   2113548       880     77204      2248     76653    236526   2964659     13.12     13.94  --
4355.69/1091.95	c  N dy  8049   2134157       880     77204      2248     96911    236526   4340965     13.13     13.84  --
4399.57/1102.91	c  N dy  8140   2154392       880     77204      2248    116641    236526   5684491     13.14     13.90  --
4442.26/1113.62	c  N dy  8221   2174414       880     77204      2248     70688    236526   2508743     13.15     24.14  --
4469.42/1120.48	c  N dy  8285   2194488       880     77204      2248     90300    236526   3745774     13.15     25.39  --
4497.70/1127.59	c  S st  8295   2210920       880     77204      2248    106093    236526   4539270     13.12     10.47  --
4499.73/1128.05	c  S st  8295   2211424       880     77204      2248    106596    236526   4565972     13.12   no data  --
4499.73/1128.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4499.73/1128.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4501.29/1128.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.4M T:  1.40
4501.69/1128.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4506.47/1129.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.58 s
4506.87/1129.80	c Subs w/ non-existent bins:      0 l-rem:   2477 v-fix:     0 done:    127 time:  0.41 s
4506.87/1129.81	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369647-1305390939/watcher-3369647-1305390939 -o /tmp/evaluation-result-3369647-1305390939/solver-3369647-1305390939 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369647-1305390939.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.74 7.97 7.47 4/339 30208
/proc/meminfo: memFree=16834776/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 417 0 0 0 1 0 0 0 25 0 4 0 650694897 52465664 357 33554432000 4194304 4650419 140735826744368 18446744073709551615 47472732890649 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 12809 357 306 112 0 7774 0
[pid=30208/tid=30209] ppid=30206 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 650694897 52465664 357 33554432000 4194304 4650419 140735826744368 18446744073709551615 47472732890653 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650694897 52465664 357 33554432000 4194304 4650419 140735826744368 18446744073709551615 47472732891058 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650694897 52465664 357 33554432000 4194304 4650419 140735826744368 18446744073709551615 47472732890647 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.651429 s]
/proc/loadavg: 7.74 7.97 7.47 4/339 30208
/proc/meminfo: memFree=16834776/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=312864 CPUtime=2.56 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) D 30206 30208 29888 0 -1 4202496 9062 0 0 0 255 1 0 0 18 0 4 0 650694897 320372736 8537 33554432000 4194304 4650419 140735826744368 18446744073709551615 270613154151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 78216 8537 371 112 0 73181 0
[pid=30208/tid=30209] ppid=30206 vsize=312864 CPUtime=0.63 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 1749 0 0 0 63 0 0 0 18 0 4 0 650694897 320372736 8537 33554432000 4194304 4650419 140735826744368 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=312864 CPUtime=0.63 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 3082 0 0 0 63 0 0 0 18 0 4 0 650694897 320372736 8537 33554432000 4194304 4650419 140735826744368 18446744073709551615 4516430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=312864 CPUtime=0.63 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 2062 0 0 0 63 0 0 0 18 0 4 0 650694897 320372736 8537 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 312864

[startup+0.700687 s]
/proc/loadavg: 7.74 7.97 7.47 4/339 30208
/proc/meminfo: memFree=16834776/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=297108 CPUtime=2.76 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 11829 0 0 0 274 2 0 0 18 0 4 0 650694897 304238592 8623 33554432000 4194304 4650419 140735826744368 18446744073709551615 4265033 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 74277 8623 376 112 0 69242 0
[pid=30208/tid=30209] ppid=30206 vsize=297108 CPUtime=0.68 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 3059 0 0 0 68 0 0 0 18 0 4 0 650694897 304238592 8623 33554432000 4194304 4650419 140735826744368 18446744073709551615 4506544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=297108 CPUtime=0.68 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 3201 0 0 0 68 0 0 0 18 0 4 0 650694897 304238592 8623 33554432000 4194304 4650419 140735826744368 18446744073709551615 4312965 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=297108 CPUtime=0.68 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 2105 0 0 0 68 0 0 0 18 0 4 0 650694897 304238592 8623 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 297108

[startup+0.800668 s]
/proc/loadavg: 7.74 7.97 7.47 4/339 30208
/proc/meminfo: memFree=16834776/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=308964 CPUtime=3.16 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 19433 0 0 0 313 3 0 0 18 0 4 0 650694897 316379136 16218 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 77241 16218 388 112 0 72206 0
[pid=30208/tid=30209] ppid=30206 vsize=308964 CPUtime=0.78 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 5487 0 0 0 77 1 0 0 18 0 4 0 650694897 316379136 16218 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=308964 CPUtime=0.77 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 5896 0 0 0 77 0 0 0 19 0 4 0 650694897 316379136 16218 33554432000 4194304 4650419 140735826744368 18446744073709551615 270612808139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=308964 CPUtime=0.78 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 2151 0 0 0 78 0 0 0 19 0 4 0 650694897 316379136 16218 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 308964

[startup+0.907651 s]
/proc/loadavg: 7.74 7.97 7.47 4/339 30208
/proc/meminfo: memFree=16834776/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=312024 CPUtime=3.58 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 23295 0 0 0 355 3 0 0 18 0 4 0 650694897 319512576 17517 33554432000 4194304 4650419 140735826744368 18446744073709551615 4420852 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 78006 17517 388 112 0 72971 0
[pid=30208/tid=30209] ppid=30206 vsize=312024 CPUtime=0.89 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 6991 0 0 0 88 1 0 0 18 0 4 0 650694897 319512576 17517 33554432000 4194304 4650419 140735826744368 18446744073709551615 4451430 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=312024 CPUtime=0.88 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 6726 0 0 0 88 0 0 0 19 0 4 0 650694897 319512576 17517 33554432000 4194304 4650419 140735826744368 18446744073709551615 4541751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=312024 CPUtime=0.89 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 2174 0 0 0 89 0 0 0 19 0 4 0 650694897 319512576 17517 33554432000 4194304 4650419 140735826744368 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 312024

[startup+1.50054 s]
/proc/loadavg: 7.74 7.97 7.47 4/339 30208
/proc/meminfo: memFree=16834776/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=312024 CPUtime=5.96 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 24673 0 0 0 592 4 0 0 18 0 4 0 650694897 319512576 18895 33554432000 4194304 4650419 140735826744368 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 78006 18895 391 112 0 72971 0
[pid=30208/tid=30209] ppid=30206 vsize=312024 CPUtime=1.48 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 7526 0 0 0 147 1 0 0 18 0 4 0 650694897 319512576 18895 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=312024 CPUtime=1.47 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 6901 0 0 0 147 0 0 0 20 0 4 0 650694897 319512576 18895 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=312024 CPUtime=1.48 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 2431 0 0 0 148 0 0 0 20 0 4 0 650694897 319512576 18895 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 312024

[startup+3.10026 s]
/proc/loadavg: 7.74 7.97 7.47 10/343 30242
/proc/meminfo: memFree=17450968/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=319572 CPUtime=12.33 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 31953 0 0 0 1229 4 0 0 22 0 4 0 650694897 327241728 20146 33554432000 4194304 4650419 140735826744368 18446744073709551615 4328357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 79893 20146 394 112 0 74858 0
[pid=30208/tid=30209] ppid=30206 vsize=319572 CPUtime=3.08 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 9951 0 0 0 307 1 0 0 21 0 4 0 650694897 327241728 20146 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=319572 CPUtime=3.05 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 8014 0 0 0 305 0 0 0 25 0 4 0 650694897 327241728 20146 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=319572 CPUtime=3.08 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 4303 0 0 0 308 0 0 0 25 0 4 0 650694897 327241728 20146 33554432000 4194304 4650419 140735826744368 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 319572

[startup+6.3007 s]
/proc/loadavg: 7.84 7.99 7.48 9/343 30242
/proc/meminfo: memFree=17103648/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=329288 CPUtime=25.09 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 58704 0 0 0 2501 8 0 0 25 0 4 0 650694897 337190912 43960 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 82322 43960 395 112 0 77287 0
[pid=30208/tid=30209] ppid=30206 vsize=329288 CPUtime=6.29 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 19037 0 0 0 626 3 0 0 25 0 4 0 650694897 337190912 43960 33554432000 4194304 4650419 140735826744368 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=329288 CPUtime=6.22 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 11243 0 0 0 621 1 0 0 25 0 4 0 650694897 337190912 43960 33554432000 4194304 4650419 140735826744368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=329288 CPUtime=6.28 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 12286 0 0 0 627 1 0 0 25 0 4 0 650694897 337190912 43960 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 329288

[startup+12.7126 s]
/proc/loadavg: 7.85 7.99 7.49 9/343 30243
/proc/meminfo: memFree=16844916/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=334028 CPUtime=50.67 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 67814 0 0 0 5057 10 0 0 25 0 4 0 650694897 342044672 46214 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 83507 46214 395 112 0 78472 0
[pid=30208/tid=30209] ppid=30206 vsize=334028 CPUtime=12.7 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 20313 0 0 0 1267 3 0 0 25 0 4 0 650694897 342044672 46214 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=334028 CPUtime=12.55 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 12479 0 0 0 1254 1 0 0 25 0 4 0 650694897 342044672 46214 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=334028 CPUtime=12.69 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 16419 0 0 0 1267 2 0 0 25 0 4 0 650694897 342044672 46214 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 334028

[startup+25.5003 s]
/proc/loadavg: 7.89 7.99 7.49 9/343 30243
/proc/meminfo: memFree=16770532/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=327844 CPUtime=101.69 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 99342 0 0 0 10150 19 0 0 25 0 4 0 650694897 335712256 54634 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 81961 54634 395 112 0 76926 0
[pid=30208/tid=30209] ppid=30206 vsize=327844 CPUtime=25.48 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 29612 0 0 0 2542 6 0 0 25 0 4 0 650694897 335712256 54634 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=327844 CPUtime=25.22 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 18689 0 0 0 2519 3 0 0 25 0 4 0 650694897 335712256 54634 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=327844 CPUtime=25.49 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 26886 0 0 0 2543 6 0 0 25 0 4 0 650694897 335712256 54635 33554432000 4194304 4650419 140735826744368 18446744073709551615 4349721 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 327844

[startup+51.1008 s]
/proc/loadavg: 8.05 8.02 7.52 9/343 30244
/proc/meminfo: memFree=16707380/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=420540 CPUtime=203.85 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 149216 0 0 0 20355 30 0 0 25 0 4 0 650694897 430632960 66547 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 105135 66547 395 112 0 100100 0
[pid=30208/tid=30209] ppid=30206 vsize=420540 CPUtime=51.1 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 47948 0 0 0 5100 10 0 0 25 0 4 0 650694897 430632960 66547 33554432000 4194304 4650419 140735826744368 18446744073709551615 4420256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=420540 CPUtime=50.54 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 23495 0 0 0 5050 4 0 0 25 0 4 0 650694897 430632960 66547 33554432000 4194304 4650419 140735826744368 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=420540 CPUtime=51.1 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 41927 0 0 0 5100 10 0 0 25 0 4 0 650694897 430632960 66547 33554432000 4194304 4650419 140735826744368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 420540

[startup+102.301 s]
/proc/loadavg: 8.16 8.04 7.55 9/343 30245
/proc/meminfo: memFree=16573552/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=552868 CPUtime=408.05 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 221589 0 0 0 40755 50 0 0 25 0 4 0 650694897 566136832 91304 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30208/statm: 138217 91304 396 112 0 133182 0
[pid=30208/tid=30209] ppid=30206 vsize=552868 CPUtime=102.29 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 77813 0 0 0 10211 18 0 0 25 0 4 0 650694897 566136832 91304 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=552868 CPUtime=101.17 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 32179 0 0 0 10110 7 0 0 25 0 4 0 650694897 566136832 91304 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=552868 CPUtime=102.28 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 59396 0 0 0 10213 15 0 0 25 0 4 0 650694897 566136832 91304 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 552868

[startup+162.313 s]

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

[pid=30208] ppid=30206 vsize=1041940 CPUtime=2801.56 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 943607 0 0 0 279884 272 0 0 25 0 4 0 650694897 1066946560 170906 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 260485 170906 396 112 0 255450 0
[pid=30208/tid=30209] ppid=30206 vsize=1041940 CPUtime=702.31 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 357817 0 0 0 70127 104 0 0 25 0 4 0 650694897 1066946560 170906 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1041940 CPUtime=700.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 71480 0 0 0 69981 22 0 0 25 0 4 0 650694897 1066946560 170906 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1041940 CPUtime=696.89 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 196633 0 0 0 69616 73 0 0 25 0 4 0 650694897 1066946560 170906 33554432000 4194304 4650419 140735826744368 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.56
Current children cumulated vsize (KiB) 1041940

[startup+762.301 s]
/proc/loadavg: 8.13 8.02 7.76 9/343 30293
/proc/meminfo: memFree=16411368/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=994012 CPUtime=3040.87 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1012671 0 0 0 303798 289 0 0 25 0 4 0 650694897 1017868288 173997 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 248503 173997 396 112 0 243468 0
[pid=30208/tid=30209] ppid=30206 vsize=994012 CPUtime=762.3 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 373303 0 0 0 76118 112 0 0 25 0 4 0 650694897 1017868288 173997 33554432000 4194304 4650419 140735826744368 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=994012 CPUtime=760.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 75202 0 0 0 75979 24 0 0 25 0 4 0 650694897 1017868288 173997 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=994012 CPUtime=756.23 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 196633 0 0 0 75550 73 0 0 25 0 4 0 650694897 1017868288 173997 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.87
Current children cumulated vsize (KiB) 994012

[startup+822.314 s]
/proc/loadavg: 8.10 8.03 7.77 9/343 30294
/proc/meminfo: memFree=16333712/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1059800 CPUtime=3280.27 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1056598 0 0 0 327724 303 0 0 25 0 4 0 650694897 1085235200 192395 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 264950 192395 395 112 0 259915 0
[pid=30208/tid=30209] ppid=30206 vsize=1059800 CPUtime=822.32 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 405293 0 0 0 82110 122 0 0 25 0 4 0 650694897 1085235200 192395 33554432000 4194304 4650419 140735826744368 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1059800 CPUtime=820.04 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 77660 0 0 0 81978 26 0 0 25 0 4 0 650694897 1085235200 192395 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1059800 CPUtime=815.58 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 196633 0 0 0 81485 73 0 0 25 0 4 0 650694897 1085235200 192395 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.27
Current children cumulated vsize (KiB) 1059800

[startup+882.301 s]
/proc/loadavg: 8.08 8.03 7.79 9/343 30296
/proc/meminfo: memFree=16309368/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1125336 CPUtime=3519.57 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1129539 0 0 0 351642 315 0 0 25 0 4 0 650694897 1152344064 196475 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 281334 196475 395 112 0 276299 0
[pid=30208/tid=30209] ppid=30206 vsize=1125336 CPUtime=882.3 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 462891 0 0 0 88100 130 0 0 25 0 4 0 650694897 1152344064 196475 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1125336 CPUtime=880.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 78929 0 0 0 87976 27 0 0 25 0 4 0 650694897 1152344064 196475 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1125336 CPUtime=874.91 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 202676 0 0 0 87416 75 0 0 25 0 4 0 650694897 1152344064 196475 33554432000 4194304 4650419 140735826744368 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.57
Current children cumulated vsize (KiB) 1125336

[startup+942.3 s]
/proc/loadavg: 8.03 8.03 7.80 9/343 30297
/proc/meminfo: memFree=16306228/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1017960 CPUtime=3758.91 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1184226 0 0 0 375561 330 0 0 25 0 4 0 650694897 1042391040 188620 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 254490 188620 395 112 0 249455 0
[pid=30208/tid=30209] ppid=30206 vsize=1017960 CPUtime=942.31 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 493105 0 0 0 94096 135 0 0 25 0 4 0 650694897 1042391040 188620 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1017960 CPUtime=940.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 82944 0 0 0 93974 29 0 0 25 0 4 0 650694897 1042391040 188620 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1017960 CPUtime=934.26 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 208050 0 0 0 93346 80 0 0 25 0 4 0 650694897 1042391040 188620 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.91
Current children cumulated vsize (KiB) 1017960

[startup+1002.3 s]
/proc/loadavg: 8.05 8.03 7.82 9/343 30299
/proc/meminfo: memFree=16192732/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1065632 CPUtime=3998.26 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1239897 0 0 0 399479 347 0 0 25 0 4 0 650694897 1091207168 194898 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 266408 194898 395 112 0 261373 0
[pid=30208/tid=30209] ppid=30206 vsize=1065632 CPUtime=1002.3 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 516610 0 0 0 100092 138 0 0 25 0 4 0 650694897 1091207168 194898 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1065632 CPUtime=1000.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 86542 0 0 0 99971 32 0 0 25 0 4 0 650694897 1091207168 194898 33554432000 4194304 4650419 140735826744368 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1065632 CPUtime=993.61 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 223896 0 0 0 99275 86 0 0 25 0 4 0 650694897 1091207168 194898 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.26
Current children cumulated vsize (KiB) 1065632

[startup+1062.3 s]
/proc/loadavg: 8.06 8.04 7.83 9/343 30301
/proc/meminfo: memFree=16191452/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=955524 CPUtime=4237.61 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1265293 0 0 0 423402 359 0 0 25 0 4 0 650694897 978456576 195788 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 238881 195788 395 112 0 233846 0
[pid=30208/tid=30209] ppid=30206 vsize=955524 CPUtime=1062.3 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 522659 0 0 0 106091 139 0 0 25 0 4 0 650694897 978456576 195788 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=955524 CPUtime=1060.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 87403 0 0 0 105971 32 0 0 25 0 4 0 650694897 978456576 195788 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=955524 CPUtime=1052.94 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 232580 0 0 0 105204 90 0 0 25 0 4 0 650694897 978456576 195788 33554432000 4194304 4650419 140735826744368 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.61
Current children cumulated vsize (KiB) 955524

[startup+1122.3 s]
/proc/loadavg: 8.06 8.04 7.84 9/343 30302
/proc/meminfo: memFree=16155460/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1108148 CPUtime=4476.96 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1391522 0 0 0 447314 382 0 0 25 0 4 0 650694897 1134743552 204077 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 277037 204077 395 112 0 272002 0
[pid=30208/tid=30209] ppid=30206 vsize=1108148 CPUtime=1122.31 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 530228 0 0 0 112090 141 0 0 25 0 4 0 650694897 1134743552 204077 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1108148 CPUtime=1120.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 89349 0 0 0 111971 32 0 0 25 0 4 0 650694897 1134743552 204077 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1108148 CPUtime=1112.29 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 341041 0 0 0 111122 107 0 0 25 0 4 0 650694897 1134743552 204077 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.96
Current children cumulated vsize (KiB) 1108148

[startup+1182.3 s]
/proc/loadavg: 8.05 8.05 7.85 9/343 30304
/proc/meminfo: memFree=16187912/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=999784 CPUtime=4716.31 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1417259 0 0 0 471242 389 0 0 25 0 4 0 650694897 1023778816 191674 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 249946 191674 395 112 0 244911 0
[pid=30208/tid=30209] ppid=30206 vsize=999784 CPUtime=1182.3 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 536639 0 0 0 118089 141 0 0 25 0 4 0 650694897 1023778816 191674 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=999784 CPUtime=1180.03 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 94685 0 0 0 117967 36 0 0 25 0 4 0 650694897 1023778816 191674 33554432000 4194304 4650419 140735826744368 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=999784 CPUtime=1171.64 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 354305 0 0 0 117055 109 0 0 25 0 4 0 650694897 1023778816 191674 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.31
Current children cumulated vsize (KiB) 999784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.09 8.06 7.86 9/343 30304
/proc/meminfo: memFree=16154176/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1019004 CPUtime=4800.11 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1428354 0 0 0 479619 392 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 254751 195094 395 112 0 249716 0
[pid=30208/tid=30209] ppid=30206 vsize=1019004 CPUtime=1203.32 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 539056 0 0 0 120190 142 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1019004 CPUtime=1201.05 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 98885 0 0 0 120066 39 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1019004 CPUtime=1192.41 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 358783 0 0 0 119132 109 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1019004

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

Solver just ended. Dumping a history of the last processes samples

[startup+1203.3 s]
/proc/loadavg: 8.09 8.06 7.86 9/343 30304
/proc/meminfo: memFree=16154176/32951124 swapFree=67056804/67111528
[pid=30208] ppid=30206 vsize=1019004 CPUtime=4800.11 cores=1,3,5,7
/proc/30208/stat : 30208 (strangenight1-m) R 30206 30208 29888 0 -1 4202496 1428354 0 0 0 479619 392 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30208/statm: 254751 195094 395 112 0 249716 0
[pid=30208/tid=30209] ppid=30206 vsize=1019004 CPUtime=1203.32 cores=1,3,5,7
/proc/30208/task/30209/stat : 30209 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 539056 0 0 0 120190 142 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30208/tid=30210] ppid=30206 vsize=1019004 CPUtime=1201.05 cores=1,3,5,7
/proc/30208/task/30210/stat : 30210 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 98885 0 0 0 120066 39 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30208/tid=30211] ppid=30206 vsize=1019004 CPUtime=1192.41 cores=1,3,5,7
/proc/30208/task/30211/stat : 30211 (strangenight1-m) R 30206 30208 29888 0 -1 4202560 358783 0 0 0 119132 109 0 0 25 0 4 0 650694897 1043460096 195094 33554432000 4194304 4650419 140735826744368 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1019004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.36
CPU time (s): 4800.19
CPU user time (s): 4796.22
CPU system time (s): 3.9634
CPU usage (%): 398.9
Max. virtual memory (cumulated for all children) (KiB): 1152156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.22
system time used= 3.9634
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1428354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2086
involuntary context switches= 33875

runsolver used 3.65044 second user time and 9.49956 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 18:35:40
IDJOB=3369647
IDBENCH=71089
IDSOLVER=1846
FILE ID=node108/3369647-1305390939
RUNJOBID= node108-1305388855-29907
PBS_JOBID= 13324423
Free space on /tmp= 73536 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369647-1305390939/watcher-3369647-1305390939 -o /tmp/evaluation-result-3369647-1305390939/solver-3369647-1305390939 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369647-1305390939.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED=74003750

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16834808 kB
Buffers:        300788 kB
Cached:        4621492 kB
SwapCached:       8700 kB
Active:       11835024 kB
Inactive:      3965000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16834808 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           10408 kB
Writeback:           0 kB
AnonPages:    10875448 kB
Mapped:          27344 kB
Slab:           210072 kB
PageTables:      39560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53407376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73540 MiB
End job on node108 at 2011-05-14 18:55:45