Trace number 3366528

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.26 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf
MD5SUMfa2c840574747ca3ff8efe8a9137bb94
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366528-1305406441.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.06/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.06/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.06/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.06/0.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.06/0.17	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.06/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.06/0.17	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.06/0.17	c calculated reachability. Time: 0.00
0.06/0.17	c Calc default polars -  time:   0.00 s pos:     260 undec:      59 neg:     231
0.06/0.17	c =========================================================================================
0.06/0.17	c types(t): F = full restart, N = normal restart
0.06/0.17	c types(t): S = simplification begin/end, E = solution found
0.06/0.17	c restart types(rt): st = static, dy = dynamic
0.06/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.06/0.17	c  B st     0         0       537      2330         0         0      7079         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4913       537      2330         0      4851      7079    129775   no data   no data
3.57/0.90	c  N st    10     11297       537      2330         0      4478      7079     80484   no data   no data
3.57/0.90	c  N st    11     17040       537      2330         0     10139      7079    231882   no data   no data
3.97/1.10	c  F st    12     25000       537      2330         0     12450      7079    287434   no data   no data
3.97/1.10	c  N st    12     25000       537      2330         0     12450      7079    287434   no data   no data
5.55/1.40	c Decided on static restart strategy
5.55/1.40	c  N st    18     30000       537      2330         0     10700      7079    219402   no data   no data
5.55/1.40	c  S st    18     30000       537      2330         0     10700      7079    219402   no data   no data
5.55/1.40	c  S st    18     30505       537      2330         0     11205      7079    231349   no data   no data
5.55/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.40	c blocked clauses removed:       13 vars:      3 tried:         537 T: 0.00 s
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:    534 time:  0.00 s
5.55/1.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.50	c lits-rem:       158  cl-subs:      422  v-elim:      0  v-fix:    0  time:  0.04 s
5.95/1.50	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
5.95/1.50	c calculated reachability. Time: 0.00
5.95/1.50	c  N st    18     30505       534      2317         0     10783      7040    218714   no data   no data
7.15/1.87	c  N st    20     37616       534      2317         0      9989      7040    175872   no data   no data
8.77/2.30	c  N st    21     44016       534      2317         0     16202      7040    313899   no data   no data
9.54/2.42	c  S st    22     45758       534      2317         0      9185      7040    136785   no data   no data
9.54/2.45	c  S st    22     46260       534      2317         0      9687      7040    148532   no data   no data
9.54/2.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
9.54/2.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.47	c lits-rem:        15  cl-subs:      133  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.47	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
9.54/2.47	c vivif2 --  cl tried     9554 cl shrink        0 lits rem          0 time: 0.00
9.54/2.48	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
9.54/2.48	c calculated reachability. Time: 0.00
9.54/2.48	c  N st    22     46260       534      2317         0      9554      7040    145522   no data   no data
13.58/3.45	c  N st    23     60658       534      2317         0     13882      7040    243799   no data   no data
15.93/4.09	c  N st    24     69391       534      2317         0     11731      7040    181185   no data   no data
15.93/4.09	c  S st    24     69391       534      2317         0     11731      7040    181185   no data   no data
16.34/4.13	c  S st    24     69895       534      2317         0     12234      7040    194059   no data   no data
16.34/4.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.34/4.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.34/4.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.34/4.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
16.34/4.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.34/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.34/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.16	c lits-rem:        24  cl-subs:      161  v-elim:      0  v-fix:    0  time:  0.02 s
16.34/4.16	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
16.34/4.16	c vivif2 --  cl tried    12073 cl shrink        0 lits rem          0 time: 0.00
16.34/4.17	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
16.34/4.17	c calculated reachability. Time: 0.00
16.34/4.17	c  N st    24     69895       534      2317         0     12073      7040    189841   no data   no data
21.52/5.43	c  F st    25     87502       534      2317         0     17604      7040    336004   no data   no data
21.52/5.43	c  N st    25     87502       534      2317         0     17604      7040    336004   no data   no data
23.11/5.85	c Decided on static restart strategy
24.31/6.13	c  N st    32     95538       534      2317         0     25484      7040    527410   no data   no data
27.09/6.80	c  N st    34    104845       534      2317         0     21864      7040    400848   no data   no data
27.09/6.80	c  S st    34    104845       534      2317         0     21864      7040    400848   no data   no data
27.09/6.85	c  S st    34    105345       534      2317         0     22364      7040    413914   no data   no data
27.09/6.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.09/6.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.09/6.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.09/6.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.09/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
27.09/6.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.09/6.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.09/6.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.02	c lits-rem:        73  cl-subs:      714  v-elim:      0  v-fix:    0  time:  0.13 s
27.89/7.02	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
27.89/7.02	c vivif2 --  cl tried    21650 cl shrink        0 lits rem          0 time: 0.00
27.89/7.03	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
27.89/7.03	c calculated reachability. Time: 0.00
27.89/7.03	c  N st    34    105345       534      2317         0     21650      7040    395821   no data   no data
31.13/7.88	c  N st    35    114943       534      2317         0     17335      7040    269573   no data   no data
36.66/9.28	c  N st    36    129340       534      2317         0     16717      7040    231891   no data   no data
44.29/11.15	c  N st    37    150935       534      2317         0     22147      7040    354824   no data   no data
47.04/11.83	c  S st    38    158018       534      2317         0     29070      7040    531955   no data   no data
47.44/11.91	c  S st    38    158518       534      2317         0     29569      7040    544227   no data   no data
47.44/11.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.44/11.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.44/11.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.44/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.44/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.44/11.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
47.44/11.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.44/11.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.44/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.04/12.32	c lits-rem:       142  cl-subs:     1455  v-elim:      0  v-fix:    0  time:  0.38 s
49.04/12.32	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
49.04/12.32	c vivif2 --  cl tried    28114 cl shrink        0 lits rem          0 time: 0.01
49.04/12.34	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.02
49.04/12.34	c calculated reachability. Time: 0.00
49.04/12.34	c  N st    38    158518       534      2317         0     28114      7040    508593   no data   no data
69.39/17.45	c  N st    39    207107       534      2317         0     22942      7040    338969   no data   no data
82.95/20.89	c  N st    40    237777       534      2317         0     33326      7040    582697   no data   no data
82.95/20.89	c  S st    40    237777       534      2317         0     33326      7040    582697   no data   no data
83.37/20.97	c  S st    40    238279       534      2317         0     33826      7040    594900   no data   no data
83.37/20.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.37/20.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.37/20.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.37/20.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.37/20.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.37/20.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
83.37/20.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.37/20.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.37/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.14/21.60	c lits-rem:       282  cl-subs:     1867  v-elim:      0  v-fix:    0  time:  0.59 s
86.14/21.60	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
86.14/21.61	c vivif2 --  cl tried    31959 cl shrink        0 lits rem          0 time: 0.01
86.14/21.63	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.02
86.14/21.64	c calculated reachability. Time: 0.00
86.14/21.64	c  N st    40    238279       534      2317         0     31959      7040    549141   no data   no data
120.04/30.18	c  F st    41    306250       534      2317         0     33847      7040    537383   no data   no data
120.04/30.18	c  N st    41    306250       534      2317         0     33847      7040    537383   no data   no data
122.44/30.80	c Decided on static restart strategy
133.20/33.49	c  N st    51    334558       534      2317         0     38271      7040    664790   no data   no data
145.56/36.54	c  N st    53    357418       534      2317         0     36059      7040    573520   no data   no data
145.56/36.54	c  S st    53    357418       534      2317         0     36059      7040    573520   no data   no data
145.96/36.63	c  S st    53    357920       534      2317         0     36558      7040    585394   no data   no data
145.96/36.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.96/36.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
145.96/36.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.96/36.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.96/36.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.96/36.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
145.96/36.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.96/36.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.96/36.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.55/37.08	c lits-rem:       150  cl-subs:     1467  v-elim:      0  v-fix:    0  time:  0.41 s
147.55/37.08	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
147.55/37.09	c vivif2 --  cl tried    35091 cl shrink        0 lits rem          0 time: 0.01
147.95/37.12	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.03
147.95/37.12	c calculated reachability. Time: 0.00
147.95/37.12	c  N st    53    357920       534      2317         0     35091      7040    547584   no data   no data
163.91/41.15	c  N st    54    390313       534      2317         0     41482      7040    707967   no data   no data
192.24/48.23	c  N st    55    438901       534      2317         0     35192      7040    502727   no data   no data
236.12/59.24	c  N st    56    511783       534      2317         0     48779      7040    838132   no data   no data
251.27/63.05	c  N st    57    536881       534      2317         0     43005      7040    662459   no data   no data
251.27/63.05	c  S st    57    536881       534      2317         0     43005      7040    662459   no data   no data
251.67/63.17	c  S st    57    537383       534      2317         0     43507      7040    674579   no data   no data
251.67/63.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.67/63.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
251.67/63.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.67/63.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.67/63.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.67/63.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
251.67/63.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.07/63.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.07/63.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.67/63.63	c lits-rem:       164  cl-subs:     1058  v-elim:      0  v-fix:    0  time:  0.41 s
253.67/63.63	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
253.67/63.63	c vivif2 --  cl tried    42449 cl shrink        0 lits rem          0 time: 0.01
253.67/63.67	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.03
253.67/63.67	c calculated reachability. Time: 0.00
253.67/63.67	c  N st    57    537383       534      2317         0     42449      7040    646574   no data   no data
370.94/93.01	c  N st    58    701368       534      2317         0     36425      7040    396982   no data   no data
443.59/111.23	c  N st    59    806074       534      2317         0     65464      7040   1149652   no data   no data
443.59/111.23	c  S st    59    806074       534      2317         0     65464      7040   1149652   no data   no data
444.34/111.41	c  S st    59    806579       534      2317         0     65968      7040   1162468   no data   no data
444.34/111.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
444.34/111.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
444.34/111.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
444.34/111.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
444.34/111.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
444.34/111.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
444.34/111.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
444.34/111.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
444.74/111.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.32/114.42	c lits-rem:       499  cl-subs:     3683  v-elim:      0  v-fix:    0  time:  2.92 s
456.32/114.42	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
456.32/114.43	c vivif2 --  cl tried    62285 cl shrink        0 lits rem          0 time: 0.01
456.32/114.49	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.05
456.32/114.49	c calculated reachability. Time: 0.00
456.32/114.49	c  N st    59    806579       534      2317         0     62285      7040   1071604   no data   no data
658.95/165.25	c  F st    60   1071876       534      2317         0     78334      7040   1424148   no data   no data
658.95/165.25	c  N st    60   1071876       534      2317         0     78334      7040   1424148   no data   no data
664.53/166.68	c Decided on static restart strategy
684.92/171.73	c  N st    70   1100175       534      2317         0     62014      7040    898215   no data   no data
721.57/180.92	c  N st    72   1136168       534      2317         0     52266      7040    640264   no data   no data
753.49/188.99	c  N st    73   1168560       534      2317         0     83914      7040   1443715   no data   no data
788.99/197.87	c  N st    74   1209868       534      2317         0     78576      7040   1358564   no data   no data
788.99/197.87	c  S st    74   1209868       534      2317         0     78576      7040   1358564   no data   no data
789.81/198.10	c  S st    74   1210369       534      2317         0     79077      7040   1370869   no data   no data
789.81/198.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
790.23/198.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
790.23/198.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
790.23/198.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
790.23/198.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.23/198.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
790.23/198.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
790.23/198.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
790.58/198.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
801.35/200.90	c lits-rem:       473  cl-subs:     2278  v-elim:      0  v-fix:    0  time:  2.70 s
801.35/200.90	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
801.35/200.92	c vivif2 --  cl tried    76799 cl shrink        0 lits rem          0 time: 0.02
801.75/201.01	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.09
801.75/201.01	c calculated reachability. Time: 0.00
801.75/201.01	c  N st    74   1210369       534      2317         0     76799      7040   1303572   no data   no data
875.14/219.43	c  N st    75   1283251       534      2317         0     53046      7040    608965   no data   no data
985.62/247.14	c  N st    76   1392574       534      2317         0     61316      7040    793341   no data   no data
1151.17/288.64	c  N st    77   1556561       534      2317         0     65989      7040    855382   no data   no data
1318.30/330.58	c  N st    78   1710370       534      2317         0    107012      7040   1820891   no data   no data
1318.30/330.58	c  S st    78   1710370       534      2317         0    107012      7040   1820891   no data   no data
1319.91/330.94	c  S st    78   1710872       534      2317         0    107513      7040   1833155   no data   no data
1319.91/330.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1320.31/331.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1320.31/331.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1320.31/331.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1320.31/331.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1320.31/331.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
1320.31/331.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1320.31/331.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1320.31/331.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1406.85/352.78	c lits-rem:       723  cl-subs:    16475  v-elim:      0  v-fix:    0  time: 21.70 s
1406.85/352.78	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
1407.25/352.80	c vivif2 --  cl tried    91038 cl shrink        0 lits rem          0 time: 0.02
1407.65/352.90	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.10
1407.65/352.90	c calculated reachability. Time: 0.00
1407.65/352.90	c  N st    78   1710872       534      2317         0     91038      7040   1436579   no data   no data
1835.65/460.29	c  N st    79   2079836       534      2317         0    103409      7040   1646059   no data   no data
1991.62/499.41	c  N st    80   2210878       534      2317         0    108047      7040   1790893   no data   no data
1991.62/499.41	c  S st    80   2210878       534      2317         0    108047      7040   1790893   no data   no data
1993.21/499.77	c  S st    80   2211383       534      2317         0    108552      7040   1804348   no data   no data
1993.21/499.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1993.61/499.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1993.61/499.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1993.61/499.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1993.61/499.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1993.61/499.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
1993.61/499.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1993.61/499.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1994.00/499.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2022.32/507.04	c lits-rem:       732  cl-subs:     5048  v-elim:      0  v-fix:    0  time:  7.12 s
2022.32/507.04	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
2022.32/507.06	c vivif2 --  cl tried   103504 cl shrink        0 lits rem          0 time: 0.02
2022.74/507.18	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.11
2022.74/507.18	c calculated reachability. Time: 0.00
2022.74/507.18	c  N st    80   2211383       534      2317         0    103504      7040   1684839   no data   no data
2684.08/673.17	c  N st    81   2711384       534      2317         0    126412      7040   2162766   no data   no data
2684.08/673.17	c  S st    81   2711384       534      2317         0    126412      7040   2162766   no data   no data
2686.07/673.67	c  S st    81   2711886       534      2317         0    126913      7040   2175609   no data   no data
2686.07/673.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2686.47/673.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2686.47/673.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2686.47/673.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2686.47/673.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2686.47/673.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
2686.47/673.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2686.47/673.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2686.87/673.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2756.28/691.29	c lits-rem:       996  cl-subs:    10474  v-elim:      0  v-fix:    0  time: 17.45 s
2756.28/691.29	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
2756.68/691.32	c vivif2 --  cl tried   116439 cl shrink        0 lits rem          0 time: 0.03
2757.08/691.45	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.13
2757.08/691.46	c calculated reachability. Time: 0.00
2757.08/691.46	c  N st    81   2711886       534      2317         0    116439      7040   1926265   no data   no data
3485.84/874.15	c  N st    82   3211888       534      2317         0     92607      7040   1155492   no data   no data
3485.84/874.15	c  S st    82   3211888       534      2317         0     92607      7040   1155492   no data   no data
3487.04/874.44	c  S st    82   3212392       534      2317         0     93111      7040   1168778   no data   no data
3487.04/874.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3487.04/874.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3487.04/874.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3487.04/874.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3487.04/874.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3487.04/874.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
3487.04/874.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3487.45/874.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3487.45/874.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3491.84/875.70	c lits-rem:       142  cl-subs:     1901  v-elim:      0  v-fix:    0  time:  1.15 s
3491.84/875.70	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
3492.26/875.72	c vivif2 --  cl tried    91210 cl shrink        0 lits rem          0 time: 0.02
3492.61/875.82	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.09
3492.61/875.82	c calculated reachability. Time: 0.00
3492.61/875.82	c  N st    82   3212392       534      2317         0     91210      7040   1121616   no data   no data
4158.79/1042.81	c  N st    83   3712393       534      2317         0    101844      7040   1307337   no data   no data
4158.79/1042.81	c  S st    83   3712393       534      2317         0    101844      7040   1307337   no data   no data
4159.96/1043.16	c  S st    83   3712896       534      2317         0    102346      7040   1320865   no data   no data
4159.96/1043.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4160.36/1043.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4160.36/1043.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4160.36/1043.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4160.36/1043.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4160.36/1043.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
4160.36/1043.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4160.36/1043.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4160.36/1043.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4169.13/1045.41	c lits-rem:       797  cl-subs:     3218  v-elim:      0  v-fix:    0  time:  2.13 s
4169.13/1045.41	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
4169.13/1045.43	c vivif2 --  cl tried    99128 cl shrink        0 lits rem          0 time: 0.02
4169.53/1045.54	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.11
4169.53/1045.54	c calculated reachability. Time: 0.00
4169.53/1045.54	c  N st    83   3712896       534      2317         0     99128      7040   1244830   no data   no data
4220.64/1058.31	c  F st    84   3751562       534      2317         0    137167      7040   2325802   no data   no data
4220.64/1058.31	c  N st    84   3751562       534      2317         0    137167      7040   2325802   no data   no data
4229.76/1060.67	c Decided on static restart strategy
4278.82/1072.97	c  N st    94   3779864       534      2317         0    164855      7040   3068016   no data   no data
4341.85/1088.74	c  N st    96   3815857       534      2317         0    116988      7040   1692355   no data   no data
4400.52/1103.41	c  N st    97   3848249       534      2317         0    148647      7040   2562170   no data   no data
4475.11/1122.13	c  N st    98   3896838       534      2317         0    112143      7040   1568678   no data   no data
4618.27/1158.03	c  N st    99   3969721       534      2317         0     98363      7040   1140190   no data   no data
4794.19/1202.12	c  N st   100   4079044       534      2317         0    119205      7040   1718390   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366528-1305406441/watcher-3366528-1305406441 -o /tmp/evaluation-result-3366528-1305406441/solver-3366528-1305406441 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366528-1305406441.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.12 7.62 7.86 2/345 3449
/proc/meminfo: memFree=26250224/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 652246716 52396032 347 33554432000 4194304 4580107 140733620459200 18446744073709551615 47040684226482 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 12792 347 299 95 0 7774 0
[pid=3449/tid=3453] ppid=3446 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652246716 52396032 347 33554432000 4194304 4580107 140733620459200 18446744073709551615 47040684226482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652246716 52396032 347 33554432000 4194304 4580107 140733620459200 18446744073709551615 47040684226476 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652246716 52396032 347 33554432000 4194304 4580107 140733620459200 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.023863 s]
/proc/loadavg: 6.12 7.62 7.86 2/345 3449
/proc/meminfo: memFree=26250224/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=282104 CPUtime=0.06 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 1304 0 0 0 6 0 0 0 18 0 4 0 652246716 288874496 1212 33554432000 4194304 4580107 140733620459200 18446744073709551615 4318305 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 70526 1212 376 95 0 65508 0
[pid=3449/tid=3453] ppid=3446 vsize=282104 CPUtime=0.01 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 236 0 0 0 1 0 0 0 18 0 4 0 652246716 288874496 1212 33554432000 4194304 4580107 140733620459200 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=282104 CPUtime=0.01 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 231 0 0 0 1 0 0 0 18 0 4 0 652246716 288874496 1213 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=282104 CPUtime=0 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 4 0 652246716 288874496 1214 33554432000 4194304 4580107 140733620459200 18446744073709551615 4299575 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282104

