Trace number 3175000

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.22 1201.76

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
MD5SUM04e94fe2f2a1881d983170c76e6cb046
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.6875
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3175000-1304076476.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.00/0.05	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.05	c -- vars added      15000
0.00/0.05	c Parsing time:  0.14 s
0.00/0.05	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.00/0.09	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.00/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.00/0.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.00/0.85	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.00/0.85	c lits-rem:         0  cl-subs:        0  v-elim:    449  v-fix:    0  time:  0.55 s
0.00/0.85	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.85	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.02 s pos:    6599 undec:    1792 neg:    6609
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.85	c  B st     0         0     14551     62414         0         0    189769         0   no data   no data  --
4.21/1.14	c  N dy    19      4048     14551     62414         0      4048    189769    869412    113.97    123.86  --
7.58/1.95	c  N dy    46      8185     14551     62414         0      8185    189769   1611328    113.20    123.69  --
10.75/2.78	c  N dy    75     12296     14551     62414         0     12296    189769   2345221    113.61    120.54  --
14.35/3.65	c  N dy   102     16423     14551     62414         0     16423    189769   3077156    112.82    119.33  --
17.95/4.55	c  N dy   128     20513     14551     62414         0     10516    189769    607796    112.72    121.91  --
21.54/5.41	c  N dy   156     24714     14551     62414         0     14717    189769   1360009    112.44    121.18  --
21.54/5.47	c  F st   159     25000     14551     62414         0     15003    189769   1405836    112.39   no data  --
26.33/6.61	c  N dy   165     30001     14551     62414         0     20003    189769   2587020    112.39   no data  --
26.33/6.61	c  S st   165     30001     14551     62414         0     20003    189769   2587020    112.39   no data  --
26.73/6.72	c  S st   165     30509     14551     62414         0     20510    189769   2650304    112.39   no data  --
26.73/6.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
26.73/6.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.14/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
27.93/7.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
27.93/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
27.93/7.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
27.93/7.02	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.11/11.36	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 17.26 s
45.51/11.45	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.35
45.51/11.46	c calculated reachability. Time: 0.00
45.51/11.46	c  N dy   165     30509     14551     62414         0     20507    189769   2649031    112.39   no data  --
49.90/12.52	c  N dy   192     34550     14551     62414         0     24548    189769   3360772    112.31    120.06  --
54.30/13.61	c  N dy   220     38664     14551     62414         0     28662    189769   4073580    112.04    118.55  --
58.28/14.70	c  N dy   248     42692     14551     62414         0     17190    189769    917101    112.47    123.37  --
61.88/15.50	c  S st   271     45764     14551     62414         0     20262    189769   1468159    112.59    109.77  --
62.28/15.62	c  S st   271     46270     14551     62414         0     20768    189769   1530615    112.59   no data  --
62.28/15.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
62.28/15.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.68/15.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
63.08/15.80	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.08/15.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.08/15.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
63.08/15.81	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.26/18.62	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.17 s
74.26/18.62	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
74.26/18.64	c vivif2 --  cl tried    20767 cl shrink        0 lits rem          0 time: 0.08
74.66/18.72	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.32
74.66/18.72	c calculated reachability. Time: 0.00
74.66/18.72	c  N dy   271     46270     14551     62414         0     20767    189769   1530492    112.59   no data  --
78.26/19.69	c  N dy   302     50353     14551     62414         0     24850    189769   2289667    112.96    200.79  --
82.65/20.70	c  N dy   330     54532     14551     62414         0     29029    189769   3029921    113.05    120.68  --
86.67/21.71	c  N dy   360     58561     14551     62414         0     33058    189769   3769243    113.32    119.51  --
90.66/22.75	c  N dy   387     62570     14551     62414         0     37067    189769   4500562    113.43    119.42  --
94.64/23.70	c  N dy   415     66584     14551     62414         0     22333    189769   1255603    113.47    125.93  --
97.04/24.37	c  S st   434     69405     14551     62414         0     25154    189769   1760627    113.42   no data  --
97.44/24.50	c  S st   434     69907     14551     62414         0     25656    189769   1826854    113.42   no data  --
97.84/24.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.84/24.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.84/24.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
98.24/24.68	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.24/24.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.24/24.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
98.24/24.70	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.81/28.09	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 13.53 s
112.21/28.10	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
112.21/28.12	c vivif2 --  cl tried    25656 cl shrink        0 lits rem          0 time: 0.10
112.64/28.22	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.37
112.64/28.22	c calculated reachability. Time: 0.00
112.64/28.22	c  N dy   434     69907     14551     62414         0     25656    189769   1826848    113.42   no data  --
117.02/29.32	c  N dy   461     74513     14551     62414         0     30262    189769   2655677    113.46    120.49  --
121.82/30.52	c  N dy   493     79292     14551     62414         0     35040    189769   3538386    113.48    144.28  --
126.99/31.89	c  N dy   529     84521     14551     62414         0     40268    189769   4505212    113.81    130.87  --
130.20/32.65	c  F st   550     87501     14551     62414         0     22375    189769    838692    113.80     89.00  --
133.38/33.48	c  N st   555     90800     14551     62414         0     25673    189769   1630662    113.80   no data  --
139.39/34.94	c  N dy   581     96682     14551     62414         0     31555    189769   2756857    113.75    120.29  --
145.76/36.59	c  N dy   621    102864     14551     62414         0     37737    189769   3874787    113.71    122.91  --
148.18/37.14	c  S st   632    104860     14551     62414         0     39733    189769   4237451    113.66    105.26  --
148.55/37.28	c  S st   632    105363     14551     62414         0     40236    189769   4307783    113.66   no data  --
148.55/37.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
148.55/37.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.95/37.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
150.15/37.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
150.15/37.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
150.15/37.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
150.15/37.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
253.23/63.47	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 103.01 s
253.23/63.47	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
253.63/63.53	c vivif2 --  cl tried    40233 cl shrink        0 lits rem          0 time: 0.22
254.01/63.64	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.47
254.01/63.65	c calculated reachability. Time: 0.00
254.01/63.65	c  N dy   632    105363     14551     62414         0     40233    189769   4305965    113.66   no data  --
261.20/65.48	c  N dy   679    112224     14551     62414         0     24658    189769    936392    113.77    121.09  --
268.39/67.28	c  N dy   729    119505     14551     62414         0     31937    189769   2254105    113.84    120.13  --
276.38/69.26	c  N dy   779    127186     14551     62414         0     39618    189769   3657453    113.88    130.62  --
285.57/71.55	c  N dy   831    135404     14551     62414         0     24119    189769    588163    114.04    124.25  --
294.35/73.70	c  N dy   888    144176     14551     62414         0     32891    189769   2199397    114.13    122.33  --
303.94/76.19	c  N dy   955    153418     14551     62414         0     42133    189769   3917883    114.34    121.11  --
309.53/77.53	c  S st   989    158045     14551     62414         0     46760    189769   4754885    114.26     95.51  --
309.93/77.69	c  S st   989    158547     14551     62414         0     47262    189769   4825747    114.26   no data  --
310.35/77.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
310.35/77.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
310.35/77.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
311.53/78.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
311.53/78.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
311.53/78.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
311.53/78.08	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
537.62/134.64	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 225.55 s
537.62/134.64	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
538.01/134.71	c vivif2 --  cl tried    47255 cl shrink        0 lits rem          0 time: 0.26
538.42/134.85	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.55
538.42/134.85	c calculated reachability. Time: 0.00
538.42/134.85	c  N dy   989    158547     14551     62414         0     47255    189769   4824031    114.26   no data  --
549.60/137.69	c  N dy  1059    168846     14551     62414         0     32696    189769   1923712    114.40    121.76  --
561.98/140.70	c  N dy  1130    179673     14551     62414         0     43522    189769   3899976    114.35    121.25  --
575.17/144.03	c  N dy  1202    191323     14551     62414         0     29243    189769   1058627    114.21    125.12  --
588.34/147.38	c  N dy  1285    203596     14551     62414         0     41515    189769   3277433    114.33    122.36  --
604.33/151.31	c  N dy  1371    216733     14551     62414         0     27687    189769    576565    114.40    120.93  --
619.11/155.07	c  N dy  1463    230654     14551     62414         0     41607    189769   3157874    114.52    148.12  --
627.89/157.20	c  S st  1512    237820     14551     62414         0     48773    189769   4459180    114.53     92.59  --
628.29/157.37	c  S st  1512    238324     14551     62414         0     49277    189769   4532700    114.53   no data  --
628.29/157.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
628.29/157.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
628.69/157.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
629.89/157.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
629.89/157.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
629.89/157.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
629.89/157.74	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
805.25/201.66	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 175.03 s
805.25/201.67	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
805.65/201.73	c vivif2 --  cl tried    49273 cl shrink        0 lits rem          0 time: 0.24
806.05/201.87	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.56
806.05/201.88	c calculated reachability. Time: 0.00
806.05/201.88	c  N dy  1512    238324     14551     62414         0     49273    189769   4531958    114.53   no data  --
823.23/206.19	c  N dy  1602    253589     14551     62414         0     36562    189769   1998390    114.40    124.59  --
842.42/210.95	c  N dy  1708    269839     14551     62414         0     52810    189769   4954698    114.43    122.16  --
862.37/215.94	c  N dy  1824    287232     14551     62414         0     41214    189769   2656522    114.40    122.76  --
884.35/221.44	c  N dy  1945    305603     14551     62414         0     59582    189769   5994852    114.43    122.28  --
885.15/221.67	c  F st  1949    306252     14551     62414         0     30238    189769    469756    114.42   no data  --
906.71/227.02	c  N dy  2048    325160     14551     62414         0     49144    189769   4120867    114.50    123.64  --
930.67/233.08	c  N dy  2179    345203     14551     62414         0     38191    189769   1732669    114.47    120.73  --
945.06/236.68	c  S st  2263    357488     14551     62414         0     50475    189769   3966540    114.48   no data  --
945.86/236.84	c  S st  2263    357989     14551     62414         0     50976    189769   4031913    114.48   no data  --
945.86/236.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
945.86/236.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
946.25/236.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
947.06/237.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
947.06/237.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
947.06/237.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
947.06/237.18	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1084.47/271.54	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 137.10 s
1084.47/271.55	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1084.87/271.61	c vivif2 --  cl tried    50971 cl shrink        0 lits rem          0 time: 0.22
1085.27/271.75	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.58
1085.27/271.76	c calculated reachability. Time: 0.00
1085.27/271.76	c  N dy  2263    357989     14551     62414         0     50971    189769   4030423    114.48   no data  --
1110.05/277.95	c  N dy  2400    378144     14551     62414         0     39126    189769   1779525    114.56    121.48  --
1135.19/284.26	c  N dy  2538    398264     14551     62414         0     59246    189769   5433689    114.55    123.34  --
1160.76/290.69	c  N dy  2677    418332     14551     62414         0     46316    189769   2905275    114.66    120.99  --
1187.92/297.41	c  N dy  2809    438358     14551     62414         0     66340    189769   6583963    114.70    121.26  --
1213.09/303.71	c  N dy  2942    458560     14551     62414         0     52542    189769   3832944    114.76    128.20  --
1240.25/310.58	c  N dy  3075    478687     14551     62414         0     37673    189769    941235    114.80    122.30  --
1265.41/316.81	c  N dy  3208    498715     14551     62414         0     57699    189769   4611114    114.84    152.37  --
1292.58/323.66	c  N dy  3341    518839     14551     62414         0     41820    189769   1519638    114.88    127.11  --
1316.57/329.63	c  S st  3449    536983     14551     62414         0     59963    189769   4816842    114.84    102.94  --
1317.34/329.81	c  S st  3449    537483     14551     62414         0     60463    189769   4879062    114.84   no data  --
1317.34/329.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1317.34/329.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1317.75/329.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.38
1318.55/330.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1318.55/330.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1318.55/330.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
1318.55/330.19	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1561.81/391.08	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time: 242.71 s
1561.81/391.08	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1562.21/391.15	c vivif2 --  cl tried    60459 cl shrink        0 lits rem          0 time: 0.26
1563.03/391.31	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.62
1563.03/391.31	c calculated reachability. Time: 0.00
1563.03/391.31	c  N dy  3449    537483     14551     62414         0     60459    189769   4877539    114.84   no data  --
1587.37/397.44	c  N dy  3575    557581     14551     62414         0     43557    189769   1636869    114.84    125.22  --
1611.36/403.46	c  N dy  3707    577679     14551     62414         0     63654    189769   5315922    114.85    124.21  --
1636.10/409.70	c  N dy  3840    597744     14551     62414         0     45721    189769   1861657    114.86    122.04  --
1660.47/415.77	c  N dy  3969    617966     14551     62414         0     65942    189769   5534174    114.85    121.03  --
1686.06/422.13	c  N dy  4101    638093     14551     62414         0     47065    189769   1891730    114.87    121.34  --
1710.40/428.26	c  N dy  4238    658243     14551     62414         0     67214    189769   5614717    114.95    123.69  --
1736.35/434.72	c  N dy  4373    678323     14551     62414         0     47298    189769   1777694    114.99    122.91  --
1760.75/440.83	c  N dy  4500    698424     14551     62414         0     67398    189769   5444149    114.99    123.77  --
1786.72/447.33	c  N dy  4629    718447     14551     62414         0     46427    189769   1467223    115.00    122.30  --
1811.06/453.49	c  N dy  4770    738497     14551     62414         0     66472    189769   5203740    115.08    163.51  --
1838.22/460.22	c  N dy  4899    758620     14551     62414         0     44601    189769    916801    115.04    121.39  --
1862.18/466.25	c  N dy  5029    778788     14551     62414         0     64767    189769   4610678    115.05    123.04  --
1889.75/473.16	c  N dy  5167    798954     14551     62414         0     84931    189769   8309702    115.06    125.31  --
1898.54/475.32	c  S st  5214    806224     14551     62414         0     49201    189769   1548809    115.06   no data  --
1898.94/475.47	c  S st  5214    806728     14551     62414         0     49705    189769   1613731    115.06   no data  --
1898.94/475.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1898.94/475.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1899.34/475.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1899.74/475.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1899.74/475.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1899.74/475.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
1899.74/475.68	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1914.13/479.23	c lits-rem:        24  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.14 s
1914.13/479.23	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1914.13/479.26	c vivif2 --  cl tried    49705 cl shrink        0 lits rem          0 time: 0.10
1914.53/479.39	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.52
1914.53/479.39	c calculated reachability. Time: 0.00
1914.53/479.39	c  N dy  5214    806728     14551     62414         0     49705    189769   1613707    115.06   no data  --
1939.68/485.66	c  N dy  5357    826741     14551     62414         0     69718    189769   5364610    115.17    123.41  --
1967.26/492.58	c  N dy  5489    846872     14551     62414         0     45851    189769    801264    115.20    127.64  --
1992.01/498.78	c  N dy  5616    866895     14551     62414         0     65873    189769   4529257    115.23    122.74  --
2022.76/506.44	c  N dy  5747    886956     14551     62414         0     85933    189769   8222622    115.24    123.89  --
2050.35/513.36	c  N dy  5879    907150     14551     62414         0     61128    189769   3449156    115.28    123.54  --
2079.48/520.64	c  N dy  6011    927213     14551     62414         0     81190    189769   7099396    115.27    139.03  --
2109.04/528.04	c  N dy  6147    947351     14551     62414         0     55326    189769   2179962    115.31    125.39  --
2137.41/535.13	c  N dy  6279    967500     14551     62414         0     75472    189769   5903065    115.33    121.88  --
2170.16/543.33	c  N dy  6427    987932     14551     62414         0     48904    189769    828264    115.37    122.46  --
2196.92/550.03	c  N dy  6561   1008052     14551     62414         0     69024    189769   4552094    115.41    122.85  --
2227.68/557.79	c  N dy  6698   1028106     14551     62414         0     89078    189769   8295781    115.45    126.28  --
2256.45/565.00	c  N dy  6837   1048138     14551     62414         0     61113    189769   2860608    115.45    124.94  --
2286.00/572.32	c  N dy  6967   1068236     14551     62414         0     81208    189769   6538693    115.46    137.66  --
2291.59/573.75	c  F st  6988   1071875     14551     62414         0     84847    189769   7181179    115.45     93.50  --
2317.56/580.21	c  N dy  7070   1088287     14551     62414         0     52269    189769   1091255    115.46    183.69  --
2344.74/587.10	c  N dy  7194   1108478     14551     62414         0     72458    189769   4778875    115.44    121.97  --
2375.49/594.74	c  N dy  7327   1128543     14551     62414         0     92520    189769   8509125    115.46    123.49  --
2403.84/601.88	c  N dy  7460   1148642     14551     62414         0     62620    189769   2805242    115.49    126.29  --
2432.20/608.99	c  N dy  7586   1168738     14551     62414         0     82715    189769   6500501    115.48    122.46  --
2464.96/617.17	c  N dy  7728   1188829     14551     62414         0     51811    189769    620584    115.50    126.88  --
2491.32/623.71	c  N dy  7859   1208842     14551     62414         0     71821    189769   4333551    115.52    124.50  --
2492.92/624.12	c  S st  7868   1210093     14551     62414         0     73071    189769   4559658    115.52   no data  --
2493.72/624.31	c  S st  7868   1210594     14551     62414         0     73572    189769   4626873    115.52   no data  --
2493.72/624.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2493.72/624.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2494.13/624.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.40
2494.91/624.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2494.91/624.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2494.91/624.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
2494.91/624.68	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2705.82/677.41	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 210.29 s
2705.82/677.41	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
2705.82/677.47	c vivif2 --  cl tried    73567 cl shrink        0 lits rem          0 time: 0.25
2706.62/677.65	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.71
2706.62/677.66	c calculated reachability. Time: 0.00
2706.62/677.66	c  N dy  7868   1210594     14551     62414         0     73567    189769   4624907    115.52   no data  --
2735.38/684.86	c  N dy  7994   1230701     14551     62414         0     93672    189769   8347392    115.52    123.01  --
2763.74/691.93	c  N dy  8129   1250705     14551     62414         0     61679    189769   2277049    115.54    125.17  --
2789.69/698.49	c  N dy  8255   1270814     14551     62414         0     81785    189769   5972391    115.53    139.64  --
2820.05/706.07	c  N dy  8395   1290875     14551     62414         0    101844    189769   9700570    115.57    149.18  --
2847.21/712.83	c  N dy  8523   1311012     14551     62414         0     68984    189769   3472556    115.57    126.74  --
2875.17/719.82	c  N dy  8654   1331023     14551     62414         0     88993    189769   7168306    115.58    142.08  --
2905.94/727.55	c  N dy  8781   1351131     14551     62414         0     55100    189769    690952    115.59    122.71  --
2931.50/733.99	c  N dy  8916   1371321     14551     62414         0     75289    189769   4391451    115.60    122.04  --
2960.65/741.29	c  N dy  9053   1391423     14551     62414         0     95391    189769   8132856    115.62    126.28  --
2991.03/748.86	c  N dy  9194   1411469     14551     62414         0     60443    189769   1508869    115.65    124.21  --
3017.39/755.41	c  N dy  9312   1431489     14551     62414         0     80460    189769   5225322    115.65    122.48  --
3046.93/762.86	c  N dy  9443   1451547     14551     62414         0    100518    189769   8913774    115.65    121.83  --
3076.09/770.18	c  N dy  9572   1471585     14551     62414         0     64557    189769   2083021    115.64    122.13  --
3103.66/777.04	c  N dy  9717   1491650     14551     62414         0     84620    189769   5831145    115.68    126.34  --
3136.03/785.11	c  N dy  9853   1511652     14551     62414         0    104622    189769   9561172    115.71    122.31  --
3167.16/792.91	c  N dy  9985   1531691     14551     62414         0     67662    189769   2498813    115.73    140.22  --
3196.72/800.36	c  N dy 10117   1551849     14551     62414         0     87819    189769   6247648    115.75    127.24  --
3230.27/808.72	c  N dy 10249   1571948     14551     62414         0    107912    189769   9927994    115.74    123.35  --
3262.63/816.84	c  N dy 10382   1591965     14551     62414         0     69935    189769   2722018    115.75    122.34  --
3293.39/824.56	c  N dy 10516   1612038     14551     62414         0     90007    189769   6433600    115.77    122.40  --
3328.15/833.28	c  N dy 10644   1632041     14551     62414         0    110009    189769  10152494    115.78    122.31  --
3360.89/841.44	c  N dy 10778   1652258     14551     62414         0     71236    189769   2774734    115.79    127.61  --
3392.05/849.25	c  N dy 10903   1672327     14551     62414         0     91304    189769   6477720    115.78    128.21  --
3426.81/857.99	c  N dy 11031   1692373     14551     62414         0    111347    189769  10190844    115.80    127.46  --
3457.16/865.56	c  S st 11146   1710595     14551     62414         0     69572    189769   2293868    115.78    122.52  --
3457.96/865.78	c  S st 11146   1711095     14551     62414         0     70072    189769   2362558    115.78   no data  --
3457.96/865.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3457.96/865.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3458.76/865.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
3459.17/866.05	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3459.17/866.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3459.17/866.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
3459.17/866.07	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3488.32/873.34	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time: 28.98 s
3488.32/873.34	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
3488.32/873.38	c vivif2 --  cl tried    70069 cl shrink        0 lits rem          0 time: 0.14
3489.12/873.55	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.69
3489.12/873.56	c calculated reachability. Time: 0.00
3489.12/873.56	c  N dy 11146   1711095     14551     62414         0     70069    189769   2361504    115.78   no data  --
3519.08/881.09	c  N dy 11287   1731170     14551     62414         0     90144    189769   6116764    115.81    160.27  --
3552.23/889.37	c  N dy 11417   1751178     14551     62414         0    110150    189769   9808516    115.82    125.95  --
3585.79/897.70	c  N dy 11557   1771308     14551     62414         0     69279    189769   2074703    115.85    122.70  --
3615.34/905.14	c  N dy 11683   1791401     14551     62414         0     89370    189769   5850434    115.87    123.74  --
3648.90/913.52	c  N dy 11825   1811405     14551     62414         0    109373    189769   9597547    115.90    122.01  --
3683.26/922.19	c  N dy 11965   1831470     14551     62414         0     67438    189769   1539231    115.91    128.15  --
3714.81/930.00	c  N dy 12096   1851544     14551     62414         0     87511    189769   5235934    115.90    123.19  --
3749.96/938.89	c  N dy 12235   1871603     14551     62414         0    107568    189769   9023089    115.93    127.82  --
3788.71/948.52	c  N dy 12363   1891695     14551     62414         0     64665    189769    861545    115.92    124.26  --
3819.07/956.19	c  N dy 12501   1911771     14551     62414         0     84738    189769   4568652    115.94    124.59  --
3854.22/964.91	c  N dy 12630   1931952     14551     62414         0    104918    189769   8298861    115.94    124.20  --
3892.96/974.66	c  N dy 12766   1952055     14551     62414         0    125020    189769  12032931    115.96    123.12  --
3924.92/982.63	c  N dy 12895   1972061     14551     62414         0     81029    189769   3662190    115.95    123.23  --
3958.47/991.09	c  N dy 13025   1992125     14551     62414         0    101092    189769   7342512    115.94    125.04  --
3996.42/1000.58	c  N dy 13156   2012180     14551     62414         0    121145    189769  11083957    115.95    129.62  --
4032.77/1009.60	c  N dy 13299   2032320     14551     62414         0     76287    189769   2639322    115.98    125.04  --
4064.74/1017.67	c  N dy 13435   2052396     14551     62414         0     96363    189769   6352059    115.98    123.62  --
4099.88/1026.40	c  N dy 13563   2072489     14551     62414         0    116456    189769  10113648    116.00    124.12  --
4135.83/1035.46	c  N dy 13693   2092611     14551     62414         0     70580    189769   1426839    116.01    123.56  --
4165.79/1042.92	c  N dy 13822   2112701     14551     62414         0     90669    189769   5169501    116.02    122.82  --
4199.36/1051.36	c  N dy 13954   2132745     14551     62414         0    110712    189769   8889259    116.03    124.60  --
4237.29/1060.89	c  N dy 14096   2152885     14551     62414         0    130851    189769  12657729    116.06    124.36  --
4268.45/1068.69	c  N dy 14236   2172901     14551     62414         0     83869    189769   3699431    116.07    126.42  --
4300.80/1076.76	c  N dy 14366   2193006     14551     62414         0    103974    189769   7412004    116.08    122.50  --
4333.96/1085.00	c  S st 14475   2211095     14551     62414         0    122062    189769  10755709    116.07    104.04  --
4335.17/1085.31	c  S st 14475   2211600     14551     62414         0    122567    189769  10832247    116.07   no data  --
4335.17/1085.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4335.17/1085.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4335.95/1085.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.63
4338.34/1086.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4338.34/1086.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4338.34/1086.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
4338.75/1086.20	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 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-3175000-1304076476/watcher-3175000-1304076476 -o /tmp/evaluation-result-3175000-1304076476/solver-3175000-1304076476 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175000-1304076476.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: 5.31 7.51 7.65 7/184 32758
/proc/meminfo: memFree=30737836/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 519245493 52465664 352 33554432000 4194304 4650419 140736197406352 18446744073709551615 271550594033 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 12809 352 303 112 0 7774 0
[pid=32758/tid=32759] ppid=32756 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 519245494 52465664 352 33554432000 4194304 4650419 140736197406352 18446744073709551615 46981393303472 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 519245494 52465664 352 33554432000 4194304 4650419 140736197406352 18446744073709551615 46981393303468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519245494 52465664 352 33554432000 4194304 4650419 140736197406352 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.152512 s]
/proc/loadavg: 5.31 7.51 7.65 7/184 32758
/proc/meminfo: memFree=30737836/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=317072 CPUtime=3.41 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 24418 0 0 0 337 4 0 0 19 0 4 0 519245493 324681728 19862 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 79268 19862 391 112 0 74233 0
[pid=32758/tid=32759] ppid=32756 vsize=317072 CPUtime=0.85 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7001 0 0 0 84 1 0 0 19 0 4 0 519245494 324681728 19862 33554432000 4194304 4650419 140736197406352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=317072 CPUtime=0.85 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7024 0 0 0 84 1 0 0 19 0 4 0 519245494 324681728 19862 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=317072 CPUtime=0.84 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 3371 0 0 0 84 0 0 0 19 0 4 0 519245494 324681728 19862 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 317072

