Trace number 3283908

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? (TO) 4800.32 1201.65

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3283908-1304033819.cnf'
0.00/0.00	c -- header says num vars:           1430
0.00/0.00	c -- header says num clauses:       87044
0.00/0.03	c -- clauses added:            0 learnts,        87044 normals,            0 xors
0.00/0.03	c -- vars added       1430
2.59/0.66	c Parsing time:  0.08 s
2.59/0.66	c  N st     0         0      1430     84675      2369         0    258924         0   no data   no data  --
2.59/0.66	c asymm  cl-useful: 0/13768/84675 lits-rem:0 time: 2.45
2.82/0.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  157 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.17
2.82/0.74	c Replacing      157 vars Replaced    39311 lits Time:     0.13 s 
3.16/0.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3.16/0.80	c subs with bin:     3582  lits-rem:         0  v-fix:    0  time:  0.04 s
3.16/0.80	c Subs w/ non-existent bins:   3429 l-rem:      0 v-fix:     0 done:   1273 time:  0.06 s
3.16/0.80	c Removed useless bin:       0  fixed:     0  props:   0.71M  time:  0.02 s
5.95/1.52	c lits-rem:         0  cl-subs:        0  v-elim:    393  v-fix:    0  time:  0.52 s
5.95/1.52	c Finding binary XORs  T:     0.00 s  found:       0
5.95/1.52	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
5.95/1.52	c calculated reachability. Time: 0.00
5.95/1.52	c Calc default polars -  time:   0.01 s pos:     446 undec:     578 neg:     406
5.95/1.52	c =========================================================================================
5.95/1.52	c types(t): F = full restart, N = normal restart
5.95/1.52	c types(t): S = simplification begin/end, E = solution found
5.95/1.52	c restart types(rt): st = static, dy = dynamic
5.95/1.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.95/1.52	c  B st     0         0       880     77204      2248         0    236526         0   no data   no data  --
5.95/1.52	c  N dy    16      4025       880     77204      2248      3906    236526    228246     12.12     13.20  --
7.14/1.85	c  N dy    36      9848       880     77204      2248      9512    236526    439399     12.00     12.64  --
8.74/2.26	c  N dy    44     13897       880     77204      2248     13315    236526    563351     11.63     13.23  --
10.34/2.65	c  N dy    63     17925       880     77204      2248     17296    236526    800578     11.83     13.67  --
12.34/3.12	c  N dy   100     22193       880     77204      2248     11868    236526    455360     12.87     13.63  --
13.53/3.41	c  F st   120     25000       880     77204      2248     14656    236526    639270     13.23   no data  --
14.33/3.62	c  N st   124     27031       880     77204      2248     16658    236526    784624     13.23   no data  --
15.55/3.92	c  S st   126     30001       880     77204      2248     19577    236526   1017273     13.23   no data  --
15.92/4.01	c  S st   126     30504       880     77204      2248     20079    236526   1040043     13.23   no data  --
15.92/4.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15.92/4.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.22
16.33/4.12	c bin-w-bin subsume rem            0 bins  time:  0.03 s
17.53/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.23 s
17.53/4.47	c Subs w/ non-existent bins:      0 l-rem:   2975 v-fix:     0 done:    655 time:  0.14 s
17.53/4.47	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
35.90/9.09	c lits-rem:        45  cl-subs:     1489  v-elim:      0  v-fix:    0  time: 18.42 s
37.11/9.40	c asymm  cl-useful: 0/3076/77204 lits-rem:0 time: 1.24
37.52/9.40	c calculated reachability. Time: 0.00
37.52/9.40	c  N dy   126     30504       880     77204      2248     18590    236526   1013843     13.23   no data  --
39.90/10.07	c  N dy   131     35209       880     77204      2248     23163    236526   1213158     12.98     13.68  --
43.09/10.87	c  N dy   133     39485       880     77204      2248     27163    236526   1286910     12.68     13.52  --
45.10/11.34	c  N dy   134     43515       880     77204      2248     16010    236526    527436     12.38     13.05  --
45.91/11.58	c  S st   149     45757       880     77204      2248     18214    236526    655111     12.51      8.70  --
46.32/11.65	c  S st   149     46259       880     77204      2248     18715    236526    681270     12.51   no data  --
46.32/11.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
46.32/11.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.69/11.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.18
46.69/11.73	c bin-w-bin subsume rem            0 bins  time:  0.03 s
47.09/11.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.63 s
47.49/11.91	c Subs w/ non-existent bins:      0 l-rem:   2091 v-fix:     0 done:    669 time:  0.10 s
47.49/11.92	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
67.88/17.02	c lits-rem:        70  cl-subs:      648  v-elim:      0  v-fix:    0  time: 20.37 s
67.88/17.03	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
67.88/17.05	c vivif2 --  cl tried    18067 cl shrink     1660 lits rem       8379 time: 0.07
69.06/17.36	c asymm  cl-useful: 0/3542/77204 lits-rem:0 time: 1.23
69.06/17.36	c calculated reachability. Time: 0.00
69.06/17.36	c  N dy   149     46259       880     77204      2248     18067    236526    660846     12.51   no data  --
71.85/18.05	c  N dy   164     52849       880     77204      2248     24518    236526   1040985     12.36     13.08  --
76.25/19.12	c  N dy   191     59299       880     77204      2248     30830    236526   1373800     12.42     13.14  --
78.64/19.77	c  N dy   195     64155       880     77204      2248     35568    236526   1597756     12.19     12.95  --
81.05/20.39	c  N dy   220     68674       880     77204      2248     21772    236526    826114     12.27     12.96  --
81.46/20.47	c  S st   225     69390       880     77204      2248     22486    236526    876637     12.32     12.01  --
81.84/20.55	c  S st   225     69892       880     77204      2248     22986    236526    904207     12.32   no data  --
81.84/20.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
81.84/20.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.23/20.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.23
82.23/20.66	c bin-w-bin subsume rem            0 bins  time:  0.03 s
83.03/20.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.89 s
83.43/20.90	c Subs w/ non-existent bins:      0 l-rem:   1573 v-fix:     0 done:    450 time:  0.09 s
83.43/20.91	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
95.42/23.98	c lits-rem:        11  cl-subs:      201  v-elim:      0  v-fix:    0  time: 12.26 s
95.42/23.99	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
95.81/24.01	c vivif2 --  cl tried    22785 cl shrink     1524 lits rem       8069 time: 0.09
97.01/24.32	c asymm  cl-useful: 0/3204/77204 lits-rem:0 time: 1.24
97.01/24.32	c calculated reachability. Time: 0.00
97.01/24.32	c  N dy   225     69892       880     77204      2248     22785    236526    891743     12.32   no data  --
99.41/24.90	c  N dy   243     74465       880     77204      2248     27286    236526   1143363     12.37     13.08  --
102.21/25.60	c  N dy   268     79254       880     77204      2248     31983    236526   1414557     12.43     15.70  --
106.60/26.75	c  F st   291     87500       880     77204      2248     40083    236526   1896208     12.33     12.58  --
106.60/26.76	c  N st   291     87500       880     77204      2248     40083    236526   1896208     12.33     12.58  --
109.80/27.55	c  N dy   299     93095       880     77204      2248     25157    236526    994822     12.34     13.11  --
113.79/28.56	c  N dy   338    100051       880     77204      2248     32048    236526   1458952     12.43     13.10  --
116.98/29.34	c  S st   346    104840       880     77204      2248     36692    236526   1660883     12.32      9.35  --
117.38/29.46	c  S st   346    105345       880     77204      2248     37196    236526   1682383     12.32   no data  --
117.38/29.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
117.38/29.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.78/29.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.33
118.19/29.62	c bin-w-bin subsume rem            0 bins  time:  0.03 s
120.18/30.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.94 s
120.18/30.14	c Subs w/ non-existent bins:      0 l-rem:   2356 v-fix:     0 done:    501 time:  0.16 s
120.18/30.15	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
152.94/38.39	c lits-rem:        27  cl-subs:      835  v-elim:      0  v-fix:    0  time: 32.90 s
153.34/38.40	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
153.34/38.45	c vivif2 --  cl tried    36361 cl shrink     4385 lits rem      25746 time: 0.20
154.54/38.74	c asymm  cl-useful: 0/2351/77204 lits-rem:0 time: 1.17
154.54/38.75	c calculated reachability. Time: 0.00
154.54/38.75	c  N dy   346    105345       880     77204      2248     36361    236526   1638333     12.32   no data  --
160.14/40.16	c  N dy   381    112137       880     77204      2248     43044    236526   2002752     12.38     17.50  --
164.54/41.22	c  N dy   401    119337       880     77204      2248     28074    236526   1014369     12.34     21.81  --
170.11/42.66	c  N dy   442    128672       880     77204      2248     37206    236526   1605952     12.42     13.09  --
176.51/44.28	c  N dy   499    136944       880     77204      2248     45388    236526   2134556     12.58     16.04  --
182.11/45.64	c  N dy   549    145772       880     77204      2248     30835    236526   1223570     12.70     17.43  --
188.49/47.29	c  N dy   569    155073       880     77204      2248     39863    236526   1640788     12.61     19.96  --
190.90/47.83	c  S st   582    158018       880     77204      2248     42772    236526   1833287     12.60      7.89  --
191.30/47.95	c  S st   582    158521       880     77204      2248     43274    236526   1857935     12.60   no data  --
191.30/47.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
191.30/47.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
191.68/48.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.5M T:  0.37
192.08/48.11	c bin-w-bin subsume rem            0 bins  time:  0.03 s
194.08/48.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.08 s
194.08/48.68	c Subs w/ non-existent bins:      0 l-rem:   2933 v-fix:     0 done:    430 time:  0.19 s
194.08/48.69	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
231.23/57.90	c lits-rem:        12  cl-subs:     1233  v-elim:      0  v-fix:    0  time: 36.79 s
231.23/57.91	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
231.23/57.97	c vivif2 --  cl tried    42041 cl shrink     5297 lits rem      39670 time: 0.23
232.43/58.25	c asymm  cl-useful: 0/2816/77204 lits-rem:0 time: 1.13
232.43/58.26	c calculated reachability. Time: 0.00
232.43/58.26	c  N dy   582    158521       880     77204      2248     42041    236526   1792546     12.60   no data  --
240.41/60.24	c  N dy   616    168663       880     77204      2248     27615    236526    963601     12.57     13.47  --
252.00/63.11	c  N dy   669    183335       880     77204      2248     41772    236526   1621601     12.58     13.32  --
261.21/65.50	c  N dy   675    195765       880     77204      2248     28320    236526    832580     12.43     13.12  --
269.58/67.57	c  N dy   736    208295       880     77204      2248     40594    236526   1542263     12.49     18.89  --
281.96/70.63	c  N dy   824    225016       880     77204      2248     30797    236526   1044120     12.63     13.45  --
290.75/72.81	c  S st   881    237781       880     77204      2248     43332    236526   1834465     12.64     11.86  --
291.15/72.94	c  S st   881    238284       880     77204      2248     43835    236526   1855185     12.64   no data  --
291.15/72.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
291.15/72.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
291.55/73.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.9M T:  0.39
291.96/73.11	c bin-w-bin subsume rem            0 bins  time:  0.03 s
293.94/73.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.03 s
293.94/73.65	c Subs w/ non-existent bins:      0 l-rem:   2301 v-fix:     0 done:    261 time:  0.15 s
293.94/73.65	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
327.51/82.08	c lits-rem:        84  cl-subs:      772  v-elim:      0  v-fix:    0  time: 33.64 s
327.51/82.09	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
327.89/82.15	c vivif2 --  cl tried    43063 cl shrink     4756 lits rem      30377 time: 0.24
329.09/82.45	c asymm  cl-useful: 0/2735/77204 lits-rem:0 time: 1.21
329.09/82.46	c calculated reachability. Time: 0.00
329.09/82.46	c  N dy   881    238284       880     77204      2248     43063    236526   1809622     12.64   no data  --
342.27/85.70	c  N dy   910    253921       880     77204      2248     30885    236526   1033505     12.55     13.31  --
353.88/88.65	c  N dy  1010    270510       880     77204      2248     47245    236526   2100600     12.67     13.37  --
368.64/92.32	c  N dy  1081    288154       880     77204      2248     36143    236526   1270671     12.68     13.39  --
382.22/95.72	c  F st  1142    306250       880     77204      2248     53897    236526   2427683     12.66   no data  --
382.62/95.87	c  N st  1144    306876       880     77204      2248     54518    236526   2475838     12.66   no data  --
396.20/99.27	c  N dy  1199    326473       880     77204      2248     44415    236526   1838630     12.64     13.39  --
412.98/103.44	c  N dy  1304    346600       880     77204      2248     33823    236526   1095057     12.74     13.41  --
421.37/105.57	c  S st  1342    357427       880     77204      2248     44429    236526   1723630     12.73   no data  --
422.17/105.71	c  S st  1342    357932       880     77204      2248     44934    236526   1745610     12.73   no data  --
422.17/105.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
422.17/105.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
422.57/105.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.5M T:  0.39
422.57/105.88	c bin-w-bin subsume rem            0 bins  time:  0.03 s
424.56/106.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.87 s
424.56/106.39	c Subs w/ non-existent bins:      0 l-rem:   2505 v-fix:     0 done:    268 time:  0.16 s
424.56/106.39	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
455.71/114.18	c lits-rem:        16  cl-subs:      865  v-elim:      0  v-fix:    0  time: 31.05 s
455.71/114.18	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
456.11/114.23	c vivif2 --  cl tried    44069 cl shrink     4012 lits rem      23215 time: 0.21
457.32/114.52	c asymm  cl-useful: 0/2569/77204 lits-rem:0 time: 1.14
457.32/114.53	c calculated reachability. Time: 0.00
457.32/114.53	c  N dy  1342    357932       880     77204      2248     44069    236526   1705157     12.73   no data  --
478.09/119.70	c  N dy  1437    379819       880     77204      2248     34058    236526   1022755     12.78     13.54  --
492.87/123.41	c  N dy  1458    401293       880     77204      2248     54910    236526   2159851     12.67     13.41  --
508.05/127.25	c  N dy  1572    421315       880     77204      2248     42408    236526   1645099     12.75     18.70  --
523.23/131.03	c  N dy  1638    442252       880     77204      2248     62775    236526   2903708     12.74     13.48  --
540.81/135.41	c  N dy  1676    462326       880     77204      2248     48950    236526   1701659     12.68     13.35  --
558.38/139.81	c  N dy  1767    482403       880     77204      2248     34526    236526   1071045     12.71     14.96  --
572.36/143.35	c  N dy  1851    502406       880     77204      2248     54134    236526   2334878     12.73     15.32  --
591.15/148.04	c  N dy  1944    524069       880     77204      2248     40168    236526   1438131     12.77     13.45  --
601.92/150.70	c  S st  1972    536899       880     77204      2248     52633    236526   2109212     12.74   no data  --
602.32/150.87	c  S st  1972    537404       880     77204      2248     53137    236526   2127297     12.74   no data  --
602.32/150.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
602.32/150.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
603.12/151.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.52
603.12/151.08	c bin-w-bin subsume rem            0 bins  time:  0.03 s
605.52/151.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.23 s
605.52/151.68	c Subs w/ non-existent bins:      0 l-rem:   2172 v-fix:     0 done:    414 time:  0.16 s
605.52/151.68	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
648.27/162.35	c lits-rem:        30  cl-subs:     1386  v-elim:      0  v-fix:    0  time: 42.59 s
648.27/162.36	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
648.65/162.42	c vivif2 --  cl tried    51751 cl shrink     4031 lits rem      26609 time: 0.24
649.85/162.70	c asymm  cl-useful: 0/1904/77204 lits-rem:0 time: 1.11
649.85/162.70	c calculated reachability. Time: 0.00
649.85/162.70	c  N dy  1972    537404       880     77204      2248     51751    236526   2073962     12.74   no data  --
673.42/168.63	c  N dy  2076    557479       880     77204      2248     71473    236526   3435906     12.82     22.32  --
690.19/172.87	c  N dy  2149    577534       880     77204      2248     54885    236526   2322690     12.82     17.99  --
713.77/178.73	c  N dy  2230    598925       880     77204      2248     38611    236526   1173488     12.84     13.62  --
732.14/183.36	c  N dy  2296    619028       880     77204      2248     58187    236526   2299880     12.83     13.51  --
755.31/189.16	c  N dy  2397    639528       880     77204      2248     40169    236526   1208050     12.87     13.57  --
772.09/193.39	c  N dy  2488    659582       880     77204      2248     59866    236526   2587637     12.90     19.52  --
797.26/199.62	c  N dy  2608    679657       880     77204      2248     40394    236526   1241958     12.97     21.85  --
813.63/203.72	c  N dy  2667    700244       880     77204      2248     60548    236526   2578278     12.96     13.88  --
835.20/209.16	c  N dy  2739    721227       880     77204      2248     40947    236526   1217653     12.96     13.65  --
855.57/214.25	c  N dy  2837    746095       880     77204      2248     65319    236526   2790632     12.98     13.77  --
879.14/220.11	c  N dy  2944    766195       880     77204      2248     43893    236526   1417125     13.04     21.31  --
895.51/224.29	c  N dy  2993    788062       880     77204      2248     65172    236526   2774278     13.00     13.90  --
920.30/230.49	c  S st  3057    806106       880     77204      2248     82720    236526   3772914     13.01     10.43  --
921.48/230.77	c  S st  3057    806610       880     77204      2248     83223    236526   3794152     13.01   no data  --
921.48/230.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
921.48/230.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
922.28/230.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.7M T:  0.82
923.09/231.12	c bin-w-bin subsume rem            0 bins  time:  0.03 s
927.48/232.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.44 s
927.88/232.32	c Subs w/ non-existent bins:      0 l-rem:   3072 v-fix:     0 done:    287 time:  0.38 s
927.88/232.33	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
1360.14/340.55	c lits-rem:         8  cl-subs:     2832  v-elim:      0  v-fix:    0  time: 432.01 s
1360.14/340.56	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.04
1360.91/340.71	c vivif2 --  cl tried    80391 cl shrink     9966 lits rem      78667 time: 0.61
1362.11/341.02	c asymm  cl-useful: 0/2657/77204 lits-rem:0 time: 1.24
1362.11/341.03	c calculated reachability. Time: 0.00
1362.11/341.03	c  N dy  3057    806610       880     77204      2248     80391    236526   3660313     13.01   no data  --
1382.49/346.19	c  N dy  3139    827044       880     77204      2248     58420    236526   2297483     13.02     13.83  --
1402.87/351.20	c  N dy  3157    848162       880     77204      2248     78877    236526   3453417     12.95     13.64  --
1426.84/357.29	c  N dy  3223    868222       880     77204      2248     55421    236526   1853250     12.95     21.44  --
1448.41/362.61	c  N dy  3296    888277       880     77204      2248     74922    236526   3028231     12.95     17.94  --
1471.19/368.39	c  N dy  3323    909308       880     77204      2248     51598    236526   1756159     12.89     13.58  --
1493.17/373.81	c  N dy  3419    929321       880     77204      2248     71157    236526   2952281     12.92     17.99  --
1522.35/381.19	c  N dy  3506    951274       880     77204      2248     47737    236526   1469116     12.92     14.08  --
1541.51/385.95	c  N dy  3528    972395       880     77204      2248     68087    236526   2492638     12.87     13.55  --
1569.48/392.90	c  N dy  3596    992538       880     77204      2248     87458    236526   3420089     12.87     13.55  --
1595.05/399.32	c  N dy  3620   1019042       880     77204      2248     67627    236526   2447532     12.80     13.49  --
1617.83/405.07	c  N dy  3701   1039136       880     77204      2248     87349    236526   3765234     12.82     18.19  --
1639.00/410.33	c  N dy  3781   1060632       880     77204      2248     61715    236526   2362299     12.82     13.71  --
1650.59/413.21	c  F st  3834   1071875       880     77204      2248     72756    236526   3028177     12.84      9.47  --
1659.77/415.55	c  N dy  3857   1080909       880     77204      2248     81657    236526   3669533     12.84     13.82  --
1687.74/422.56	c  N dy  3922   1102427       880     77204      2248     54858    236526   1824934     12.83     13.60  --
1708.12/427.69	c  N dy  4007   1123619       880     77204      2248     75589    236526   3177550     12.84     13.76  --
1736.89/434.88	c  N dy  4118   1143649       880     77204      2248     95267    236526   4505669     12.88     16.18  --
1759.66/440.60	c  N dy  4202   1163670       880     77204      2248     65917    236526   2499586     12.89     26.03  --
1785.62/447.01	c  N dy  4296   1183752       880     77204      2248     85560    236526   3695876     12.90     14.94  --
1810.79/453.38	c  N dy  4380   1204474       880     77204      2248     55949    236526   1866199     12.91     13.74  --
1815.99/454.65	c  S st  4404   1209915       880     77204      2248     61279    236526   2226153     12.91   no data  --
1816.79/454.87	c  S st  4404   1210416       880     77204      2248     61779    236526   2245979     12.91   no data  --
1816.79/454.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1816.79/454.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1817.58/455.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.9M T:  0.59
1817.98/455.10	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1819.98/455.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.07 s
1819.98/455.65	c Subs w/ non-existent bins:      0 l-rem:   1166 v-fix:     0 done:    342 time:  0.12 s
1819.98/455.65	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
1861.15/465.99	c lits-rem:        10  cl-subs:      560  v-elim:      0  v-fix:    0  time: 41.26 s
1861.53/466.00	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.03
1861.53/466.05	c vivif2 --  cl tried    61219 cl shrink     2603 lits rem      17049 time: 0.21
1862.73/466.34	c asymm  cl-useful: 0/1902/77204 lits-rem:0 time: 1.16
1862.73/466.35	c calculated reachability. Time: 0.00
1862.73/466.35	c  N dy  4404   1210416       880     77204      2248     61219    236526   2217180     12.91   no data  --
1887.12/472.42	c  N dy  4469   1231439       880     77204      2248     81680    236526   3401283     12.91     13.68  --
1915.07/479.48	c  N dy  4552   1253209       880     77204      2248     52166    236526   1588410     12.91     13.62  --
1935.05/484.44	c  N dy  4613   1275961       880     77204      2248     74397    236526   2948488     12.89     13.87  --
1958.62/490.32	c  N dy  4681   1296022       880     77204      2248     93871    236526   4085601     12.89     15.76  --
1981.39/496.05	c  N dy  4738   1316040       880     77204      2248     61675    236526   2188584     12.88     13.89  --
2006.56/502.39	c  N dy  4826   1338983       880     77204      2248     84167    236526   3636183     12.89     13.61  --
2036.54/509.82	c  N dy  4901   1359654       880     77204      2248    104236    236526   4749527     12.89     13.74  --
2056.91/514.99	c  N dy  4972   1379989       880     77204      2248     71383    236526   2758518     12.88     13.70  --
2080.89/520.98	c  N dy  5036   1402640       880     77204      2248     93496    236526   4174886     12.87     13.63  --
2108.84/527.92	c  N dy  5112   1423806       880     77204      2248     60483    236526   2054743     12.88     13.69  --
2134.01/534.26	c  N dy  5194   1444887       880     77204      2248     81019    236526   3222097     12.89     13.72  --
2163.18/541.50	c  N dy  5242   1468011       880     77204      2248    103417    236526   4499261     12.86     13.58  --
2186.75/547.48	c  N dy  5298   1488983       880     77204      2248     69237    236526   2536670     12.85     13.62  --
2213.11/554.07	c  N dy  5381   1509700       880     77204      2248     89386    236526   3745600     12.85     13.68  --
2244.28/561.87	c  N dy  5478   1529716       880     77204      2248    108994    236526   5028580     12.87     18.63  --
2267.45/567.69	c  N dy  5524   1549777       880     77204      2248     72971    236526   2657114     12.86     17.49  --
2297.42/575.19	c  N dy  5664   1569807       880     77204      2248     92635    236526   3936497     12.90     18.11  --
2330.58/583.45	c  N dy  5750   1589834       880     77204      2248    112236    236526   5170350     12.90     20.88  --
2356.15/589.89	c  N dy  5809   1612479       880     77204      2248     77706    236526   3108511     12.89     13.57  --
2388.13/597.80	c  N dy  5882   1632530       880     77204      2248     97235    236526   4223124     12.89     14.25  --
2424.06/606.85	c  N dy  5937   1655456       880     77204      2248     61968    236526   2117384     12.87     13.90  --
2448.43/612.91	c  N dy  6007   1675901       880     77204      2248     81943    236526   3331898     12.87     13.60  --
2478.79/620.58	c  N dy  6065   1697792       880     77204      2248    103357    236526   4780552     12.86     13.60  --
2504.36/626.93	c  S st  6126   1710416       880     77204      2248    115747    236526   5538968     12.87      9.95  --
2506.36/627.42	c  S st  6126   1710917       880     77204      2248    116247    236526   5561158     12.87   no data  --
2506.36/627.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2506.36/627.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2508.35/627.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.8M T:  1.82
2508.75/628.08	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2516.35/629.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.29 s
2516.75/630.03	c Subs w/ non-existent bins:      0 l-rem:   2681 v-fix:     0 done:    116 time:  0.52 s
2516.75/630.04	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.02 s
3666.88/917.97	c lits-rem:        23  cl-subs:     2326  v-elim:      0  v-fix:    0  time: 1149.46 s
3666.88/917.98	c vivif2 --  cl tried    77204 cl shrink        0 lits rem          0 time: 0.04
3668.07/918.21	c vivif2 --  cl tried   113921 cl shrink    13047 lits rem     109047 time: 0.93
3669.27/918.54	c asymm  cl-useful: 0/1171/77204 lits-rem:0 time: 1.33
3669.27/918.55	c calculated reachability. Time: 0.00
3669.27/918.55	c  N dy  6126   1710917       880     77204      2248    113921    236526   5404030     12.87   no data  --
3698.83/925.97	c  N dy  6232   1731005       880     77204      2248     75035    236526   2973446     12.90     19.83  --
3732.39/934.33	c  N dy  6341   1751065       880     77204      2248     94679    236526   4254062     12.92     15.33  --
3776.75/945.46	c  N dy  6430   1777740       880     77204      2248     61094    236526   2033476     12.91     13.74  --
3802.30/951.82	c  N dy  6537   1797743       880     77204      2248     80710    236526   3370256     12.93     19.51  --
3836.66/960.40	c  N dy  6660   1817834       880     77204      2248    100453    236526   4751733     12.96     20.13  --
3875.82/970.21	c  N dy  6751   1838577       880     77204      2248    120778    236526   6098070     12.98     13.68  --
3900.98/976.59	c  N dy  6793   1861122       880     77204      2248     82066    236526   3378234     12.96     13.65  --
3936.14/985.39	c  N dy  6879   1881306       880     77204      2248    101864    236526   4699885     12.97     13.67  --
3982.08/996.86	c  N dy  7005   1902889       880     77204      2248    123037    236526   6103657     13.00     13.78  --
4008.45/1003.44	c  N dy  7091   1922977       880     77204      2248     81057    236526   3316899     13.01     17.98  --
4035.63/1010.28	c  N dy  7158   1943033       880     77204      2248    100664    236526   4635860     13.01     16.77  --
4077.17/1020.63	c  N dy  7276   1963126       880     77204      2248    120414    236526   6042436     13.03     22.57  --
4110.74/1029.02	c  N dy  7392   1985340       880     77204      2248     79544    236526   3199425     13.05     13.75  --
4142.29/1036.98	c  N dy  7462   2008914       880     77204      2248    102469    236526   4738365     13.05     13.75  --
4189.03/1048.66	c  N dy  7578   2031134       880     77204      2248    124171    236526   6128683     13.07     14.13  --
4219.39/1056.25	c  N dy  7675   2051333       880     77204      2248     80416    236526   3255545     13.08     13.83  --
4258.54/1066.02	c  N dy  7761   2073128       880     77204      2248    101549    236526   4493360     13.09     13.87  --
4300.11/1076.45	c  N dy  7854   2093129       880     77204      2248    121121    236526   5800593     13.10     20.35  --
4338.43/1086.02	c  N dy  7957   2113548       880     77204      2248     76653    236526   2964659     13.12     13.94  --
4373.98/1094.99	c  N dy  8049   2134157       880     77204      2248     96911    236526   4340965     13.13     13.84  --
4415.93/1105.49	c  N dy  8140   2154392       880     77204      2248    116641    236526   5684491     13.14     13.90  --
4456.68/1115.66	c  N dy  8221   2174414       880     77204      2248     70688    236526   2508743     13.15     24.14  --
4483.44/1122.34	c  N dy  8285   2194488       880     77204      2248     90300    236526   3745774     13.15     25.39  --
4511.03/1129.22	c  S st  8295   2210920       880     77204      2248    106093    236526   4539270     13.12     10.47  --
4512.60/1129.66	c  S st  8295   2211424       880     77204      2248    106596    236526   4565972     13.12   no data  --
4512.60/1129.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4512.60/1129.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4514.20/1130.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.4M T:  1.33
4514.60/1130.14	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4519.81/1131.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.34 s
4520.19/1131.58	c Subs w/ non-existent bins:      0 l-rem:   2477 v-fix:     0 done:    127 time:  0.41 s
4520.19/1131.59	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.01 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: 935)

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-3283908-1304033819/watcher-3283908-1304033819 -o /tmp/evaluation-result-3283908-1304033819/solver-3283908-1304033819 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3283908-1304033819.cnf 