[startup+0.252823 s]
/proc/loadavg: 6.12 7.62 7.86 2/345 3449
/proc/meminfo: memFree=26250224/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=283792 CPUtime=0.98 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 2566 0 0 0 98 0 0 0 18 0 4 0 652246716 290603008 1850 33554432000 4194304 4580107 140733620459200 18446744073709551615 216634184113 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 70948 1851 377 95 0 65930 0
[pid=3449/tid=3453] ppid=3446 vsize=283792 CPUtime=0.24 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 560 0 0 0 24 0 0 0 18 0 4 0 652246716 290603008 1851 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=283792 CPUtime=0.24 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 557 0 0 0 24 0 0 0 18 0 4 0 652246716 290603008 1851 33554432000 4194304 4580107 140733620459200 18446744073709551615 216634176197 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=283792 CPUtime=0.23 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 447 0 0 0 23 0 0 0 25 0 4 0 652246716 290603008 1851 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 283792

[startup+0.300814 s]
/proc/loadavg: 6.12 7.62 7.86 2/345 3449
/proc/meminfo: memFree=26250224/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=283940 CPUtime=1.17 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 2799 0 0 0 117 0 0 0 18 0 4 0 652246716 290754560 2083 33554432000 4194304 4580107 140733620459200 18446744073709551615 4320749 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 70985 2083 377 95 0 65967 0
[pid=3449/tid=3453] ppid=3446 vsize=283940 CPUtime=0.29 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 610 0 0 0 29 0 0 0 18 0 4 0 652246716 290754560 2084 33554432000 4194304 4580107 140733620459200 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=283940 CPUtime=0.29 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 618 0 0 0 29 0 0 0 18 0 4 0 652246716 290754560 2084 33554432000 4194304 4580107 140733620459200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=283940 CPUtime=0.28 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 515 0 0 0 28 0 0 0 25 0 4 0 652246716 290754560 2085 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283940

