Trace number 3174119

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? (TO) 4800.37 1201.94

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174119-1304097389.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	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.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.07	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.07	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.07	c calculated reachability. Time: 0.00
0.00/0.07	c Calc default polars -  time:   0.00 s pos:     260 undec:      59 neg:     231
0.00/0.07	c =========================================================================================
0.00/0.07	c types(t): F = full restart, N = normal restart
0.00/0.07	c types(t): S = simplification begin/end, E = solution found
0.00/0.07	c restart types(rt): st = static, dy = dynamic
0.00/0.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.07	c  B st     0         0       537      2330         0         0      7079         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.41/0.16	c  N st     8      4913       537      2330         0      4851      7079    129775   no data   no data
1.57/0.43	c  N st    10     11297       537      2330         0      4478      7079     80484   no data   no data
2.37/0.68	c  N st    11     17040       537      2330         0     10139      7079    231882   no data   no data
3.99/1.08	c  F st    12     25000       537      2330         0     12450      7079    287434   no data   no data
3.99/1.08	c  N st    12     25000       537      2330         0     12450      7079    287434   no data   no data
5.17/1.32	c Decided on static restart strategy
5.17/1.32	c  N st    18     30000       537      2330         0     10700      7079    219402   no data   no data
5.17/1.32	c  S st    18     30000       537      2330         0     10700      7079    219402   no data   no data
5.17/1.35	c  S st    18     30505       537      2330         0     11205      7079    231349   no data   no data
5.17/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.36	c blocked clauses removed:       13 vars:      3 tried:         537 T: 0.00 s
5.17/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
5.17/1.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c lits-rem:       158  cl-subs:      422  v-elim:      0  v-fix:    0  time:  0.04 s
5.57/1.42	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
5.57/1.42	c calculated reachability. Time: 0.00
5.57/1.42	c  N st    18     30505       534      2317         0     10783      7040    218714   no data   no data
7.16/1.87	c  N st    20     37616       534      2317         0      9989      7040    175872   no data   no data
8.78/2.29	c  N st    21     44016       534      2317         0     16202      7040    313899   no data   no data
9.57/2.41	c  S st    22     45758       534      2317         0      9185      7040    136785   no data   no data
9.57/2.44	c  S st    22     46260       534      2317         0      9687      7040    148532   no data   no data
9.57/2.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
9.57/2.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.46	c lits-rem:        15  cl-subs:      133  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.46	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
9.57/2.46	c vivif2 --  cl tried     9554 cl shrink        0 lits rem          0 time: 0.00
9.57/2.47	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
9.57/2.47	c calculated reachability. Time: 0.00
9.57/2.47	c  N st    22     46260       534      2317         0      9554      7040    145522   no data   no data
13.56/3.44	c  N st    23     60658       534      2317         0     13882      7040    243799   no data   no data
15.95/4.09	c  N st    24     69391       534      2317         0     11731      7040    181185   no data   no data
15.95/4.09	c  S st    24     69391       534      2317         0     11731      7040    181185   no data   no data
16.35/4.12	c  S st    24     69895       534      2317         0     12234      7040    194059   no data   no data
16.35/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
16.35/4.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.35/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.15	c lits-rem:        24  cl-subs:      161  v-elim:      0  v-fix:    0  time:  0.02 s
16.35/4.15	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
16.35/4.16	c vivif2 --  cl tried    12073 cl shrink        0 lits rem          0 time: 0.00
16.35/4.16	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
16.35/4.16	c calculated reachability. Time: 0.00
16.35/4.16	c  N st    24     69895       534      2317         0     12073      7040    189841   no data   no data
21.56/5.42	c  F st    25     87502       534      2317         0     17604      7040    336004   no data   no data
21.56/5.42	c  N st    25     87502       534      2317         0     17604      7040    336004   no data   no data
23.14/5.84	c Decided on static restart strategy
24.34/6.11	c  N st    32     95538       534      2317         0     25484      7040    527410   no data   no data
26.73/6.79	c  N st    34    104845       534      2317         0     21864      7040    400848   no data   no data
26.73/6.79	c  S st    34    104845       534      2317         0     21864      7040    400848   no data   no data
27.13/6.84	c  S st    34    105345       534      2317         0     22364      7040    413914   no data   no data
27.13/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.13/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.13/6.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.13/6.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.13/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
27.13/6.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.13/6.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.13/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.01	c lits-rem:        73  cl-subs:      714  v-elim:      0  v-fix:    0  time:  0.13 s
27.93/7.01	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
27.93/7.01	c vivif2 --  cl tried    21650 cl shrink        0 lits rem          0 time: 0.00
27.93/7.02	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.01
27.93/7.02	c calculated reachability. Time: 0.00
27.93/7.02	c  N st    34    105345       534      2317         0     21650      7040    395821   no data   no data
31.13/7.87	c  N st    35    114943       534      2317         0     17335      7040    269573   no data   no data
36.73/9.26	c  N st    36    129340       534      2317         0     16717      7040    231891   no data   no data
44.32/11.12	c  N st    37    150935       534      2317         0     22147      7040    354824   no data   no data
47.11/11.80	c  S st    38    158018       534      2317         0     29070      7040    531955   no data   no data
47.11/11.88	c  S st    38    158518       534      2317         0     29569      7040    544227   no data   no data
47.11/11.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.11/11.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.11/11.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.11/11.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.11/11.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
47.11/11.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.51/11.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.51/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.30	c lits-rem:       142  cl-subs:     1455  v-elim:      0  v-fix:    0  time:  0.38 s
49.11/12.30	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
49.11/12.30	c vivif2 --  cl tried    28114 cl shrink        0 lits rem          0 time: 0.01
49.11/12.32	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.02
49.11/12.32	c calculated reachability. Time: 0.00
49.11/12.32	c  N st    38    158518       534      2317         0     28114      7040    508593   no data   no data
69.49/17.43	c  N st    39    207107       534      2317         0     22942      7040    338969   no data   no data
83.09/20.89	c  N st    40    237777       534      2317         0     33326      7040    582697   no data   no data
83.09/20.89	c  S st    40    237777       534      2317         0     33326      7040    582697   no data   no data
83.49/20.97	c  S st    40    238279       534      2317         0     33826      7040    594900   no data   no data
83.49/20.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.49/20.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.49/20.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.49/20.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.49/20.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.49/20.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
83.49/20.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.49/20.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.87/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.27/21.61	c lits-rem:       282  cl-subs:     1867  v-elim:      0  v-fix:    0  time:  0.60 s
86.27/21.61	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
86.27/21.62	c vivif2 --  cl tried    31959 cl shrink        0 lits rem          0 time: 0.01
86.27/21.64	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.02
86.27/21.64	c calculated reachability. Time: 0.00
86.27/21.64	c  N st    40    238279       534      2317         0     31959      7040    549141   no data   no data
120.22/30.17	c  F st    41    306250       534      2317         0     33847      7040    537383   no data   no data
120.22/30.17	c  N st    41    306250       534      2317         0     33847      7040    537383   no data   no data
122.64/30.80	c Decided on static restart strategy
133.41/33.46	c  N st    51    334558       534      2317         0     38271      7040    664790   no data   no data
145.80/36.51	c  N st    53    357418       534      2317         0     36059      7040    573520   no data   no data
145.80/36.51	c  S st    53    357418       534      2317         0     36059      7040    573520   no data   no data
146.19/36.60	c  S st    53    357920       534      2317         0     36558      7040    585394   no data   no data
146.19/36.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.19/36.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
146.19/36.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.19/36.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.19/36.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.19/36.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
146.19/36.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.19/36.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.19/36.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.79/37.05	c lits-rem:       150  cl-subs:     1467  v-elim:      0  v-fix:    0  time:  0.41 s
147.79/37.05	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
147.79/37.06	c vivif2 --  cl tried    35091 cl shrink        0 lits rem          0 time: 0.01
147.79/37.09	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.03
147.79/37.09	c calculated reachability. Time: 0.00
147.79/37.09	c  N st    53    357920       534      2317         0     35091      7040    547584   no data   no data
164.16/41.11	c  N st    54    390313       534      2317         0     41482      7040    707967   no data   no data
192.13/48.19	c  N st    55    438901       534      2317         0     35192      7040    502727   no data   no data
236.48/59.20	c  N st    56    511783       534      2317         0     48779      7040    838132   no data   no data
251.66/63.03	c  N st    57    536881       534      2317         0     43005      7040    662459   no data   no data
251.66/63.03	c  S st    57    536881       534      2317         0     43005      7040    662459   no data   no data
252.06/63.15	c  S st    57    537383       534      2317         0     43507      7040    674579   no data   no data
252.06/63.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.06/63.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
252.06/63.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.06/63.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.06/63.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.06/63.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
252.06/63.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.06/63.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.46/63.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.06/63.61	c lits-rem:       164  cl-subs:     1058  v-elim:      0  v-fix:    0  time:  0.41 s
254.06/63.61	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
254.06/63.62	c vivif2 --  cl tried    42449 cl shrink        0 lits rem          0 time: 0.01
254.06/63.65	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.03
254.06/63.65	c calculated reachability. Time: 0.00
254.06/63.65	c  N st    57    537383       534      2317         0     42449      7040    646574   no data   no data
372.30/93.21	c  N st    58    701368       534      2317         0     36425      7040    396982   no data   no data
444.61/111.34	c  N st    59    806074       534      2317         0     65464      7040   1149652   no data   no data
444.61/111.34	c  S st    59    806074       534      2317         0     65464      7040   1149652   no data   no data
445.41/111.53	c  S st    59    806579       534      2317         0     65968      7040   1162468   no data   no data
445.41/111.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
445.41/111.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
445.41/111.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
445.41/111.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.41/111.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.41/111.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
445.41/111.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
445.41/111.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
445.81/111.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.01/114.49	c lits-rem:       499  cl-subs:     3683  v-elim:      0  v-fix:    0  time:  2.88 s
457.01/114.49	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
457.39/114.51	c vivif2 --  cl tried    62285 cl shrink        0 lits rem          0 time: 0.02
457.39/114.56	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.06
457.39/114.57	c calculated reachability. Time: 0.00
457.39/114.57	c  N st    59    806579       534      2317         0     62285      7040   1071604   no data   no data
660.32/165.32	c  F st    60   1071876       534      2317         0     78334      7040   1424148   no data   no data
660.32/165.32	c  N st    60   1071876       534      2317         0     78334      7040   1424148   no data   no data
665.92/166.75	c Decided on static restart strategy
686.29/171.82	c  N st    70   1100175       534      2317         0     62014      7040    898215   no data   no data
722.63/180.99	c  N st    72   1136168       534      2317         0     52266      7040    640264   no data   no data
755.00/189.02	c  N st    73   1168560       534      2317         0     83914      7040   1443715   no data   no data
791.75/198.25	c  N st    74   1209868       534      2317         0     78576      7040   1358564   no data   no data
791.75/198.25	c  S st    74   1209868       534      2317         0     78576      7040   1358564   no data   no data
792.95/198.55	c  S st    74   1210369       534      2317         0     79077      7040   1370869   no data   no data
792.95/198.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
793.34/198.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
793.34/198.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
793.34/198.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
793.34/198.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
793.34/198.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
793.34/198.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
793.34/198.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
793.34/198.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
811.33/203.13	c lits-rem:       473  cl-subs:     2278  v-elim:      0  v-fix:    0  time:  4.44 s
811.33/203.13	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
811.33/203.15	c vivif2 --  cl tried    76799 cl shrink        0 lits rem          0 time: 0.02
811.73/203.25	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.10
811.73/203.25	c calculated reachability. Time: 0.00
811.73/203.25	c  N st    74   1210369       534      2317         0     76799      7040   1303572   no data   no data
882.03/220.80	c  N st    75   1283251       534      2317         0     53046      7040    608965   no data   no data
991.89/248.32	c  N st    76   1392574       534      2317         0     61316      7040    793341   no data   no data
1158.47/290.04	c  N st    77   1556561       534      2317         0     65989      7040    855382   no data   no data
1326.24/332.05	c  N st    78   1710370       534      2317         0    107012      7040   1820891   no data   no data
1326.24/332.05	c  S st    78   1710370       534      2317         0    107012      7040   1820891   no data   no data
1327.83/332.41	c  S st    78   1710872       534      2317         0    107513      7040   1833155   no data   no data
1327.83/332.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1327.83/332.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1327.83/332.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1327.83/332.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1327.83/332.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1327.83/332.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
1327.83/332.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1328.23/332.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1328.23/332.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1414.53/354.11	c lits-rem:       723  cl-subs:    16475  v-elim:      0  v-fix:    0  time: 21.54 s
1414.53/354.11	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
1414.53/354.13	c vivif2 --  cl tried    91038 cl shrink        0 lits rem          0 time: 0.02
1414.93/354.23	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.10
1414.93/354.23	c calculated reachability. Time: 0.00
1414.93/354.23	c  N st    78   1710872       534      2317         0     91038      7040   1436579   no data   no data
1843.93/461.68	c  N st    79   2079836       534      2317         0    103409      7040   1646059   no data   no data
2000.53/500.87	c  N st    80   2210878       534      2317         0    108047      7040   1790893   no data   no data
2000.53/500.87	c  S st    80   2210878       534      2317         0    108047      7040   1790893   no data   no data
2002.13/501.23	c  S st    80   2211383       534      2317         0    108552      7040   1804348   no data   no data
2002.13/501.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2002.13/501.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2002.13/501.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2002.13/501.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2002.13/501.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2002.13/501.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
2002.13/501.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2002.53/501.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2002.53/501.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2031.29/508.51	c lits-rem:       732  cl-subs:     5048  v-elim:      0  v-fix:    0  time:  7.13 s
2031.29/508.51	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
2031.29/508.54	c vivif2 --  cl tried   103504 cl shrink        0 lits rem          0 time: 0.02
2031.69/508.65	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.12
2031.69/508.66	c calculated reachability. Time: 0.00
2031.69/508.66	c  N st    80   2211383       534      2317         0    103504      7040   1684839   no data   no data
2690.38/673.71	c  N st    81   2711384       534      2317         0    126412      7040   2162766   no data   no data
2690.38/673.71	c  S st    81   2711384       534      2317         0    126412      7040   2162766   no data   no data
2691.98/674.15	c  S st    81   2711886       534      2317         0    126913      7040   2175609   no data   no data
2691.98/674.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2692.39/674.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2692.39/674.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2692.39/674.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2692.39/674.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2692.39/674.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
2692.39/674.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2692.39/674.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2692.79/674.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2762.70/691.85	c lits-rem:       996  cl-subs:    10474  v-elim:      0  v-fix:    0  time: 17.53 s
2762.70/691.85	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
2762.70/691.88	c vivif2 --  cl tried   116439 cl shrink        0 lits rem          0 time: 0.03
2763.48/692.01	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.13
2763.48/692.01	c calculated reachability. Time: 0.00
2763.48/692.01	c  N st    81   2711886       534      2317         0    116439      7040   1926265   no data   no data
3486.09/873.00	c  N st    82   3211888       534      2317         0     92607      7040   1155492   no data   no data
3486.09/873.00	c  S st    82   3211888       534      2317         0     92607      7040   1155492   no data   no data
3487.29/873.29	c  S st    82   3212392       534      2317         0     93111      7040   1168778   no data   no data
3487.29/873.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3487.71/873.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3487.71/873.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3487.71/873.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3487.71/873.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3487.71/873.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
3487.71/873.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3487.71/873.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3487.71/873.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3492.51/874.55	c lits-rem:       142  cl-subs:     1901  v-elim:      0  v-fix:    0  time:  1.15 s
3492.51/874.55	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
3492.51/874.57	c vivif2 --  cl tried    91210 cl shrink        0 lits rem          0 time: 0.02
3492.88/874.67	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.09
3492.88/874.67	c calculated reachability. Time: 0.00
3492.88/874.67	c  N st    82   3212392       534      2317         0     91210      7040   1121616   no data   no data
4161.57/1042.03	c  N st    83   3712393       534      2317         0    101844      7040   1307337   no data   no data
4161.57/1042.03	c  S st    83   3712393       534      2317         0    101844      7040   1307337   no data   no data
4162.77/1042.37	c  S st    83   3712896       534      2317         0    102346      7040   1320865   no data   no data
4162.77/1042.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4163.17/1042.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4163.17/1042.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4163.17/1042.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4163.17/1042.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4163.17/1042.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
4163.17/1042.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4163.17/1042.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4163.57/1042.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4171.96/1044.63	c lits-rem:       797  cl-subs:     3218  v-elim:      0  v-fix:    0  time:  2.13 s
4171.96/1044.63	c vivif2 --  cl tried     2317 cl shrink        0 lits rem          0 time: 0.00
4171.96/1044.65	c vivif2 --  cl tried    99128 cl shrink        0 lits rem          0 time: 0.02
4172.36/1044.76	c asymm  cl-useful: 0/2317/2317 lits-rem:0 time: 0.11
4172.36/1044.76	c calculated reachability. Time: 0.00
4172.36/1044.76	c  N st    83   3712896       534      2317         0     99128      7040   1244830   no data   no data
4230.70/1059.36	c  F st    84   3751562       534      2317         0    137167      7040   2325802   no data   no data
4230.70/1059.36	c  N st    84   3751562       534      2317         0    137167      7040   2325802   no data   no data
4241.06/1061.98	c Decided on static restart strategy
4297.78/1076.11	c  N st    94   3779864       534      2317         0    164855      7040   3068016   no data   no data
4348.92/1088.94	c  N st    96   3815857       534      2317         0    116988      7040   1692355   no data   no data
4399.24/1101.52	c  N st    97   3848249       534      2317         0    148647      7040   2562170   no data   no data
4473.93/1120.22	c  N st    98   3896838       534      2317         0    112143      7040   1568678   no data   no data
4617.37/1156.18	c  N st    99   3969721       534      2317         0     98363      7040   1140190   no data   no data
4793.50/1200.21	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174119-1304097389/watcher-3174119-1304097389 -o /tmp/evaluation-result-3174119-1304097389/solver-3174119-1304097389 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174119-1304097389.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: 8.17 8.11 8.02 3/172 9301
/proc/meminfo: memFree=29741872/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 502154225 52441088 352 33554432000 4194304 4627427 140736660474864 18446744073709551615 47109605156786 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 12803 352 303 106 0 7774 0
[pid=9301/tid=9302] ppid=9299 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502154225 52441088 352 33554432000 4194304 4627427 140736660474864 18446744073709551615 47109605156780 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 502154225 52441088 352 33554432000 4194304 4627427 140736660474864 18446744073709551615 47109605156780 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 502154225 52441088 352 33554432000 4194304 4627427 140736660474864 18446744073709551615 254261616571 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0794561 s]
/proc/loadavg: 8.17 8.11 8.02 3/172 9301
/proc/meminfo: memFree=29741872/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=282332 CPUtime=0.28 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 1622 0 0 0 28 0 0 0 18 0 4 0 502154225 289107968 1529 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 70583 1529 384 106 0 65554 0
[pid=9301/tid=9302] ppid=9299 vsize=282332 CPUtime=0.07 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 378 0 0 0 7 0 0 0 18 0 4 0 502154225 289107968 1529 33554432000 4194304 4627427 140736660474864 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=282332 CPUtime=0.06 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 323 0 0 0 6 0 0 0 25 0 4 0 502154225 289107968 1530 33554432000 4194304 4627427 140736660474864 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=282332 CPUtime=0.07 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 202 0 0 0 7 0 0 0 18 0 4 0 502154225 289107968 1531 33554432000 4194304 4627427 140736660474864 18446744073709551615 4321474 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 282332