[startup+0.963061 s]
/proc/loadavg: 5.31 7.51 7.65 7/184 32758
/proc/meminfo: memFree=30737836/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=317072 CPUtime=3.81 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 24791 0 0 0 377 4 0 0 19 0 4 0 519245493 324681728 20235 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 79268 20235 391 112 0 74233 0
[pid=32758/tid=32759] ppid=32756 vsize=317072 CPUtime=0.95 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7097 0 0 0 94 1 0 0 19 0 4 0 519245494 324681728 20235 33554432000 4194304 4650419 140736197406352 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=317072 CPUtime=0.95 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7115 0 0 0 94 1 0 0 19 0 4 0 519245494 324681728 20235 33554432000 4194304 4650419 140736197406352 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=317072 CPUtime=0.94 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 3463 0 0 0 94 0 0 0 19 0 4 0 519245494 324681728 20235 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 317072

[startup+1.06304 s]
/proc/loadavg: 5.31 7.51 7.65 7/184 32758
/proc/meminfo: memFree=30737836/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=317072 CPUtime=4.21 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 25157 0 0 0 417 4 0 0 19 0 4 0 519245493 324681728 20601 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 79268 20601 391 112 0 74233 0
[pid=32758/tid=32759] ppid=32756 vsize=317072 CPUtime=1.05 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7189 0 0 0 104 1 0 0 19 0 4 0 519245494 324681728 20601 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=317072 CPUtime=1.05 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7210 0 0 0 104 1 0 0 19 0 4 0 519245494 324681728 20601 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=317072 CPUtime=1.04 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 3551 0 0 0 104 0 0 0 19 0 4 0 519245494 324681728 20601 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 317072

