Trace number 3369022

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.25 1202.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
MD5SUMb3fdf3b46fb0b1e907e496e0b191070b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.289955
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56230

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369022-1305410809.cnf'
0.00/0.01	c -- header says num vars:             70
0.00/0.01	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.11	c Parsing time:  0.01 s
0.00/0.11	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.77/0.21	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.77/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.77/0.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.77/0.21	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.21	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.77/0.21	c calculated reachability. Time: 0.00
0.77/0.21	c Calc default polars -  time:   0.00 s pos:      34 undec:       2 neg:      34
0.77/0.21	c =========================================================================================
0.77/0.21	c types(t): F = full restart, N = normal restart
0.77/0.21	c types(t): S = simplification begin/end, E = solution found
0.77/0.21	c restart types(rt): st = static, dy = dynamic
0.77/0.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.21	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.17/0.30	c  N dy     7      4614        70      6230         0      4163     43610    101092     20.49     21.59  --
1.57/0.44	c  N dy    23      8760        70      6230         0      5671     43610    129918     20.83     22.04  --
2.37/0.62	c  N dy    27     13532        70      6230         0      6109     43610    128955     20.45     21.64  --
3.17/0.81	c  N dy    54     17652        70      6230         0      9851     43610    220675     20.81     21.96  --
4.38/1.13	c  F st    63     25000        70      6230         0     11402     43610    243988     20.57     19.31  --
4.38/1.13	c  N st    63     25000        70      6230         0     11402     43610    243988     20.57     19.31  --
5.16/1.35	c  N dy    69     30000        70      6230         0      9777     43610    196490     20.57   no data  --
5.16/1.35	c  S st    69     30000        70      6230         0      9777     43610    196490     20.57   no data  --
5.16/1.39	c  S st    69     30500        70      6230         0     10232     43610    207751     20.57   no data  --
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.55/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.55/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.44	c lits-rem:      1552  cl-subs:      863  v-elim:      0  v-fix:    0  time:  4.16 s
10.75/2.75	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
10.75/2.75	c calculated reachability. Time: 0.00
10.75/2.75	c  N dy    69     30500        70      6230         0      9369     43610    184396     20.57   no data  --
11.55/2.96	c  N dy    77     34558        70      6230         0     13059     43610    272648     20.52     21.94  --
12.75/3.20	c  N dy    90     39461        70      6230         0     10404     43610    196516     20.50     21.67  --
13.58/3.44	c  N dy    92     43937        70      6230         0     14417     43610    291556     20.44     21.73  --
13.94/3.55	c  S st    95     45751        70      6230         0     16035     43610    329557     20.42     20.03  --
13.94/3.59	c  S st    95     46255        70      6230         0      8439     43610    137761     20.42   no data  --
13.94/3.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.94/3.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.34/3.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.34/3.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.34/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.34/3.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.14/4.38	c lits-rem:       149  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.10 s
17.14/4.38	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.14/4.38	c vivif2 --  cl tried     8386 cl shrink        0 lits rem          0 time: 0.01
18.33/4.63	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.99
18.33/4.63	c calculated reachability. Time: 0.00
18.33/4.63	c  N dy    95     46255        70      6230         0      8386     43610    136053     20.42   no data  --
19.92/5.09	c  N dy    96     54700        70      6230         0     15958     43610    310513     20.12     21.19  --
21.12/5.36	c  N dy   125     58748        70      6230         0     10685     43610    181829     20.25     22.97  --
21.94/5.61	c  N dy   143     62996        70      6230         0     14541     43610    274699     20.30     21.49  --
23.52/5.95	c  N dy   170     68175        70      6230         0     19256     43610    389449     20.38     21.46  --
23.92/6.04	c  S st   173     69382        70      6230         0     10399     43610    160721     20.38     19.52  --
23.92/6.07	c  S st   173     69882        70      6230         0     10864     43610    172173     20.38   no data  --
23.92/6.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.92/6.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.92/6.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.92/6.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.92/6.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.92/6.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.92/6.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.51/6.97	c lits-rem:       283  cl-subs:      159  v-elim:      0  v-fix:    0  time:  3.51 s
27.51/6.97	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.51/6.97	c vivif2 --  cl tried    10705 cl shrink        0 lits rem          0 time: 0.01
28.70/7.27	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.22
28.70/7.27	c calculated reachability. Time: 0.00
28.70/7.27	c  N dy   173     69882        70      6230         0     10705     43610    167848     20.38   no data  --
31.90/8.08	c  N dy   199     83045        70      6230         0     11751     43610    182655     20.20     21.52  --
33.10/8.30	c  F st   200     87501        70      6230         0     15791     43610    278161     20.14     17.42  --
33.10/8.38	c  N st   203     88690        70      6230         0     16869     43610    305088     20.14   no data  --
35.11/8.85	c  N dy   220     94440        70      6230         0     22069     43610    432724     20.18     21.66  --
37.08/9.39	c  N dy   248    102235        70      6230         0     17375     43610    303163     20.21     21.29  --
37.88/9.59	c  S st   260    104823        70      6230         0     19726     43610    360265     20.24   no data  --
38.28/9.65	c  S st   260    105331        70      6230         0     20202     43610    372017     20.24   no data  --
38.28/9.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.28/9.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.28/9.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.28/9.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.28/9.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.28/9.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.28/9.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.67/11.29	c lits-rem:      1810  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  6.45 s
44.67/11.29	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.67/11.29	c vivif2 --  cl tried    18373 cl shrink        0 lits rem          0 time: 0.01
46.27/11.66	c asymm  cl-useful: 0/4938/6230 lits-rem:0 time: 1.47
46.27/11.66	c calculated reachability. Time: 0.00
46.27/11.66	c  N dy   260    105331        70      6230         0     18373     43610    325544     20.24   no data  --
49.05/12.31	c  N dy   280    114246        70      6230         0     13797     43610    205732     20.20     21.39  --
51.06/12.84	c  N dy   331    121601        70      6230         0     20479     43610    368464     20.29     23.11  --
53.85/13.53	c  N dy   359    129400        70      6230         0     14008     43610    198857     20.30     22.31  --
56.24/14.16	c  N dy   409    138026        70      6230         0     21891     43610    391579     20.39     21.58  --
59.44/14.97	c  N dy   449    147065        70      6230         0     15559     43610    222552     20.43     21.56  --
62.63/15.72	c  N dy   507    156542        70      6230         0     24142     43610    432022     20.51     23.28  --
63.03/15.85	c  S st   514    157997        70      6230         0     25482     43610    464644     20.52     20.62  --
63.43/15.92	c  S st   514    158501        70      6230         0     25953     43610    476407     20.52   no data  --
63.43/15.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.43/15.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.43/15.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.43/15.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.43/15.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.43/15.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.43/15.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.61/18.24	c lits-rem:      2411  cl-subs:     2127  v-elim:      0  v-fix:    0  time:  9.19 s
72.61/18.24	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
72.61/18.25	c vivif2 --  cl tried    23826 cl shrink        0 lits rem          0 time: 0.02
73.41/18.42	c asymm  cl-useful: 0/1292/6230 lits-rem:0 time: 0.67
73.41/18.42	c calculated reachability. Time: 0.00
73.41/18.42	c  N dy   514    158501        70      6230         0     23826     43610    418829     20.52   no data  --
77.00/19.35	c  N dy   542    168931        70      6230         0     17966     43610    265233     20.51     21.68  --
80.59/20.29	c  N dy   574    179761        70      6230         0     27798     43610    501981     20.51     21.90  --
84.97/21.31	c  N dy   593    191426        70      6230         0     22010     43610    350128     20.49     21.68  --
90.17/22.67	c  N dy   658    203671        70      6230         0     33132     43610    620688     20.54     23.07  --
94.96/23.84	c  N dy   695    216678        70      6230         0     27773     43610    479676     20.54     21.67  --
100.55/25.28	c  N dy   746    230799        70      6230         0     22419     43610    337277     20.57     21.76  --
103.34/25.91	c  S st   773    237751        70      6230         0     28709     43610    490199     20.59   no data  --
103.34/25.98	c  S st   773    238255        70      6230         0     29181     43610    501992     20.59   no data  --
103.34/25.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.34/25.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.34/25.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.74/26.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.74/26.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.74/26.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.74/26.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.72/28.59	c lits-rem:      2202  cl-subs:     2257  v-elim:      0  v-fix:    0  time: 10.33 s
114.13/28.61	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
114.13/28.61	c vivif2 --  cl tried    26924 cl shrink        0 lits rem          0 time: 0.01
115.71/29.02	c asymm  cl-useful: 0/3625/6230 lits-rem:0 time: 1.68
115.71/29.02	c calculated reachability. Time: 0.00
115.71/29.02	c  N dy   773    238255        70      6230         0     26924     43610    443393     20.59   no data  --
122.50/30.76	c  N dy   828    255546        70      6230         0     23688     43610    354213     20.60     21.85  --
134.46/33.76	c  N dy   846    287842        70      6230         0     32945     43610    554972     20.44     21.78  --
142.45/35.76	c  F st   906    306253        70      6230         0     28874     43610    453588     20.45   no data  --
142.45/35.76	c  N st   906    306253        70      6230         0     28874     43610    453588     20.45   no data  --
152.83/38.36	c  N dy   985    328862        70      6230         0     27657     43610    409655     20.47     21.55  --
162.84/40.82	c  N dy  1057    348882        70      6230         0     23170     43610    293341     20.49     22.97  --
166.00/41.63	c  S st  1084    357383        70      6230         0     30864     43610    476190     20.48     20.09  --
166.40/41.71	c  S st  1084    357884        70      6230         0     31334     43610    487888     20.48   no data  --
166.40/41.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.40/41.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.40/41.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.40/41.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.40/41.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.40/41.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.40/41.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
176.37/44.21	c lits-rem:      1662  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  9.86 s
176.37/44.21	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
176.37/44.22	c vivif2 --  cl tried    29305 cl shrink        0 lits rem          0 time: 0.02
177.97/44.67	c asymm  cl-useful: 0/2605/6230 lits-rem:0 time: 1.80
177.97/44.67	c calculated reachability. Time: 0.00
177.97/44.67	c  N dy  1084    357884        70      6230         0     29305     43610    437967     20.48   no data  --
191.93/48.11	c  N dy  1162    378449        70      6230         0     24508     43610    311095     20.51     21.63  --
205.51/51.57	c  N dy  1229    406861        70      6230         0     25732     43610    326273     20.47     21.67  --
215.52/54.01	c  N dy  1315    426923        70      6230         0     43907     43610    763321     20.49     21.78  --
224.65/56.31	c  N dy  1324    447720        70      6230         0     37306     43610    585701     20.43     21.51  --
236.24/59.27	c  N dy  1412    468645        70      6230         0     30059     43610    406263     20.46     21.57  --
258.58/64.84	c  N dy  1474    515803        70      6230         0     45190     43610    732899     20.31     21.48  --
270.56/67.89	c  N dy  1584    535859        70      6230         0     35574     43610    518703     20.35     21.98  --
271.36/68.03	c  S st  1594    536826        70      6230         0     36449     43610    540492     20.35   no data  --
271.76/68.13	c  S st  1594    537328        70      6230         0     36906     43610    551824     20.35   no data  --
271.76/68.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.76/68.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.76/68.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
271.76/68.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.76/68.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.76/68.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
271.76/68.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
281.73/70.62	c lits-rem:       920  cl-subs:     1712  v-elim:      0  v-fix:    0  time:  9.79 s
281.73/70.62	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
281.73/70.63	c vivif2 --  cl tried    35194 cl shrink        0 lits rem          0 time: 0.02
282.53/70.82	c asymm  cl-useful: 0/1551/6230 lits-rem:0 time: 0.77
282.53/70.82	c calculated reachability. Time: 0.00
282.53/70.82	c  N dy  1594    537328        70      6230         0     35194     43610    505937     20.35   no data  --
294.90/73.92	c  N dy  1695    557346        70      6230         0     53342     43610    947127     20.38     22.28  --
307.29/77.08	c  N dy  1786    579203        70      6230         0     44285     43610    709891     20.39     21.55  --
319.65/80.13	c  N dy  1839    599500        70      6230         0     32854     43610    423287     20.38     21.50  --
334.81/83.90	c  N dy  1954    624444        70      6230         0     55432     43610    971472     20.41     21.54  --
348.39/87.30	c  N dy  2025    646689        70      6230         0     44760     43610    686523     20.40     21.54  --
361.55/90.67	c  N dy  2071    666733        70      6230         0     62810     43610   1117763     20.38     22.47  --
376.32/94.32	c  N dy  2166    688940        70      6230         0     51373     43610    842568     20.40     21.48  --
392.69/98.42	c  N dy  2274    709027        70      6230         0     37041     43610    481913     20.43     23.25  --
405.85/101.70	c  N dy  2331    729047        70      6230         0     55087     43610    913398     20.43     21.71  --
420.62/105.48	c  N dy  2390    750936        70      6230         0     41413     43610    574816     20.43     21.52  --
435.38/109.18	c  N dy  2482    772152        70      6230         0     60583     43610   1038639     20.44     21.71  --
451.76/113.22	c  N dy  2561    794036        70      6230         0     45986     43610    662500     20.44     21.54  --
459.73/115.26	c  S st  2605    805993        70      6230         0     56743     43610    921327     20.44     20.08  --
460.53/115.42	c  S st  2605    806495        70      6230         0     57209     43610    932727     20.44   no data  --
460.53/115.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
460.53/115.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.53/115.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
460.53/115.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
460.53/115.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.53/115.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
460.53/115.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
493.65/123.78	c lits-rem:      2467  cl-subs:     5743  v-elim:      0  v-fix:    0  time: 33.11 s
493.65/123.78	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
493.65/123.79	c vivif2 --  cl tried    51466 cl shrink        0 lits rem          0 time: 0.04
494.85/124.05	c asymm  cl-useful: 0/948/6230 lits-rem:0 time: 1.04
494.85/124.05	c calculated reachability. Time: 0.00
494.85/124.05	c  N dy  2605    806495        70      6230         0     51466     43610    796412     20.44   no data  --
512.82/128.57	c  N dy  2677    826562        70      6230         0     69639     43610   1233343     20.45     21.57  --
526.38/131.95	c  N dy  2771    847911        70      6230         0     54028     43610    855322     20.46     21.56  --
545.13/136.69	c  N dy  2885    867919        70      6230         0     36127     43610    407040     20.48     21.63  --
557.95/139.85	c  N dy  2971    887945        70      6230         0     54255     43610    846700     20.50     22.61  --
574.67/144.02	c  N dy  3027    908151        70      6230         0     72461     43610   1285068     20.49     21.68  --
587.44/147.27	c  N dy  3051    929366        70      6230         0     54505     43610    827163     20.47     21.57  --
606.24/151.91	c  N dy  3173    949454        70      6230         0     72701     43610   1271707     20.49     22.91  --
624.15/156.40	c  N dy  3205    977165        70      6230         0     59571     43610    931638     20.46     21.65  --
645.33/161.72	c  N dy  3291   1001309        70      6230         0     42729     43610    529124     20.47     21.56  --
660.48/165.50	c  N dy  3383   1022430        70      6230         0     61799     43610    994046     20.48     21.76  --
678.83/170.13	c  N dy  3396   1046180        70      6230         0     43498     43610    532972     20.44     21.58  --
698.01/174.99	c  F st  3523   1071875        70      6230         0     66716     43610   1094612     20.45     18.37  --
698.01/174.99	c  N st  3523   1071875        70      6230         0     66716     43610   1094612     20.45     18.37  --
716.35/179.54	c  N dy  3579   1092113        70      6230         0     44452     43610    545002     20.46     21.78  --
731.92/183.44	c  N dy  3677   1112211        70      6230         0     62625     43610    985497     20.47     22.75  --
754.27/189.04	c  N dy  3809   1132360        70      6230         0     80922     43610   1437360     20.49     21.67  --
770.63/193.10	c  N dy  3887   1152857        70      6230         0     57852     43610    855480     20.50     21.59  --
790.98/198.21	c  N dy  3949   1174408        70      6230         0     77262     43610   1323406     20.50     21.66  --
814.93/204.20	c  N dy  4021   1198585        70      6230         0     56577     43610    798233     20.49     21.65  --
827.30/207.35	c  S st  4087   1209745        70      6230         0     66669     43610   1045779     20.50     18.30  --
828.50/207.62	c  S st  4087   1210247        70      6230         0     67141     43610   1057505     20.50   no data  --
828.50/207.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
828.50/207.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
828.50/207.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
828.90/207.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
828.90/207.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
828.90/207.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
828.90/207.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
912.30/228.67	c lits-rem:      3817  cl-subs:     6060  v-elim:      0  v-fix:    0  time: 83.60 s
912.30/228.67	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
912.30/228.68	c vivif2 --  cl tried    61081 cl shrink        0 lits rem          0 time: 0.05
913.89/229.06	c asymm  cl-useful: 0/758/6230 lits-rem:0 time: 1.49
913.89/229.06	c calculated reachability. Time: 0.00
913.89/229.06	c  N dy  4087   1210247        70      6230         0     61081     43610    912757     20.50   no data  --
941.82/236.09	c  N dy  4169   1236343        70      6230         0     84608     43610   1479343     20.50     21.59  --
959.39/240.40	c  N dy  4296   1256407        70      6230         0     59806     43610    883520     20.52     22.32  --
977.34/244.97	c  N dy  4346   1276712        70      6230         0     78096     43610   1321883     20.52     21.60  --
997.29/249.97	c  N dy  4390   1296760        70      6230         0     51984     43610    668961     20.51     23.60  --
1014.50/254.22	c  N dy  4423   1316793        70      6230         0     69953     43610   1099163     20.50     23.51  --
1044.80/261.81	c  N dy  4511   1340424        70      6230         0     46360     43610    523213     20.50     21.65  --
1064.73/266.84	c  N dy  4649   1360495        70      6230         0     64532     43610    970193     20.52     22.55  --
1085.49/272.05	c  N dy  4670   1381055        70      6230         0     82931     43610   1406489     20.51     21.59  --
1110.23/278.26	c  N dy  4793   1401084        70      6230         0     55142     43610    723958     20.52     21.65  --
1132.18/283.79	c  N dy  4906   1421159        70      6230         0     73307     43610   1169621     20.54     22.31  --
1162.10/291.24	c  N dy  5038   1441226        70      6230         0     91484     43610   1618744     20.55     21.68  --
1183.25/296.58	c  N dy  5137   1462580        70      6230         0     63795     43610    918802     20.56     21.64  --
1216.41/304.81	c  N dy  5242   1488940        70      6230         0     87600     43610   1493878     20.56     21.67  --
1239.91/310.70	c  N dy  5357   1509029        70      6230         0     57917     43610    768317     20.58     22.97  --
1260.30/315.82	c  N dy  5457   1530653        70      6230         0     77504     43610   1244118     20.58     22.10  --
1286.64/322.47	c  N dy  5571   1550683        70      6230         0     95619     43610   1688339     20.59     22.81  --
1310.55/328.42	c  N dy  5622   1579879        70      6230         0     72835     43610   1096270     20.58     21.66  --
1334.10/334.32	c  N dy  5697   1599938        70      6230         0     90966     43610   1535929     20.58     22.77  --
1356.05/339.80	c  N dy  5739   1621489        70      6230         0     60918     43610    809875     20.57     21.79  --
1389.17/348.17	c  N dy  5841   1658028        70      6230         0     93637     43610   1596099     20.56     21.64  --
1409.92/353.37	c  N dy  5937   1678111        70      6230         0     61449     43610    818165     20.56     22.88  --
1433.08/359.10	c  N dy  6021   1700807        70      6230         0     81828     43610   1314792     20.57     21.68  --
1447.05/362.66	c  S st  6065   1710248        70      6230         0     90333     43610   1523601     20.58     19.51  --
1448.24/362.96	c  S st  6065   1710752        70      6230         0     90807     43610   1535398     20.58   no data  --
1448.24/362.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1448.24/362.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1448.66/363.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1448.66/363.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1448.66/363.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1448.66/363.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1448.66/363.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1641.78/411.46	c lits-rem:      5564  cl-subs:     9107  v-elim:      0  v-fix:    0  time: 193.04 s
1641.78/411.46	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1641.78/411.48	c vivif2 --  cl tried    81700 cl shrink        0 lits rem          0 time: 0.07
1643.76/411.95	c asymm  cl-useful: 0/563/6230 lits-rem:0 time: 1.87
1643.76/411.95	c calculated reachability. Time: 0.00
1643.76/411.95	c  N dy  6065   1710752        70      6230         0     81700     43610   1303356     20.58   no data  --
1678.87/420.78	c  N dy  6162   1730880        70      6230         0     99865     43610   1748338     20.58     21.74  --
1711.60/428.90	c  N dy  6174   1761978        70      6230         0     76742     43610   1162247     20.55     21.82  --
1834.12/459.67	c  N dy  6236   1868169        70      6230         0     66830     43610    891551     20.43     21.66  --
1865.64/467.55	c  N dy  6365   1888213        70      6230         0     84975     43610   1337921     20.44     21.55  --
1908.33/478.29	c  N dy  6493   1908219        70      6230         0    103130     43610   1784925     20.45     21.54  --
1943.44/487.05	c  N dy  6626   1929104        70      6230         0     68267     43610    934029     20.47     21.70  --
1979.77/496.13	c  N dy  6770   1949170        70      6230         0     86349     43610   1381561     20.48     22.98  --
2036.83/510.42	c  N dy  6835   1992274        70      6230         0     70192     43610    954552     20.46     21.85  --
2059.20/516.07	c  N dy  6923   2012431        70      6230         0     88288     43610   1390860     20.46     21.60  --
2088.70/523.50	c  N dy  7030   2032448        70      6230         0    106382     43610   1833353     20.47     21.87  --
2113.84/529.73	c  N dy  7152   2053741        70      6230         0     69891     43610    945311     20.48     21.60  --
2138.98/536.03	c  N dy  7274   2074338        70      6230         0     88577     43610   1404203     20.49     21.59  --
2170.12/543.85	c  N dy  7386   2095250        70      6230         0    107467     43610   1864837     20.50     21.66  --
2194.88/550.09	c  N dy  7494   2115259        70      6230         0     68828     43610    907060     20.51     23.91  --
2220.01/556.30	c  N dy  7630   2135317        70      6230         0     86998     43610   1357263     20.52     22.92  --
2248.73/563.50	c  N dy  7717   2155843        70      6230         0    105506     43610   1809991     20.52     21.63  --
2279.47/571.24	c  N dy  7858   2177823        70      6230         0     67671     43610    867069     20.54     21.67  --
2303.02/577.17	c  N dy  7980   2197874        70      6230         0     85798     43610   1313718     20.55     23.44  --
2319.38/581.25	c  S st  8020   2210753        70      6230         0     97381     43610   1595171     20.55   no data  --
2320.58/581.54	c  S st  8020   2211255        70      6230         0     97838     43610   1606512     20.55   no data  --
2320.58/581.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2320.58/581.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2320.58/581.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
2320.98/581.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2320.98/581.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2320.98/581.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2320.98/581.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2638.65/661.25	c lits-rem:      5805  cl-subs:     8418  v-elim:      0  v-fix:    0  time: 317.57 s
2638.65/661.26	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2638.65/661.28	c vivif2 --  cl tried    89420 cl shrink        0 lits rem          0 time: 0.10
2641.00/661.85	c asymm  cl-useful: 0/516/6230 lits-rem:0 time: 2.29
2641.00/661.86	c calculated reachability. Time: 0.00
2641.00/661.86	c  N dy  8020   2211255        70      6230         0     89420     43610   1389201     20.55   no data  --
2682.54/672.27	c  N dy  8084   2232546        70      6230         0    108469     43610   1846816     20.55     21.75  --
2717.24/680.95	c  N dy  8147   2252634        70      6230         0     68412     43610    872462     20.55     22.69  --
2765.52/693.03	c  N dy  8248   2282943        70      6230         0     95647     43610   1531225     20.55     21.80  --
2814.57/705.35	c  N dy  8345   2307205        70      6230         0    117549     43610   2065677     20.56     21.75  --
2844.52/712.88	c  N dy  8451   2327228        70      6230         0     76323     43610   1052207     20.56     23.31  --
2876.02/720.74	c  N dy  8525   2347321        70      6230         0     94406     43610   1491265     20.57     22.61  --
2915.53/730.69	c  N dy  8599   2367725        70      6230         0    112834     43610   1937280     20.57     21.66  --
2957.43/741.15	c  N dy  8742   2390190        70      6230         0     72816     43610    952932     20.58     21.82  --
2986.16/748.30	c  N dy  8803   2410292        70      6230         0     90895     43610   1391325     20.58     21.98  --
3023.67/757.72	c  N dy  8890   2430350        70      6230         0    109005     43610   1835979     20.58     21.86  --
3064.76/768.06	c  N dy  8995   2450765        70      6230         0     66165     43610    778049     20.59     21.71  --
3095.13/775.64	c  N dy  9114   2470840        70      6230         0     84277     43610   1224078     20.60     24.10  --
3136.99/786.13	c  N dy  9208   2495607        70      6230         0    106545     43610   1768002     20.60     21.69  --
3176.50/796.04	c  N dy  9245   2515630        70      6230         0     62360     43610    671537     20.60     21.77  --
3205.62/803.39	c  N dy  9398   2535704        70      6230         0     80547     43610   1124255     20.61     23.14  --
3237.15/811.24	c  N dy  9480   2558218        70      6230         0    100806     43610   1618401     20.61     21.75  --
3267.08/818.74	c  N dy  9548   2578263        70      6230         0    118869     43610   2057035     20.61     23.40  --
3303.01/827.71	c  N dy  9629   2607392        70      6230         0     82008     43610   1132822     20.61     21.80  --
3330.15/834.59	c  N dy  9747   2627446        70      6230         0    100089     43610   1578355     20.62     22.79  --
3364.47/843.11	c  N dy  9850   2648125        70      6230         0    118657     43610   2033326     20.62     21.76  --
3393.63/850.47	c  N dy  9938   2668574        70      6230         0     73124     43610    904588     20.63     21.75  --
3417.15/856.38	c  N dy 10009   2688744        70      6230         0     91301     43610   1348352     20.63     21.74  --
3447.88/864.02	c  N dy 10125   2708745        70      6230         0    109333     43610   1795553     20.64     23.83  --
3452.27/865.18	c  S st 10140   2711256        70      6230         0    111616     43610   1851333     20.64   no data  --
3453.88/865.53	c  S st 10140   2711760        70      6230         0    112067     43610   1862721     20.64   no data  --
3453.88/865.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3453.88/865.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3453.88/865.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.23
3454.28/865.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3454.28/865.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3454.28/865.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3454.28/865.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3997.34/1001.78	c lits-rem:      6621  cl-subs:    11039  v-elim:      0  v-fix:    0  time: 543.04 s
3997.34/1001.78	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3997.74/1001.80	c vivif2 --  cl tried   101028 cl shrink        0 lits rem          0 time: 0.09
3999.37/1002.29	c asymm  cl-useful: 0/451/6230 lits-rem:0 time: 1.96
3999.73/1002.30	c calculated reachability. Time: 0.00
3999.73/1002.30	c  N dy 10140   2711760        70      6230         0    101028     43610   1584253     20.64   no data  --
4048.80/1014.64	c  N dy 10262   2731818        70      6230         0    119138     43610   2031627     20.65     22.35  --
4092.30/1025.57	c  N dy 10370   2751845        70      6230         0     72866     43610    898770     20.65     25.36  --
4135.79/1036.42	c  N dy 10466   2778697        70      6230         0     97029     43610   1486268     20.66     21.91  --
4199.24/1052.39	c  N dy 10470   2818929        70      6230         0     67539     43610    751067     20.63     21.83  --
4231.17/1060.35	c  N dy 10561   2840308        70      6230         0     86772     43610   1222179     20.63     21.74  --
4275.07/1071.37	c  N dy 10650   2864582        70      6230         0    108476     43610   1746957     20.63     21.78  --
4321.34/1082.94	c  N dy 10746   2884655        70      6230         0    126520     43610   2191030     20.64     22.53  --
4362.85/1093.36	c  N dy 10802   2909828        70      6230         0     82803     43610   1101167     20.63     21.76  --
4398.37/1102.23	c  N dy 10884   2929957        70      6230         0    100838     43610   1540577     20.63     21.82  --
4443.05/1113.48	c  N dy 10997   2950378        70      6230         0    119226     43610   1994143     20.64     21.79  --
4492.52/1125.89	c  N dy 11112   2970380        70      6230         0     69994     43610    784321     20.65     23.29  --
4527.25/1134.53	c  N dy 11194   2994773        70      6230         0     91758     43610   1301559     20.64     21.74  --
4567.94/1144.71	c  N dy 11256   3017449        70      6230         0    112071     43610   1795668     20.64     21.75  --
4608.65/1154.98	c  N dy 11284   3039236        70      6230         0    131609     43610   2262688     20.63     21.80  --
4647.35/1164.66	c  N dy 11359   3059257        70      6230         0     81568     43610   1052673     20.63     21.73  --
4694.43/1176.47	c  N dy 11467   3084506        70      6230         0    104210     43610   1601428     20.64     21.80  --
4744.31/1188.97	c  N dy 11595   3104521        70      6230         0    122275     43610   2048253     20.64     21.84  --
4794.58/1201.54	c  N dy 11637   3131038        70      6230         0     76848     43610    918277     20.64     21.73  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.42 7.98 7.95 5/298 2960
/proc/meminfo: memFree=13079740/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 652680526 52465664 352 33554432000 4194304 4650419 140736587139984 18446744073709551615 208080288753 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 12809 352 303 112 0 7774 0
[pid=2960/tid=2962] ppid=2958 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652680526 52465664 356 33554432000 4194304 4650419 140736587139984 18446744073709551615 46968208561689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652680526 52465664 356 33554432000 4194304 4650419 140736587139984 18446744073709551615 46968208561689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652680526 52465664 356 33554432000 4194304 4650419 140736587139984 18446744073709551615 46968208562098 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.11165 s]
/proc/loadavg: 7.42 7.98 7.95 5/298 2960
/proc/meminfo: memFree=13079740/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=282196 CPUtime=0.42 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 1463 0 0 0 42 0 0 0 25 0 4 0 652680526 288968704 1369 33554432000 4194304 4650419 140736587139984 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 70549 1369 366 112 0 65514 0
[pid=2960/tid=2962] ppid=2958 vsize=282196 CPUtime=0.1 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 226 0 0 0 10 0 0 0 25 0 4 0 652680526 288968704 1369 33554432000 4194304 4650419 140736587139984 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=282196 CPUtime=0.1 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 230 0 0 0 10 0 0 0 25 0 4 0 652680526 288968704 1369 33554432000 4194304 4650419 140736587139984 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=282196 CPUtime=0.09 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 357 0 0 0 9 0 0 0 25 0 4 0 652680526 288968704 1369 33554432000 4194304 4650419 140736587139984 18446744073709551615 4361008 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282196