running on 4 cores: 0,2,4,6

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.39 7.93 7.96 5/180 2530
/proc/meminfo: memFree=21812864/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 495797225 52465664 352 33554432000 4194304 4650419 140736982963456 18446744073709551615 47627582887858 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 12809 352 303 112 0 7774 0
[pid=2530/tid=2531] ppid=2528 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495797226 52465664 357 33554432000 4194304 4650419 140736982963456 18446744073709551615 47627582887858 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495797226 52465664 357 33554432000 4194304 4650419 140736982963456 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495797226 52465664 357 33554432000 4194304 4650419 140736982963456 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.655116 s]
/proc/loadavg: 7.39 7.93 7.96 5/180 2530
/proc/meminfo: memFree=21812864/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=328636 CPUtime=2.59 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 10472 0 0 0 256 3 0 0 18 0 4 0 495797225 336523264 9333 33554432000 4194304 4650419 140736982963456 18446744073709551615 254261659783 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 82159 8836 371 112 0 77124 0
[pid=2530/tid=2531] ppid=2528 vsize=328636 CPUtime=0.63 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) D 2528 2530 1895 0 -1 4202560 2558 0 0 0 63 0 0 0 18 0 4 0 495797226 336523264 8836 33554432000 4194304 4650419 140736982963456 18446744073709551615 4514355 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=328636 CPUtime=0.64 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) D 2528 2530 1895 0 -1 4202560 2404 0 0 0 63 1 0 0 18 0 4 0 495797226 336523264 8836 33554432000 4194304 4650419 140736982963456 18446744073709551615 254261314186 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=320428 CPUtime=0.64 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 2034 0 0 0 64 0 0 0 18 0 4 0 495797226 328118272 8755 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 328636