[startup+1.16303 s]
/proc/loadavg: 5.31 7.51 7.65 7/184 32758
/proc/meminfo: memFree=30737836/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=317072 CPUtime=4.61 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 25532 0 0 0 457 4 0 0 19 0 4 0 519245493 324681728 20976 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 79268 20976 391 112 0 74233 0
[pid=32758/tid=32759] ppid=32756 vsize=317072 CPUtime=1.15 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7280 0 0 0 114 1 0 0 19 0 4 0 519245494 324681728 20976 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=317072 CPUtime=1.15 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7305 0 0 0 114 1 0 0 19 0 4 0 519245494 324681728 20976 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=317072 CPUtime=1.14 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 3647 0 0 0 114 0 0 0 19 0 4 0 519245494 324681728 20976 33554432000 4194304 4650419 140736197406352 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 317072

[startup+1.50097 s]
/proc/loadavg: 5.31 7.51 7.65 7/184 32758
/proc/meminfo: memFree=30737836/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=317072 CPUtime=5.96 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 26961 0 0 0 592 4 0 0 20 0 4 0 519245493 324681728 22405 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 79268 22405 391 112 0 74233 0
[pid=32758/tid=32759] ppid=32756 vsize=317072 CPUtime=1.49 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7607 0 0 0 148 1 0 0 19 0 4 0 519245494 324681728 22405 33554432000 4194304 4650419 140736197406352 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=317072 CPUtime=1.48 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 7612 0 0 0 147 1 0 0 19 0 4 0 519245494 324681728 22405 33554432000 4194304 4650419 140736197406352 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=317072 CPUtime=1.48 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 4127 0 0 0 148 0 0 0 20 0 4 0 519245494 324681728 22405 33554432000 4194304 4650419 140736197406352 18446744073709551615 4361062 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 317072

