Trace number 3366827

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-2-mt (fixed)? (TO) 4800.12 1204.36

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
MD5SUMfab1e4926bfa9e7a1fae58c3b22b51e8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark947.499
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses46074
Sum of the clauses size92708
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 246054
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366827-1305415310.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:       46074
0.00/0.03	c -- clauses added:            0 learnts,        46074 normals,            0 xors
0.00/0.03	c -- vars added        600
0.00/0.03	c Parsing time:  0.01 s
0.00/0.03	c  N st     0         0       600        20     46054         0     92708         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.00/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.06	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.00 s
0.00/0.46	c lits-rem:       595  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.00/0.46	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.46	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.46	c calculated reachability. Time: 0.00
0.00/0.46	c Calc default polars -  time:   0.00 s pos:     295 undec:      20 neg:     285
0.00/0.46	c =========================================================================================
0.00/0.46	c types(t): F = full restart, N = normal restart
0.00/0.46	c types(t): S = simplification begin/end, E = solution found
0.00/0.46	c restart types(rt): st = static, dy = dynamic
0.00/0.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.46	c  B st     0         0       580      1380     44094         0    134313         0   no data   no data
0.00/0.46	c  N dy    16      4202       580      1380     44094      4031    134313    352974      9.79     10.34
3.41/0.91	c  N dy    36      8703       580      1380     44095      5987    134313    398483     11.28     12.08
4.21/1.11	c  N dy    51     12839       580      1380     44096      5899    134313    340425     11.31     11.94
5.81/1.49	c  N dy    59     16897       580      1380     44097      9823    134313    648712     10.85     11.46
7.16/1.91	c  N dy    66     21564       580      1380     44098      8828    134313    455404     10.47     11.23
8.73/2.23	c  F st    88     25000       580      1380     44099     12154    134313    699644     10.71      9.16
8.73/2.29	c  N st    90     25626       580      1380     44099     12763    134313    755630     10.71   no data
10.32/2.68	c  N dy    94     30001       580      1380     44100     10362    134313    569463     10.71   no data
10.32/2.68	c  S st    94     30001       580      1380     44100     10362    134313    569463     10.71   no data
10.73/2.73	c  S st    94     30502       580      1380     44100     10859    134313    595829     10.71   no data
10.73/2.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.13/2.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  5.0M T:  0.12
11.13/2.86	c blocked clauses removed:        0 vars:      0 tried:         580 T: 0.00 s
11.13/2.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
12.31/3.10	c subs with bin:        0  lits-rem:      9761  v-fix:    0  time:  0.23 s
12.31/3.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
12.31/3.11	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
12.31/3.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
17.50/4.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.27 s
20.74/5.23	c lits-rem:      1811  cl-subs:      799  v-elim:      0  v-fix:    0  time:  0.83 s
21.47/5.40	c asymm  cl-useful: 0/1360/1380 lits-rem:0 time: 0.17
21.47/5.40	c calculated reachability. Time: 0.00
21.47/5.40	c  N dy    94     30502       580      1380     44101     10060    124552    563768     10.71   no data
23.07/5.89	c  N dy   112     34509       580      1380     44102     13902    124552    802910     10.92     11.51
24.70/6.30	c  N dy   132     38546       580      1380     44106     10226    124552    506697     10.96     11.65
26.66/6.78	c  N dy   147     42692       580      1380     44115     14218    124552    803805     10.91     11.66
29.08/7.31	c  S st   166     45754       580      1380     44116     17157    124552   1035772     11.14      8.56
29.08/7.37	c  S st   166     46256       580      1380     44116      9063    124552    406933     11.14   no data
29.08/7.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.50/7.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.0M T:  0.09
29.50/7.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.50/7.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.25/7.65	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.18 s
30.25/7.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
30.25/7.66	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
30.25/7.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
35.43/8.91	c subs with bin:       21  lits-rem:       154  v-fix:    0  time:  1.24 s
35.83/9.03	c lits-rem:       162  cl-subs:      360  v-elim:      0  v-fix:    0  time:  0.11 s
35.83/9.03	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
35.83/9.04	c vivif2 --  cl tried     8682 cl shrink      292 lits rem        302 time: 0.01
36.23/9.18	c asymm  cl-useful: 0/1380/1380 lits-rem:0 time: 0.14
36.23/9.18	c calculated reachability. Time: 0.00
36.23/9.18	c  N dy   166     46256       580      1380     44116      8682    124550    401967     11.14   no data
37.84/9.59	c  N dy   184     50267       580      1380     44128     12556    124550    672346     11.10     11.75
40.21/10.13	c  N dy   209     54390       580      1380     44131     16517    124550    934716     11.19     12.00
42.66/10.72	c  N dy   228     58471       580      1380     44132     10840    124550    543075     11.31     22.55
45.00/11.38	c  N dy   249     63337       580      1380     44135     15495    124550    845408     11.31     11.95
47.78/12.06	c  N dy   270     67519       580      1380     44141     19509    124550   1142992     11.35     11.97
49.37/12.44	c  S st   285     69385       580      1380     44141     10748    124550    514027     11.44   no data
49.37/12.49	c  S st   285     69888       580      1380     44141     11249    124550    550426     11.44   no data
49.37/12.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.19/12.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.0M T:  0.12
50.19/12.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.19/12.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.59/12.81	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.18 s
50.59/12.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
51.00/12.81	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
51.00/12.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
56.14/14.14	c subs with bin:       54  lits-rem:       106  v-fix:    0  time:  1.31 s
56.94/14.38	c lits-rem:       244  cl-subs:      271  v-elim:      0  v-fix:    0  time:  0.23 s
56.94/14.38	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
56.94/14.39	c vivif2 --  cl tried    10924 cl shrink      351 lits rem        437 time: 0.01
58.15/14.60	c asymm  cl-useful: 0/1380/1380 lits-rem:0 time: 0.20
58.15/14.60	c calculated reachability. Time: 0.00
58.15/14.60	c  N dy   285     69888       580      1380     44141     10924    124544    544165     11.44   no data
60.20/15.11	c  N dy   299     74363       580      1380     44146     15233    124544    847541     11.43     20.34
63.33/15.95	c  N dy   321     79358       580      1380     44151     20006    124544   1154208     11.44     12.09
68.12/17.10	c  N dy   345     87071       580      1380     44155     15881    124544    723955     11.44     12.73
68.12/17.15	c  F st   349     87500       580      1380     44157     16301    124544    763472     11.45   no data
71.30/17.95	c  N dy   355     92694       580      1380     44157     21291    124544   1088277     11.45   no data
74.88/18.84	c  N dy   378     98648       580      1380     44159     14556    124544    611291     11.43     12.23
78.07/19.63	c  S st   397    104832       580      1380     44166     20504    124544   1011772     11.37      9.68
78.47/19.70	c  S st   397    105338       580      1380     44166     21009    124544   1051476     11.37   no data
78.47/19.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.87/19.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.8M T:  0.19
78.87/19.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.87/19.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.67/20.08	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.18 s
79.67/20.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
79.67/20.08	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
79.67/20.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.26/21.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.28 s
90.04/22.69	c lits-rem:      1245  cl-subs:     1136  v-elim:      0  v-fix:    0  time:  1.28 s
90.04/22.69	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
90.04/22.71	c vivif2 --  cl tried    19873 cl shrink      996 lits rem       1688 time: 0.02
91.22/22.94	c asymm  cl-useful: 0/1020/1380 lits-rem:0 time: 0.23
91.22/22.95	c calculated reachability. Time: 0.00
91.22/22.95	c  N dy   397    105338       580      1380     44166     19873    124540   1023208     11.37   no data
96.01/24.19	c  N dy   442    112157       580      1380     44188     26403    124540   1450179     11.59     19.73
99.99/25.13	c  N dy   473    119342       580      1380     44189     19889    124540    958009     11.65     12.37
105.17/26.49	c  N dy   491    127431       580      1380     44193     27665    124540   1414031     11.56     12.31
109.96/27.61	c  N dy   512    135715       580      1380     44195     21192    124540    996836     11.49     12.14
116.34/29.23	c  N dy   560    144382       580      1380     44206     29512    124540   1605960     11.58     12.21
121.91/30.64	c  N dy   598    153641       580      1380     44214     23024    124540   1166960     11.58     13.40
125.11/31.47	c  S st   621    158007       580      1380     44223     27241    124540   1431026     11.61     10.91
125.52/31.58	c  S st   621    158510       580      1380     44223     27742    124540   1474917     11.61   no data
125.52/31.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
126.69/31.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 10.8M T:  0.28
126.69/31.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126.69/31.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
127.49/32.05	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.18 s
127.49/32.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
127.49/32.06	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
127.49/32.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
133.48/33.51	c subs with bin:       41  lits-rem:        19  v-fix:    0  time:  1.40 s
149.81/37.65	c lits-rem:      2366  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  4.14 s
149.81/37.65	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
149.81/37.69	c vivif2 --  cl tried    25672 cl shrink     2958 lits rem       7528 time: 0.04
151.01/37.93	c asymm  cl-useful: 0/658/1380 lits-rem:0 time: 0.24
151.01/37.93	c calculated reachability. Time: 0.00
151.01/37.93	c  N dy   621    158510       580      1380     44232     25664    124532   1419683     11.61   no data
158.98/39.92	c  N dy   634    168799       579      1380     44250     19173    124532    748470     11.46     12.21
165.41/41.51	c  N dy   681    179731       579      1380     44253     29711    124532   1393443     11.47     12.08
171.73/43.18	c  N dy   721    191281       579      1380     44256     23615    124532    969917     11.45     16.63
180.50/45.33	c  N dy   795    203568       579      1380     44259     35590    124532   1895655     11.66     12.42
188.08/47.28	c  N dy   849    216602       579      1380     44261     29843    124532   1439644     11.69     12.34
198.84/49.98	c  N dy   919    230785       579      1380     44266     24275    124532    973588     11.81     12.62
203.22/51.05	c  S st   940    237766       579      1380     44268     30950    124532   1320318     11.78      8.00
203.62/51.14	c  S st   940    238267       579      1380     44270     31447    124532   1354955     11.78   no data
203.62/51.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
204.44/51.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.0M T:  0.24
204.44/51.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
204.44/51.39	c bin-w-bin subsume rem            8 bins  time:  0.00 s
205.21/51.57	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.18 s
205.21/51.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
205.21/51.58	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
205.21/51.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
210.79/52.96	c subs with bin:       40  lits-rem:       102  v-fix:    0  time:  1.32 s
221.16/55.56	c lits-rem:      2323  cl-subs:     2111  v-elim:      0  v-fix:    0  time:  2.61 s
221.16/55.56	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
221.16/55.59	c vivif2 --  cl tried    26244 cl shrink      844 lits rem        898 time: 0.03
221.97/55.75	c asymm  cl-useful: 0/722/1380 lits-rem:0 time: 0.15
221.97/55.75	c calculated reachability. Time: 0.00
221.97/55.75	c  N dy   940    238267       579      1380     43958     26242    124013   1264554     11.78   no data
233.11/58.59	c  N dy  1003    253512       579      1380     43987     22224    124013    978694     11.81     16.14
246.26/61.82	c  N dy  1059    269908       579      1380     43999     38000    124013   2139384     11.77     12.57
260.21/65.34	c  N dy  1133    287365       578      1380     44014     34362    124013   1710325     11.83     12.51
275.01/69.02	c  N dy  1208    305739       578      1380     44018     30342    124013   1412934     11.84     13.43
275.35/69.13	c  F st  1213    306251       578      1380     44018     30843    124013   1449394     11.85     11.22
292.89/73.57	c  N dy  1281    325290       578      1380     43758     25666    123487   1093901     11.90     18.99
309.66/77.80	c  N dy  1364    345891       578      1380     43766     45509    123487   2414276     11.92     12.59
318.42/80.00	c  S st  1427    357400       578      1380     43766     32923    123487   1542228     11.97   no data
319.18/80.13	c  S st  1427    357901       578      1380     43766     33424    123487   1571342     11.97   no data
319.18/80.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
320.38/80.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 11.9M T:  0.31
320.38/80.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
320.38/80.46	c bin-w-bin subsume rem            1 bins  time:  0.00 s
321.18/80.64	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.18 s
321.18/80.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.00 s
321.18/80.65	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
321.18/80.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
326.77/82.09	c subs with bin:       71  lits-rem:       308  v-fix:    0  time:  1.39 s
343.10/86.10	c lits-rem:      2040  cl-subs:     1580  v-elim:      0  v-fix:    0  time:  4.01 s
343.10/86.10	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
343.10/86.14	c vivif2 --  cl tried    31773 cl shrink     1622 lits rem       2174 time: 0.04
344.30/86.40	c asymm  cl-useful: 0/617/1380 lits-rem:0 time: 0.26
344.30/86.40	c calculated reachability. Time: 0.00
344.30/86.40	c  N dy  1427    357901       578      1380     43771     31769    123472   1536393     11.97   no data
364.63/91.50	c  N dy  1503    377955       578      1380     43793     26196    123472   1025301     11.99     20.07
382.96/96.15	c  N dy  1594    398013       578      1380     43799     45466    123472   2315691     12.06     12.72
401.72/100.85	c  N dy  1671    418019       578      1380     43812     38718    123472   1710432     12.09     20.31
422.42/106.04	c  N dy  1726    438753       577      1380     43826     31712    123472   1209866     12.04     13.09
429.59/107.80	c Finding binary XORs  T:     0.00 s  found:       0
442.34/111.07	c  N dy  1818    458902       577      1380     43540     45471    122962   2494644     12.08     12.82
460.28/115.52	c  N dy  1891    478928       577      1380     43548     39843    122962   1925621     12.07     18.11
483.00/121.24	c  N dy  1976    499575       577      1380     43555     32328    122962   1426772     12.11     12.76
504.53/126.61	c  N dy  2065    519620       577      1380     43563     51513    122962   2694337     12.15     20.01
522.45/131.13	c  S st  2168    536851       577      1380     43571     39036    122962   1814971     12.21      9.78
522.86/131.28	c  S st  2168    537351       577      1380     43571     39534    122962   1848972     12.21   no data
522.86/131.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
524.48/131.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.5M T:  0.35
524.48/131.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
524.48/131.65	c bin-w-bin subsume rem            1 bins  time:  0.00 s
525.25/131.82	c subs with bin:        0  lits-rem:        16  v-fix:    0  time:  0.18 s
525.25/131.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.00 s
525.25/131.83	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
525.25/131.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
531.22/133.32	c subs with bin:       73  lits-rem:       224  v-fix:    0  time:  1.42 s
554.75/139.29	c lits-rem:      2609  cl-subs:     2165  v-elim:      0  v-fix:    0  time:  5.97 s
554.75/139.29	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
555.16/139.34	c vivif2 --  cl tried    37296 cl shrink     2313 lits rem       2912 time: 0.05
556.33/139.60	c asymm  cl-useful: 0/436/1380 lits-rem:0 time: 0.26
556.33/139.60	c calculated reachability. Time: 0.00
556.33/139.60	c  N dy  2168    537351       577      1380     43571     37295    122946   1807633     12.21   no data
580.65/145.79	c  N dy  2265    557679       577      1380     43582     56796    122946   3143843     12.25     12.96
601.77/151.07	c  N dy  2364    577890       577      1380     43586     45781    122946   2172844     12.28     12.94
627.67/157.55	c  N dy  2445    598073       577      1380     43597     33609    122946   1321251     12.28     13.13
647.99/162.67	c  N dy  2518    618975       577      1380     43603     53627    122946   2649056     12.27     12.95
674.30/169.25	c  N dy  2588    640563       577      1380     43609     41794    122946   1846403     12.25     12.95
700.27/175.79	c  N dy  2676    661169       577      1380     43619     61436    122946   3103759     12.26     12.97
726.14/182.27	c  N dy  2747    683450       577      1380     43635     49116    122946   2094928     12.25     13.00
754.81/189.45	c  N dy  2831    703665       576      1380     43643     68464    122946   3475705     12.26     12.91
777.13/195.04	c  N dy  2921    723864       576      1380     43646     53593    122946   2665648     12.28     13.07
810.61/203.45	c  N dy  3017    744661       576      1380     43651     38150    122946   1529723     12.31     13.07
834.12/209.39	c  N dy  3097    764741       576      1380     43656     57288    122946   2811236     12.32     17.41
866.01/217.35	c  N dy  3182    785988       576      1380     43664     41293    122946   1741459     12.33     13.23
893.17/224.12	c  N dy  3275    806008       576      1380     43667     60474    122946   3110996     12.36     14.62
893.17/224.13	c  S st  3276    806027       576      1380     43667     60493    122946   3111964     12.36   no data
893.91/224.35	c  S st  3276    806530       576      1380     43667     60996    122946   3155226     12.36   no data
893.91/224.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
896.70/225.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 21.8M T:  0.66
896.70/225.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
896.70/225.03	c bin-w-bin subsume rem            1 bins  time:  0.00 s
897.55/225.21	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.18 s
897.55/225.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.00 s
897.55/225.22	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
897.55/225.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
904.27/226.93	c subs with bin:      220  lits-rem:        75  v-fix:    0  time:  1.57 s
950.16/238.45	c lits-rem:      5631  cl-subs:     3905  v-elim:      0  v-fix:    0  time: 11.52 s
950.16/238.45	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
950.49/238.53	c vivif2 --  cl tried    53012 cl shrink     2833 lits rem       3751 time: 0.07
951.69/238.81	c asymm  cl-useful: 0/333/1380 lits-rem:0 time: 0.29
951.69/238.82	c calculated reachability. Time: 0.00
951.69/238.82	c  N dy  3276    806530       576      1380     43405     53002    122448   3025693     12.36   no data
985.57/247.34	c  N dy  3323    826738       576      1380     43431     37046    122448   1630606     12.32     13.03
1015.08/254.70	c  N dy  3397    848874       576      1380     43439     58179    122448   3009504     12.31     13.20
1050.99/263.73	c  N dy  3471    868897       576      1380     43453     40053    122448   1681176     12.31     18.73
1077.30/270.36	c  N dy  3558    889218       576      1380     43465     59467    122448   2881995     12.32     13.07
1114.32/279.63	c  N dy  3642    909899       576      1380     43484     40614    122448   1640379     12.33     13.31
1139.81/286.01	c  N dy  3708    930171       576      1380     43493     59963    122448   2775646     12.31     13.11
1177.71/295.53	c  N dy  3761    950888       575      1380     43511     39828    122448   1576697     12.29     13.00
1204.44/302.22	c  N dy  3861    970990       574      1380     43523     58987    122448   2878205     12.31     13.03
1241.45/311.52	c  N dy  3959    991035       574      1380     43533     78241    122448   4206386     12.33     17.79
1272.54/319.35	c  N dy  4066   1011082       574      1380     43545     56483    122448   2710500     12.36     16.47
1312.39/329.31	c  N dy  4175   1031582       574      1380     43564     75953    122448   3858786     12.39     13.09
1345.87/337.74	c  N dy  4265   1051644       574      1380     43578     53137    122448   2391085     12.40     15.23
1346.27/337.89	c Finding binary XORs  T:     0.00 s  found:       0
1380.14/346.33	c  N dy  4403   1071658       572      1380     43023     66629    121503   3692882     12.48     26.04
1380.54/346.46	c  F st  4406   1071876       572      1380     43023     66841    121503   3713653     12.48   no data
1419.27/356.12	c  N dy  4517   1091874       572      1380     42482     42336    120502   2139267     12.58     13.64
1450.69/364.05	c  N dy  4603   1112673       572      1380     42483     62223    120502   3224103     12.60     13.38
1489.74/373.83	c  N dy  4720   1133658       572      1380     42484     41613    120502   1876703     12.66     13.33
1518.45/381.05	c  N dy  4813   1155007       572      1380     42492     62073    120502   3287251     12.68     13.62
1563.94/392.49	c  N dy  4955   1175296       572      1380     42496     81703    120502   4708728     12.77     13.70
1596.56/400.70	c  N dy  5069   1195441       572      1380     42508     57518    120502   2975265     12.83     13.78
1623.66/407.49	c  S st  5146   1209802       572      1380     42514     71242    120502   3981414     12.86     10.26
1625.31/407.83	c  S st  5146   1210308       572      1380     42514     71746    120502   4015158     12.86   no data
1625.31/407.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1629.27/408.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 29.5M T:  1.07
1629.27/408.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1629.70/408.91	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1630.03/409.09	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.18 s
1630.03/409.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    572 time:  0.00 s
1630.43/409.10	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
1630.43/409.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1637.61/410.96	c subs with bin:        0  lits-rem:        46  v-fix:    0  time:  1.72 s
1711.34/429.40	c lits-rem:      7090  cl-subs:     3949  v-elim:      0  v-fix:    0  time: 18.44 s
1711.34/429.40	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
1711.34/429.49	c vivif2 --  cl tried    67797 cl shrink     5179 lits rem       6871 time: 0.09
1712.99/429.84	c asymm  cl-useful: 0/210/1380 lits-rem:0 time: 0.35
1712.99/429.85	c calculated reachability. Time: 0.00
1712.99/429.85	c  N dy  5146   1210308       572      1380     42513     67796    120487   3912692     12.86   no data
1755.98/440.70	c  N dy  5216   1231083       571      1380     42548     87705    120487   5370486     12.86     13.71
1785.07/447.94	c  N dy  5277   1251387       571      1380     42559     62105    120487   3202577     12.84     13.71
1821.74/457.15	c  N dy  5354   1271950       571      1380     42565     81776    120487   4689857     12.84     13.53
1856.02/465.74	c  N dy  5431   1292163       571      1380     42579     54615    120487   2537716     12.85     13.60
1888.36/473.87	c  N dy  5495   1313743       571      1380     42589     75014    120487   3884674     12.83     13.62
1930.55/484.49	c  N dy  5552   1336265       571      1380     42595     48978    120487   2089246     12.81     13.48
1959.64/491.74	c  N dy  5636   1356781       571      1380     42607     68611    120487   3504596     12.81     13.57
1999.10/501.67	c  N dy  5690   1378107       571      1380     42619     89059    120487   4988473     12.79     13.69
2032.20/509.93	c  N dy  5758   1398180       571      1380     42632     59596    120487   2737474     12.78     16.34
2066.46/518.57	c  N dy  5840   1418216       571      1380     42641     78786    120487   4134902     12.79     16.78
2115.49/530.90	c  N dy  5916   1438918       571      1380     42666     98485    120487   5424937     12.78     13.58
2147.02/538.79	c  N dy  5978   1460123       570      1380     42669     69178    120487   3550563     12.77     13.58
2185.24/548.31	c  N dy  6049   1480183       569      1380     42680     88406    120487   4886027     12.77     20.67
2222.69/557.70	c  N dy  6118   1500249       569      1380     42683     57031    120487   2628235     12.76     13.45
2252.24/565.14	c  N dy  6169   1521063       569      1380     42686     77044    120487   4047296     12.75     13.46
2294.44/575.73	c  N dy  6251   1541525       569      1380     42689     96701    120487   5334813     12.75     13.44
2322.39/582.79	c  N dy  6287   1561605       569      1380     42691     64073    120487   2979513     12.73     28.95
2353.82/590.65	c  N dy  6359   1581627       569      1380     42695     83205    120487   4347551     12.73     16.36
2399.26/602.05	c  N dy  6449   1602705       569      1380     42702    103494    120487   5882527     12.74     13.42
2429.95/609.74	c  N dy  6532   1622723       569      1380     42706     69988    120487   3376756     12.75     24.22
2465.83/618.70	c  N dy  6613   1642953       569      1380     42707     89443    120487   4777455     12.75     13.47
2516.44/631.43	c  N dy  6708   1663275       569      1380     42709     55186    120487   2398324     12.77     13.46
2544.74/638.51	c  N dy  6771   1683499       569      1380     42720     74516    120487   3787592     12.76     13.55
2586.60/649.01	c  N dy  6873   1703672       569      1380     42729     93879    120487   5221066     12.78     13.53
2605.33/653.77	c  S st  6905   1710309       568      1380     42729    100240    120487   5658384     12.78      7.30
2607.37/654.23	c  S st  6905   1710815       568      1380     42729    100742    120487   5703007     12.78   no data
2607.37/654.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2613.30/655.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.8M T:  1.54
2613.30/655.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2613.30/655.79	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2614.10/655.97	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.17 s
2614.10/655.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    568 time:  0.00 s
2614.10/655.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.00 s
2614.50/656.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2623.67/658.35	c subs with bin:       75  lits-rem:       529  v-fix:    0  time:  2.12 s
2729.70/684.92	c lits-rem:      6920  cl-subs:     6092  v-elim:      0  v-fix:    0  time: 26.57 s
2729.70/684.92	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
2730.13/685.06	c vivif2 --  cl tried    90275 cl shrink     7280 lits rem      11902 time: 0.14
2731.67/685.44	c asymm  cl-useful: 0/285/1380 lits-rem:0 time: 0.38
2731.67/685.44	c calculated reachability. Time: 0.00
2731.67/685.44	c  N dy  6905   1710815       568      1380     41753     90274    118675   5471986     12.78   no data
2778.37/697.18	c  N dy  6959   1730944       568      1380     41778     57038    118675   2728106     12.77     13.45
2812.60/705.74	c  N dy  7008   1751646       568      1380     41785     76823    118675   4129023     12.76     13.48
2856.04/716.66	c  N dy  7048   1772234       568      1380     41785     96483    118675   5415414     12.73     13.49
2877.96/722.20	c Finding binary XORs  T:     0.00 s  found:       0
2901.13/727.94	c  N dy  7111   1793258       568      1380     41790     62282    118675   2922169     12.73     13.45
2937.74/737.11	c  N dy  7188   1813982       568      1380     41797     82039    118675   4234210     12.72     13.56
2981.58/748.15	c  N dy  7251   1834460       568      1380     41806    101627    118675   5585939     12.71     13.51
3024.63/758.99	c  N dy  7307   1854693       568      1380     41829     65013    118675   3043741     12.70     13.38
3064.50/768.94	c  N dy  7385   1876328       567      1380     41834     85721    118675   4447680     12.70     13.40
3113.52/781.29	c  N dy  7469   1896403       567      1380     41840    104908    118675   5786114     12.70     13.42
3156.56/792.04	c  N dy  7532   1916613       567      1380     41844     67156    118674   3177834     12.69     13.67
3193.64/801.31	c  N dy  7598   1936737       567      1380     41848     86414    118674   4453517     12.69     13.77
3241.47/813.33	c  N dy  7670   1956837       567      1380     41851    105632    118674   5876599     12.69     15.74
3287.29/824.80	c  N dy  7734   1977943       567      1380     41860     67662    118674   3254798     12.68     13.37
3325.16/834.38	c  N dy  7822   1998282       567      1380     41865     87052    118674   4537003     12.69     13.38
3373.38/846.49	c  N dy  7892   2018555       567      1380     41866    106398    118674   5767377     12.68     13.52
3420.81/858.38	c  N dy  7955   2038644       567      1380     41874     66425    118674   3014152     12.68     15.18
3457.49/867.56	c  N dy  8009   2058722       567      1380     41879     85565    118674   4272415     12.67     17.70
3503.31/879.02	c  N dy  8053   2078974       567      1380     41890    104829    118674   5460905     12.65     13.34
3554.38/891.82	c  N dy  8129   2099070       566      1380     41904     63935    118674   2670862     12.65     13.52
3589.02/900.53	c  N dy  8238   2119213       566      1380     41906     83278    118674   4043345     12.66     13.46
3634.83/912.06	c  N dy  8320   2139705       566      1380     41912    102875    118674   5342921     12.67     13.34
3691.02/926.10	c  N dy  8417   2159906       566      1380     41926    122194    118674   6663742     12.68     13.68
3726.90/935.15	c  N dy  8510   2179933       566      1380     41936     80263    118674   3783552     12.68     14.31
3773.92/946.90	c  N dy  8581   2199953       566      1380     41945     99365    118674   5133809     12.68     13.41
3803.02/954.29	c  S st  8622   2210816       566      1380     41953    109715    118674   5768741     12.68   no data
3805.00/954.73	c  S st  8622   2211319       566      1380     41953    110216    118674   5804242     12.68   no data
3805.00/954.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3812.19/956.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 42.3M T:  1.77
3812.19/956.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3812.19/956.52	c bin-w-bin subsume rem            1 bins  time:  0.00 s
3812.61/956.69	c subs with bin:        0  lits-rem:        17  v-fix:    0  time:  0.17 s
3812.61/956.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    566 time:  0.00 s
3812.61/956.70	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.00 s
3813.04/956.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3820.96/958.73	c subs with bin:       74  lits-rem:       321  v-fix:    0  time:  1.80 s
3938.56/988.22	c lits-rem:      8612  cl-subs:     6873  v-elim:      0  v-fix:    0  time: 29.49 s
3938.56/988.22	c vivif2 --  cl tried     1380 cl shrink        0 lits rem          0 time: 0.00
3938.95/988.39	c vivif2 --  cl tried    98114 cl shrink    11903 lits rem      18726 time: 0.16
3940.54/988.76	c asymm  cl-useful: 0/135/1380 lits-rem:0 time: 0.37
3940.54/988.76	c calculated reachability. Time: 0.00
3940.54/988.76	c  N dy  8622   2211319       566      1380     41410     98109    117691   5549899     12.68   no data
4000.75/1003.88	c  N dy  8710   2231368       565      1380     41453    117139    117691   6813279     12.68     22.09
4033.82/1012.19	c  N dy  8760   2251543       565      1380     41464     77073    117691   3672451     12.67     13.43
4074.49/1022.36	c  N dy  8836   2271603       565      1380     41478     96114    117691   4940680     12.66     13.51
4125.11/1035.03	c  N dy  8913   2291627       565      1380     41494    115109    117691   6227649     12.67     21.42
4168.22/1045.87	c  N dy  8979   2311703       565      1380     41506     72721    117691   3254891     12.66     15.78
4211.22/1056.61	c  N dy  9061   2331869       564      1380     41531     91808    117691   4403786     12.66     13.37
4216.03/1057.89	c Finding binary XORs  T:     0.00 s  found:       0
4262.65/1069.50	c  N dy  9122   2351944       563      1380     41059    105924    116799   5364662     12.65     13.63
4312.93/1082.17	c  N dy  9234   2372003       562      1380     41073     64522    116799   2795621     12.67     19.61
4349.54/1091.37	c  N dy  9350   2392037       562      1380     41082     83747    116799   4188558     12.70     13.50
4396.59/1103.19	c  N dy  9479   2412429       562      1380     41086    103359    116799   5644618     12.72     13.56
4456.39/1118.16	c  N dy  9591   2432492       562      1380     41087    122578    116799   7038626     12.74     13.56
4497.10/1128.34	c  N dy  9710   2452588       562      1380     41102     78478    116799   3671839     12.76     13.49
4543.69/1140.00	c  N dy  9836   2473607       562      1380     41112     98560    116799   5080064     12.79     13.69
4597.11/1153.44	c  N dy  9948   2493620       562      1380     41118    117720    116799   6501110     12.80     21.10
4650.58/1166.87	c  N dy 10061   2513831       562      1380     41135     71887    116799   3110057     12.82     13.51
4687.99/1176.23	c  N dy 10167   2533947       561      1380     41139     91112    116799   4474524     12.84     13.87
4737.85/1188.75	c  N dy 10276   2553988       561      1380     41144    110308    116799   5781621     12.85     15.02

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-3366827-1305415310/watcher-3366827-1305415310 -o /tmp/evaluation-result-3366827-1305415310/solver-3366827-1305415310 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366827-1305415310.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.32 6.38 6.47 5/416 9156
/proc/meminfo: memFree=18265808/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 731761827 52396032 347 33554432000 4194304 4580107 140736768133488 18446744073709551615 47432219318194 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 12792 347 299 95 0 7774 0
[pid=9156/tid=9157] ppid=9154 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731761828 52396032 347 33554432000 4194304 4580107 140736768133488 18446744073709551615 47432219318194 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731761828 52396032 347 33554432000 4194304 4580107 140736768133488 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731761828 52396032 347 33554432000 4194304 4580107 140736768133488 18446744073709551615 47432219318194 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.8185 s]
/proc/loadavg: 7.32 6.38 6.47 5/416 9156
/proc/meminfo: memFree=18265808/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=354268 CPUtime=3.41 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 8751 0 0 0 338 3 0 0 19 0 4 0 731761827 362770432 6110 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 88567 6110 376 95 0 83549 0
[pid=9156/tid=9157] ppid=9154 vsize=354268 CPUtime=0.84 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2003 0 0 0 84 0 0 0 18 0 4 0 731761828 362770432 6110 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=354268 CPUtime=0.84 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2236 0 0 0 84 0 0 0 19 0 4 0 731761828 362770432 6110 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=354268 CPUtime=0.85 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 1972 0 0 0 85 0 0 0 25 0 4 0 731761828 362770432 6110 33554432000 4194304 4580107 140736768133488 18446744073709551615 4322530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 354268

