Trace number 3174068

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.39 1201.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
MD5SUM200b19edc2ebf99249f1125469c39206
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 variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3174068-1304081547.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
2.38/0.63	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
2.38/0.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2.38/0.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.38/0.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.38/0.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.38/0.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2.38/0.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.38/0.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
2.38/0.63	c Finding binary XORs  T:     0.00 s  found:       0
2.38/0.63	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.38/0.63	c calculated reachability. Time: 0.00
2.38/0.63	c Calc default polars -  time:   0.00 s pos:      75 undec:       5 neg:      70
2.38/0.63	c =========================================================================================
2.38/0.63	c types(t): F = full restart, N = normal restart
2.38/0.63	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4919       150      3195         0      4710     15975    141564   no data   no data
3.18/0.80	c  N st    10     11307       150      3195         0      4344     15975     99526   no data   no data
3.18/0.80	c  N st    11     17050       150      3195         0      9812     15975    266241   no data   no data
3.98/1.00	c  F st    12     25004       150      3195         0     12002     15975    326589   no data   no data
3.98/1.00	c  N st    12     25004       150      3195         0     12002     15975    326589   no data   no data
4.40/1.20	c Decided on static restart strategy
4.40/1.20	c  N st    18     30000       150      3195         0     10303     15975    266161   no data   no data
4.40/1.20	c  S st    18     30000       150      3195         0     10303     15975    266161   no data   no data
4.40/1.20	c  S st    18     30503       150      3195         0     10798     15975    280499   no data   no data
4.40/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.20	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.40/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.40/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       242  cl-subs:     1106  v-elim:      0  v-fix:    0  time:  0.17 s
5.97/1.50	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30503       150      3195         0      9692     15975    242167   no data   no data
6.76/1.78	c  N st    20     37615       150      3195         0      8976     15975    199689   no data   no data
8.37/2.10	c  N st    21     44014       150      3195         0     15051     15975    377663   no data   no data
8.79/2.22	c  S st    22     45754       150      3195         0     16711     15975    426161   no data   no data
8.79/2.27	c  S st    22     46256       150      3195         0      8676     15975    171327   no data   no data
8.79/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.30	c lits-rem:        19  cl-subs:      146  v-elim:      0  v-fix:    0  time:  0.02 s
9.19/2.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.19/2.31	c vivif2 --  cl tried     8530 cl shrink        0 lits rem          0 time: 0.00
9.19/2.34	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.19/2.34	c calculated reachability. Time: 0.00
9.19/2.34	c  N st    22     46256       150      3195         0      8530     15975    166763   no data   no data
12.36/3.14	c  N st    23     60653       150      3195         0     12722     15975    279356   no data   no data
14.35/3.67	c  N st    24     69385       150      3195         0     10589     15975    197373   no data   no data
14.35/3.67	c  S st    24     69385       150      3195         0     10589     15975    197373   no data   no data
14.75/3.70	c  S st    24     69889       150      3195         0     11081     15975    211726   no data   no data
14.75/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.75/3.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.75/3.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.75/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.75/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.75/3.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.75/3.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.76	c lits-rem:        50  cl-subs:      269  v-elim:      0  v-fix:    0  time:  0.04 s
14.75/3.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.75/3.76	c vivif2 --  cl tried    10812 cl shrink        0 lits rem          0 time: 0.00
15.15/3.81	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.15/3.81	c calculated reachability. Time: 0.00
15.15/3.81	c  N st    24     69889       150      3195         0     10812     15975    202753   no data   no data
19.15/4.89	c  F st    25     87500       150      3195         0     16114     15975    349832   no data   no data
19.15/4.89	c  N st    25     87500       150      3195         0     16114     15975    349832   no data   no data
20.75/5.22	c Decided on static restart strategy
21.55/5.43	c  N st    32     95543       150      3195         0     23783     15975    582613   no data   no data
23.55/5.97	c  N st    34    104833       150      3195         0     20301     15975    471008   no data   no data
23.55/5.97	c  S st    34    104833       150      3195         0     20301     15975    471008   no data   no data
23.95/6.02	c  S st    34    105337       150      3195         0     20795     15975    485885   no data   no data
23.95/6.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.95/6.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.95/6.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.95/6.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.95/6.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.95/6.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.95/6.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
23.95/6.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.47	c lits-rem:       308  cl-subs:     1362  v-elim:      0  v-fix:    0  time:  0.42 s
25.54/6.47	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.54/6.48	c vivif2 --  cl tried    19433 cl shrink        0 lits rem          0 time: 0.01
25.94/6.56	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.94/6.56	c calculated reachability. Time: 0.00
25.94/6.56	c  N st    34    105337       150      3195         0     19433     15975    440695   no data   no data
28.74/7.22	c  N st    35    114935       150      3195         0     15284     15975    304553   no data   no data
33.53/8.42	c  N st    36    129333       150      3195         0     14664     15975    259849   no data   no data
39.94/10.09	c  N st    37    150928       150      3195         0     19958     15975    397205   no data   no data
42.32/10.60	c  S st    38    158005       150      3195         0     26702     15975    605502   no data   no data
42.32/10.67	c  S st    38    158506       150      3195         0     27197     15975    619858   no data   no data
42.32/10.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.32/10.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.32/10.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.32/10.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.32/10.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.32/10.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.32/10.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.32/10.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.72/10.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.56	c lits-rem:       523  cl-subs:     1830  v-elim:      0  v-fix:    0  time:  0.85 s
45.91/11.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.91/11.57	c vivif2 --  cl tried    25367 cl shrink        0 lits rem          0 time: 0.01
46.31/11.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
46.31/11.68	c calculated reachability. Time: 0.00
46.31/11.68	c  N st    38    158506       150      3195         0     25367     15975    560239   no data   no data
64.68/16.27	c  N st    39    207094       150      3195         0     20186     15975    359188   no data   no data
76.27/19.19	c  N st    40    237760       150      3195         0     30245     15975    653200   no data   no data
76.27/19.19	c  S st    40    237760       150      3195         0     30245     15975    653200   no data   no data
76.67/19.28	c  S st    40    238263       150      3195         0     30740     15975    667536   no data   no data
76.67/19.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.07/19.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.07/19.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.07/19.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.07/19.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.07/19.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.07/19.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.07/19.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.07/19.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.86/20.54	c lits-rem:       576  cl-subs:     2395  v-elim:      0  v-fix:    0  time:  1.22 s
81.86/20.54	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.86/20.55	c vivif2 --  cl tried    28345 cl shrink        0 lits rem          0 time: 0.01
82.26/20.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
82.26/20.68	c calculated reachability. Time: 0.00
82.26/20.68	c  N st    40    238263       150      3195         0     28345     15975    594565   no data   no data
107.43/26.92	c  F st    41    306250       150      3195         0     30400     15975    616660   no data   no data
107.43/26.92	c  N st    41    306250       150      3195         0     30400     15975    616660   no data   no data
109.43/27.44	c Decided on static restart strategy
117.81/29.55	c  N st    51    334555       150      3195         0     34644     15975    720386   no data   no data
127.82/32.02	c  N st    53    357394       150      3195         0     32564     15975    623587   no data   no data
127.82/32.02	c  S st    53    357394       150      3195         0     32564     15975    623587   no data   no data
128.20/32.11	c  S st    53    357899       150      3195         0     33061     15975    638217   no data   no data
128.20/32.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.20/32.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
128.20/32.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.20/32.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.20/32.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.20/32.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
128.20/32.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
128.20/32.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
128.20/32.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.00/32.88	c lits-rem:       347  cl-subs:     1508  v-elim:      0  v-fix:    0  time:  0.73 s
131.00/32.88	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
131.00/32.89	c vivif2 --  cl tried    31553 cl shrink        0 lits rem          0 time: 0.01
131.81/33.03	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.15
131.81/33.04	c calculated reachability. Time: 0.00
131.81/33.04	c  N st    53    357899       150      3195         0     31553     15975    588203   no data   no data
146.97/36.86	c  N st    54    390292       150      3195         0     37625     15975    757249   no data   no data
175.75/44.01	c  N st    55    438880       150      3195         0     31484     15975    550879   no data   no data
210.90/52.83	c  N st    56    511762       150      3195         0     44558     15975    902510   no data   no data
222.47/55.70	c  N st    57    536848       150      3195         0     38883     15975    712927   no data   no data
222.47/55.70	c  S st    57    536848       150      3195         0     38883     15975    712927   no data   no data
222.86/55.80	c  S st    57    537353       150      3195         0     39375     15975    727561   no data   no data
222.86/55.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
222.86/55.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
222.86/55.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.86/55.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.86/55.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.86/55.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
222.86/55.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
222.86/55.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.86/55.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.86/56.89	c lits-rem:       419  cl-subs:     1938  v-elim:      0  v-fix:    0  time:  1.05 s
226.86/56.89	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
227.26/56.90	c vivif2 --  cl tried    37437 cl shrink        0 lits rem          0 time: 0.01
227.67/57.07	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
227.67/57.07	c calculated reachability. Time: 0.00
227.67/57.07	c  N st    57    537353       150      3195         0     37437     15975    667358   no data   no data
315.95/79.11	c  N st    58    701338       150      3195         0     65820     15975   1483045   no data   no data
381.85/95.60	c  N st    59    806029       150      3195         0     59618     15975   1202162   no data   no data
381.85/95.60	c  S st    59    806029       150      3195         0     59618     15975   1202162   no data   no data
382.27/95.76	c  S st    59    806534       150      3195         0     60111     15975   1217264   no data   no data
382.27/95.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
382.27/95.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
382.27/95.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
382.27/95.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.27/95.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.27/95.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
382.27/95.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.67/95.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
382.67/95.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.81/103.10	c lits-rem:      1097  cl-subs:     6220  v-elim:      0  v-fix:    0  time:  7.26 s
411.81/103.10	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
411.81/103.11	c vivif2 --  cl tried    53891 cl shrink        0 lits rem          0 time: 0.01
412.61/103.40	c asymm  cl-useful: 0/3040/3195 lits-rem:0 time: 0.28
412.61/103.40	c calculated reachability. Time: 0.00
412.61/103.40	c  N st    59    806534       150      3195         0     53891     15975   1039542   no data   no data
585.97/146.76	c  F st    60   1071875       150      3195         0     69608     15975   1427936   no data   no data
585.97/146.76	c  N st    60   1071875       150      3195         0     69608     15975   1427936   no data   no data
590.76/147.95	c Decided on static restart strategy
606.36/151.87	c  N st    70   1100177       150      3195         0     54186     15975    949288   no data   no data
635.91/159.23	c  N st    72   1136170       150      3195         0     44805     15975    625835   no data   no data
659.10/165.06	c  N st    73   1168564       150      3195         0     75642     15975   1581625   no data   no data
699.82/175.29	c  N st    74   1209802       150      3195         0     70009     15975   1373666   no data   no data
699.82/175.29	c  S st    74   1209802       150      3195         0     70009     15975   1373666   no data   no data
701.02/175.56	c  S st    74   1210303       150      3195         0     70498     15975   1388230   no data   no data
701.02/175.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
701.42/175.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
701.42/175.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
701.42/175.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
701.42/175.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
701.42/175.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
701.42/175.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
701.42/175.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
701.42/175.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
742.16/185.86	c lits-rem:      1980  cl-subs:     5209  v-elim:      0  v-fix:    0  time: 10.18 s
742.16/185.86	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
742.16/185.88	c vivif2 --  cl tried    65289 cl shrink        0 lits rem          0 time: 0.02
744.16/186.33	c asymm  cl-useful: 0/2474/3195 lits-rem:0 time: 0.45
744.16/186.33	c calculated reachability. Time: 0.00
744.16/186.33	c  N st    74   1210303       150      3195         0     65289     15975   1225664   no data   no data
812.06/203.39	c  N st    75   1283185       150      3195         0     89013     15975   1947588   no data   no data
913.94/228.84	c  N st    76   1392508       150      3195         0     50472     15975    699264   no data   no data
1058.54/265.09	c  N st    77   1556493       150      3195         0     54879     15975    782344   no data   no data
1197.94/299.93	c  N st    78   1710304       150      3195         0     95458     15975   2008249   no data   no data
1197.94/299.93	c  S st    78   1710304       150      3195         0     95458     15975   2008249   no data   no data
1199.14/300.24	c  S st    78   1710813       150      3195         0     95959     15975   2023044   no data   no data
1199.14/300.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1199.14/300.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1199.14/300.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1199.14/300.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1199.14/300.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1199.14/300.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1199.14/300.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1199.56/300.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1199.56/300.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1285.82/321.97	c lits-rem:      2784  cl-subs:     8353  v-elim:      0  v-fix:    0  time: 21.59 s
1285.82/321.97	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1286.22/322.00	c vivif2 --  cl tried    87606 cl shrink        0 lits rem          0 time: 0.03
1286.62/322.16	c asymm  cl-useful: 0/721/3195 lits-rem:0 time: 0.16
1286.62/322.17	c calculated reachability. Time: 0.00
1286.62/322.17	c  N st    78   1710813       150      3195         0     87606     15975   1764592   no data   no data
1671.31/418.43	c  N st    79   2079778       150      3195         0     98697     15975   1949126   no data   no data
1807.92/452.63	c  N st    80   2210814       150      3195         0    102994     15975   2109587   no data   no data
1807.92/452.63	c  S st    80   2210814       150      3195         0    102994     15975   2109587   no data   no data
1809.12/452.94	c  S st    80   2211317       150      3195         0    103489     15975   2123774   no data   no data
1809.12/452.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1809.52/453.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1809.52/453.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1809.52/453.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1809.52/453.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1809.52/453.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1809.52/453.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1809.52/453.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1809.52/453.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1904.98/476.96	c lits-rem:      2861  cl-subs:     9034  v-elim:      0  v-fix:    0  time: 23.87 s
1904.98/476.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1904.98/476.99	c vivif2 --  cl tried    94455 cl shrink        0 lits rem          0 time: 0.03
1906.59/477.34	c asymm  cl-useful: 0/1818/3195 lits-rem:0 time: 0.35
1906.59/477.35	c calculated reachability. Time: 0.00
1906.59/477.35	c  N st    80   2211317       150      3195         0     94455     15975   1841282   no data   no data
2431.06/608.63	c  N st    81   2711319       150      3195         0    117295     15975   2434706   no data   no data
2431.06/608.63	c  S st    81   2711319       150      3195         0    117295     15975   2434706   no data   no data
2432.26/608.99	c  S st    81   2711820       150      3195         0    117786     15975   2449570   no data   no data
2432.65/609.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2432.65/609.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2432.65/609.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2432.65/609.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2432.65/609.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2432.65/609.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2432.65/609.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2432.65/609.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2433.05/609.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2587.65/647.81	c lits-rem:      3694  cl-subs:    12592  v-elim:      0  v-fix:    0  time: 38.65 s
2587.65/647.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2587.65/647.84	c vivif2 --  cl tried   105194 cl shrink        0 lits rem          0 time: 0.03
2589.24/648.22	c asymm  cl-useful: 0/1377/3195 lits-rem:0 time: 0.38
2589.24/648.22	c calculated reachability. Time: 0.00
2589.24/648.22	c  N st    81   2711820       150      3195         0    105194     15975   2063869   no data   no data
3167.67/793.26	c  N st    82   3211821       150      3195         0     82775     15975   1206914   no data   no data
3167.67/793.26	c  S st    82   3211821       150      3195         0     82775     15975   1206914   no data   no data
3168.84/793.56	c  S st    82   3212323       150      3195         0     83267     15975   1222349   no data   no data
3168.84/793.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3169.24/793.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3169.24/793.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3169.24/793.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3169.24/793.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3169.24/793.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3169.24/793.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3169.24/793.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3169.24/793.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3178.83/796.08	c lits-rem:       463  cl-subs:     2068  v-elim:      0  v-fix:    0  time:  2.40 s
3178.83/796.08	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3179.23/796.10	c vivif2 --  cl tried    81199 cl shrink        0 lits rem          0 time: 0.02
3180.44/796.43	c asymm  cl-useful: 0/2035/3195 lits-rem:0 time: 0.33
3180.44/796.43	c calculated reachability. Time: 0.00
3180.44/796.43	c  N st    82   3212323       150      3195         0     81199     15975   1161458   no data   no data
3781.22/946.84	c  N st    83   3712324       150      3195         0     91451     15975   1364868   no data   no data
3781.22/946.84	c  S st    83   3712324       150      3195         0     91451     15975   1364868   no data   no data
3782.44/947.17	c  S st    83   3712826       150      3195         0     91940     15975   1379760   no data   no data
3782.44/947.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3782.84/947.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3782.84/947.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3782.84/947.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3782.84/947.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3782.84/947.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3782.84/947.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3782.84/947.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3783.21/947.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3805.58/952.97	c lits-rem:       563  cl-subs:     2742  v-elim:      0  v-fix:    0  time:  5.66 s
3805.58/952.97	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3805.58/952.99	c vivif2 --  cl tried    89198 cl shrink        0 lits rem          0 time: 0.02
3807.18/953.33	c asymm  cl-useful: 0/1160/3195 lits-rem:0 time: 0.34
3807.18/953.34	c calculated reachability. Time: 0.00
3807.18/953.34	c  N st    83   3712826       150      3195         0     89198     15975   1300793   no data   no data
3862.31/967.18	c  F st    84   3751563       150      3195         0    125860     15975   2444502   no data   no data
3862.31/967.18	c  N st    84   3751563       150      3195         0    125860     15975   2444502   no data   no data
3871.10/969.31	c Decided on static restart strategy
3910.27/979.14	c  N st    94   3779864       150      3195         0    152781     15975   3278161   no data   no data
3964.57/992.79	c  N st    96   3815860       150      3195         0    106821     15975   1826878   no data   no data
4028.50/1008.76	c  N st    97   3848252       150      3195         0    137540     15975   2786092   no data   no data
4095.60/1025.52	c  N st    98   3896842       150      3195         0    102262     15975   1662622   no data   no data
4201.88/1052.13	c  N st    99   3969724       150      3195         0     88892     15975   1219471   no data   no data
4334.12/1085.26	c  N st   100   4079050       150      3195         0    108754     15975   1807138   no data   no data
4521.89/1132.21	c  N st   101   4212826       150      3195         0    151063     15975   3124760   no data   no data
4521.89/1132.21	c  S st   101   4212826       150      3195         0    151063     15975   3124760   no data   no data
4523.88/1132.71	c  S st   101   4213333       150      3195         0    151560     15975   3139567   no data   no data
4523.88/1132.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4524.28/1132.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4524.28/1132.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4524.28/1132.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4524.28/1132.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4524.28/1132.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4524.28/1132.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4524.28/1132.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4524.68/1132.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4757.17/1191.12	c lits-rem:      6092  cl-subs:    14608  v-elim:      0  v-fix:    0  time: 58.18 s
4757.17/1191.12	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4757.17/1191.16	c vivif2 --  cl tried   136952 cl shrink        0 lits rem          0 time: 0.04
4758.76/1191.55	c asymm  cl-useful: 0/1295/3195 lits-rem:0 time: 0.39
4758.76/1191.55	c calculated reachability. Time: 0.00
4758.76/1191.55	c  N st   101   4213333       150      3195         0    136952     15975   2689231   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-3174068-1304081547/watcher-3174068-1304081547 -o /tmp/evaluation-result-3174068-1304081547/solver-3174068-1304081547 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174068-1304081547.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.81 8.00 7.99 5/180 29142
/proc/meminfo: memFree=30726060/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 516 0 0 0 0 0 0 0 25 0 4 0 519752640 187654144 440 33554432000 4194304 4627427 140734017327616 18446744073709551615 228244348731 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 45815 462 331 106 0 40786 0
[pid=29142/tid=29143] ppid=29140 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 4 0 519752641 187658240 477 33554432000 4194304 4627427 140734017327616 18446744073709551615 228244009669 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 4 0 519752641 187658240 495 33554432000 4194304 4627427 140734017327616 18446744073709551615 228244348731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 59 0 0 0 0 0 0 0 25 0 4 0 519752641 187658240 513 33554432000 4194304 4627427 140734017327616 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.10699 s]
/proc/loadavg: 7.81 8.00 7.99 5/180 29142
/proc/meminfo: memFree=30726060/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=282532 CPUtime=0.4 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 2039 0 0 0 40 0 0 0 18 0 4 0 519752640 289312768 1866 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 70633 1866 383 106 0 65604 0
[pid=29142/tid=29143] ppid=29140 vsize=282532 CPUtime=0.1 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 469 0 0 0 10 0 0 0 18 0 4 0 519752641 289312768 1866 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=282532 CPUtime=0.09 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 431 0 0 0 9 0 0 0 25 0 4 0 519752641 289312768 1866 33554432000 4194304 4627427 140734017327616 18446744073709551615 4334146 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=282532 CPUtime=0.09 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 298 0 0 0 9 0 0 0 18 0 4 0 519752641 289312768 1867 33554432000 4194304 4627427 140734017327616 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282532

