Trace number 3175189

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.36 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
MD5SUM72699a729b1b1ff68f424bd0209fc31b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031994
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
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-3175189-1304096918.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.41/0.18	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.41/0.18	c -- vars added        750
0.41/0.18	c Parsing time:  0.01 s
0.41/0.18	c  N st     0         0       750      3195         0         0      9585         0   no data   no data  --
0.41/0.18	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.41/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.41/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.41/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.41/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.01 s
0.41/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.41/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.41/0.18	c calculated reachability. Time: 0.00
0.41/0.18	c Calc default polars -  time:   0.00 s pos:     359 undec:      80 neg:     311
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       732      3167         0         0      9614         0   no data   no data  --
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4915       732      3167         0      4873      9614    153487   no data   no data  --
3.17/0.80	c  N st    10     11298       732      3167         0      4495      9614    100370   no data   no data  --
3.17/0.80	c  N st    11     17041       732      3167         0     10152      9614    270110   no data   no data  --
5.16/1.30	c  F st    12     25000       732      3167         0     12484      9614    340356   no data   no data  --
5.16/1.30	c  N st    12     25000       732      3167         0     12484      9614    340356   no data   no data  --
5.97/1.51	c  N dy    18     30002       732      3167         0     10769      9614    266547   no data   no data  --
5.97/1.51	c  S st    18     30002       732      3167         0     10769      9614    266547   no data   no data  --
5.97/1.54	c  S st    18     30504       732      3167         0     11270      9614    281027   no data   no data  --
5.97/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.97/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
5.97/1.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.16/1.89	c lits-rem:       144  cl-subs:      281  v-elim:      0  v-fix:    0  time:  1.35 s
7.56/1.90	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.04
7.56/1.90	c calculated reachability. Time: 0.00
7.56/1.90	c  N dy    18     30504       732      3167         0     10989      9614    270403   no data   no data  --
8.38/2.14	c  N dy    41     34719       732      3167         0     15183      9614    397811     21.17     22.44  --
9.16/2.37	c  N dy    52     38843       732      3167         0     11415      9614    222134     20.43     21.56  --
10.36/2.65	c  N dy    64     43353       732      3167         0     15900      9614    358279     20.05     21.56  --
11.15/2.83	c  S st    78     45756       732      3167         0      9388      9614    126835     20.19     21.22  --
11.15/2.85	c  S st    78     46264       732      3167         0      9896      9614    141364     20.19   no data  --
11.15/2.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.15/2.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/2.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.15/2.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.15/2.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/2.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
11.15/2.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.55/2.97	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.45 s
11.55/2.97	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
11.55/2.97	c vivif2 --  cl tried     9893 cl shrink        0 lits rem          0 time: 0.01
11.55/2.98	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.03
11.55/2.98	c calculated reachability. Time: 0.00
11.55/2.98	c  N dy    78     46264       732      3167         0      9893      9614    141224     20.19   no data  --
12.78/3.22	c  N dy    96     50417       732      3167         0     14027      9614    267162     20.30     21.42  --
13.55/3.49	c  N dy   117     54535       732      3167         0     18123      9614    391724     20.37     21.91  --
14.75/3.75	c  N dy   134     58582       732      3167         0     12230      9614    185000     20.44     21.54  --
15.95/4.07	c  N dy   148     63554       732      3167         0     17171      9614    335614     20.39     21.72  --
17.57/4.40	c  N dy   168     68080       732      3167         0     21679      9614    473212     20.38     21.58  --
17.57/4.49	c  S st   174     69396       732      3167         0     12044      9614    149554     20.38     19.49  --
17.94/4.53	c  S st   174     69900       732      3167         0     12548      9614    163883     20.38   no data  --
17.94/4.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.94/4.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.94/4.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.94/4.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.94/4.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.94/4.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
17.94/4.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.74/4.71	c lits-rem:        38  cl-subs:       20  v-elim:      0  v-fix:    0  time:  0.68 s
18.74/4.71	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
18.74/4.71	c vivif2 --  cl tried    12528 cl shrink        0 lits rem          0 time: 0.01
18.74/4.72	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.04
18.74/4.72	c calculated reachability. Time: 0.00
18.74/4.72	c  N dy   174     69900       732      3167         0     12528      9614    163135     20.38   no data  --
19.94/5.01	c  N dy   191     74455       732      3167         0     17050      9614    301486     20.40     21.50  --
21.14/5.37	c  N dy   205     79233       732      3167         0     21799      9614    443790     20.35     21.55  --
22.74/5.77	c  N dy   225     84421       732      3167         0     15029      9614    210016     20.35     21.58  --
23.54/5.99	c  F st   240     87500       732      3167         0     18083      9614    301688     20.41   no data  --
24.74/6.24	c  N st   245     90794       732      3167         0     21360      9614    401986     20.41   no data  --
26.74/6.71	c  N dy   272     96603       732      3167         0     14219      9614    166623     20.45     21.58  --
28.33/7.18	c  N dy   321    102921       732      3167         0     20510      9614    359528     20.59     21.79  --
29.13/7.35	c  S st   330    104852       732      3167         0     22430      9614    418515     20.59   no data  --
29.53/7.41	c  S st   330    105358       732      3167         0     22936      9614    433575     20.59   no data  --
29.53/7.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.53/7.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.53/7.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.53/7.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.53/7.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.53/7.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
29.53/7.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.14/8.88	c lits-rem:       284  cl-subs:      131  v-elim:      0  v-fix:    0  time:  5.77 s
35.14/8.88	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
35.14/8.88	c vivif2 --  cl tried    22805 cl shrink        0 lits rem          0 time: 0.02
35.52/8.90	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.08
35.52/8.90	c calculated reachability. Time: 0.00
35.52/8.90	c  N dy   330    105358       732      3167         0     22805      9614    428128     20.59   no data  --
37.92/9.55	c  N dy   351    112755       732      3167         0     16244      9614    202544     20.54     21.85  --
40.71/10.21	c  N dy   401    120840       732      3167         0     24289      9614    449368     20.63     21.85  --
43.54/10.94	c  N dy   443    128627       732      3167         0     17106      9614    201194     20.66     21.99  --
46.71/11.73	c  N dy   483    137455       732      3167         0     25883      9614    468004     20.66     21.97  --
50.31/12.62	c  N dy   525    146342       732      3167         0     18808      9614    231040     20.68     21.92  --
53.90/13.50	c  N dy   549    156519       732      3167         0     28895      9614    536028     20.61     22.08  --
54.30/13.66	c  S st   552    158039       732      3167         0     30399      9614    579145     20.59     19.09  --
54.70/13.72	c  S st   552    158542       732      3167         0     30902      9614    594236     20.59   no data  --
54.70/13.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.70/13.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.70/13.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
54.70/13.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.70/13.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.70/13.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
54.70/13.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.08/15.83	c lits-rem:       316  cl-subs:      521  v-elim:      0  v-fix:    0  time:  8.27 s
63.08/15.83	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
63.08/15.83	c vivif2 --  cl tried    30381 cl shrink        0 lits rem          0 time: 0.03
63.08/15.86	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.11
63.08/15.86	c calculated reachability. Time: 0.00
63.08/15.86	c  N dy   552    158542       732      3167         0     30381      9614    576557     20.59   no data  --
66.67/16.79	c  N dy   597    168692       732      3167         0     23593      9614    350077     20.60     22.00  --
71.87/18.01	c  N dy   630    180478       732      3167         0     35301      9614    710758     20.58     22.15  --
76.27/19.17	c  N dy   701    192558       732      3167         0     29431      9614    511272     20.63     21.89  --
82.25/20.61	c  N dy   751    205334       732      3167         0     23229      9614    291804     20.60     21.93  --
87.87/22.08	c  N dy   833    218756       732      3167         0     36567      9614    701170     20.66     21.77  --
94.24/23.65	c  N dy   902    232817       732      3167         0     30672      9614    492668     20.67     21.83  --
96.66/24.29	c  S st   926    237813       732      3167         0     35638      9614    648637     20.69     20.54  --
97.03/24.37	c  S st   926    238316       732      3167         0     36139      9614    664051     20.69   no data  --
97.03/24.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.03/24.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.03/24.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
97.43/24.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.43/24.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.43/24.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
97.43/24.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
107.02/26.88	c lits-rem:       456  cl-subs:      311  v-elim:      0  v-fix:    0  time:  9.87 s
107.02/26.88	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
107.02/26.89	c vivif2 --  cl tried    35828 cl shrink        0 lits rem          0 time: 0.03
107.42/26.92	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.12
107.42/26.92	c calculated reachability. Time: 0.00
107.42/26.92	c  N dy   926    238316       732      3167         0     35828      9614    652035     20.69   no data  --
114.24/28.64	c  N dy   992    253712       732      3167         0     30265      9614    460705     20.69     21.83  --
123.02/30.81	c  N dy  1071    270820       732      3167         0     25391      9614    284867     20.72     21.94  --
133.78/33.54	c  N dy  1167    293142       732      3167         0     24708      9614    245174     20.72     21.88  --
139.38/34.99	c  F st  1211    306250       732      3167         0     37711      9614    640535     20.70   no data  --
142.58/35.79	c  N dy  1221    312024       732      3167         0     43450      9614    823456     20.70     21.99  --
152.96/38.30	c  N dy  1314    331964       732      3167         0     39449      9614    667848     20.72     23.60  --
163.74/41.09	c  N dy  1395    352617       732      3167         0     35121      9614    510908     20.70     22.06  --
166.56/41.73	c  S st  1419    357476       732      3167         0     39952      9614    658718     20.71   no data  --
166.96/41.82	c  S st  1419    357980       732      3167         0     40456      9614    673374     20.71   no data  --
166.96/41.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.96/41.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.96/41.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
166.96/41.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.96/41.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.96/41.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
166.96/41.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
176.53/44.23	c lits-rem:       599  cl-subs:      365  v-elim:      0  v-fix:    0  time:  9.46 s
176.53/44.23	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
176.53/44.24	c vivif2 --  cl tried    40091 cl shrink        0 lits rem          0 time: 0.03
176.53/44.28	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.15
176.53/44.28	c calculated reachability. Time: 0.00
176.53/44.28	c  N dy  1419    357980       732      3167         0     40091      9614    660085     20.71   no data  --
188.53/47.27	c  N dy  1508    379875       732      3167         0     35988      9614    512314     20.69     21.90  --
201.71/50.54	c  N dy  1578    400230       732      3167         0     29390      9614    285852     20.68     21.97  --
213.28/53.42	c  N dy  1652    420639       732      3167         0     49677      9614    911371     20.67     21.79  --
224.47/56.26	c  N dy  1730    440729       732      3167         0     41788      9614    644296     20.66     22.19  --
238.04/59.67	c  N dy  1839    460765       732      3167         0     32904      9614    344799     20.70     22.34  --
250.45/62.75	c  N dy  1940    480848       732      3167         0     52836      9614    960519     20.72     21.82  --
262.81/65.89	c  N dy  2044    500871       732      3167         0     42945      9614    635261     20.74     25.61  --
278.39/69.72	c  N dy  2149    520967       732      3167         0     32122      9614    274748     20.76     24.54  --
287.17/71.99	c  S st  2240    536970       732      3167         0     48019      9614    767319     20.78   no data  --
287.97/72.10	c  S st  2240    537473       732      3167         0     48521      9614    781903     20.78   no data  --
287.97/72.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.97/72.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.97/72.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
287.97/72.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.97/72.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.97/72.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
287.97/72.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
299.16/74.99	c lits-rem:       780  cl-subs:      392  v-elim:      0  v-fix:    0  time: 11.36 s
299.16/74.99	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
299.56/75.00	c vivif2 --  cl tried    48129 cl shrink        0 lits rem          0 time: 0.04
299.56/75.05	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.19
299.56/75.05	c calculated reachability. Time: 0.00
299.56/75.05	c  N dy  2240    537473       732      3167         0     48129      9614    767353     20.78   no data  --
313.54/78.54	c  N dy  2296    558034       732      3167         0     36741      9614    396192     20.76     21.88  --
327.12/81.93	c  N dy  2402    578061       732      3167         0     56654      9614   1012145     20.78     23.69  --
341.51/85.52	c  N dy  2514    598121       732      3167         0     43818      9614    585206     20.81     22.05  --
356.68/89.36	c  N dy  2619    618152       732      3167         0     63732      9614   1215646     20.83     23.45  --
370.66/92.83	c  N dy  2726    638228       732      3167         0     49882      9614    745503     20.85     23.84  --
392.23/98.27	c  N dy  2731    668035       732      3167         0     44545      9614    540328     20.67     21.82  --
409.01/102.40	c  N dy  2841    688179       732      3167         0     64583      9614   1167218     20.68     21.94  --
424.19/106.24	c  N dy  2950    708287       732      3167         0     48883      9614    671751     20.70     21.85  --
442.97/110.96	c  N dy  3061    729456       732      3167         0     69934      9614   1328419     20.72     22.05  --
457.75/114.61	c  N dy  3167    749480       732      3167         0     53095      9614    780385     20.74     22.14  --
476.92/119.48	c  N dy  3273    769982       732      3167         0     73410      9614   1406377     20.76     21.86  --
492.89/123.41	c  N dy  3389    791233       732      3167         0     56782      9614    864230     20.78     22.00  --
506.88/126.97	c  S st  3467    806210       732      3167         0     71657      9614   1327614     20.79     20.36  --
507.68/127.16	c  S st  3467    806710       732      3167         0     72157      9614   1342577     20.79   no data  --
507.68/127.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
507.68/127.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
507.68/127.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
508.08/127.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
508.08/127.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.08/127.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
508.08/127.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
517.67/129.66	c lits-rem:       253  cl-subs:      803  v-elim:      0  v-fix:    0  time:  9.67 s
517.67/129.66	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
517.67/129.68	c vivif2 --  cl tried    71354 cl shrink        0 lits rem          0 time: 0.06
518.08/129.76	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.35
518.08/129.77	c calculated reachability. Time: 0.00
518.08/129.77	c  N dy  3467    806710       732      3167         0     71354      9614   1313646     20.79   no data  --
534.04/133.70	c  N dy  3587    826742       732      3167         0     52543      9614    716067     20.82     30.29  --
553.24/138.59	c  N dy  3683    846760       732      3167         0     72398      9614   1332693     20.82     27.45  --
570.40/142.87	c  N dy  3811    866827       732      3167         0     52625      9614    693255     20.85     23.91  --
588.39/147.39	c  N dy  3890    887005       732      3167         0     72650      9614   1314023     20.85     22.11  --
606.37/151.88	c  N dy  3992    907122       732      3167         0     51937      9614    644418     20.86     22.18  --
625.12/156.55	c  N dy  4093    927447       732      3167         0     72112      9614   1282020     20.88     22.03  --
646.69/161.97	c  N dy  4198    951040       732      3167         0     53821      9614    673486     20.88     22.07  --
665.07/166.59	c  N dy  4298    971058       732      3167         0     73687      9614   1287647     20.89     22.87  --
685.46/171.65	c  N dy  4431    991066       732      3167         0     50878      9614    567475     20.92     22.15  --
703.04/176.09	c  N dy  4542   1011071       732      3167         0     70739      9614   1185143     20.93     22.09  --
725.38/181.68	c  N dy  4632   1031120       732      3167         0     46951      9614    413647     20.94     22.09  --
741.37/185.64	c  N dy  4685   1051321       732      3167         0     66971      9614   1029576     20.92     22.41  --
764.93/191.54	c  F st  4760   1071876       732      3167         0     87359      9614   1652076     20.91     17.61  --
764.93/191.54	c  N st  4760   1071876       732      3167         0     87359      9614   1652076     20.91     17.61  --
769.72/192.77	c Decided on static restart strategy
787.30/197.11	c  N st  4770   1100176       732      3167         0     70684      9614   1205615     20.91   no data  --
823.65/206.27	c  N st  4772   1136168       732      3167         0     60576      9614   1499805     20.91   no data  --
862.40/215.94	c  N st  4773   1168560       732      3167         0     92297      9614   2536599     20.91   no data  --
903.55/226.24	c  N st  4774   1210065       732      3167         0     86789      9614   2161565     20.91   no data  --
903.55/226.24	c  S st  4774   1210065       732      3167         0     86789      9614   2161565     20.91   no data  --
904.35/226.49	c  S st  4774   1210568       732      3167         0     87291      9614   2176181     20.91   no data  --
904.35/226.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
904.35/226.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
904.76/226.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
905.17/226.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
905.17/226.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
905.17/226.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
905.17/226.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
949.10/237.67	c lits-rem:       458  cl-subs:     4511  v-elim:      0  v-fix:    0  time: 44.15 s
949.10/237.67	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
949.10/237.70	c vivif2 --  cl tried    82780 cl shrink        0 lits rem          0 time: 0.09
949.88/237.81	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.46
949.88/237.81	c calculated reachability. Time: 0.00
949.88/237.81	c  N st  4774   1210568       732      3167         0     82780      9614   2024259     20.91   no data  --
1023.40/256.28	c  N st  4775   1283450       732      3167         0     59515      9614   1211176     20.91   no data  --
1138.43/285.00	c  N st  4776   1392774       732      3167         0     67397      9614   1446702     20.91   no data  --
1310.59/328.12	c  N st  4777   1556758       732      3167         0     72454      9614   1458618     20.91   no data  --
1502.35/376.16	c  N st  4778   1710568       732      3167         0     58405      9614    849545     20.91   no data  --
1502.35/376.16	c  S st  4778   1710568       732      3167         0     58405      9614    849545     20.91   no data  --
1503.13/376.31	c  S st  4778   1711070       732      3167         0     58907      9614    864966     20.91   no data  --
1503.13/376.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1503.13/376.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1503.13/376.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1503.13/376.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1503.13/376.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1503.13/376.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
1503.13/376.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1512.72/378.76	c lits-rem:       602  cl-subs:      482  v-elim:      0  v-fix:    0  time:  9.57 s
1512.72/378.76	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
1512.72/378.77	c vivif2 --  cl tried    58425 cl shrink        0 lits rem          0 time: 0.04
1513.12/378.84	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.28
1513.12/378.85	c calculated reachability. Time: 0.00
1513.12/378.85	c  N st  4778   1711070       732      3167         0     58425      9614    848222     20.91   no data  --
1964.51/491.85	c  N st  4779   2080036       732      3167         0     63950      9614    860730     20.91   no data  --
2122.70/531.41	c  N st  4780   2211070       732      3167         0     66371      9614    877111     20.91   no data  --
2122.70/531.41	c  S st  4780   2211070       732      3167         0     66371      9614    877111     20.91   no data  --
2123.10/531.58	c  S st  4780   2211573       732      3167         0     66874      9614    892195     20.91   no data  --
2123.10/531.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2123.10/531.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2123.50/531.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
2123.50/531.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2123.50/531.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2123.50/531.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2123.50/531.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2132.69/533.98	c lits-rem:       404  cl-subs:      232  v-elim:      0  v-fix:    0  time:  9.33 s
2132.69/533.98	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
2132.69/533.99	c vivif2 --  cl tried    66642 cl shrink        0 lits rem          0 time: 0.05
2133.09/534.07	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.32
2133.09/534.07	c calculated reachability. Time: 0.00
2133.09/534.07	c  N st  4780   2211573       732      3167         0     66642      9614    884528     20.91   no data  --
2758.65/690.63	c  N st  4781   2711573       732      3167         0     83025      9614   1281785     20.91   no data  --
2758.65/690.63	c  S st  4781   2711573       732      3167         0     83025      9614   1281785     20.91   no data  --
2759.47/690.85	c  S st  4781   2712075       732      3167         0     83527      9614   1297078     20.91   no data  --
2759.47/690.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2759.47/690.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2759.84/690.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2759.84/690.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2759.84/690.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2759.84/690.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2759.84/690.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2768.63/693.14	c lits-rem:       150  cl-subs:     1300  v-elim:      0  v-fix:    0  time:  8.79 s
2768.63/693.14	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
2768.63/693.16	c vivif2 --  cl tried    82227 cl shrink        0 lits rem          0 time: 0.07
2769.03/693.27	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.44
2769.03/693.27	c calculated reachability. Time: 0.00
2769.03/693.27	c  N st  4781   2712075       732      3167         0     82227      9614   1251268     20.91   no data  --
3492.06/874.29	c  N st  4782   3212077       732      3167         0    128267      9614   2665348     20.91   no data  --
3492.06/874.29	c  S st  4782   3212077       732      3167         0    128267      9614   2665348     20.91   no data  --
3493.65/874.69	c  S st  4782   3212578       732      3167         0    128768      9614   2680060     20.91   no data  --
3494.05/874.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3494.05/874.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3494.05/874.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
3494.45/874.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3494.45/874.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3494.45/874.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
3494.45/874.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3613.89/904.75	c lits-rem:        33  cl-subs:     6680  v-elim:      0  v-fix:    0  time: 119.38 s
3613.89/904.76	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
3613.89/904.79	c vivif2 --  cl tried   122088 cl shrink        0 lits rem          0 time: 0.14
3615.09/905.03	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.98
3615.09/905.04	c calculated reachability. Time: 0.00
3615.09/905.04	c  N st  4782   3212578       732      3167         0    122088      9614   2466821     20.91   no data  --
4390.05/1099.04	c  N st  4783   3712578       732      3167         0    133444      9614   2775335     20.91   no data  --
4390.05/1099.04	c  S st  4783   3712578       732      3167         0    133444      9614   2775335     20.91   no data  --
4391.65/1099.45	c  S st  4783   3713083       732      3167         0    133949      9614   2790260     20.91   no data  --
4391.65/1099.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4391.65/1099.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4392.05/1099.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
4392.45/1099.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4392.45/1099.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4392.45/1099.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
4392.45/1099.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4477.14/1120.81	c lits-rem:        63  cl-subs:     5171  v-elim:      0  v-fix:    0  time: 84.60 s
4477.14/1120.81	c vivif2 --  cl tried     3167 cl shrink        0 lits rem          0 time: 0.00
4477.14/1120.84	c vivif2 --  cl tried   128778 cl shrink        0 lits rem          0 time: 0.14
4477.92/1121.04	c asymm  cl-useful: 0/3167/3167 lits-rem:0 time: 0.78
4477.92/1121.04	c calculated reachability. Time: 0.00
4477.92/1121.04	c  N st  4783   3713083       732      3167         0    128778      9614   2607487     20.91   no data  --
4557.82/1141.02	c  F st  4784   3751563       732      3167         0    166748      9614   3922328     20.91   no data  --
4557.82/1141.02	c  N st  4784   3751563       732      3167         0    166748      9614   3922328     20.91   no data  --
4566.61/1143.24	c Decided on static restart strategy
4598.16/1151.15	c  N st  4794   3779866       732      3167         0    111112      9614   1870420     20.91   no data  --
4674.06/1170.12	c  N st  4796   3815859       732      3167         0    146683      9614   3143541     20.91   no data  --
4745.58/1188.03	c  N st  4797   3848252       732      3167         0     93858      9614   1255304     20.91   no data  --

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-3175189-1304096918/watcher-3175189-1304096918 -o /tmp/evaluation-result-3175189-1304096918/solver-3175189-1304096918 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175189-1304096918.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: 8.31 8.28 8.17 6/184 23583
/proc/meminfo: memFree=25008276/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 521289979 52465664 352 33554432000 4194304 4650419 140735424502480 18446744073709551615 47488502466476 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 12809 352 303 112 0 7774 0
[pid=23583/tid=23584] ppid=23581 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521289980 52465664 352 33554432000 4194304 4650419 140735424502480 18446744073709551615 47488502466482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521289980 52465664 352 33554432000 4194304 4650419 140735424502480 18446744073709551615 232347690038 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521289980 52465664 352 33554432000 4194304 4650419 140735424502480 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0103839 s]
/proc/loadavg: 8.31 8.28 8.17 6/184 23583
/proc/meminfo: memFree=25008276/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=281924 CPUtime=0.01 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) D 23581 23583 23437 0 -1 4202496 1012 0 0 0 1 0 0 0 18 0 4 0 521289979 288690176 930 33554432000 4194304 4650419 140735424502480 18446744073709551615 232335935623 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 70481 930 355 112 0 65446 0
[pid=23583/tid=23584] ppid=23581 vsize=281924 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 156 0 0 0 0 0 0 0 18 0 4 0 521289980 288690176 930 33554432000 4194304 4650419 140735424502480 18446744073709551615 4532782 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=281924 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 4 0 521289980 288690176 930 33554432000 4194304 4650419 140735424502480 18446744073709551615 232335918186 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=281924 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 161 0 0 0 0 0 0 0 18 0 4 0 521289980 288690176 930 33554432000 4194304 4650419 140735424502480 18446744073709551615 232335550616 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 281924