[startup+0.967249 s]
/proc/loadavg: 7.32 6.38 6.47 5/416 9156
/proc/meminfo: memFree=18265808/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=354992 CPUtime=3.81 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 9642 0 0 0 378 3 0 0 19 0 4 0 731761827 363511808 5865 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 88748 5865 376 95 0 83730 0
[pid=9156/tid=9157] ppid=9154 vsize=354992 CPUtime=0.94 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2399 0 0 0 94 0 0 0 19 0 4 0 731761828 363511808 5865 33554432000 4194304 4580107 140736768133488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=354992 CPUtime=0.94 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2340 0 0 0 94 0 0 0 19 0 4 0 731761828 363511808 5865 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=354992 CPUtime=0.95 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2269 0 0 0 95 0 0 0 25 0 4 0 731761828 363511808 5865 33554432000 4194304 4580107 140736768133488 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 354992

[startup+1.06724 s]
/proc/loadavg: 7.32 6.38 6.47 5/416 9156
/proc/meminfo: memFree=18265808/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=355288 CPUtime=4.21 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 10329 0 0 0 418 3 0 0 19 0 4 0 731761827 363814912 5949 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 88822 5949 376 95 0 83804 0
[pid=9156/tid=9157] ppid=9154 vsize=355288 CPUtime=1.04 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2491 0 0 0 104 0 0 0 19 0 4 0 731761828 363814912 5949 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=355288 CPUtime=1.04 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2466 0 0 0 104 0 0 0 19 0 4 0 731761828 363814912 5949 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=355288 CPUtime=1.05 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2376 0 0 0 105 0 0 0 25 0 4 0 731761828 363814912 5949 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 355288