[startup+0.700744 s]
/proc/loadavg: 6.12 7.62 7.86 2/345 3449
/proc/meminfo: memFree=26250224/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=284724 CPUtime=2.77 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 4439 0 0 0 277 0 0 0 18 0 4 0 652246716 291557376 2803 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 71181 2803 377 95 0 66163 0
[pid=3449/tid=3453] ppid=3446 vsize=284724 CPUtime=0.69 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 980 0 0 0 69 0 0 0 18 0 4 0 652246716 291557376 2803 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=284724 CPUtime=0.69 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 1065 0 0 0 69 0 0 0 18 0 4 0 652246716 291557376 2803 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=284724 CPUtime=0.68 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 922 0 0 0 68 0 0 0 25 0 4 0 652246716 291557376 2803 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284724

[startup+1.5006 s]
/proc/loadavg: 6.12 7.62 7.86 10/356 3461
/proc/meminfo: memFree=26225708/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=286176 CPUtime=5.95 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 9121 0 0 0 594 1 0 0 20 0 4 0 652246716 293044224 4624 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 71544 4624 380 95 0 66526 0
[pid=3449/tid=3453] ppid=3446 vsize=286176 CPUtime=1.49 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 1809 0 0 0 149 0 0 0 19 0 4 0 652246716 293044224 4624 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=286176 CPUtime=1.49 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 1867 0 0 0 149 0 0 0 19 0 4 0 652246716 293044224 4624 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=286176 CPUtime=1.46 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 1715 0 0 0 146 0 0 0 25 0 4 0 652246716 293044224 4624 33554432000 4194304 4580107 140733620459200 18446744073709551615 4322825 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286176