[startup+0.109109 s]
/proc/loadavg: 8.31 8.28 8.17 6/184 23583
/proc/meminfo: memFree=25008276/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=282872 CPUtime=0.41 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 2017 0 0 0 41 0 0 0 18 0 4 0 521289979 289660928 1873 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 70718 1873 391 112 0 65683 0
[pid=23583/tid=23584] ppid=23581 vsize=282872 CPUtime=0.1 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 449 0 0 0 10 0 0 0 18 0 4 0 521289980 289660928 1873 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=282872 CPUtime=0.1 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 412 0 0 0 10 0 0 0 25 0 4 0 521289980 289660928 1873 33554432000 4194304 4650419 140735424502480 18446744073709551615 4328305 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=282872 CPUtime=0.1 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 304 0 0 0 10 0 0 0 18 0 4 0 521289980 289660928 1873 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282872

[startup+0.301075 s]
/proc/loadavg: 8.31 8.28 8.17 6/184 23583
/proc/meminfo: memFree=25008276/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=284364 CPUtime=1.17 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 3279 0 0 0 117 0 0 0 18 0 4 0 521289979 291188736 2393 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 71091 2394 393 112 0 66056 0
[pid=23583/tid=23584] ppid=23581 vsize=284364 CPUtime=0.29 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 765 0 0 0 29 0 0 0 18 0 4 0 521289980 291188736 2394 33554432000 4194304 4650419 140735424502480 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=284364 CPUtime=0.29 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 732 0 0 0 29 0 0 0 25 0 4 0 521289980 291188736 2394 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=284364 CPUtime=0.29 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 624 0 0 0 29 0 0 0 18 0 4 0 521289980 291188736 2394 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284364