[startup+0.110509 s]
/proc/loadavg: 8.17 8.11 8.02 3/172 9301
/proc/meminfo: memFree=29741872/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=282332 CPUtime=0.41 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 1762 0 0 0 41 0 0 0 18 0 4 0 502154225 289107968 1669 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 70583 1669 384 106 0 65554 0
[pid=9301/tid=9302] ppid=9299 vsize=282332 CPUtime=0.1 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 420 0 0 0 10 0 0 0 18 0 4 0 502154225 289107968 1669 33554432000 4194304 4627427 140736660474864 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 359 0 0 0 9 0 0 0 25 0 4 0 502154225 289107968 1669 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=282332 CPUtime=0.1 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 231 0 0 0 10 0 0 0 18 0 4 0 502154225 289107968 1669 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282332

[startup+0.300476 s]
/proc/loadavg: 8.17 8.11 8.02 3/172 9301
/proc/meminfo: memFree=29741872/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=283732 CPUtime=1.17 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 2848 0 0 0 117 0 0 0 18 0 4 0 502154225 290541568 2131 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 70933 2131 385 106 0 65904 0
[pid=9301/tid=9302] ppid=9299 vsize=283732 CPUtime=0.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 706 0 0 0 29 0 0 0 18 0 4 0 502154225 290541568 2131 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=283732 CPUtime=0.28 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 613 0 0 0 28 0 0 0 25 0 4 0 502154225 290541568 2131 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=283732 CPUtime=0.29 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 512 0 0 0 29 0 0 0 18 0 4 0 502154225 290541568 2131 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283732