[startup+0.200975 s]
/proc/loadavg: 7.81 8.00 7.99 5/180 29142
/proc/meminfo: memFree=30726060/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=284372 CPUtime=0.77 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 2891 0 0 0 77 0 0 0 18 0 4 0 519752640 291196928 1996 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 71093 1996 384 106 0 66064 0
[pid=29142/tid=29143] ppid=29140 vsize=284372 CPUtime=0.19 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 688 0 0 0 19 0 0 0 18 0 4 0 519752641 291196928 1996 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=284372 CPUtime=0.19 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 652 0 0 0 19 0 0 0 25 0 4 0 519752641 291196928 1996 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=284372 CPUtime=0.19 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 503 0 0 0 19 0 0 0 18 0 4 0 519752641 291196928 1996 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284372

[startup+0.300956 s]
/proc/loadavg: 7.81 8.00 7.99 5/180 29142
/proc/meminfo: memFree=30726060/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=284680 CPUtime=1.17 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 3383 0 0 0 117 0 0 0 18 0 4 0 519752640 291512320 2488 33554432000 4194304 4627427 140734017327616 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 71170 2488 384 106 0 66141 0
[pid=29142/tid=29143] ppid=29140 vsize=284680 CPUtime=0.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 811 0 0 0 29 0 0 0 18 0 4 0 519752641 291512320 2488 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=284680 CPUtime=0.29 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 776 0 0 0 29 0 0 0 25 0 4 0 519752641 291512320 2489 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=284680 CPUtime=0.29 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 622 0 0 0 29 0 0 0 18 0 4 0 519752641 291512320 2489 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284680