[startup+0.701005 s]
/proc/loadavg: 8.31 8.28 8.17 6/184 23583
/proc/meminfo: memFree=25008276/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=285440 CPUtime=2.77 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 5155 0 0 0 277 0 0 0 18 0 4 0 521289979 292290560 3127 33554432000 4194304 4650419 140735424502480 18446744073709551615 4330582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 71360 3127 393 112 0 66325 0
[pid=23583/tid=23584] ppid=23581 vsize=285440 CPUtime=0.69 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 1240 0 0 0 69 0 0 0 18 0 4 0 521289980 292290560 3127 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=285440 CPUtime=0.69 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 1223 0 0 0 69 0 0 0 25 0 4 0 521289980 292290560 3127 33554432000 4194304 4650419 140735424502480 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=285440 CPUtime=0.69 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 1076 0 0 0 69 0 0 0 18 0 4 0 521289980 292290560 3127 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285440

[startup+1.50086 s]
/proc/loadavg: 8.31 8.28 8.17 9/188 23587
/proc/meminfo: memFree=24995224/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=278260 CPUtime=5.97 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 8928 0 0 0 596 1 0 0 19 0 4 0 521289979 284938240 3726 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 69565 3726 394 112 0 64530 0
[pid=23583/tid=23584] ppid=23581 vsize=278260 CPUtime=1.49 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 2247 0 0 0 149 0 0 0 19 0 4 0 521289980 284938240 3726 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=278260 CPUtime=1.48 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 2205 0 0 0 148 0 0 0 25 0 4 0 521289980 284938240 3726 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=278260 CPUtime=1.49 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 1904 0 0 0 149 0 0 0 20 0 4 0 521289980 284938240 3726 33554432000 4194304 4650419 140735424502480 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 278260