[startup+0.200618 s]
/proc/loadavg: 7.42 7.98 7.95 5/298 2960
/proc/meminfo: memFree=13079740/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=284004 CPUtime=0.77 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 3348 0 0 0 77 0 0 0 25 0 4 0 652680526 290820096 2731 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 71001 2731 390 112 0 65966 0
[pid=2960/tid=2962] ppid=2958 vsize=284004 CPUtime=0.19 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 755 0 0 0 19 0 0 0 25 0 4 0 652680526 290820096 2731 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=284004 CPUtime=0.19 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 755 0 0 0 19 0 0 0 18 0 4 0 652680526 290820096 2731 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=284004 CPUtime=0.18 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 629 0 0 0 18 0 0 0 25 0 4 0 652680526 290820096 2731 33554432000 4194304 4650419 140736587139984 18446744073709551615 4334234 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284004

[startup+0.300596 s]
/proc/loadavg: 7.42 7.98 7.95 5/298 2960
/proc/meminfo: memFree=13079740/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=284004 CPUtime=1.17 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 3671 0 0 0 117 0 0 0 25 0 4 0 652680526 290820096 3054 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 71001 3054 390 112 0 65966 0
[pid=2960/tid=2962] ppid=2958 vsize=284004 CPUtime=0.29 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 841 0 0 0 29 0 0 0 25 0 4 0 652680526 290820096 3054 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=284004 CPUtime=0.29 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 838 0 0 0 29 0 0 0 18 0 4 0 652680526 290820096 3054 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=284004 CPUtime=0.28 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 696 0 0 0 28 0 0 0 25 0 4 0 652680526 290820096 3054 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284004