[startup+0.700405 s]
/proc/loadavg: 8.17 8.11 8.02 3/172 9301
/proc/meminfo: memFree=29741872/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=284784 CPUtime=2.77 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 4499 0 0 0 277 0 0 0 18 0 4 0 502154225 291618816 2862 33554432000 4194304 4627427 140736660474864 18446744073709551615 4330061 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 71196 2862 385 106 0 66167 0
[pid=9301/tid=9302] ppid=9299 vsize=284784 CPUtime=0.69 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 1123 0 0 0 69 0 0 0 18 0 4 0 502154225 291618816 2862 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=284784 CPUtime=0.68 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 1003 0 0 0 68 0 0 0 25 0 4 0 502154225 291618816 2862 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=284784 CPUtime=0.69 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 919 0 0 0 69 0 0 0 18 0 4 0 502154225 291618816 2862 33554432000 4194304 4627427 140736660474864 18446744073709551615 4352141 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284784

[startup+1.50026 s]
/proc/loadavg: 8.17 8.11 8.02 9/184 9313
/proc/meminfo: memFree=29720332/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=286128 CPUtime=5.97 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 9239 0 0 0 596 1 0 0 20 0 4 0 502154225 292995072 4708 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 71532 4708 390 106 0 66503 0
[pid=9301/tid=9302] ppid=9299 vsize=286128 CPUtime=1.49 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 1946 0 0 0 149 0 0 0 20 0 4 0 502154225 292995072 4708 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=286128 CPUtime=1.48 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 1802 0 0 0 148 0 0 0 25 0 4 0 502154225 292995072 4708 33554432000 4194304 4627427 140736660474864 18446744073709551615 4332987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=286128 CPUtime=1.48 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 1715 0 0 0 148 0 0 0 19 0 4 0 502154225 292995072 4708 33554432000 4194304 4627427 140736660474864 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286128