[startup+0.717687 s]
/proc/loadavg: 7.39 7.93 7.96 5/180 2530
/proc/meminfo: memFree=21812864/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=299836 CPUtime=2.82 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 12013 0 0 0 279 3 0 0 18 0 4 0 495797225 307032064 8633 33554432000 4194304 4650419 140736982963456 18446744073709551615 254261721631 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 74959 8633 376 112 0 69924 0
[pid=2530/tid=2531] ppid=2528 vsize=299836 CPUtime=0.69 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 3239 0 0 0 69 0 0 0 18 0 4 0 495797226 307032064 8633 33554432000 4194304 4650419 140736982963456 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=299836 CPUtime=0.7 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 3120 0 0 0 69 1 0 0 18 0 4 0 495797226 307032064 8633 33554432000 4194304 4650419 140736982963456 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=299836 CPUtime=0.7 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 2098 0 0 0 70 0 0 0 18 0 4 0 495797226 307032064 8633 33554432000 4194304 4650419 140736982963456 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 299836

[startup+0.802603 s]
/proc/loadavg: 7.39 7.93 7.96 5/180 2530
/proc/meminfo: memFree=21812864/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=309096 CPUtime=3.16 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 19053 0 0 0 311 5 0 0 18 0 4 0 495797225 316514304 15666 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 77274 15668 388 112 0 72239 0
[pid=2530/tid=2531] ppid=2528 vsize=309096 CPUtime=0.78 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 5500 0 0 0 77 1 0 0 18 0 4 0 495797226 316514304 15670 33554432000 4194304 4650419 140736982963456 18446744073709551615 254261313721 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=309096 CPUtime=0.78 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 5395 0 0 0 77 1 0 0 18 0 4 0 495797226 316514304 15673 33554432000 4194304 4650419 140736982963456 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=309096 CPUtime=0.79 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 2135 0 0 0 78 1 0 0 19 0 4 0 495797226 316514304 15678 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 309096