[startup+0.700889 s]
/proc/loadavg: 7.81 8.00 7.99 5/180 29142
/proc/meminfo: memFree=30726060/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=286468 CPUtime=2.78 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 6106 0 0 0 277 1 0 0 18 0 4 0 519752640 293343232 2729 33554432000 4194304 4627427 140734017327616 18446744073709551615 4504795 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 71617 2729 384 106 0 66588 0
[pid=29142/tid=29143] ppid=29140 vsize=286468 CPUtime=0.69 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 1482 0 0 0 69 0 0 0 18 0 4 0 519752641 293343232 2729 33554432000 4194304 4627427 140734017327616 18446744073709551615 4302419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=286468 CPUtime=0.69 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 1468 0 0 0 69 0 0 0 25 0 4 0 519752641 293343232 2729 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=286468 CPUtime=0.69 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 1298 0 0 0 69 0 0 0 18 0 4 0 519752641 293343232 2729 33554432000 4194304 4627427 140734017327616 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286468

[startup+1.50075 s]
/proc/loadavg: 7.81 8.00 7.99 9/184 29146
/proc/meminfo: memFree=30712512/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=288040 CPUtime=5.97 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 11529 0 0 0 595 2 0 0 20 0 4 0 519752640 294952960 4914 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 72010 4914 388 106 0 66981 0
[pid=29142/tid=29143] ppid=29140 vsize=288040 CPUtime=1.49 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 2499 0 0 0 149 0 0 0 20 0 4 0 519752641 294952960 4914 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=288040 CPUtime=1.48 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 2473 0 0 0 148 0 0 0 25 0 4 0 519752641 294952960 4914 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=288040 CPUtime=1.49 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 2365 0 0 0 148 1 0 0 20 0 4 0 519752641 294952960 4914 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288040