[startup+3.10098 s]
/proc/loadavg: 8.23 8.12 8.03 9/184 9313
/proc/meminfo: memFree=29696400/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=290976 CPUtime=12.36 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 18707 0 0 0 1234 2 0 0 25 0 4 0 502154225 297959424 9689 33554432000 4194304 4627427 140736660474864 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 72744 9689 391 106 0 67715 0
[pid=9301/tid=9302] ppid=9299 vsize=290976 CPUtime=3.09 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 4074 0 0 0 309 0 0 0 25 0 4 0 502154225 297959424 9689 33554432000 4194304 4627427 140736660474864 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=290976 CPUtime=3.07 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 5023 0 0 0 307 0 0 0 25 0 4 0 502154225 297959424 9689 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=290976 CPUtime=3.09 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 4585 0 0 0 308 1 0 0 25 0 4 0 502154225 297959424 9689 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 290976

[startup+6.30041 s]
/proc/loadavg: 8.23 8.12 8.03 9/184 9313
/proc/meminfo: memFree=29641248/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=297236 CPUtime=25.14 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 29671 0 0 0 2509 5 0 0 25 0 4 0 502154225 304369664 13208 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 74309 13208 389 106 0 69280 0
[pid=9301/tid=9302] ppid=9299 vsize=297236 CPUtime=6.28 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 7482 0 0 0 628 0 0 0 25 0 4 0 502154225 304369664 13208 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=297236 CPUtime=6.25 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 8396 0 0 0 624 1 0 0 25 0 4 0 502154225 304369664 13208 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=297236 CPUtime=6.28 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 6263 0 0 0 627 1 0 0 25 0 4 0 502154225 304369664 13208 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297236