[startup+0.900798 s]
/proc/loadavg: 7.39 7.93 7.96 5/180 2530
/proc/meminfo: memFree=21812864/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=314132 CPUtime=3.55 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 23598 0 0 0 350 5 0 0 18 0 4 0 495797225 321671168 17417 33554432000 4194304 4650419 140736982963456 18446744073709551615 4422572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 78533 17417 388 112 0 73498 0
[pid=2530/tid=2531] ppid=2528 vsize=314132 CPUtime=0.87 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 6614 0 0 0 86 1 0 0 18 0 4 0 495797226 321671168 17417 33554432000 4194304 4650419 140736982963456 18446744073709551615 4441360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=314132 CPUtime=0.88 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 6888 0 0 0 86 2 0 0 18 0 4 0 495797226 321671168 17417 33554432000 4194304 4650419 140736982963456 18446744073709551615 4441399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=314132 CPUtime=0.89 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 2152 0 0 0 88 1 0 0 19 0 4 0 495797226 321671168 17417 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 314132

[startup+1.50068 s]
/proc/loadavg: 7.39 7.93 7.96 5/180 2530
/proc/meminfo: memFree=21812864/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=314132 CPUtime=5.95 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 25553 0 0 0 589 6 0 0 18 0 4 0 495797225 321671168 19192 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 78533 19192 391 112 0 73498 0
[pid=2530/tid=2531] ppid=2528 vsize=314132 CPUtime=1.47 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 7498 0 0 0 146 1 0 0 18 0 4 0 495797226 321671168 19192 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=314132 CPUtime=1.48 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 7089 0 0 0 146 2 0 0 18 0 4 0 495797226 321671168 19192 33554432000 4194304 4650419 140736982963456 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=314132 CPUtime=1.49 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 2325 0 0 0 148 1 0 0 19 0 4 0 495797226 321671168 19192 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 314132