[startup+3.10068 s]
/proc/loadavg: 5.77 7.57 7.67 9/188 32762
/proc/meminfo: memFree=30528944/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=469616 CPUtime=12.36 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 32730 0 0 0 1230 6 0 0 25 0 4 0 519245493 480886784 28174 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 117404 28174 391 112 0 112369 0
[pid=32758/tid=32759] ppid=32756 vsize=469616 CPUtime=3.09 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 9036 0 0 0 308 1 0 0 25 0 4 0 519245494 480886784 28174 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=469616 CPUtime=3.08 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 9042 0 0 0 307 1 0 0 25 0 4 0 519245494 480886784 28174 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=469616 CPUtime=3.07 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 5626 0 0 0 306 1 0 0 25 0 4 0 519245494 480886784 28174 33554432000 4194304 4650419 140736197406352 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 469616

[startup+6.30709 s]
/proc/loadavg: 6.03 7.59 7.67 9/188 32762
/proc/meminfo: memFree=30495844/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=328980 CPUtime=25.16 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 49102 0 0 0 2507 9 0 0 25 0 4 0 519245493 336875520 27996 33554432000 4194304 4650419 140736197406352 18446744073709551615 4366253 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 82245 27996 394 112 0 77210 0
[pid=32758/tid=32759] ppid=32756 vsize=328980 CPUtime=6.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 13198 0 0 0 627 2 0 0 25 0 4 0 519245494 336875520 27996 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=328980 CPUtime=6.29 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 13242 0 0 0 627 2 0 0 25 0 4 0 519245494 336875520 27996 33554432000 4194304 4650419 140736197406352 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=328980 CPUtime=6.25 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 9821 0 0 0 624 1 0 0 25 0 4 0 519245494 336875520 27996 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 328980