[startup+3.10063 s]
/proc/loadavg: 8.31 8.28 8.17 9/188 23587
/proc/meminfo: memFree=24978756/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=278180 CPUtime=12.36 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 19240 0 0 0 1233 3 0 0 25 0 4 0 521289979 284856320 11979 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 69545 11979 395 112 0 64510 0
[pid=23583/tid=23584] ppid=23581 vsize=278180 CPUtime=3.08 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 4770 0 0 0 308 0 0 0 25 0 4 0 521289980 284856320 11979 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=278180 CPUtime=3.07 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 5037 0 0 0 307 0 0 0 25 0 4 0 521289980 284856320 11979 33554432000 4194304 4650419 140735424502480 18446744073709551615 4438653 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=278180 CPUtime=3.08 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 4313 0 0 0 308 0 0 0 25 0 4 0 521289980 284856320 11979 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 278180

[startup+6.30101 s]
/proc/loadavg: 8.28 8.28 8.17 9/188 23587
/proc/meminfo: memFree=24938900/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=304864 CPUtime=25.14 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 27612 0 0 0 2509 5 0 0 25 0 4 0 521289979 312180736 16780 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 76216 16780 395 112 0 71181 0
[pid=23583/tid=23584] ppid=23581 vsize=304864 CPUtime=6.28 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 8138 0 0 0 627 1 0 0 25 0 4 0 521289980 312180736 16780 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=304864 CPUtime=6.26 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 6636 0 0 0 625 1 0 0 25 0 4 0 521289980 312180736 16781 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=304864 CPUtime=6.29 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 5900 0 0 0 628 1 0 0 25 0 4 0 521289980 312180736 16781 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 304864