[startup+0.700521 s]
/proc/loadavg: 7.42 7.98 7.95 5/298 2960
/proc/meminfo: memFree=13079740/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=286092 CPUtime=2.77 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 6157 0 0 0 276 1 0 0 25 0 4 0 652680526 292958208 3637 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 71523 3637 390 112 0 66488 0
[pid=2960/tid=2962] ppid=2958 vsize=286092 CPUtime=0.69 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 1450 0 0 0 69 0 0 0 25 0 4 0 652680526 292958208 3637 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=286092 CPUtime=0.69 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 1431 0 0 0 69 0 0 0 18 0 4 0 652680526 292958208 3637 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=286092 CPUtime=0.68 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 1356 0 0 0 68 0 0 0 25 0 4 0 652680526 292958208 3637 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286092

[startup+1.50037 s]
/proc/loadavg: 7.42 7.98 7.95 9/302 2965
/proc/meminfo: memFree=13061240/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=286948 CPUtime=5.95 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 10916 0 0 0 594 1 0 0 25 0 4 0 652680526 293834752 5971 33554432000 4194304 4650419 140736587139984 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 71737 5971 392 112 0 66702 0
[pid=2960/tid=2962] ppid=2958 vsize=286948 CPUtime=1.48 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 2388 0 0 0 148 0 0 0 25 0 4 0 652680526 293834752 5971 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=286948 CPUtime=1.49 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 2358 0 0 0 149 0 0 0 19 0 4 0 652680526 293834752 5971 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=286948 CPUtime=1.47 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 2023 0 0 0 147 0 0 0 25 0 4 0 652680526 293834752 5971 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286948