[startup+1.16722 s]
/proc/loadavg: 7.32 6.38 6.47 5/416 9156
/proc/meminfo: memFree=18265808/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=355288 CPUtime=4.61 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 10751 0 0 0 458 3 0 0 19 0 4 0 731761827 363814912 6371 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 88822 6371 376 95 0 83804 0
[pid=9156/tid=9157] ppid=9154 vsize=355288 CPUtime=1.14 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2592 0 0 0 114 0 0 0 19 0 4 0 731761828 363814912 6371 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=355288 CPUtime=1.14 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2573 0 0 0 114 0 0 0 19 0 4 0 731761828 363814912 6371 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=355288 CPUtime=1.15 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2476 0 0 0 115 0 0 0 25 0 4 0 731761828 363814912 6371 33554432000 4194304 4580107 140736768133488 18446744073709551615 4301441 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 355288

[startup+1.50116 s]
/proc/loadavg: 7.32 6.38 6.47 5/416 9156
/proc/meminfo: memFree=18265808/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=346560 CPUtime=5.95 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 12430 0 0 0 592 3 0 0 20 0 4 0 731761827 354877440 6647 33554432000 4194304 4580107 140736768133488 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 86640 6647 377 95 0 81622 0
[pid=9156/tid=9157] ppid=9154 vsize=346560 CPUtime=1.47 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 2798 0 0 0 147 0 0 0 19 0 4 0 731761828 354877440 6647 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=346560 CPUtime=1.47 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 3178 0 0 0 147 0 0 0 20 0 4 0 731761828 354877440 6647 33554432000 4194304 4580107 140736768133488 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=346560 CPUtime=1.48 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 3037 0 0 0 148 0 0 0 25 0 4 0 731761828 354877440 6647 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 346560