[startup+3.10033 s]
/proc/loadavg: 6.27 7.63 7.86 9/356 3461
/proc/meminfo: memFree=26201924/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=295584 CPUtime=12.34 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 18524 0 0 0 1231 3 0 0 25 0 4 0 652246716 302678016 10132 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 73896 10132 380 95 0 68878 0
[pid=3449/tid=3453] ppid=3446 vsize=295584 CPUtime=3.09 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 4101 0 0 0 309 0 0 0 25 0 4 0 652246716 302678016 10132 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=295584 CPUtime=3.08 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 5052 0 0 0 308 0 0 0 25 0 4 0 652246716 302678016 10132 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=295584 CPUtime=3.05 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 4470 0 0 0 305 0 0 0 25 0 4 0 652246716 302678016 10132 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295584

[startup+6.30076 s]
/proc/loadavg: 6.27 7.63 7.86 9/356 3461
/proc/meminfo: memFree=26149472/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=302428 CPUtime=25.11 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 29832 0 0 0 2506 5 0 0 25 0 4 0 652246716 309686272 13457 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 75607 13457 379 95 0 70589 0
[pid=3449/tid=3453] ppid=3446 vsize=302428 CPUtime=6.29 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 7518 0 0 0 628 1 0 0 25 0 4 0 652246716 309686272 13457 33554432000 4194304 4580107 140733620459200 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=302428 CPUtime=6.28 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 8318 0 0 0 627 1 0 0 25 0 4 0 652246716 309686272 13457 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=302428 CPUtime=6.21 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 6615 0 0 0 621 0 0 0 25 0 4 0 652246716 309686272 13457 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 302428