[startup+12.7009 s]
/proc/loadavg: 8.26 8.27 8.17 9/188 23587
/proc/meminfo: memFree=24898608/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=295732 CPUtime=50.71 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 37997 0 0 0 5062 9 0 0 25 0 4 0 521289979 302829568 23061 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 73933 23061 395 112 0 68898 0
[pid=23583/tid=23584] ppid=23581 vsize=295732 CPUtime=12.68 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 11532 0 0 0 1266 2 0 0 25 0 4 0 521289980 302829568 23061 33554432000 4194304 4650419 140735424502480 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=295732 CPUtime=12.62 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 8001 0 0 0 1261 1 0 0 25 0 4 0 521289980 302829568 23061 33554432000 4194304 4650419 140735424502480 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=295732 CPUtime=12.68 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 9090 0 0 0 1266 2 0 0 25 0 4 0 521289980 302829568 23061 33554432000 4194304 4650419 140735424502480 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295732

[startup+25.5006 s]
/proc/loadavg: 8.20 8.26 8.16 9/188 23588
/proc/meminfo: memFree=24862904/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=364504 CPUtime=101.83 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 53823 0 0 0 10168 15 0 0 25 0 4 0 521289979 373252096 32827 33554432000 4194304 4650419 140735424502480 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 91126 32827 395 112 0 86091 0
[pid=23583/tid=23584] ppid=23581 vsize=364504 CPUtime=25.48 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 16478 0 0 0 2544 4 0 0 25 0 4 0 521289980 373252096 32827 33554432000 4194304 4650419 140735424502480 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=364504 CPUtime=25.34 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 10742 0 0 0 2532 2 0 0 25 0 4 0 521289980 373252096 32827 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=364504 CPUtime=25.49 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 12317 0 0 0 2546 3 0 0 25 0 4 0 521289980 373252096 32827 33554432000 4194304 4650419 140735424502480 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 364504