[startup+12.7003 s]
/proc/loadavg: 8.20 8.12 8.02 9/184 9313
/proc/meminfo: memFree=29572328/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=307160 CPUtime=50.71 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 46633 0 0 0 5062 9 0 0 25 0 4 0 502154225 314531840 20761 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 76790 20761 389 106 0 71761 0
[pid=9301/tid=9302] ppid=9299 vsize=307160 CPUtime=12.69 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 11471 0 0 0 1267 2 0 0 25 0 4 0 502154225 314531840 20761 33554432000 4194304 4627427 140736660474864 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=307160 CPUtime=12.62 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 11684 0 0 0 1260 2 0 0 25 0 4 0 502154225 314531840 20761 33554432000 4194304 4627427 140736660474864 18446744073709551615 4327417 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=307160 CPUtime=12.68 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 10478 0 0 0 1266 2 0 0 25 0 4 0 502154225 314531840 20761 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 307160

[startup+25.501 s]
/proc/loadavg: 8.17 8.11 8.02 9/184 9313
/proc/meminfo: memFree=29523596/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=307956 CPUtime=101.85 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 68473 0 0 0 10172 13 0 0 25 0 4 0 502154225 315346944 28426 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 76989 28426 389 106 0 71960 0
[pid=9301/tid=9302] ppid=9299 vsize=307956 CPUtime=25.48 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 17422 0 0 0 2545 3 0 0 25 0 4 0 502154225 315346944 28426 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=307956 CPUtime=25.36 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 17973 0 0 0 2533 3 0 0 25 0 4 0 502154225 315346944 28426 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=307956 CPUtime=25.48 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 14529 0 0 0 2545 3 0 0 25 0 4 0 502154225 315346944 28426 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 307956