[startup+12.7006 s]
/proc/loadavg: 6.54 7.64 7.86 9/356 3461
/proc/meminfo: memFree=26076100/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=302904 CPUtime=50.64 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 45830 0 0 0 5056 8 0 0 25 0 4 0 652246716 310173696 20708 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 75726 20708 379 95 0 70708 0
[pid=3449/tid=3453] ppid=3446 vsize=302904 CPUtime=12.69 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 10725 0 0 0 1268 1 0 0 25 0 4 0 652246716 310173696 20708 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=302904 CPUtime=12.69 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 11714 0 0 0 1267 2 0 0 25 0 4 0 652246716 310173696 20708 33554432000 4194304 4580107 140733620459200 18446744073709551615 4321747 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=302904 CPUtime=12.54 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 10724 0 0 0 1253 1 0 0 25 0 4 0 652246716 310173696 20708 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 302904

[startup+25.5004 s]
/proc/loadavg: 6.76 7.65 7.86 9/356 3461
/proc/meminfo: memFree=26031356/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=322192 CPUtime=101.69 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 66890 0 0 0 10157 12 0 0 25 0 4 0 652246716 329924608 26750 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 80548 26750 379 95 0 75530 0
[pid=3449/tid=3453] ppid=3446 vsize=322192 CPUtime=25.48 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 16860 0 0 0 2546 2 0 0 25 0 4 0 652246716 329924608 26750 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=322192 CPUtime=25.49 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 16543 0 0 0 2546 3 0 0 25 0 4 0 652246716 329924608 26750 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=322192 CPUtime=25.2 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 14776 0 0 0 2518 2 0 0 25 0 4 0 652246716 329924608 26750 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 322192