[startup+51.1011 s]
/proc/loadavg: 8.13 8.24 8.16 10/188 23619
/proc/meminfo: memFree=25145764/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=364504 CPUtime=204.09 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 82826 0 0 0 20385 24 0 0 25 0 4 0 521289979 373252096 39547 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 91126 39547 395 112 0 86091 0
[pid=23583/tid=23584] ppid=23581 vsize=364504 CPUtime=51.08 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 23514 0 0 0 5101 7 0 0 25 0 4 0 521289980 373252096 39547 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=364504 CPUtime=50.81 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 20927 0 0 0 5076 5 0 0 25 0 4 0 521289980 373252096 39547 33554432000 4194304 4650419 140735424502480 18446744073709551615 4370557 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=364504 CPUtime=51.09 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 19098 0 0 0 5104 5 0 0 25 0 4 0 521289980 373252096 39547 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 364504

[startup+102.307 s]
/proc/loadavg: 8.28 8.27 8.17 9/188 23621
/proc/meminfo: memFree=25054896/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=396592 CPUtime=408.63 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 115287 0 0 0 40825 38 0 0 25 0 4 0 521289979 406110208 48884 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 99148 48884 395 112 0 94113 0
[pid=23583/tid=23584] ppid=23581 vsize=396592 CPUtime=102.28 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 32804 0 0 0 10217 11 0 0 25 0 4 0 521289980 406110208 48884 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=396592 CPUtime=101.73 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 28864 0 0 0 10164 9 0 0 25 0 4 0 521289980 406110208 48884 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=396592 CPUtime=102.3 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 28290 0 0 0 10221 9 0 0 25 0 4 0 521289980 406110208 48884 33554432000 4194304 4650419 140735424502480 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 396592