[startup+3.10047 s]
/proc/loadavg: 7.81 8.00 7.99 9/184 29146
/proc/meminfo: memFree=30692392/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=294172 CPUtime=12.36 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 22542 0 0 0 1232 4 0 0 25 0 4 0 519752640 301232128 10984 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 73543 10984 388 106 0 68514 0
[pid=29142/tid=29143] ppid=29140 vsize=294172 CPUtime=3.08 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 5128 0 0 0 308 0 0 0 25 0 4 0 519752641 301232128 10984 33554432000 4194304 4627427 140734017327616 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=294172 CPUtime=3.07 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 5798 0 0 0 307 0 0 0 25 0 4 0 519752641 301232128 10984 33554432000 4194304 4627427 140734017327616 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=294172 CPUtime=3.08 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 5759 0 0 0 307 1 0 0 25 0 4 0 519752641 301232128 10984 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294172

[startup+6.30091 s]
/proc/loadavg: 7.82 8.00 7.99 9/184 29146
/proc/meminfo: memFree=30663624/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=303472 CPUtime=25.14 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 36623 0 0 0 2507 7 0 0 25 0 4 0 519752640 310755328 16898 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 75868 16898 388 106 0 70839 0
[pid=29142/tid=29143] ppid=29140 vsize=303472 CPUtime=6.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 8993 0 0 0 628 1 0 0 25 0 4 0 519752641 310755328 16898 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=303472 CPUtime=6.26 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 9392 0 0 0 624 2 0 0 25 0 4 0 519752641 310755328 16898 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=303472 CPUtime=6.29 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 8205 0 0 0 627 2 0 0 25 0 4 0 519752641 310755328 16898 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 303472