[startup+51.1009 s]
/proc/loadavg: 7.18 7.68 7.87 10/356 3462
/proc/meminfo: memFree=25968028/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=318228 CPUtime=203.8 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 99752 0 0 0 20360 20 0 0 25 0 4 0 652246716 325865472 33122 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 79557 33122 379 95 0 74539 0
[pid=3449/tid=3453] ppid=3446 vsize=318228 CPUtime=51.08 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 24028 0 0 0 5104 4 0 0 25 0 4 0 652246716 325865472 33122 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=318228 CPUtime=51.09 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 25657 0 0 0 5104 5 0 0 25 0 4 0 652246716 325865472 33122 33554432000 4194304 4580107 140733620459200 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=318228 CPUtime=50.52 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 22007 0 0 0 5048 4 0 0 25 0 4 0 652246716 325865472 33122 33554432000 4194304 4580107 140733620459200 18446744073709551615 4315708 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 318228

[startup+102.301 s]
/proc/loadavg: 7.67 7.73 7.87 9/356 3463
/proc/meminfo: memFree=25864968/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=374020 CPUtime=408.06 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 150416 0 0 0 40772 34 0 0 25 0 4 0 652246716 382996480 45636 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 93505 45636 379 95 0 88487 0
[pid=3449/tid=3453] ppid=3446 vsize=374020 CPUtime=102.29 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 35112 0 0 0 10223 6 0 0 25 0 4 0 652246716 382996480 45641 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=374020 CPUtime=102.3 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 37238 0 0 0 10222 8 0 0 25 0 4 0 652246716 382996480 45641 33554432000 4194304 4580107 140733620459200 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=374020 CPUtime=101.15 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 37978 0 0 0 10107 8 0 0 25 0 4 0 652246716 382996480 45641 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 374020

[startup+162.3 s]

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

[pid=3449] ppid=3446 vsize=567612 CPUtime=2800.56 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 478314 0 0 0 279904 152 0 0 25 0 4 0 652246716 581234688 94871 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 141903 94871 379 95 0 136885 0
[pid=3449/tid=3453] ppid=3446 vsize=567612 CPUtime=702.25 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 116819 0 0 0 70186 39 0 0 25 0 4 0 652246716 581234688 94871 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=567612 CPUtime=702.22 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 119767 0 0 0 70184 38 0 0 25 0 4 0 652246716 581234688 94871 33554432000 4194304 4580107 140733620459200 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=567612 CPUtime=694.54 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 120446 0 0 0 69417 37 0 0 25 0 4 0 652246716 581234688 94871 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.56
Current children cumulated vsize (KiB) 567612

[startup+762.301 s]
/proc/loadavg: 8.02 8.05 7.98 9/356 3495
/proc/meminfo: memFree=25438500/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=567208 CPUtime=3039.92 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 497390 0 0 0 303832 160 0 0 25 0 4 0 652246716 580820992 94764 33554432000 4194304 4580107 140733620459200 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 141802 94764 379 95 0 136784 0
[pid=3449/tid=3453] ppid=3446 vsize=567208 CPUtime=762.27 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 123673 0 0 0 76185 42 0 0 25 0 4 0 652246716 580820992 94764 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=567208 CPUtime=762.22 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 123298 0 0 0 76183 39 0 0 25 0 4 0 652246716 580820992 94764 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=567208 CPUtime=753.9 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 124072 0 0 0 75351 39 0 0 25 0 4 0 652246716 580820992 94764 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.92
Current children cumulated vsize (KiB) 567208