[startup+51.1004 s]
/proc/loadavg: 8.11 8.10 8.02 9/184 9314
/proc/meminfo: memFree=29458652/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=295692 CPUtime=204.12 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 99240 0 0 0 20391 21 0 0 25 0 4 0 502154225 302788608 34625 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 73923 34625 389 106 0 68894 0
[pid=9301/tid=9302] ppid=9299 vsize=295692 CPUtime=51.09 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 24507 0 0 0 5104 5 0 0 25 0 4 0 502154225 302788608 34625 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=295692 CPUtime=50.83 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 26650 0 0 0 5078 5 0 0 25 0 4 0 502154225 302788608 34625 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=295692 CPUtime=51.09 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 21854 0 0 0 5104 5 0 0 25 0 4 0 502154225 302788608 34625 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 295692

[startup+102.306 s]
/proc/loadavg: 8.04 8.08 8.02 9/184 9315
/proc/meminfo: memFree=29365880/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=387172 CPUtime=408.67 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 139685 0 0 0 40834 33 0 0 25 0 4 0 502154225 396464128 47299 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 96793 47299 389 106 0 91764 0
[pid=9301/tid=9302] ppid=9299 vsize=387172 CPUtime=102.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 34635 0 0 0 10222 7 0 0 25 0 4 0 502154225 396464128 47299 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=387172 CPUtime=101.76 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 36381 0 0 0 10169 7 0 0 25 0 4 0 502154225 396464128 47299 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=387172 CPUtime=102.29 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 32676 0 0 0 10220 9 0 0 25 0 4 0 502154225 396464128 47299 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 387172

[startup+162.301 s]

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

[pid=9301] ppid=9299 vsize=607428 CPUtime=2804.62 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 462591 0 0 0 280309 153 0 0 25 0 4 0 502154225 622006272 90106 33554432000 4194304 4627427 140736660474864 18446744073709551615 4324134 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 151857 90106 389 106 0 146828 0
[pid=9301/tid=9302] ppid=9299 vsize=607428 CPUtime=702.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 115982 0 0 0 70191 38 0 0 25 0 4 0 502154225 622006272 90106 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=607428 CPUtime=698.36 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 124533 0 0 0 69797 39 0 0 25 0 4 0 502154225 622006272 90106 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=607428 CPUtime=701.65 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 113851 0 0 0 70126 39 0 0 25 0 4 0 502154225 622006272 90106 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.62
Current children cumulated vsize (KiB) 607428