[startup+12.7008 s]
/proc/loadavg: 7.84 8.00 7.99 9/184 29147
/proc/meminfo: memFree=30646496/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=309544 CPUtime=50.7 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 56383 0 0 0 5059 11 0 0 25 0 4 0 519752640 316973056 20783 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 77386 20783 388 106 0 72357 0
[pid=29142/tid=29143] ppid=29140 vsize=309544 CPUtime=12.68 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 13662 0 0 0 1267 1 0 0 25 0 4 0 519752641 316973056 20783 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=309544 CPUtime=12.62 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 14104 0 0 0 1259 3 0 0 25 0 4 0 519752641 316973056 20783 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=309544 CPUtime=12.69 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 13632 0 0 0 1266 3 0 0 25 0 4 0 519752641 316973056 20783 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 309544

[startup+25.5006 s]
/proc/loadavg: 7.87 8.00 7.99 9/184 29147
/proc/meminfo: memFree=30603724/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=331348 CPUtime=101.83 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 85482 0 0 0 10164 19 0 0 25 0 4 0 519752640 339300352 30423 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 82837 30423 388 106 0 77808 0
[pid=29142/tid=29143] ppid=29140 vsize=331348 CPUtime=25.49 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 21361 0 0 0 2545 4 0 0 25 0 4 0 519752641 339300352 30423 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=331348 CPUtime=25.35 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 21868 0 0 0 2530 5 0 0 25 0 4 0 519752641 339300352 30423 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=331348 CPUtime=25.49 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 20099 0 0 0 2544 5 0 0 25 0 4 0 519752641 339300352 30423 33554432000 4194304 4627427 140734017327616 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 331348