[startup+3.10107 s]
/proc/loadavg: 7.42 7.98 7.95 9/302 2965
/proc/meminfo: memFree=13035572/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=286548 CPUtime=12.35 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 18294 0 0 0 1232 3 0 0 25 0 4 0 652680526 293425152 10889 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 71637 10889 392 112 0 66602 0
[pid=2960/tid=2962] ppid=2958 vsize=286548 CPUtime=3.08 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 3964 0 0 0 308 0 0 0 25 0 4 0 652680526 293425152 10889 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=286548 CPUtime=3.09 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 4959 0 0 0 308 1 0 0 24 0 4 0 652680526 293425152 10889 33554432000 4194304 4650419 140736587139984 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=286548 CPUtime=3.06 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 4785 0 0 0 306 0 0 0 25 0 4 0 652680526 293425152 10889 33554432000 4194304 4650419 140736587139984 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286548

[startup+6.30046 s]
/proc/loadavg: 7.46 7.98 7.95 9/302 2965
/proc/meminfo: memFree=13012896/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=296444 CPUtime=25.12 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 27099 0 0 0 2507 5 0 0 25 0 4 0 652680526 303558656 13200 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 74111 13200 392 112 0 69076 0
[pid=2960/tid=2962] ppid=2958 vsize=296444 CPUtime=6.29 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 6860 0 0 0 628 1 0 0 25 0 4 0 652680526 303558656 13200 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=296444 CPUtime=6.29 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 6975 0 0 0 628 1 0 0 25 0 4 0 652680526 303558656 13200 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=296444 CPUtime=6.22 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 6612 0 0 0 622 0 0 0 25 0 4 0 652680526 303558656 13200 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 296444