[startup+3.1004 s]
/proc/loadavg: 7.44 7.93 7.96 9/184 2534
/proc/meminfo: memFree=21729264/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=322104 CPUtime=12.34 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 32392 0 0 0 1227 7 0 0 21 0 4 0 495797225 329834496 19901 33554432000 4194304 4650419 140736982963456 18446744073709551615 4328302 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 80526 19901 394 112 0 75491 0
[pid=2530/tid=2531] ppid=2528 vsize=322104 CPUtime=3.06 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 9856 0 0 0 304 2 0 0 22 0 4 0 495797226 329834496 19901 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=322104 CPUtime=3.08 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 8502 0 0 0 306 2 0 0 22 0 4 0 495797226 329834496 19901 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=322104 CPUtime=3.09 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 3736 0 0 0 308 1 0 0 25 0 4 0 495797226 329834496 19901 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 322104

[startup+6.30084 s]
/proc/loadavg: 7.44 7.93 7.96 10/184 2535
/proc/meminfo: memFree=21687648/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=356412 CPUtime=25.12 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 58875 0 0 0 2501 11 0 0 25 0 4 0 495797225 364965888 43160 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 89103 43160 395 112 0 84068 0
[pid=2530/tid=2531] ppid=2528 vsize=356412 CPUtime=6.25 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 18314 0 0 0 622 3 0 0 25 0 4 0 495797226 364965888 43160 33554432000 4194304 4650419 140736982963456 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=356412 CPUtime=6.28 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 12818 0 0 0 625 3 0 0 25 0 4 0 495797226 364965888 43160 33554432000 4194304 4650419 140736982963456 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=356412 CPUtime=6.28 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 11126 0 0 0 626 2 0 0 25 0 4 0 495797226 364965888 43160 33554432000 4194304 4650419 140736982963456 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 356412