[startup+12.7009 s]
/proc/loadavg: 6.27 7.62 7.68 9/188 32762
/proc/meminfo: memFree=30339348/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=621300 CPUtime=50.7 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 116624 0 0 0 5044 26 0 0 25 0 4 0 519245493 636211200 84727 33554432000 4194304 4650419 140736197406352 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 155325 84727 395 112 0 150290 0
[pid=32758/tid=32759] ppid=32756 vsize=621300 CPUtime=12.68 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 35323 0 0 0 1260 8 0 0 25 0 4 0 519245494 636211200 84727 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=621300 CPUtime=12.68 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 24814 0 0 0 1263 5 0 0 25 0 4 0 519245494 636211200 84727 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=621300 CPUtime=12.62 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 27493 0 0 0 1256 6 0 0 25 0 4 0 519245494 636211200 84727 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 621300

[startup+25.5006 s]
/proc/loadavg: 6.53 7.63 7.68 9/188 32763
/proc/meminfo: memFree=29916844/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=543920 CPUtime=101.82 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 162648 0 0 0 10145 37 0 0 25 0 4 0 519245493 556974080 90988 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 135980 90988 395 112 0 130945 0
[pid=32758/tid=32759] ppid=32756 vsize=543920 CPUtime=25.49 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 44761 0 0 0 2539 10 0 0 25 0 4 0 519245494 556974080 90988 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=543920 CPUtime=25.48 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 40825 0 0 0 2539 9 0 0 25 0 4 0 519245494 556974080 90988 33554432000 4194304 4650419 140736197406352 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=543920 CPUtime=25.34 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 37536 0 0 0 2526 8 0 0 25 0 4 0 519245494 556974080 90988 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 543920