[startup+12.7002 s]
/proc/loadavg: 7.51 7.98 7.95 9/302 2965
/proc/meminfo: memFree=12976732/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=294556 CPUtime=50.66 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 39878 0 0 0 5058 8 0 0 25 0 4 0 652680526 301625344 17938 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365998 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 73639 17938 392 112 0 68604 0
[pid=2960/tid=2962] ppid=2958 vsize=294556 CPUtime=12.69 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 9238 0 0 0 1267 2 0 0 25 0 4 0 652680526 301625344 17938 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=294556 CPUtime=12.69 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 10178 0 0 0 1267 2 0 0 25 0 4 0 652680526 301625344 17939 33554432000 4194304 4650419 140736587139984 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=294556 CPUtime=12.56 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 10629 0 0 0 1255 1 0 0 25 0 4 0 652680526 301625344 17939 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 294556

[startup+25.5008 s]
/proc/loadavg: 7.69 7.99 7.95 9/302 2965
/proc/meminfo: memFree=12946968/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=275792 CPUtime=101.74 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 60376 0 0 0 10161 13 0 0 25 0 4 0 652680526 282411008 22186 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 68948 22186 392 112 0 63913 0
[pid=2960/tid=2962] ppid=2958 vsize=275792 CPUtime=25.48 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 14288 0 0 0 2546 2 0 0 25 0 4 0 652680526 282411008 22186 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=275792 CPUtime=25.48 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 15394 0 0 0 2545 3 0 0 25 0 4 0 652680526 282411008 22186 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=275792 CPUtime=25.25 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 15768 0 0 0 2522 3 0 0 25 0 4 0 652680526 282411008 22186 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 275792