[startup+51.1011 s]
/proc/loadavg: 7.99 8.02 7.99 9/184 29148
/proc/meminfo: memFree=30557980/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=344772 CPUtime=204.1 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 123291 0 0 0 20380 30 0 0 25 0 4 0 519752640 353046528 36577 33554432000 4194304 4627427 140734017327616 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 86193 36577 388 106 0 81164 0
[pid=29142/tid=29143] ppid=29140 vsize=344772 CPUtime=51.09 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 29862 0 0 0 5103 6 0 0 25 0 4 0 519752641 353046528 36577 33554432000 4194304 4627427 140734017327616 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=344772 CPUtime=50.81 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 32131 0 0 0 5074 7 0 0 25 0 4 0 519752641 353046528 36577 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=344772 CPUtime=51.08 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 30148 0 0 0 5099 9 0 0 25 0 4 0 519752641 353046528 36577 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 344772

[startup+102.301 s]
/proc/loadavg: 8.13 8.04 8.00 9/184 29149
/proc/meminfo: memFree=30451632/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=369808 CPUtime=408.64 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 181325 0 0 0 40812 52 0 0 25 0 4 0 519752640 378683392 49719 33554432000 4194304 4627427 140734017327616 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 92452 49719 388 106 0 87423 0
[pid=29142/tid=29143] ppid=29140 vsize=369808 CPUtime=102.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 43041 0 0 0 10219 10 0 0 25 0 4 0 519752641 378683392 49719 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=369808 CPUtime=101.73 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 42726 0 0 0 10160 13 0 0 25 0 4 0 519752641 378683392 49719 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=369808 CPUtime=102.29 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 46901 0 0 0 10214 15 0 0 25 0 4 0 519752641 378683392 49719 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 369808

[startup+162.301 s]

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

[pid=29142] ppid=29140 vsize=585576 CPUtime=2565.68 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 551531 0 0 0 256360 208 0 0 25 0 4 0 519752640 599629824 99718 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 146394 99718 388 106 0 141365 0
[pid=29142/tid=29143] ppid=29140 vsize=585576 CPUtime=642.28 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 130863 0 0 0 64180 48 0 0 25 0 4 0 519752641 599629824 99718 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=585576 CPUtime=638.8 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 136539 0 0 0 63827 53 0 0 25 0 4 0 519752641 599629824 99718 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=585576 CPUtime=642.28 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 146735 0 0 0 64169 59 0 0 25 0 4 0 519752641 599629824 99718 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 585576