[startup+51.101 s]
/proc/loadavg: 7.18 7.68 7.70 9/188 32763
/proc/meminfo: memFree=29785576/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=758288 CPUtime=204.08 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 227417 0 0 0 20351 57 0 0 25 0 4 0 519245493 776486912 119803 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 189572 119803 395 112 0 184537 0
[pid=32758/tid=32759] ppid=32756 vsize=758288 CPUtime=51.09 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 61818 0 0 0 5095 14 0 0 25 0 4 0 519245494 776486912 119803 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=758288 CPUtime=51.08 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 57008 0 0 0 5093 15 0 0 25 0 4 0 519245494 776486912 119803 33554432000 4194304 4650419 140736197406352 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=758288 CPUtime=50.81 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 53051 0 0 0 5067 14 0 0 25 0 4 0 519245494 776486912 119803 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 758288

[startup+102.301 s]
/proc/loadavg: 7.89 7.79 7.73 9/188 32765
/proc/meminfo: memFree=29486432/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=788992 CPUtime=408.6 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 327837 0 0 0 40769 91 0 0 25 0 4 0 519245493 807927808 136827 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 197248 136827 395 112 0 192213 0
[pid=32758/tid=32759] ppid=32756 vsize=788992 CPUtime=102.28 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 89070 0 0 0 10204 24 0 0 25 0 4 0 519245494 807927808 136827 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=788992 CPUtime=102.28 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 88938 0 0 0 10202 26 0 0 25 0 4 0 519245494 807927808 136827 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=788992 CPUtime=101.72 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 83069 0 0 0 10147 25 0 0 25 0 4 0 519245494 807927808 136827 33554432000 4194304 4650419 140736197406352 18446744073709551615 4360455 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 788992