[startup+51.1009 s]
/proc/loadavg: 7.79 7.99 7.95 9/302 2966
/proc/meminfo: memFree=12893824/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=298984 CPUtime=203.91 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 88729 0 0 0 20368 23 0 0 25 0 4 0 652680526 306159616 27915 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 74746 27915 392 112 0 69711 0
[pid=2960/tid=2962] ppid=2958 vsize=298984 CPUtime=51.09 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 21765 0 0 0 5104 5 0 0 25 0 4 0 652680526 306159616 27915 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=298984 CPUtime=51.09 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 23823 0 0 0 5102 7 0 0 25 0 4 0 652680526 306159616 27915 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=298984 CPUtime=50.62 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 23044 0 0 0 5057 5 0 0 25 0 4 0 652680526 306159616 27915 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 298984

[startup+102.301 s]
/proc/loadavg: 7.96 8.01 7.96 9/302 2967
/proc/meminfo: memFree=12855316/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=324024 CPUtime=408.26 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 134478 0 0 0 40788 38 0 0 25 0 4 0 652680526 331800576 33417 33554432000 4194304 4650419 140736587139984 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 81006 33417 392 112 0 75971 0
[pid=2960/tid=2962] ppid=2958 vsize=324024 CPUtime=102.3 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 30543 0 0 0 10222 8 0 0 25 0 4 0 652680526 331800576 33419 33554432000 4194304 4650419 140736587139984 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=324024 CPUtime=102.3 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 37007 0 0 0 10219 11 0 0 25 0 4 0 652680526 331800576 33419 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=324024 CPUtime=101.35 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 37216 0 0 0 10125 10 0 0 25 0 4 0 652680526 331800576 33419 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 324024