[startup+702.301 s]
/proc/loadavg: 8.18 8.12 8.03 9/184 29174
/proc/meminfo: memFree=30079820/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=641536 CPUtime=2805.35 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 583110 0 0 0 280314 221 0 0 25 0 4 0 519752640 656932864 102349 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 160384 102349 388 106 0 155355 0
[pid=29142/tid=29143] ppid=29140 vsize=641536 CPUtime=702.28 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 140118 0 0 0 70176 52 0 0 25 0 4 0 519752641 656932864 102349 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=641536 CPUtime=698.47 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 146656 0 0 0 69790 57 0 0 25 0 4 0 519752641 656932864 102349 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=641536 CPUtime=702.28 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 154863 0 0 0 70165 63 0 0 25 0 4 0 519752641 656932864 102349 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 641536

[startup+762.301 s]
/proc/loadavg: 8.36 8.19 8.05 9/184 29179
/proc/meminfo: memFree=30055960/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=666832 CPUtime=3044.23 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 617125 0 0 0 304190 233 0 0 25 0 4 0 519752640 682835968 111298 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 166708 111298 388 106 0 161679 0
[pid=29142/tid=29143] ppid=29140 vsize=666832 CPUtime=762.3 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 147774 0 0 0 76175 55 0 0 25 0 4 0 519752641 682835968 111298 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=666832 CPUtime=758.15 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 154856 0 0 0 75754 61 0 0 25 0 4 0 519752641 682835968 111298 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=666832 CPUtime=761.47 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 167619 0 0 0 76081 66 0 0 25 0 4 0 519752641 682835968 111298 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.23
Current children cumulated vsize (KiB) 666832

[startup+822.301 s]
/proc/loadavg: 8.18 8.16 8.05 9/184 29180
/proc/meminfo: memFree=29996832/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=717480 CPUtime=3283.89 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 639896 0 0 0 328146 243 0 0 25 0 4 0 519752640 734699520 117380 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 179370 117380 388 106 0 174341 0
[pid=29142/tid=29143] ppid=29140 vsize=717480 CPUtime=822.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 151797 0 0 0 82172 57 0 0 25 0 4 0 519752641 734699520 117380 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=717480 CPUtime=817.82 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 164768 0 0 0 81717 65 0 0 25 0 4 0 519752641 734699520 117380 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=717480 CPUtime=821.46 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 170995 0 0 0 82079 67 0 0 25 0 4 0 519752641 734699520 117380 33554432000 4194304 4627427 140734017327616 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.89
Current children cumulated vsize (KiB) 717480

[startup+882.307 s]
/proc/loadavg: 8.11 8.15 8.05 9/184 29182
/proc/meminfo: memFree=29958432/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=801068 CPUtime=3523.58 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 666626 0 0 0 352099 259 0 0 25 0 4 0 519752640 820293632 123843 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 200267 123843 388 106 0 195238 0
[pid=29142/tid=29143] ppid=29140 vsize=801068 CPUtime=882.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 160034 0 0 0 88168 61 0 0 25 0 4 0 519752641 820293632 123843 33554432000 4194304 4627427 140734017327616 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=801068 CPUtime=877.5 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 169477 0 0 0 87682 68 0 0 25 0 4 0 519752641 820293632 123843 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=801068 CPUtime=881.47 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 176136 0 0 0 88076 71 0 0 25 0 4 0 519752641 820293632 123843 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.58
Current children cumulated vsize (KiB) 801068

[startup+942.301 s]
/proc/loadavg: 8.07 8.13 8.05 9/184 29183
/proc/meminfo: memFree=29948908/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=801848 CPUtime=3763.24 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 694668 0 0 0 376051 273 0 0 25 0 4 0 519752640 821092352 124535 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 200462 124535 388 106 0 195433 0
[pid=29142/tid=29143] ppid=29140 vsize=801848 CPUtime=942.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 170448 0 0 0 94163 66 0 0 25 0 4 0 519752641 821092352 124535 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=801848 CPUtime=937.16 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 174607 0 0 0 93646 70 0 0 25 0 4 0 519752641 821092352 124535 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=801848 CPUtime=941.46 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 180148 0 0 0 94073 73 0 0 25 0 4 0 519752641 821092352 124535 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.24
Current children cumulated vsize (KiB) 801848

[startup+1002.3 s]
/proc/loadavg: 7.00 7.88 7.97 5/175 29203
/proc/meminfo: memFree=30462640/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=746200 CPUtime=4002.91 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 717942 0 0 0 400003 288 0 0 25 0 4 0 519752640 764108800 127504 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 186550 127504 388 106 0 181521 0
[pid=29142/tid=29143] ppid=29140 vsize=746200 CPUtime=1002.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 174303 0 0 0 100160 69 0 0 25 0 4 0 519752641 764108800 127504 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=746200 CPUtime=996.84 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 181116 0 0 0 99610 74 0 0 25 0 4 0 519752641 764108800 127504 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=746200 CPUtime=1001.46 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 186236 0 0 0 100071 75 0 0 25 0 4 0 519752641 764108800 127504 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 746200