[startup+162.301 s]

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

[pid=32758] ppid=32756 vsize=1240732 CPUtime=2805.28 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 2231100 0 0 0 279936 592 0 0 25 0 4 0 519245493 1270509568 221489 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 310183 221489 395 112 0 305148 0
[pid=32758/tid=32759] ppid=32756 vsize=1240732 CPUtime=702.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1031496 0 0 0 70021 208 0 0 25 0 4 0 519245494 1270509568 221489 33554432000 4194304 4650419 140736197406352 18446744073709551615 4316014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1240732 CPUtime=702.22 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 636928 0 0 0 70058 164 0 0 25 0 4 0 519245494 1270509568 221489 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1240732 CPUtime=698.46 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 339136 0 0 0 69719 127 0 0 25 0 4 0 519245494 1270509568 221489 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 1240732

[startup+762.301 s]
/proc/loadavg: 8.16 8.17 7.97 9/188 323
/proc/meminfo: memFree=28574644/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1266200 CPUtime=3044.93 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 2354351 0 0 0 303855 638 0 0 25 0 4 0 519245493 1296588800 229284 33554432000 4194304 4650419 140736197406352 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 316550 229284 395 112 0 311515 0
[pid=32758/tid=32759] ppid=32756 vsize=1266200 CPUtime=762.28 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1064674 0 0 0 76009 219 0 0 25 0 4 0 519245494 1296588800 229284 33554432000 4194304 4650419 140736197406352 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1266200 CPUtime=762.22 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 668951 0 0 0 76047 175 0 0 25 0 4 0 519245494 1296588800 229284 33554432000 4194304 4650419 140736197406352 18446744073709551615 4360483 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1266200 CPUtime=758.13 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 370021 0 0 0 75675 138 0 0 25 0 4 0 519245494 1296588800 229284 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 1266200

[startup+822.301 s]
/proc/loadavg: 8.18 8.17 7.98 10/188 325
/proc/meminfo: memFree=28572116/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1333732 CPUtime=3284.61 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 2566580 0 0 0 327766 695 0 0 25 0 4 0 519245493 1365741568 244614 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 333433 244614 395 112 0 328398 0
[pid=32758/tid=32759] ppid=32756 vsize=1333732 CPUtime=822.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1085008 0 0 0 82000 229 0 0 25 0 4 0 519245494 1365741568 244614 33554432000 4194304 4650419 140736197406352 18446744073709551615 4441473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1333732 CPUtime=822.21 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 804435 0 0 0 82025 196 0 0 25 0 4 0 519245494 1365741568 244614 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1333732 CPUtime=817.8 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 401250 0 0 0 81626 154 0 0 25 0 4 0 519245494 1365741568 244614 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.61
Current children cumulated vsize (KiB) 1333732

[startup+882.301 s]
/proc/loadavg: 8.12 8.15 7.99 9/188 327
/proc/meminfo: memFree=28529288/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1334920 CPUtime=3524.28 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 2790162 0 0 0 351681 747 0 0 25 0 4 0 519245493 1366958080 254414 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 333730 254243 395 112 0 328695 0
[pid=32758/tid=32759] ppid=32756 vsize=1334920 CPUtime=882.28 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1091623 0 0 0 87997 231 0 0 25 0 4 0 519245494 1366958080 254243 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1334920 CPUtime=882.2 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 973832 0 0 0 88001 219 0 0 25 0 4 0 519245494 1366958080 254052 33554432000 4194304 4650419 140736197406352 18446744073709551615 271550581095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1334920 CPUtime=877.47 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 429814 0 0 0 87577 170 0 0 25 0 4 0 519245494 1366958080 254052 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 1334920

[startup+942.301 s]
/proc/loadavg: 8.28 8.18 8.01 9/188 328
/proc/meminfo: memFree=28359604/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1401628 CPUtime=3763.96 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3064897 0 0 0 375587 809 0 0 25 0 4 0 519245493 1435267072 275909 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 350407 275909 395 112 0 345372 0
[pid=32758/tid=32759] ppid=32756 vsize=1401628 CPUtime=942.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1118272 0 0 0 93986 243 0 0 25 0 4 0 519245494 1435267072 275909 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1401628 CPUtime=942.21 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1084157 0 0 0 93986 235 0 0 25 0 4 0 519245494 1435267072 275909 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1401628 CPUtime=937.16 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 545278 0 0 0 93522 194 0 0 25 0 4 0 519245494 1435267072 275909 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 1401628

[startup+1002.3 s]
/proc/loadavg: 8.21 8.18 8.01 9/188 330
/proc/meminfo: memFree=28368116/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1402264 CPUtime=4003.62 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3356235 0 0 0 399489 873 0 0 25 0 4 0 519245493 1435918336 274936 33554432000 4194304 4650419 140736197406352 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 350566 274936 395 112 0 345531 0
[pid=32758/tid=32759] ppid=32756 vsize=1402264 CPUtime=1002.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1142199 0 0 0 99973 256 0 0 25 0 4 0 519245494 1435918336 274936 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1402264 CPUtime=1002.2 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1084157 0 0 0 99985 235 0 0 25 0 4 0 519245494 1435918336 274936 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1402264 CPUtime=996.83 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 792173 0 0 0 99453 230 0 0 25 0 4 0 519245494 1435918336 274936 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.62
Current children cumulated vsize (KiB) 1402264