[startup+162.301 s]

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

[pid=2960] ppid=2958 vsize=437432 CPUtime=2563.19 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 403088 0 0 0 256168 151 0 0 25 0 4 0 652680526 447930368 73641 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 109358 73641 392 112 0 104323 0
[pid=2960/tid=2962] ppid=2958 vsize=437432 CPUtime=642.31 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 101207 0 0 0 64197 34 0 0 25 0 4 0 652680526 447930368 73641 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=437432 CPUtime=642.31 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 111868 0 0 0 64188 43 0 0 25 0 4 0 652680526 447930368 73641 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=437432 CPUtime=636.23 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 87352 0 0 0 63590 33 0 0 25 0 4 0 652680526 447930368 73641 33554432000 4194304 4650419 140736587139984 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.19
Current children cumulated vsize (KiB) 437432

[startup+702.301 s]
/proc/loadavg: 8.04 8.05 8.00 9/302 2983
/proc/meminfo: memFree=12496504/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=425784 CPUtime=2802.61 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 415323 0 0 0 280104 157 0 0 25 0 4 0 652680526 436002816 73192 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 106446 73192 392 112 0 101411 0
[pid=2960/tid=2962] ppid=2958 vsize=425784 CPUtime=702.31 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 103684 0 0 0 70196 35 0 0 25 0 4 0 652680526 436002816 73192 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=425784 CPUtime=702.31 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 115703 0 0 0 70186 45 0 0 25 0 4 0 652680526 436002816 73192 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=425784 CPUtime=695.63 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 88016 0 0 0 69530 33 0 0 25 0 4 0 652680526 436002816 73192 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.61
Current children cumulated vsize (KiB) 425784

[startup+762.301 s]
/proc/loadavg: 8.11 8.07 8.01 9/302 2985
/proc/meminfo: memFree=12462892/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=450644 CPUtime=3042.04 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 426044 0 0 0 304042 162 0 0 25 0 4 0 652680526 461459456 78738 33554432000 4194304 4650419 140736587139984 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 112661 78738 392 112 0 107626 0
[pid=2960/tid=2962] ppid=2958 vsize=450644 CPUtime=762.32 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 103684 0 0 0 76197 35 0 0 25 0 4 0 652680526 461459456 78739 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=450644 CPUtime=762.32 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 120923 0 0 0 76184 48 0 0 25 0 4 0 652680526 461459456 78739 33554432000 4194304 4650419 140736587139984 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=450644 CPUtime=755.05 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 88063 0 0 0 75472 33 0 0 25 0 4 0 652680526 461459456 78739 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.04
Current children cumulated vsize (KiB) 450644

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 8.01 9/302 2987
/proc/meminfo: memFree=12454696/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=450848 CPUtime=3281.45 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 440088 0 0 0 327973 172 0 0 25 0 4 0 652680526 461668352 82520 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 112712 82520 392 112 0 107677 0
[pid=2960/tid=2962] ppid=2958 vsize=450848 CPUtime=822.32 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 106159 0 0 0 82195 37 0 0 25 0 4 0 652680526 461668352 82520 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=450848 CPUtime=822.31 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 126733 0 0 0 82179 52 0 0 25 0 4 0 652680526 461668352 82520 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=450848 CPUtime=814.48 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 88488 0 0 0 81414 34 0 0 25 0 4 0 652680526 461668352 82520 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.45
Current children cumulated vsize (KiB) 450848

[startup+882.312 s]
/proc/loadavg: 8.21 8.11 8.02 9/302 2988
/proc/meminfo: memFree=12442652/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=501280 CPUtime=3520.95 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 460223 0 0 0 351913 182 0 0 25 0 4 0 652680526 513310720 82485 33554432000 4194304 4650419 140736587139984 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 125320 82485 392 112 0 120285 0
[pid=2960/tid=2962] ppid=2958 vsize=501280 CPUtime=882.33 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 110847 0 0 0 88194 39 0 0 25 0 4 0 652680526 513310720 82485 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=501280 CPUtime=882.33 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 132306 0 0 0 88177 56 0 0 25 0 4 0 652680526 513310720 82485 33554432000 4194304 4650419 140736587139984 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=501280 CPUtime=873.92 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 91314 0 0 0 87357 35 0 0 25 0 4 0 652680526 513310720 82485 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.95
Current children cumulated vsize (KiB) 501280

[startup+942.3 s]
/proc/loadavg: 8.26 8.14 8.03 9/302 2990
/proc/meminfo: memFree=12441888/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=513796 CPUtime=3760.32 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 477222 0 0 0 375843 189 0 0 25 0 4 0 652680526 526127104 82818 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 128449 82818 392 112 0 123414 0
[pid=2960/tid=2962] ppid=2958 vsize=513796 CPUtime=942.32 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 113647 0 0 0 94192 40 0 0 25 0 4 0 652680526 526127104 82818 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=513796 CPUtime=942.32 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 135530 0 0 0 94175 57 0 0 25 0 4 0 652680526 526127104 82818 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=513796 CPUtime=933.32 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 93928 0 0 0 93295 37 0 0 25 0 4 0 652680526 526127104 82818 33554432000 4194304 4650419 140736587139984 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.32
Current children cumulated vsize (KiB) 513796