[startup+822.3 s]
/proc/loadavg: 8.00 8.04 7.98 9/356 3497
/proc/meminfo: memFree=25385240/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=579900 CPUtime=3279.23 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 516116 0 0 0 327756 167 0 0 25 0 4 0 652246716 593817600 100922 33554432000 4194304 4580107 140733620459200 18446744073709551615 4324217 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 144975 100922 379 95 0 139957 0
[pid=3449/tid=3453] ppid=3446 vsize=579900 CPUtime=822.26 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 129735 0 0 0 82181 45 0 0 25 0 4 0 652246716 593817600 100922 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=579900 CPUtime=822.19 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 126725 0 0 0 82179 40 0 0 25 0 4 0 652246716 593817600 100922 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=579900 CPUtime=813.24 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 130128 0 0 0 81283 41 0 0 25 0 4 0 652246716 593817600 100922 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.23
Current children cumulated vsize (KiB) 579900

[startup+882.313 s]
/proc/loadavg: 8.08 8.05 7.98 9/356 3498
/proc/meminfo: memFree=25319832/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=696644 CPUtime=3518.58 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 536950 0 0 0 351684 174 0 0 25 0 4 0 652246716 713363456 115840 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 174161 115840 379 95 0 169143 0
[pid=3449/tid=3453] ppid=3446 vsize=696644 CPUtime=882.27 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 135759 0 0 0 88180 47 0 0 25 0 4 0 652246716 713363456 115840 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=696644 CPUtime=882.21 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 130090 0 0 0 88179 42 0 0 25 0 4 0 652246716 713363456 115840 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=696644 CPUtime=872.55 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 136139 0 0 0 87213 42 0 0 25 0 4 0 652246716 713363456 115840 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.58
Current children cumulated vsize (KiB) 696644

[startup+942.301 s]
/proc/loadavg: 8.13 8.07 8.00 9/356 3500
/proc/meminfo: memFree=25270584/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=645736 CPUtime=3757.88 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 554250 0 0 0 375605 183 0 0 25 0 4 0 652246716 661233664 122620 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 161434 122620 379 95 0 156416 0
[pid=3449/tid=3453] ppid=3446 vsize=645736 CPUtime=942.25 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 138883 0 0 0 94177 48 0 0 25 0 4 0 652246716 661233664 122620 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=645736 CPUtime=942.18 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 133632 0 0 0 94174 44 0 0 25 0 4 0 652246716 661233664 122620 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=645736 CPUtime=931.89 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 142199 0 0 0 93144 45 0 0 25 0 4 0 652246716 661233664 122620 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.88
Current children cumulated vsize (KiB) 645736

[startup+1002.3 s]
/proc/loadavg: 8.23 8.10 8.01 9/356 3501
/proc/meminfo: memFree=25317532/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=645976 CPUtime=3997.21 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 570969 0 0 0 399529 192 0 0 25 0 4 0 652246716 661479424 116230 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 161494 116230 379 95 0 156476 0
[pid=3449/tid=3453] ppid=3446 vsize=645976 CPUtime=1002.25 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 142509 0 0 0 100175 50 0 0 25 0 4 0 652246716 661479424 116230 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=645976 CPUtime=1002.16 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 140434 0 0 0 100169 47 0 0 25 0 4 0 652246716 661479424 116230 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=645976 CPUtime=991.24 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 145056 0 0 0 99077 47 0 0 25 0 4 0 652246716 661479424 116230 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.21
Current children cumulated vsize (KiB) 645976

[startup+1062.3 s]
/proc/loadavg: 8.29 8.13 8.02 9/356 3503
/proc/meminfo: memFree=25273092/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=659228 CPUtime=4236.55 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 592666 0 0 0 423453 202 0 0 25 0 4 0 652246716 675049472 120833 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 164807 120833 379 95 0 159789 0
[pid=3449/tid=3453] ppid=3446 vsize=659228 CPUtime=1062.25 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 147939 0 0 0 106172 53 0 0 25 0 4 0 652246716 675049472 120833 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=659228 CPUtime=1062.16 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 146502 0 0 0 106167 49 0 0 25 0 4 0 652246716 675049472 120833 33554432000 4194304 4580107 140733620459200 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=659228 CPUtime=1050.59 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 148774 0 0 0 105010 49 0 0 25 0 4 0 652246716 675049472 120833 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.55
Current children cumulated vsize (KiB) 659228