[startup+3.10088 s]
/proc/loadavg: 7.32 6.38 6.47 9/420 9160
/proc/meminfo: memFree=18233768/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=348176 CPUtime=12.31 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 19769 0 0 0 1226 5 0 0 25 0 4 0 731761827 356532224 8390 33554432000 4194304 4580107 140736768133488 18446744073709551615 4412948 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 87044 8391 378 95 0 82026 0
[pid=9156/tid=9157] ppid=9154 vsize=348176 CPUtime=3.07 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 4550 0 0 0 306 1 0 0 25 0 4 0 731761828 356532224 8391 33554432000 4194304 4580107 140736768133488 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=348176 CPUtime=3.04 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 5155 0 0 0 303 1 0 0 25 0 4 0 731761828 356532224 8391 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=348176 CPUtime=3.08 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 4913 0 0 0 308 0 0 0 25 0 4 0 731761828 356532224 8391 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 348176

[startup+6.31632 s]
/proc/loadavg: 7.45 6.42 6.48 9/420 9160
/proc/meminfo: memFree=18183176/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=379428 CPUtime=25.13 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 34083 0 0 0 2505 8 0 0 25 0 4 0 731761827 388534272 20745 33554432000 4194304 4580107 140736768133488 18446744073709551615 4319326 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 94857 20746 378 95 0 89839 0
[pid=9156/tid=9157] ppid=9154 vsize=379428 CPUtime=6.28 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 8037 0 0 0 627 1 0 0 25 0 4 0 731761828 388534272 20746 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=379428 CPUtime=6.21 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 9072 0 0 0 620 1 0 0 25 0 4 0 731761828 388534272 20746 33554432000 4194304 4580107 140736768133488 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=379428 CPUtime=6.29 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 7688 0 0 0 628 1 0 0 25 0 4 0 731761828 388534272 20746 33554432000 4194304 4580107 140736768133488 18446744073709551615 4316720 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 379428