[startup+1002.3 s]
/proc/loadavg: 8.23 8.14 8.04 9/302 2991
/proc/meminfo: memFree=12423272/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=514076 CPUtime=3999.73 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 501562 0 0 0 399777 196 0 0 25 0 4 0 652680526 526413824 85941 33554432000 4194304 4650419 140736587139984 18446744073709551615 4504179 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 128519 85941 392 112 0 123484 0
[pid=2960/tid=2962] ppid=2958 vsize=514076 CPUtime=1002.32 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 117401 0 0 0 100190 42 0 0 25 0 4 0 652680526 526413824 85941 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=514076 CPUtime=1002.32 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 140856 0 0 0 100172 60 0 0 25 0 4 0 652680526 526413824 85941 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=514076 CPUtime=992.73 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 94326 0 0 0 99235 38 0 0 25 0 4 0 652680526 526413824 85941 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.73
Current children cumulated vsize (KiB) 514076

[startup+1062.3 s]
/proc/loadavg: 8.08 8.11 8.03 9/302 2993
/proc/meminfo: memFree=12404164/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=501484 CPUtime=4239.14 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 510656 0 0 0 423713 201 0 0 25 0 4 0 652680526 513519616 87819 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 125371 87819 392 112 0 120336 0
[pid=2960/tid=2962] ppid=2958 vsize=501484 CPUtime=1062.32 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 117401 0 0 0 106190 42 0 0 25 0 4 0 652680526 513519616 87819 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=501484 CPUtime=1062.33 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 144564 0 0 0 106170 63 0 0 25 0 4 0 652680526 513519616 87819 33554432000 4194304 4650419 140736587139984 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=501484 CPUtime=1052.14 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 94326 0 0 0 105176 38 0 0 25 0 4 0 652680526 513519616 87819 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.14
Current children cumulated vsize (KiB) 501484

[startup+1122.3 s]
/proc/loadavg: 8.03 8.09 8.02 9/302 2995
/proc/meminfo: memFree=12383184/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=501600 CPUtime=4478.56 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 519839 0 0 0 447649 207 0 0 25 0 4 0 652680526 513638400 90944 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 125400 90944 392 112 0 120365 0
[pid=2960/tid=2962] ppid=2958 vsize=501600 CPUtime=1122.33 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 117401 0 0 0 112191 42 0 0 25 0 4 0 652680526 513638400 90944 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=501600 CPUtime=1122.33 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 149938 0 0 0 112166 67 0 0 25 0 4 0 652680526 513638400 90944 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=501600 CPUtime=1111.54 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 94326 0 0 0 111116 38 0 0 25 0 4 0 652680526 513638400 90944 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.56
Current children cumulated vsize (KiB) 501600

[startup+1182.3 s]
/proc/loadavg: 8.07 8.09 8.02 9/302 2996
/proc/meminfo: memFree=12336172/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=567196 CPUtime=4717.98 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 527409 0 0 0 471586 212 0 0 25 0 4 0 652680526 580808704 89848 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 141799 89848 392 112 0 136764 0
[pid=2960/tid=2962] ppid=2958 vsize=567196 CPUtime=1182.33 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 117434 0 0 0 118191 42 0 0 25 0 4 0 652680526 580808704 89848 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=567196 CPUtime=1182.33 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 154996 0 0 0 118164 69 0 0 25 0 4 0 652680526 580808704 89848 33554432000 4194304 4650419 140736587139984 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=567196 CPUtime=1170.95 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 94326 0 0 0 117057 38 0 0 25 0 4 0 652680526 580808704 89848 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.98
Current children cumulated vsize (KiB) 567196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 7.80 8.03 8.01 5/294 3016
/proc/meminfo: memFree=12773668/32950928 swapFree=67083212/67111528
[pid=2960] ppid=2958 vsize=567196 CPUtime=4800.18 cores=1,3,5,7
/proc/2960/stat : 2960 (strangenight1-m) R 2958 2960 2430 0 -1 4202496 530351 0 0 0 479805 213 0 0 25 0 4 0 652680526 580808704 88560 33554432000 4194304 4650419 140736587139984 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2960/statm: 141799 88560 392 112 0 136764 0
[pid=2960/tid=2962] ppid=2958 vsize=567196 CPUtime=1202.94 cores=1,3,5,7
/proc/2960/task/2962/stat : 2962 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 118061 0 0 0 120251 43 0 0 25 0 4 0 652680526 580808704 88561 33554432000 4194304 4650419 140736587139984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2960/tid=2963] ppid=2958 vsize=567196 CPUtime=1202.94 cores=1,3,5,7
/proc/2960/task/2963/stat : 2963 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 155389 0 0 0 120225 69 0 0 25 0 4 0 652680526 580808704 88561 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2960/tid=2964] ppid=2958 vsize=567196 CPUtime=1191.35 cores=1,3,5,7
/proc/2960/task/2964/stat : 2964 (strangenight1-m) R 2958 2960 2430 0 -1 4202560 94326 0 0 0 119097 38 0 0 25 0 4 0 652680526 580808704 88561 33554432000 4194304 4650419 140736587139984 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 567196

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.93
CPU time (s): 4800.25
CPU user time (s): 4798.1
CPU system time (s): 2.15367
CPU usage (%): 399.045
Max. virtual memory (cumulated for all children) (KiB): 567196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.1
system time used= 2.15367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530352
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= 512
involuntary context switches= 31791

runsolver used 3.24251 second user time and 8.35973 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-15 00:06:49
IDJOB=3369022
IDBENCH=83031
IDSOLVER=1846
FILE ID=node127/3369022-1305410809
RUNJOBID= node127-1305409599-2785
PBS_JOBID= 13324505
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369022-1305410809/watcher-3369022-1305410809 -o /tmp/evaluation-result-3369022-1305410809/solver-3369022-1305410809 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369022-1305410809.cnf

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

MD5SUM BENCH= b3fdf3b46fb0b1e907e496e0b191070b
RANDOM SEED=1907427588

node127.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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.83
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.823
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.74
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.823
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.86
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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13080020 kB
Buffers:        290400 kB
Cached:        3366784 kB
SwapCached:       1620 kB
Active:       16869556 kB
Inactive:      2665612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13080020 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:           12572 kB
Writeback:           0 kB
AnonPages:    15876200 kB
Mapped:          26740 kB
Slab:           226632 kB
PageTables:      46888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44453536 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73472 MiB
End job on node127 at 2011-05-15 00:26:54