[startup+1122.3 s]
/proc/loadavg: 8.23 8.13 8.02 10/356 3505
/proc/meminfo: memFree=25220736/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=737944 CPUtime=4475.86 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 609830 0 0 0 447376 210 0 0 25 0 4 0 652246716 755654656 122581 33554432000 4194304 4580107 140733620459200 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 184486 122581 379 95 0 179468 0
[pid=3449/tid=3453] ppid=3446 vsize=737944 CPUtime=1122.25 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 152146 0 0 0 112170 55 0 0 25 0 4 0 652246716 755654656 122581 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=737944 CPUtime=1122.14 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 150982 0 0 0 112162 52 0 0 25 0 4 0 652246716 755654656 122581 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=737944 CPUtime=1109.91 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 151215 0 0 0 110942 49 0 0 25 0 4 0 652246716 755654656 122581 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.86
Current children cumulated vsize (KiB) 737944

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.02 9/356 3506
/proc/meminfo: memFree=25239668/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=698800 CPUtime=4715.21 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 631091 0 0 0 471301 220 0 0 25 0 4 0 652246716 715571200 126189 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 174700 126189 379 95 0 169682 0
[pid=3449/tid=3453] ppid=3446 vsize=698800 CPUtime=1182.24 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 157556 0 0 0 118166 58 0 0 25 0 4 0 652246716 715571200 126189 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=698800 CPUtime=1182.14 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 157119 0 0 0 118160 54 0 0 25 0 4 0 652246716 715571200 126189 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=698800 CPUtime=1169.26 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 155992 0 0 0 116875 51 0 0 25 0 4 0 652246716 715571200 126189 33554432000 4194304 4580107 140733620459200 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.21
Current children cumulated vsize (KiB) 698800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.06 8.10 8.02 5/351 3508
/proc/meminfo: memFree=25736440/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=712036 CPUtime=4800.19 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 640228 0 0 0 479795 224 0 0 25 0 4 0 652246716 729124864 127771 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 178009 127771 379 95 0 172991 0
[pid=3449/tid=3453] ppid=3446 vsize=712036 CPUtime=1203.56 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 160331 0 0 0 120297 59 0 0 25 0 4 0 652246716 729124864 127772 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=712036 CPUtime=1203.45 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 158342 0 0 0 120290 55 0 0 25 0 4 0 652246716 729124864 127772 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=712036 CPUtime=1190.33 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 158497 0 0 0 118980 53 0 0 25 0 4 0 652246716 729124864 127772 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 712036

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

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

[startup+1203.6 s]
/proc/loadavg: 8.06 8.10 8.02 5/351 3508
/proc/meminfo: memFree=25736440/32951124 swapFree=53501236/67111528
[pid=3449] ppid=3446 vsize=712036 CPUtime=4800.19 cores=0,2,4,6
/proc/3449/stat : 3449 (strangenight2-m) R 3446 3449 3413 0 -1 4202496 640228 0 0 0 479795 224 0 0 25 0 4 0 652246716 729124864 127771 33554432000 4194304 4580107 140733620459200 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3449/statm: 178009 127771 379 95 0 172991 0
[pid=3449/tid=3453] ppid=3446 vsize=712036 CPUtime=1203.56 cores=0,2,4,6
/proc/3449/task/3453/stat : 3453 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 160331 0 0 0 120297 59 0 0 25 0 4 0 652246716 729124864 127772 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3449/tid=3454] ppid=3446 vsize=712036 CPUtime=1203.45 cores=0,2,4,6
/proc/3449/task/3454/stat : 3454 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 158342 0 0 0 120290 55 0 0 25 0 4 0 652246716 729124864 127772 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3449/tid=3455] ppid=3446 vsize=712036 CPUtime=1190.33 cores=0,2,4,6
/proc/3449/task/3455/stat : 3455 (strangenight2-m) R 3446 3449 3413 0 -1 4202560 158497 0 0 0 118980 53 0 0 25 0 4 0 652246716 729124864 127772 33554432000 4194304 4580107 140733620459200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 712036

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.26
CPU user time (s): 4798
CPU system time (s): 2.26366
CPU usage (%): 398.812
Max. virtual memory (cumulated for all children) (KiB): 856992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798
system time used= 2.26365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640230
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= 600
involuntary context switches= 21676

runsolver used 3.74043 second user time and 9.50455 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 22:54:01
IDJOB=3366528
IDBENCH=82937
IDSOLVER=1844
FILE ID=node103/3366528-1305406441
RUNJOBID= node103-1305406441-3433
PBS_JOBID= 13324513
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366528-1305406441/watcher-3366528-1305406441 -o /tmp/evaluation-result-3366528-1305406441/solver-3366528-1305406441 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366528-1305406441.cnf

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

MD5SUM BENCH= fa2c840574747ca3ff8efe8a9137bb94
RANDOM SEED=1673695659

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26250520 kB
Buffers:        298784 kB
Cached:        3864932 kB
SwapCached:     340192 kB
Active:        1318880 kB
Inactive:      5110388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26250520 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           11068 kB
Writeback:           0 kB
AnonPages:     1935568 kB
Mapped:          10144 kB
Slab:           151440 kB
PageTables:      52748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78284056 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= 72980 MiB
End job on node103 at 2011-05-14 23:14:07