[startup+762.307 s]
/proc/loadavg: 8.07 8.11 8.04 9/184 9336
/proc/meminfo: memFree=28969184/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=558540 CPUtime=3044.31 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 490734 0 0 0 304266 165 0 0 25 0 4 0 502154225 571944960 89912 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 139635 89912 389 106 0 134606 0
[pid=9301/tid=9302] ppid=9299 vsize=558540 CPUtime=762.3 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 123090 0 0 0 76189 41 0 0 25 0 4 0 502154225 571944960 89912 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=558540 CPUtime=758.03 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 132626 0 0 0 75761 42 0 0 25 0 4 0 502154225 571944960 89912 33554432000 4194304 4627427 140736660474864 18446744073709551615 4332203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=558540 CPUtime=761.67 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 120958 0 0 0 76124 43 0 0 25 0 4 0 502154225 571944960 89912 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.31
Current children cumulated vsize (KiB) 558540

[startup+822.3 s]
/proc/loadavg: 8.11 8.11 8.04 9/184 9338
/proc/meminfo: memFree=28903200/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=546136 CPUtime=3283.97 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 514354 0 0 0 328222 175 0 0 25 0 4 0 502154225 559243264 94217 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 136534 94217 389 106 0 131505 0
[pid=9301/tid=9302] ppid=9299 vsize=546136 CPUtime=822.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 129490 0 0 0 82185 44 0 0 25 0 4 0 502154225 559243264 94217 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=546136 CPUtime=817.71 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 139754 0 0 0 81725 46 0 0 25 0 4 0 502154225 559243264 94217 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=546136 CPUtime=821.65 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 125737 0 0 0 82121 44 0 0 25 0 4 0 502154225 559243264 94217 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.97
Current children cumulated vsize (KiB) 546136

[startup+882.301 s]
/proc/loadavg: 8.20 8.14 8.05 9/184 9339
/proc/meminfo: memFree=28859152/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=552752 CPUtime=3523.64 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 540927 0 0 0 352179 185 0 0 25 0 4 0 502154225 566018048 102358 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 138188 102358 389 106 0 133159 0
[pid=9301/tid=9302] ppid=9299 vsize=552752 CPUtime=882.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 135927 0 0 0 88182 47 0 0 25 0 4 0 502154225 566018048 102358 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=552752 CPUtime=877.38 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 148362 0 0 0 87689 49 0 0 25 0 4 0 502154225 566018048 102358 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=552752 CPUtime=881.66 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 132465 0 0 0 88120 46 0 0 25 0 4 0 502154225 566018048 102358 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.64
Current children cumulated vsize (KiB) 552752

[startup+942.301 s]
/proc/loadavg: 8.19 8.14 8.06 9/184 9341
/proc/meminfo: memFree=28832468/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=592640 CPUtime=3763.31 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 560058 0 0 0 376138 193 0 0 25 0 4 0 502154225 606863360 110639 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 148160 110639 389 106 0 143131 0
[pid=9301/tid=9302] ppid=9299 vsize=592640 CPUtime=942.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 140750 0 0 0 94180 49 0 0 25 0 4 0 502154225 606863360 110639 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=592640 CPUtime=937.04 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 155348 0 0 0 93652 52 0 0 25 0 4 0 502154225 606863360 110639 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=592640 CPUtime=941.66 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 136589 0 0 0 94119 47 0 0 25 0 4 0 502154225 606863360 110639 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.31
Current children cumulated vsize (KiB) 592640

[startup+1002.3 s]
/proc/loadavg: 8.18 8.14 8.06 9/184 9342
/proc/meminfo: memFree=28824640/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=630420 CPUtime=4002.99 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 579239 0 0 0 400096 203 0 0 25 0 4 0 502154225 645550080 109500 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 157605 109500 389 106 0 152576 0
[pid=9301/tid=9302] ppid=9299 vsize=630420 CPUtime=1002.3 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 143962 0 0 0 100179 51 0 0 25 0 4 0 502154225 645550080 109500 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=630420 CPUtime=996.71 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 162246 0 0 0 99615 56 0 0 25 0 4 0 502154225 645550080 109500 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=630420 CPUtime=1001.66 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 141793 0 0 0 100118 48 0 0 25 0 4 0 502154225 645550080 109500 33554432000 4194304 4627427 140736660474864 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.99
Current children cumulated vsize (KiB) 630420

[startup+1062.3 s]
/proc/loadavg: 8.16 8.14 8.07 9/184 9344
/proc/meminfo: memFree=28709540/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=617792 CPUtime=4242.66 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 604639 0 0 0 424053 213 0 0 25 0 4 0 502154225 632619008 127313 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 154448 127313 389 106 0 149419 0
[pid=9301/tid=9302] ppid=9299 vsize=617792 CPUtime=1062.29 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 149890 0 0 0 106176 53 0 0 25 0 4 0 502154225 632619008 127313 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=617792 CPUtime=1056.38 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 168478 0 0 0 105580 58 0 0 25 0 4 0 502154225 632619008 127313 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=617792 CPUtime=1061.66 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 148597 0 0 0 106115 51 0 0 25 0 4 0 502154225 632619008 127313 33554432000 4194304 4627427 140736660474864 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.66
Current children cumulated vsize (KiB) 617792