[startup+12.7012 s]
/proc/loadavg: 7.49 6.45 6.49 9/420 9160
/proc/meminfo: memFree=18165708/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=377744 CPUtime=50.59 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 52990 0 0 0 5047 12 0 0 25 0 4 0 731761827 386809856 25185 33554432000 4194304 4580107 140736768133488 18446744073709551615 4412713 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 94436 25185 378 95 0 89418 0
[pid=9156/tid=9157] ppid=9154 vsize=377744 CPUtime=12.67 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 13472 0 0 0 1264 3 0 0 25 0 4 0 731761828 386809856 25185 33554432000 4194304 4580107 140736768133488 18446744073709551615 4415796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=377744 CPUtime=12.51 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 14007 0 0 0 1249 2 0 0 25 0 4 0 731761828 386809856 25185 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=377744 CPUtime=12.68 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 12381 0 0 0 1266 2 0 0 25 0 4 0 731761828 386809856 25185 33554432000 4194304 4580107 140736768133488 18446744073709551615 4412649 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 377744

[startup+25.501 s]
/proc/loadavg: 7.61 6.52 6.51 9/420 9161
/proc/meminfo: memFree=18110040/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=365860 CPUtime=101.59 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 82850 0 0 0 10141 18 0 0 25 0 4 0 731761827 374640640 39546 33554432000 4194304 4580107 140736768133488 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 91465 39546 378 95 0 86447 0
[pid=9156/tid=9157] ppid=9154 vsize=365860 CPUtime=25.47 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 18757 0 0 0 2543 4 0 0 25 0 4 0 731761828 374640640 39546 33554432000 4194304 4580107 140736768133488 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=365860 CPUtime=25.12 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 19749 0 0 0 2509 3 0 0 25 0 4 0 731761828 374640640 39546 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=365860 CPUtime=25.48 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 23123 0 0 0 2544 4 0 0 25 0 4 0 731761828 374640640 39546 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 365860