[startup+12.7067 s]
/proc/loadavg: 7.53 7.93 7.96 10/184 2535
/proc/meminfo: memFree=21675512/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=365392 CPUtime=50.71 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 68033 0 0 0 5058 13 0 0 25 0 4 0 495797225 374161408 46427 33554432000 4194304 4650419 140736982963456 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 91348 46427 395 112 0 86313 0
[pid=2530/tid=2531] ppid=2528 vsize=365392 CPUtime=12.61 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 19111 0 0 0 1258 3 0 0 25 0 4 0 495797226 374161408 46427 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=365392 CPUtime=12.69 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 14010 0 0 0 1265 4 0 0 25 0 4 0 495797226 374161408 46427 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=365392 CPUtime=12.69 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 16086 0 0 0 1266 3 0 0 25 0 4 0 495797226 374161408 46427 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 365392

[startup+25.5004 s]
/proc/loadavg: 7.76 7.96 7.97 10/184 2535
/proc/meminfo: memFree=21639428/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=422060 CPUtime=101.81 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 99759 0 0 0 10162 19 0 0 25 0 4 0 495797225 432189440 55480 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 105515 55480 395 112 0 100480 0
[pid=2530/tid=2531] ppid=2528 vsize=422060 CPUtime=25.34 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 28785 0 0 0 2529 5 0 0 25 0 4 0 495797226 432189440 55480 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=422060 CPUtime=25.48 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 21026 0 0 0 2543 5 0 0 25 0 4 0 495797226 432189440 55480 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=422060 CPUtime=25.49 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 26041 0 0 0 2544 5 0 0 25 0 4 0 495797226 432189440 55480 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 422060