[startup+162.3 s]

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

[pid=23583] ppid=23581 vsize=555712 CPUtime=2805.38 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 351924 0 0 0 280390 148 0 0 25 0 4 0 521289979 569049088 112476 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 138928 112476 395 112 0 133893 0
[pid=23583/tid=23584] ppid=23581 vsize=555712 CPUtime=702.29 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 111839 0 0 0 70179 50 0 0 25 0 4 0 521289980 569049088 112476 33554432000 4194304 4650419 140735424502480 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=555712 CPUtime=698.46 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 80981 0 0 0 69813 33 0 0 25 0 4 0 521289980 569049088 112476 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=555712 CPUtime=702.3 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 53246 0 0 0 70209 21 0 0 25 0 4 0 521289980 569049088 112476 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 555712

[startup+762.307 s]
/proc/loadavg: 8.26 8.12 8.13 9/188 23668
/proc/meminfo: memFree=24502272/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=621160 CPUtime=3045.08 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 367618 0 0 0 304350 158 0 0 25 0 4 0 521289979 636067840 114131 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 155290 114131 395 112 0 150255 0
[pid=23583/tid=23584] ppid=23581 vsize=621160 CPUtime=762.3 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 117389 0 0 0 76177 53 0 0 25 0 4 0 521289980 636067840 114131 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=621160 CPUtime=758.13 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 85109 0 0 0 75777 36 0 0 25 0 4 0 521289980 636067840 114131 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=621160 CPUtime=762.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 54066 0 0 0 76210 21 0 0 25 0 4 0 521289980 636067840 114131 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 621160

[startup+822.301 s]
/proc/loadavg: 8.16 8.12 8.12 9/188 23670
/proc/meminfo: memFree=24472480/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=699212 CPUtime=3284.73 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 384167 0 0 0 328305 168 0 0 25 0 4 0 521289979 715993088 120088 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 174803 120088 395 112 0 169768 0
[pid=23583/tid=23584] ppid=23581 vsize=699212 CPUtime=822.29 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 125035 0 0 0 82171 58 0 0 25 0 4 0 521289980 715993088 120088 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=699212 CPUtime=817.8 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 88027 0 0 0 81742 38 0 0 25 0 4 0 521289980 715993088 120088 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=699212 CPUtime=822.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 54670 0 0 0 82209 22 0 0 25 0 4 0 521289980 715993088 120088 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 699212

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.11 10/188 23672
/proc/meminfo: memFree=24417148/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=686248 CPUtime=3524.4 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 408100 0 0 0 352262 178 0 0 25 0 4 0 521289979 702717952 129855 33554432000 4194304 4650419 140735424502480 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 171562 129855 395 112 0 166527 0
[pid=23583/tid=23584] ppid=23581 vsize=686248 CPUtime=882.3 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 133015 0 0 0 88168 62 0 0 25 0 4 0 521289980 702717952 129855 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=686248 CPUtime=877.46 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 92136 0 0 0 87707 39 0 0 25 0 4 0 521289980 702717952 129855 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=686248 CPUtime=882.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 55390 0 0 0 88209 22 0 0 25 0 4 0 521289980 702717952 129855 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 686248

[startup+942.301 s]
/proc/loadavg: 8.09 8.10 8.11 9/188 23673
/proc/meminfo: memFree=24368752/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=699584 CPUtime=3764.09 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 420667 0 0 0 376222 187 0 0 25 0 4 0 521289979 716374016 132809 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 174896 132809 395 112 0 169861 0
[pid=23583/tid=23584] ppid=23581 vsize=699584 CPUtime=942.3 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 134070 0 0 0 94167 63 0 0 25 0 4 0 521289980 716374016 132809 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=699584 CPUtime=937.14 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 97091 0 0 0 93671 43 0 0 25 0 4 0 521289980 716374016 132809 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=699584 CPUtime=942.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 55793 0 0 0 94209 22 0 0 25 0 4 0 521289980 716374016 132809 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 699584