[startup+1062.31 s]
/proc/loadavg: 8.24 8.19 8.02 10/188 331
/proc/meminfo: memFree=28287336/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1403680 CPUtime=4243.3 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3488034 0 0 0 423413 917 0 0 25 0 4 0 519245493 1437368320 279384 33554432000 4194304 4650419 140736197406352 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 350920 279384 395 112 0 345885 0
[pid=32758/tid=32759] ppid=32756 vsize=1403680 CPUtime=1062.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1170232 0 0 0 105959 270 0 0 25 0 4 0 519245494 1437368320 279384 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1403680 CPUtime=1062.2 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1109725 0 0 0 105974 246 0 0 25 0 4 0 519245494 1437368320 279384 33554432000 4194304 4650419 140736197406352 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1403680 CPUtime=1056.5 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 848919 0 0 0 105413 237 0 0 25 0 4 0 519245494 1437368320 279384 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 1403680

[startup+1122.3 s]
/proc/loadavg: 8.15 8.17 8.02 9/188 333
/proc/meminfo: memFree=28167764/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1582052 CPUtime=4482.94 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3687901 0 0 0 447334 960 0 0 25 0 4 0 519245493 1620021248 321817 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 395513 321817 395 112 0 390478 0
[pid=32758/tid=32759] ppid=32756 vsize=1582052 CPUtime=1122.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1331691 0 0 0 111933 296 0 0 25 0 4 0 519245494 1620021248 321817 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476437 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1582052 CPUtime=1122.18 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1129261 0 0 0 111960 258 0 0 25 0 4 0 519245494 1620021248 321817 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1582052 CPUtime=1116.17 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 848919 0 0 0 111380 237 0 0 25 0 4 0 519245494 1620021248 321817 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1582052

[startup+1182.3 s]
/proc/loadavg: 8.40 8.21 8.04 10/188 335
/proc/meminfo: memFree=28156312/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1582588 CPUtime=4722.62 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3913957 0 0 0 471259 1003 0 0 25 0 4 0 519245493 1620570112 319134 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 395647 319134 395 112 0 390612 0
[pid=32758/tid=32759] ppid=32756 vsize=1582588 CPUtime=1182.29 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1536348 0 0 0 117905 324 0 0 25 0 4 0 519245494 1620570112 319134 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1582588 CPUtime=1182.18 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1150482 0 0 0 117946 272 0 0 25 0 4 0 519245494 1620570112 319134 33554432000 4194304 4650419 140736197406352 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1582588 CPUtime=1175.85 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 848919 0 0 0 117348 237 0 0 25 0 4 0 519245494 1620570112 319134 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.62
Current children cumulated vsize (KiB) 1582588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.28 8.20 8.04 5/183 336
/proc/meminfo: memFree=29521832/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1582588 CPUtime=4800.13 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3988672 0 0 0 478994 1019 0 0 25 0 4 0 519245493 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 395647 326310 395 112 0 390612 0
[pid=32758/tid=32759] ppid=32756 vsize=1582588 CPUtime=1201.7 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1603896 0 0 0 119834 336 0 0 25 0 4 0 519245494 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1582588 CPUtime=1201.58 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1157649 0 0 0 119882 276 0 0 25 0 4 0 519245494 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1582588 CPUtime=1195.15 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 848919 0 0 0 119278 237 0 0 25 0 4 0 519245494 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1582588

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

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

[startup+1201.7 s]
/proc/loadavg: 8.28 8.20 8.04 5/183 336
/proc/meminfo: memFree=29521832/32951124 swapFree=67111344/67111528
[pid=32758] ppid=32756 vsize=1582588 CPUtime=4800.13 cores=1,3,5,7
/proc/32758/stat : 32758 (strangenight1-m) R 32756 32758 31926 0 -1 4202496 3988672 0 0 0 478994 1019 0 0 25 0 4 0 519245493 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32758/statm: 395647 326310 395 112 0 390612 0
[pid=32758/tid=32759] ppid=32756 vsize=1582588 CPUtime=1201.7 cores=1,3,5,7
/proc/32758/task/32759/stat : 32759 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1603896 0 0 0 119834 336 0 0 25 0 4 0 519245494 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32758/tid=32760] ppid=32756 vsize=1582588 CPUtime=1201.58 cores=1,3,5,7
/proc/32758/task/32760/stat : 32760 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 1157649 0 0 0 119882 276 0 0 25 0 4 0 519245494 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32758/tid=32761] ppid=32756 vsize=1582588 CPUtime=1195.15 cores=1,3,5,7
/proc/32758/task/32761/stat : 32761 (strangenight1-m) R 32756 32758 31926 0 -1 4202560 848919 0 0 0 119278 237 0 0 25 0 4 0 519245494 1620570112 326310 33554432000 4194304 4650419 140736197406352 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1582588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.22
CPU user time (s): 4789.97
CPU system time (s): 10.2484
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 1595992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.97
system time used= 10.2484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3988673
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= 1700
involuntary context switches= 34612

runsolver used 1.74073 second user time and 4.83526 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 13:27:56
IDJOB=3175000
IDBENCH=82618
IDSOLVER=1588
FILE ID=node133/3175000-1304076476
RUNJOBID= node133-1304076475-32736
PBS_JOBID= 13170473
Free space on /tmp= 71884 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175000-1304076476/watcher-3175000-1304076476 -o /tmp/evaluation-result-3175000-1304076476/solver-3175000-1304076476 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175000-1304076476.cnf

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

MD5SUM BENCH= 04e94fe2f2a1881d983170c76e6cb046
RANDOM SEED=955009685

node133.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.834
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.834
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	: 5332.75
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:      30737992 kB
Buffers:        731876 kB
Cached:         965768 kB
SwapCached:        124 kB
Active:         698568 kB
Inactive:      1156968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30737992 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           17208 kB
Writeback:           0 kB
AnonPages:      158196 kB
Mapped:          15276 kB
Slab:           294188 kB
PageTables:       4844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   354228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71888 MiB
End job on node133 at 2011-04-29 13:48:00