[startup+51.1009 s]
/proc/loadavg: 7.84 7.97 7.97 10/184 2536
/proc/meminfo: memFree=21553208/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=482248 CPUtime=204.08 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 145144 0 0 0 20377 31 0 0 25 0 4 0 495797225 493821952 73238 33554432000 4194304 4650419 140736982963456 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 120562 73238 395 112 0 115527 0
[pid=2530/tid=2531] ppid=2528 vsize=482248 CPUtime=50.79 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 40332 0 0 0 5072 7 0 0 25 0 4 0 495797226 493821952 73238 33554432000 4194304 4650419 140736982963456 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=482248 CPUtime=51.09 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 27369 0 0 0 5102 7 0 0 25 0 4 0 495797226 493821952 73238 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=482248 CPUtime=51.09 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 40922 0 0 0 5099 10 0 0 25 0 4 0 495797226 493821952 73238 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363845 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 482248

[startup+102.301 s]
/proc/loadavg: 8.00 7.99 7.98 9/184 2569
/proc/meminfo: memFree=21744088/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=589572 CPUtime=408.59 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 200625 0 0 0 40814 45 0 0 25 0 4 0 495797225 603721728 90798 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 147393 90798 395 112 0 142358 0
[pid=2530/tid=2531] ppid=2528 vsize=589572 CPUtime=101.71 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 59021 0 0 0 10160 11 0 0 25 0 4 0 495797226 603721728 90798 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=589572 CPUtime=102.28 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 41802 0 0 0 10218 10 0 0 25 0 4 0 495797226 603721728 90798 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=589572 CPUtime=102.28 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 52817 0 0 0 10214 14 0 0 25 0 4 0 495797226 603721728 90798 33554432000 4194304 4650419 140736982963456 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 589572

[startup+162.307 s]

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

[pid=2530] ppid=2528 vsize=991852 CPUtime=2565.88 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 718195 0 0 0 256393 195 0 0 25 0 4 0 495797225 1015656448 170617 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 247963 170617 401 112 0 242928 0
[pid=2530/tid=2531] ppid=2528 vsize=991852 CPUtime=638.98 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 165560 0 0 0 63853 45 0 0 25 0 4 0 495797226 1015656448 170617 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=991852 CPUtime=642.27 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 193024 0 0 0 64185 42 0 0 25 0 4 0 495797226 1015656448 170617 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=991852 CPUtime=642.3 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 176733 0 0 0 64168 62 0 0 25 0 4 0 495797226 1015656448 170617 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.88
Current children cumulated vsize (KiB) 991852

[startup+702.3 s]
/proc/loadavg: 4.02 4.87 6.42 5/175 2602
/proc/meminfo: memFree=21575624/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1057760 CPUtime=2805.59 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 768746 0 0 0 280349 210 0 0 25 0 4 0 495797225 1083146240 158345 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 264440 158345 401 112 0 259405 0
[pid=2530/tid=2531] ppid=2528 vsize=1057760 CPUtime=698.67 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 181596 0 0 0 69816 51 0 0 25 0 4 0 495797226 1083146240 158345 33554432000 4194304 4650419 140736982963456 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1057760 CPUtime=702.29 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 196063 0 0 0 70185 44 0 0 25 0 4 0 495797226 1083146240 158345 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1057760 CPUtime=702.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 185923 0 0 0 70164 67 0 0 25 0 4 0 495797226 1083146240 158345 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.59
Current children cumulated vsize (KiB) 1057760

[startup+762.301 s]
/proc/loadavg: 4.08 4.73 6.27 5/175 2604
/proc/meminfo: memFree=21510596/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1077640 CPUtime=3045.27 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 925011 0 0 0 304288 239 0 0 25 0 4 0 495797225 1103503360 174324 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 269410 174324 403 112 0 264375 0
[pid=2530/tid=2531] ppid=2528 vsize=1077640 CPUtime=758.36 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 197501 0 0 0 75777 59 0 0 25 0 4 0 495797226 1103503360 174324 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1077640 CPUtime=762.28 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 201737 0 0 0 76181 47 0 0 25 0 4 0 495797226 1103503360 174324 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1077640 CPUtime=762.3 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 267109 0 0 0 76154 76 0 0 25 0 4 0 495797226 1103503360 174324 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.27
Current children cumulated vsize (KiB) 1077640

[startup+822.307 s]
/proc/loadavg: 4.10 4.61 6.13 5/175 2605
/proc/meminfo: memFree=21483768/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1118112 CPUtime=3284.97 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 971008 0 0 0 328249 248 0 0 25 0 4 0 495797225 1144946688 181268 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 279528 181268 403 112 0 274493 0
[pid=2530/tid=2531] ppid=2528 vsize=1118112 CPUtime=818.04 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 219268 0 0 0 81740 64 0 0 25 0 4 0 495797226 1144946688 181268 33554432000 4194304 4650419 140736982963456 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1118112 CPUtime=822.28 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 207375 0 0 0 82180 48 0 0 25 0 4 0 495797226 1144946688 181268 33554432000 4194304 4650419 140736982963456 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1118112 CPUtime=822.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 279254 0 0 0 82153 78 0 0 25 0 4 0 495797226 1144946688 181268 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.97
Current children cumulated vsize (KiB) 1118112

[startup+882.3 s]
/proc/loadavg: 4.10 4.51 6.00 5/175 2607
/proc/meminfo: memFree=21473536/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1186616 CPUtime=3524.63 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1037680 0 0 0 352202 261 0 0 25 0 4 0 495797225 1215094784 184044 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 296654 184044 403 112 0 291619 0
[pid=2530/tid=2531] ppid=2528 vsize=1186616 CPUtime=877.72 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 219827 0 0 0 87707 65 0 0 25 0 4 0 495797226 1215094784 184044 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1186616 CPUtime=882.27 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 260580 0 0 0 88168 59 0 0 25 0 4 0 495797226 1215094784 184044 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1186616 CPUtime=882.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 284146 0 0 0 88152 79 0 0 25 0 4 0 495797226 1215094784 184044 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.63
Current children cumulated vsize (KiB) 1186616