[startup+51.1005 s]
/proc/loadavg: 7.74 6.64 6.55 9/420 9161
/proc/meminfo: memFree=18042360/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=458548 CPUtime=203.62 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 123324 0 0 0 20335 27 0 0 25 0 4 0 731761827 469553152 56482 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 114637 56482 378 95 0 109619 0
[pid=9156/tid=9157] ppid=9154 vsize=458548 CPUtime=51.07 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 23287 0 0 0 5102 5 0 0 25 0 4 0 731761828 469553152 56482 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=458548 CPUtime=50.36 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 31367 0 0 0 5029 7 0 0 25 0 4 0 731761828 469553152 56482 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=458548 CPUtime=51.08 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 34657 0 0 0 5101 7 0 0 25 0 4 0 731761828 469553152 56482 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 458548

[startup+102.301 s]
/proc/loadavg: 7.96 6.87 6.64 9/420 9163
/proc/meminfo: memFree=18023772/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=437984 CPUtime=407.67 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 199787 0 0 0 40720 47 0 0 25 0 4 0 731761827 448495616 60405 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 109496 60405 378 95 0 104478 0
[pid=9156/tid=9157] ppid=9154 vsize=437984 CPUtime=102.26 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 40138 0 0 0 10218 8 0 0 25 0 4 0 731761828 448495616 60405 33554432000 4194304 4580107 140736768133488 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=437984 CPUtime=100.8 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 54979 0 0 0 10067 13 0 0 25 0 4 0 731761828 448495616 60405 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=437984 CPUtime=102.28 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 56136 0 0 0 10215 13 0 0 25 0 4 0 731761828 448495616 60405 33554432000 4194304 4580107 140736768133488 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.67
Current children cumulated vsize (KiB) 437984