[startup+1002.3 s]
/proc/loadavg: 8.03 8.08 8.09 9/188 23675
/proc/meminfo: memFree=24377156/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=833132 CPUtime=4003.77 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 441553 0 0 0 400179 198 0 0 25 0 4 0 521289979 853127168 140840 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 208283 140840 395 112 0 203248 0
[pid=23583/tid=23584] ppid=23581 vsize=833132 CPUtime=1002.29 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 138658 0 0 0 100164 65 0 0 25 0 4 0 521289980 853127168 140840 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=833132 CPUtime=996.81 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 97659 0 0 0 99637 44 0 0 25 0 4 0 521289980 853127168 140840 33554432000 4194304 4650419 140735424502480 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=833132 CPUtime=1002.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 63397 0 0 0 100207 24 0 0 25 0 4 0 521289980 853127168 140840 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 833132

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.09 9/188 23676
/proc/meminfo: memFree=24336824/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=832972 CPUtime=4243.44 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 460550 0 0 0 424134 210 0 0 25 0 4 0 521289979 852963328 141759 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 208243 141759 395 112 0 203208 0
[pid=23583/tid=23584] ppid=23581 vsize=832972 CPUtime=1062.3 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 143313 0 0 0 106162 68 0 0 25 0 4 0 521289980 852963328 141759 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=832972 CPUtime=1056.49 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 98540 0 0 0 105604 45 0 0 25 0 4 0 521289980 852963328 141759 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=832972 CPUtime=1062.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 68590 0 0 0 106203 28 0 0 25 0 4 0 521289980 852963328 141759 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 832972

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.09 9/188 23678
/proc/meminfo: memFree=24306040/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=779040 CPUtime=4483.12 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 480199 0 0 0 448089 223 0 0 25 0 4 0 521289979 797736960 145163 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 194760 145163 395 112 0 189725 0
[pid=23583/tid=23584] ppid=23581 vsize=779040 CPUtime=1122.3 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 150322 0 0 0 112158 72 0 0 25 0 4 0 521289980 797736960 145163 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=779040 CPUtime=1116.17 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 99548 0 0 0 111571 46 0 0 25 0 4 0 521289980 797736960 145163 33554432000 4194304 4650419 140735424502480 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=779040 CPUtime=1122.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 72851 0 0 0 112200 31 0 0 25 0 4 0 521289980 797736960 145163 33554432000 4194304 4650419 140735424502480 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 779040

[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 8.10 9/188 23680
/proc/meminfo: memFree=24276876/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=944616 CPUtime=4722.79 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 492322 0 0 0 472046 233 0 0 25 0 4 0 521289979 967286784 151010 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 236154 151010 395 112 0 231119 0
[pid=23583/tid=23584] ppid=23581 vsize=944616 CPUtime=1182.3 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 152303 0 0 0 118156 74 0 0 25 0 4 0 521289980 967286784 151010 33554432000 4194304 4650419 140735424502480 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=944616 CPUtime=1175.83 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 100651 0 0 0 117537 46 0 0 25 0 4 0 521289980 967286784 151010 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=944616 CPUtime=1182.31 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 76052 0 0 0 118196 35 0 0 25 0 4 0 521289980 967286784 151010 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 944616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.30 8.14 8.10 9/188 23680
/proc/meminfo: memFree=24288776/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=882588 CPUtime=4800.3 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 497080 0 0 0 479795 235 0 0 25 0 4 0 521289979 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 220647 150462 395 112 0 215612 0
[pid=23583/tid=23584] ppid=23581 vsize=882588 CPUtime=1201.71 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 152738 0 0 0 120097 74 0 0 25 0 4 0 521289980 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=882588 CPUtime=1195.13 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 100892 0 0 0 119466 47 0 0 25 0 4 0 521289980 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=882588 CPUtime=1201.72 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 77085 0 0 0 120136 36 0 0 25 0 4 0 521289980 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 882588

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.30 8.14 8.10 9/188 23680
/proc/meminfo: memFree=24288776/32951124 swapFree=67111524/67111528
[pid=23583] ppid=23581 vsize=882588 CPUtime=4800.3 cores=1,3,5,7
/proc/23583/stat : 23583 (strangenight1-m) R 23581 23583 23437 0 -1 4202496 497080 0 0 0 479795 235 0 0 25 0 4 0 521289979 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23583/statm: 220647 150462 395 112 0 215612 0
[pid=23583/tid=23584] ppid=23581 vsize=882588 CPUtime=1201.71 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 152738 0 0 0 120097 74 0 0 25 0 4 0 521289980 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23583/tid=23585] ppid=23581 vsize=882588 CPUtime=1195.13 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 100892 0 0 0 119466 47 0 0 25 0 4 0 521289980 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23583/tid=23586] ppid=23581 vsize=882588 CPUtime=1201.72 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (strangenight1-m) R 23581 23583 23437 0 -1 4202560 77085 0 0 0 120136 36 0 0 25 0 4 0 521289980 903770112 150462 33554432000 4194304 4650419 140735424502480 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 882588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.36
CPU user time (s): 4797.98
CPU system time (s): 2.38464
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 944616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.38464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497081
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= 190
involuntary context switches= 32905

runsolver used 1.82172 second user time and 4.75328 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 19:08:38
IDJOB=3175189
IDBENCH=82807
IDSOLVER=1588
FILE ID=node132/3175189-1304096918
RUNJOBID= node132-1304095714-23456
PBS_JOBID= 13170598
Free space on /tmp= 71868 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175189-1304096918/watcher-3175189-1304096918 -o /tmp/evaluation-result-3175189-1304096918/solver-3175189-1304096918 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175189-1304096918.cnf

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

MD5SUM BENCH= 72699a729b1b1ff68f424bd0209fc31b
RANDOM SEED=1970909410

node132.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	: 5332.74
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.76
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.75
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.77
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.67
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.82
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:      25008432 kB
Buffers:        773996 kB
Cached:        6240336 kB
SwapCached:          4 kB
Active:        2457540 kB
Inactive:      4986792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25008432 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:      429036 kB
Mapped:          15548 kB
Slab:           435560 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   711744 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= 71860 MiB
End job on node132 at 2011-04-29 19:28:42