[startup+1122.3 s]
/proc/loadavg: 8.13 8.14 8.07 9/184 9346
/proc/meminfo: memFree=28739644/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=657496 CPUtime=4482.33 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 621343 0 0 0 448013 220 0 0 25 0 4 0 502154225 673275904 117679 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 164374 117679 389 106 0 159345 0
[pid=9301/tid=9302] ppid=9299 vsize=657496 CPUtime=1122.3 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 151248 0 0 0 112176 54 0 0 25 0 4 0 502154225 673275904 117679 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=657496 CPUtime=1116.05 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 174841 0 0 0 111545 60 0 0 25 0 4 0 502154225 673275904 117679 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=657496 CPUtime=1121.66 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 154422 0 0 0 112112 54 0 0 25 0 4 0 502154225 673275904 117679 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 657496

[startup+1182.3 s]
/proc/loadavg: 8.15 8.14 8.08 9/184 9347
/proc/meminfo: memFree=28662620/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=684016 CPUtime=4722 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 640307 0 0 0 471973 227 0 0 25 0 4 0 502154225 700432384 128338 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 171004 128338 389 106 0 165975 0
[pid=9301/tid=9302] ppid=9299 vsize=684016 CPUtime=1182.3 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 156827 0 0 0 118174 56 0 0 25 0 4 0 502154225 700432384 128338 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=684016 CPUtime=1175.72 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 181030 0 0 0 117510 62 0 0 25 0 4 0 502154225 700432384 128338 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=684016 CPUtime=1181.66 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 156790 0 0 0 118111 55 0 0 25 0 4 0 502154225 700432384 128338 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722
Current children cumulated vsize (KiB) 684016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.17 8.15 8.08 5/179 9349
/proc/meminfo: memFree=29224372/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=684016 CPUtime=4800.32 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 647388 0 0 0 479802 230 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 171004 128486 389 106 0 165975 0
[pid=9301/tid=9302] ppid=9299 vsize=684016 CPUtime=1201.91 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 158271 0 0 0 120134 57 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=684016 CPUtime=1195.22 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 182244 0 0 0 119459 63 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=684016 CPUtime=1201.28 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 158658 0 0 0 120072 56 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 684016

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

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

[startup+1201.9 s]
/proc/loadavg: 8.17 8.15 8.08 5/179 9349
/proc/meminfo: memFree=29224372/32951124 swapFree=67111348/67111528
[pid=9301] ppid=9299 vsize=684016 CPUtime=4800.32 cores=0,2,4,6
/proc/9301/stat : 9301 (strangenight2-m) R 9299 9301 9165 0 -1 4202496 647388 0 0 0 479802 230 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9301/statm: 171004 128486 389 106 0 165975 0
[pid=9301/tid=9302] ppid=9299 vsize=684016 CPUtime=1201.91 cores=0,2,4,6
/proc/9301/task/9302/stat : 9302 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 158271 0 0 0 120134 57 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9301/tid=9303] ppid=9299 vsize=684016 CPUtime=1195.22 cores=0,2,4,6
/proc/9301/task/9303/stat : 9303 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 182244 0 0 0 119459 63 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9301/tid=9304] ppid=9299 vsize=684016 CPUtime=1201.28 cores=0,2,4,6
/proc/9301/task/9304/stat : 9304 (strangenight2-m) R 9299 9301 9165 0 -1 4202560 158658 0 0 0 120072 56 0 0 25 0 4 0 502154225 700432384 128486 33554432000 4194304 4627427 140736660474864 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 684016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.37
CPU user time (s): 4798.04
CPU system time (s): 2.32865
CPU usage (%): 399.385
Max. virtual memory (cumulated for all children) (KiB): 776752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.04
system time used= 2.32864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647388
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= 422
involuntary context switches= 24244

runsolver used 1.92571 second user time and 4.52631 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 19:16:29
IDJOB=3174119
IDBENCH=82937
IDSOLVER=1586
FILE ID=node140/3174119-1304097389
RUNJOBID= node140-1304096185-9183
PBS_JOBID= 13170605
Free space on /tmp= 72664 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174119-1304097389/watcher-3174119-1304097389 -o /tmp/evaluation-result-3174119-1304097389/solver-3174119-1304097389 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174119-1304097389.cnf

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

MD5SUM BENCH= fa2c840574747ca3ff8efe8a9137bb94
RANDOM SEED=1028262581

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29741912 kB
Buffers:       1003216 kB
Cached:        1653360 kB
SwapCached:        180 kB
Active:         268688 kB
Inactive:      2450608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29741912 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11348 kB
Writeback:          32 kB
AnonPages:       62044 kB
Mapped:          14568 kB
Slab:           426500 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184948 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= 72652 MiB
End job on node140 at 2011-04-29 19:36:33