[startup+1062.3 s]
/proc/loadavg: 5.17 7.18 7.72 5/175 29205
/proc/meminfo: memFree=30437072/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=803456 CPUtime=4242.62 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 746548 0 0 0 423960 302 0 0 25 0 4 0 519752640 822738944 134135 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 200864 134135 388 106 0 195835 0
[pid=29142/tid=29143] ppid=29140 vsize=803456 CPUtime=1062.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 182256 0 0 0 106156 73 0 0 25 0 4 0 519752641 822738944 134135 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=803456 CPUtime=1056.54 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 187088 0 0 0 105577 77 0 0 25 0 4 0 519752641 822738944 134135 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=803456 CPUtime=1061.46 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 193048 0 0 0 106068 78 0 0 25 0 4 0 519752641 822738944 134135 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.62
Current children cumulated vsize (KiB) 803456

[startup+1122.3 s]
/proc/loadavg: 4.43 6.60 7.49 5/175 29206
/proc/meminfo: memFree=30469004/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=758928 CPUtime=4482.34 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 774281 0 0 0 447917 317 0 0 25 0 4 0 519752640 777142272 126002 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 189732 126002 388 106 0 184703 0
[pid=29142/tid=29143] ppid=29140 vsize=758928 CPUtime=1122.29 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 190320 0 0 0 112152 77 0 0 25 0 4 0 519752641 777142272 126002 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=758928 CPUtime=1116.25 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 194625 0 0 0 111544 81 0 0 25 0 4 0 519752641 777142272 126002 33554432000 4194304 4627427 140734017327616 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=758928 CPUtime=1121.47 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 196916 0 0 0 112067 80 0 0 25 0 4 0 519752641 777142272 126002 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 758928

[startup+1182.3 s]
/proc/loadavg: 4.22 6.14 7.27 5/175 29208
/proc/meminfo: memFree=30427184/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=818600 CPUtime=4722.02 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 797762 0 0 0 471872 330 0 0 25 0 4 0 519752640 838246400 136520 33554432000 4194304 4627427 140734017327616 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 204650 136520 388 106 0 199621 0
[pid=29142/tid=29143] ppid=29140 vsize=818600 CPUtime=1182.3 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 196741 0 0 0 118148 82 0 0 25 0 4 0 519752641 838246400 136520 33554432000 4194304 4627427 140734017327616 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=818600 CPUtime=1175.93 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 201479 0 0 0 117509 84 0 0 25 0 4 0 519752641 838246400 136520 33554432000 4194304 4627427 140734017327616 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=818600 CPUtime=1181.46 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 202912 0 0 0 118062 84 0 0 25 0 4 0 519752641 838246400 136521 33554432000 4194304 4627427 140734017327616 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.02
Current children cumulated vsize (KiB) 818600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 4.16 6.00 7.20 5/175 29208
/proc/meminfo: memFree=30424680/32951124 swapFree=67111364/67111528
[pid=29142] ppid=29140 vsize=803860 CPUtime=4800.34 cores=1,3,5,7
/proc/29142/stat : 29142 (strangenight2-m) R 29140 29142 28877 0 -1 4202496 803725 0 0 0 479701 333 0 0 25 0 4 0 519752640 823152640 136846 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29142/statm: 200965 136846 388 106 0 195936 0
[pid=29142/tid=29143] ppid=29140 vsize=803860 CPUtime=1201.9 cores=1,3,5,7
/proc/29142/task/29143/stat : 29143 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 197017 0 0 0 120108 82 0 0 25 0 4 0 519752641 823152640 136846 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29142/tid=29144] ppid=29140 vsize=803860 CPUtime=1195.42 cores=1,3,5,7
/proc/29142/task/29144/stat : 29144 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 203096 0 0 0 119457 85 0 0 25 0 4 0 519752641 823152640 136846 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29142/tid=29145] ppid=29140 vsize=803860 CPUtime=1201.07 cores=1,3,5,7
/proc/29142/task/29145/stat : 29145 (strangenight2-m) R 29140 29142 28877 0 -1 4202560 206251 0 0 0 120022 85 0 0 25 0 4 0 519752641 823152640 136846 33554432000 4194304 4627427 140734017327616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 803860

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.39
CPU user time (s): 4797.03
CPU system time (s): 3.35949
CPU usage (%): 399.388
Max. virtual memory (cumulated for all children) (KiB): 915872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.03
system time used= 3.35949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803726
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= 320
involuntary context switches= 33528

runsolver used 1.75373 second user time and 4.75228 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 14:52:27
IDJOB=3174068
IDBENCH=82886
IDSOLVER=1586
FILE ID=node136/3174068-1304081547
RUNJOBID= node136-1304078917-28896
PBS_JOBID= 13170526
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174068-1304081547/watcher-3174068-1304081547 -o /tmp/evaluation-result-3174068-1304081547/solver-3174068-1304081547 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174068-1304081547.cnf

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

MD5SUM BENCH= 200b19edc2ebf99249f1125469c39206
RANDOM SEED=1925102537

node136.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.809
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.61
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.809
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.809
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.809
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.76
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.809
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.809
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.83
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30726340 kB
Buffers:        568264 kB
Cached:         926700 kB
SwapCached:          0 kB
Active:         352788 kB
Inactive:      1447804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30726340 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5484 kB
Writeback:           0 kB
AnonPages:      304624 kB
Mapped:          15500 kB
Slab:           359632 kB
PageTables:       5320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   527924 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= 72328 MiB
End job on node136 at 2011-04-29 15:12:31