[startup+162.301 s]

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

[pid=9156] ppid=9154 vsize=897664 CPUtime=2799.04 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 768346 0 0 0 279662 242 0 0 25 0 4 0 731761827 919207936 174978 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 224416 174978 378 95 0 219398 0
[pid=9156/tid=9157] ppid=9154 vsize=897664 CPUtime=702.24 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 155889 0 0 0 70173 51 0 0 25 0 4 0 731761828 919207936 174979 33554432000 4194304 4580107 140736768133488 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=897664 CPUtime=692.2 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 184971 0 0 0 69163 57 0 0 25 0 4 0 731761828 919207936 174979 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=897664 CPUtime=702.27 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 221697 0 0 0 70159 68 0 0 25 0 4 0 731761828 919207936 174979 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2799.04
Current children cumulated vsize (KiB) 897664

[startup+762.301 s]
/proc/loadavg: 8.14 8.01 7.40 9/420 9180
/proc/meminfo: memFree=17510172/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=869316 CPUtime=3038.19 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 813823 0 0 0 303560 259 0 0 25 0 4 0 731761827 890179584 165783 33554432000 4194304 4580107 140736768133488 18446744073709551615 4302561 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 217329 165783 378 95 0 212311 0
[pid=9156/tid=9157] ppid=9154 vsize=869316 CPUtime=762.24 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 163652 0 0 0 76170 54 0 0 25 0 4 0 731761828 890179584 165783 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=869316 CPUtime=751.35 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 197606 0 0 0 75074 61 0 0 25 0 4 0 731761828 890179584 165783 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=869316 CPUtime=762.28 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 233907 0 0 0 76155 73 0 0 25 0 4 0 731761828 890179584 165783 33554432000 4194304 4580107 140736768133488 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3038.19
Current children cumulated vsize (KiB) 869316

[startup+822.301 s]
/proc/loadavg: 8.10 8.02 7.44 9/420 9182
/proc/meminfo: memFree=17502568/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=826060 CPUtime=3277.33 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 855063 0 0 0 327456 277 0 0 25 0 4 0 731761827 845885440 154217 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 206515 154217 378 95 0 201497 0
[pid=9156/tid=9157] ppid=9154 vsize=826060 CPUtime=822.24 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 171399 0 0 0 82166 58 0 0 25 0 4 0 731761828 845885440 154217 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=826060 CPUtime=810.49 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 205629 0 0 0 80984 65 0 0 25 0 4 0 731761828 845885440 154217 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=826060 CPUtime=822.27 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 246679 0 0 0 82149 78 0 0 25 0 4 0 731761828 845885440 154217 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3277.33
Current children cumulated vsize (KiB) 826060

[startup+882.301 s]
/proc/loadavg: 8.03 8.01 7.47 9/420 9183
/proc/meminfo: memFree=17541840/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1044060 CPUtime=3516.46 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 897461 0 0 0 351350 296 0 0 25 0 4 0 731761827 1069117440 157903 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 261015 157903 378 95 0 255997 0
[pid=9156/tid=9157] ppid=9154 vsize=1044060 CPUtime=882.24 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 182306 0 0 0 88162 62 0 0 25 0 4 0 731761828 1069117440 157903 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1044060 CPUtime=869.61 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 217288 0 0 0 86891 70 0 0 25 0 4 0 731761828 1069117440 157903 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1044060 CPUtime=882.27 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 256499 0 0 0 88145 82 0 0 25 0 4 0 731761828 1069117440 157903 33554432000 4194304 4580107 140736768133488 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.46
Current children cumulated vsize (KiB) 1044060

[startup+942.301 s]
/proc/loadavg: 8.01 8.01 7.50 9/420 9185
/proc/meminfo: memFree=17453528/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1155692 CPUtime=3755.62 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 937918 0 0 0 375244 318 0 0 25 0 4 0 731761827 1183428608 179519 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 288923 179519 378 95 0 283905 0
[pid=9156/tid=9157] ppid=9154 vsize=1155692 CPUtime=942.24 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 191827 0 0 0 94157 67 0 0 25 0 4 0 731761828 1183428608 179521 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1155692 CPUtime=928.76 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 227565 0 0 0 92799 77 0 0 25 0 4 0 731761828 1183428608 179521 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1155692 CPUtime=942.29 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 264579 0 0 0 94143 86 0 0 25 0 4 0 731761828 1183428608 179521 33554432000 4194304 4580107 140736768133488 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3755.62
Current children cumulated vsize (KiB) 1155692

[startup+1002.3 s]
/proc/loadavg: 8.00 8.00 7.53 9/420 9218
/proc/meminfo: memFree=20456208/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1161928 CPUtime=3994.77 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 964111 0 0 0 399146 331 0 0 25 0 4 0 731761827 1189814272 181251 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 290482 181251 378 95 0 285464 0
[pid=9156/tid=9157] ppid=9154 vsize=1161928 CPUtime=1002.23 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 199445 0 0 0 100153 70 0 0 25 0 4 0 731761828 1189814272 181251 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1161928 CPUtime=987.92 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 235423 0 0 0 98710 82 0 0 25 0 4 0 731761828 1189814272 181251 33554432000 4194304 4580107 140736768133488 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1161928 CPUtime=1002.28 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 271740 0 0 0 100139 89 0 0 25 0 4 0 731761828 1189814272 181251 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3994.77
Current children cumulated vsize (KiB) 1161928