[startup+942.301 s]
/proc/loadavg: 4.04 4.41 5.87 5/175 2609
/proc/meminfo: memFree=21423508/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1070808 CPUtime=3764.35 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1086300 0 0 0 376160 275 0 0 25 0 4 0 495797225 1096507392 196498 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 267702 196498 403 112 0 262667 0
[pid=2530/tid=2531] ppid=2528 vsize=1070808 CPUtime=937.48 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 219827 0 0 0 93683 65 0 0 25 0 4 0 495797226 1096507392 196498 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1070808 CPUtime=942.27 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 269644 0 0 0 94164 63 0 0 25 0 4 0 495797226 1096507392 196498 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1070808 CPUtime=942.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 308963 0 0 0 94145 86 0 0 25 0 4 0 495797226 1096507392 196498 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.35
Current children cumulated vsize (KiB) 1070808

[startup+1002.3 s]
/proc/loadavg: 4.07 4.35 5.76 5/175 2610
/proc/meminfo: memFree=21442404/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1005560 CPUtime=4004.06 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1131734 0 0 0 400116 290 0 0 25 0 4 0 495797225 1029693440 191996 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 251390 191996 403 112 0 246355 0
[pid=2530/tid=2531] ppid=2528 vsize=1005560 CPUtime=997.48 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 239496 0 0 0 99682 66 0 0 25 0 4 0 495797226 1029693440 191996 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1005560 CPUtime=1002.28 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 276623 0 0 0 100161 67 0 0 25 0 4 0 495797226 1029693440 191996 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1005560 CPUtime=1002.3 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 314111 0 0 0 100141 89 0 0 25 0 4 0 495797226 1029693440 191996 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.06
Current children cumulated vsize (KiB) 1005560

[startup+1062.3 s]
/proc/loadavg: 4.08 4.30 5.65 5/175 2612
/proc/meminfo: memFree=21392120/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1071096 CPUtime=4243.75 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1161526 0 0 0 424072 303 0 0 25 0 4 0 495797225 1096802304 203339 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 267774 203339 403 112 0 262739 0
[pid=2530/tid=2531] ppid=2528 vsize=1071096 CPUtime=1057.48 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 240551 0 0 0 105681 67 0 0 25 0 4 0 495797226 1096802304 203339 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1071096 CPUtime=1062.27 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 284222 0 0 0 106157 70 0 0 25 0 4 0 495797226 1096802304 203339 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1071096 CPUtime=1062.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 319150 0 0 0 106139 92 0 0 25 0 4 0 495797226 1096802304 203339 33554432000 4194304 4650419 140736982963456 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.75
Current children cumulated vsize (KiB) 1071096

[startup+1122.3 s]
/proc/loadavg: 4.07 4.26 5.55 5/175 2613
/proc/meminfo: memFree=21405832/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1158184 CPUtime=4483.44 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1276319 0 0 0 448018 326 0 0 25 0 4 0 495797225 1185980416 200925 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 289546 200925 401 112 0 284511 0
[pid=2530/tid=2531] ppid=2528 vsize=1158184 CPUtime=1117.49 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 240589 0 0 0 111682 67 0 0 25 0 4 0 495797226 1185980416 200925 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1158184 CPUtime=1122.27 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 386251 0 0 0 112141 86 0 0 25 0 4 0 495797226 1185980416 200925 33554432000 4194304 4650419 140736982963456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1158184 CPUtime=1122.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 322607 0 0 0 112137 94 0 0 25 0 4 0 495797226 1185980416 200925 33554432000 4194304 4650419 140736982963456 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.44
Current children cumulated vsize (KiB) 1158184

[startup+1182.3 s]
/proc/loadavg: 4.07 4.22 5.45 5/175 2615
/proc/meminfo: memFree=21408148/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1092640 CPUtime=4723.14 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1331818 0 0 0 471976 338 0 0 25 0 4 0 495797225 1118863360 200094 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 273160 200094 401 112 0 268125 0
[pid=2530/tid=2531] ppid=2528 vsize=1092640 CPUtime=1177.49 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 240589 0 0 0 117682 67 0 0 25 0 4 0 495797226 1118863360 200094 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1092640 CPUtime=1182.27 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 392611 0 0 0 118138 89 0 0 25 0 4 0 495797226 1118863360 200094 33554432000 4194304 4650419 140736982963456 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1092640 CPUtime=1182.31 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 370878 0 0 0 118129 102 0 0 25 0 4 0 495797226 1118863360 200094 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.14
Current children cumulated vsize (KiB) 1092640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.05 4.21 5.42 5/175 2615
/proc/meminfo: memFree=21407132/32951124 swapFree=67111528/67111528
[pid=2530] ppid=2528 vsize=1092640 CPUtime=4800.25 cores=0,2,4,6
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 1895 0 -1 4202496 1333120 0 0 0 479687 338 0 0 25 0 4 0 495797225 1118863360 200331 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 273160 200331 401 112 0 268125 0
[pid=2530/tid=2531] ppid=2528 vsize=1092640 CPUtime=1196.79 cores=0,2,4,6
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 240589 0 0 0 119612 67 0 0 25 0 4 0 495797226 1118863360 200331 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=1092640 CPUtime=1201.58 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 393911 0 0 0 120069 89 0 0 25 0 4 0 495797226 1118863360 200331 33554432000 4194304 4650419 140736982963456 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=1092640 CPUtime=1201.62 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 1895 0 -1 4202560 370880 0 0 0 120060 102 0 0 25 0 4 0 495797226 1118863360 200331 33554432000 4194304 4650419 140736982963456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1092640

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.65
CPU time (s): 4800.32
CPU user time (s): 4796.9
CPU system time (s): 3.42448
CPU usage (%): 399.477
Max. virtual memory (cumulated for all children) (KiB): 1202192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.9
system time used= 3.42448
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1333120
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= 4115
involuntary context switches= 21547

runsolver used 2.02169 second user time and 4.11837 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 01:36:59
IDJOB=3283908
IDBENCH=71089
IDSOLVER=1588
FILE ID=node140/3283908-1304033819
RUNJOBID= node140-1304032539-2286
PBS_JOBID= 13170312
Free space on /tmp= 72656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3283908-1304033819/watcher-3283908-1304033819 -o /tmp/evaluation-result-3283908-1304033819/solver-3283908-1304033819 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3283908-1304033819.cnf

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

MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED=1970536472

node140.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.833
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.66
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.833
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.14
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.833
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.75
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.833
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.833
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.75
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.833
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.74
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.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21813144 kB
Buffers:       2293732 kB
Cached:        7822140 kB
SwapCached:          0 kB
Active:        3004108 kB
Inactive:      7565220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21813144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7532 kB
Writeback:           0 kB
AnonPages:      452752 kB
Mapped:          15496 kB
Slab:           504248 kB
PageTables:       5384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   724236 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= 72656 MiB
End job on node140 at 2011-04-29 01:57:03