[startup+1062.32 s]
/proc/loadavg: 8.29 8.09 7.58 9/420 9222
/proc/meminfo: memFree=20432792/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=950500 CPUtime=4234 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 999120 0 0 0 423054 346 0 0 25 0 4 0 731761827 973312000 177229 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 237625 177229 378 95 0 232607 0
[pid=9156/tid=9157] ppid=9154 vsize=950500 CPUtime=1062.25 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 207212 0 0 0 106151 74 0 0 25 0 4 0 731761828 973312000 177229 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=950500 CPUtime=1047.11 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 247228 0 0 0 104625 86 0 0 25 0 4 0 731761828 973312000 177229 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=950500 CPUtime=1062.29 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 279983 0 0 0 106137 92 0 0 25 0 4 0 731761828 973312000 177229 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4234
Current children cumulated vsize (KiB) 950500

[startup+1122.3 s]
/proc/loadavg: 8.29 8.11 7.62 9/420 9224
/proc/meminfo: memFree=20370000/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1065620 CPUtime=4473.13 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 1038296 0 0 0 446955 358 0 0 25 0 4 0 731761827 1091194880 179799 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 266405 179799 378 95 0 261387 0
[pid=9156/tid=9157] ppid=9154 vsize=1065620 CPUtime=1122.23 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 215205 0 0 0 112147 76 0 0 25 0 4 0 731761828 1091194880 179799 33554432000 4194304 4580107 140736768133488 18446744073709551615 4324117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1065620 CPUtime=1106.29 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 257203 0 0 0 110538 91 0 0 25 0 4 0 731761828 1091194880 179799 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1065620 CPUtime=1122.28 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 289271 0 0 0 112133 95 0 0 25 0 4 0 731761828 1091194880 179799 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4473.13
Current children cumulated vsize (KiB) 1065620

[startup+1182.3 s]
/proc/loadavg: 8.18 8.11 7.65 9/420 9225
/proc/meminfo: memFree=20334388/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1022692 CPUtime=4712.31 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 1073969 0 0 0 470858 373 0 0 25 0 4 0 731761827 1047236608 185254 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 255673 185254 378 95 0 250655 0
[pid=9156/tid=9157] ppid=9154 vsize=1022692 CPUtime=1182.23 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 219409 0 0 0 118145 78 0 0 25 0 4 0 731761828 1047236608 185254 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1022692 CPUtime=1165.46 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 265651 0 0 0 116452 94 0 0 25 0 4 0 731761828 1047236608 185254 33554432000 4194304 4580107 140736768133488 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1022692 CPUtime=1182.28 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 302022 0 0 0 118129 99 0 0 25 0 4 0 731761828 1047236608 185254 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4712.31
Current children cumulated vsize (KiB) 1022692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.3 s]
/proc/loadavg: 8.13 8.10 7.66 9/420 9226
/proc/meminfo: memFree=20326688/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1216404 CPUtime=4800.02 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 1080233 0 0 0 479626 376 0 0 25 0 4 0 731761827 1245597696 179267 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 304101 179267 378 95 0 299083 0
[pid=9156/tid=9157] ppid=9154 vsize=1216404 CPUtime=1204.25 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 220057 0 0 0 120346 79 0 0 25 0 4 0 731761828 1245597696 179269 33554432000 4194304 4580107 140736768133488 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1216404 CPUtime=1187.16 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 266613 0 0 0 118621 95 0 0 25 0 4 0 731761828 1245597696 179269 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1216404 CPUtime=1204.29 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 304696 0 0 0 120329 100 0 0 25 0 4 0 731761828 1245597696 179269 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1216404

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

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

[startup+1204.3 s]
/proc/loadavg: 8.13 8.10 7.66 9/420 9226
/proc/meminfo: memFree=20326688/32950940 swapFree=67111356/67111528
[pid=9156] ppid=9154 vsize=1216404 CPUtime=4800.02 cores=1,3,5,7
/proc/9156/stat : 9156 (strangenight2-m) R 9154 9156 8585 0 -1 4202496 1080233 0 0 0 479626 376 0 0 25 0 4 0 731761827 1245597696 179267 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9156/statm: 304101 179267 378 95 0 299083 0
[pid=9156/tid=9157] ppid=9154 vsize=1216404 CPUtime=1204.25 cores=1,3,5,7
/proc/9156/task/9157/stat : 9157 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 220057 0 0 0 120346 79 0 0 25 0 4 0 731761828 1245597696 179269 33554432000 4194304 4580107 140736768133488 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9156/tid=9158] ppid=9154 vsize=1216404 CPUtime=1187.16 cores=1,3,5,7
/proc/9156/task/9158/stat : 9158 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 266613 0 0 0 118621 95 0 0 25 0 4 0 731761828 1245597696 179269 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9156/tid=9159] ppid=9154 vsize=1216404 CPUtime=1204.29 cores=1,3,5,7
/proc/9156/task/9159/stat : 9159 (strangenight2-m) R 9154 9156 8585 0 -1 4202560 304696 0 0 0 120329 100 0 0 25 0 4 0 731761828 1245597696 179269 33554432000 4194304 4580107 140736768133488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1216404

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.36
CPU time (s): 4800.12
CPU user time (s): 4796.32
CPU system time (s): 3.80142
CPU usage (%): 398.563
Max. virtual memory (cumulated for all children) (KiB): 1307012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.32
system time used= 3.80142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1080238
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= 1485
involuntary context switches= 31597

runsolver used 3.60745 second user time and 13.5689 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-15 01:21:51
IDJOB=3366827
IDBENCH=83949
IDSOLVER=1844
FILE ID=node117/3366827-1305415310
RUNJOBID= node117-1305415060-9037
PBS_JOBID= 13324528
Free space on /tmp= 73300 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366827-1305415310/watcher-3366827-1305415310 -o /tmp/evaluation-result-3366827-1305415310/solver-3366827-1305415310 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366827-1305415310.cnf

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

MD5SUM BENCH= fab1e4926bfa9e7a1fae58c3b22b51e8
RANDOM SEED=1398078890

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18266088 kB
Buffers:        300912 kB
Cached:        3205384 kB
SwapCached:          0 kB
Active:       12441964 kB
Inactive:      1882412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18266088 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           87016 kB
Writeback:           0 kB
AnonPages:    10817728 kB
Mapped:          32420 kB
Slab:           243560 kB
PageTables:      50312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 103838108 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= 73404 MiB
End job on node117 at 2011-05-15 01:41:57