Trace number 3174186

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.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf
MD5SUM39542bd0a185b4f7c5fc7900079a2845
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-3174186-1304111009.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
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.21/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.21/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.21/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.21/0.90	c calculated reachability. Time: 0.00
3.21/0.90	c Calc default polars -  time:   0.00 s pos:      66 undec:       6 neg:      78
3.21/0.90	c =========================================================================================
3.21/0.90	c types(t): F = full restart, N = normal restart
3.21/0.90	c types(t): S = simplification begin/end, E = solution found
3.21/0.90	c restart types(rt): st = static, dy = dynamic
3.21/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.21/0.90	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.21/0.90	c Decided on static restart strategy
3.21/0.90	c  N st     8      4915       150      3195         0      4686     15975    142048   no data   no data
3.21/0.90	c  N st    10     11299       150      3195         0      4344     15975     99241   no data   no data
3.21/0.90	c  N st    11     17042       150      3195         0      9818     15975    271871   no data   no data
3.61/0.93	c  F st    12     25001       150      3195         0     12013     15975    325847   no data   no data
3.61/0.93	c  N st    12     25001       150      3195         0     12013     15975    325847   no data   no data
4.40/1.20	c Decided on static restart strategy
4.40/1.20	c  N st    18     30001       150      3195         0     10328     15975    260370   no data   no data
4.40/1.20	c  S st    18     30001       150      3195         0     10328     15975    260370   no data   no data
4.40/1.20	c  S st    18     30505       150      3195         0     10823     15975    274619   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.20/1.40	c lits-rem:       209  cl-subs:     1205  v-elim:      0  v-fix:    0  time:  0.17 s
5.20/1.40	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.20/1.40	c calculated reachability. Time: 0.00
5.20/1.40	c  N st    18     30505       150      3195         0      9618     15975    234765   no data   no data
6.77/1.77	c  N st    20     37615       150      3195         0      8869     15975    193240   no data   no data
8.37/2.11	c  N st    21     44015       150      3195         0     14936     15975    370706   no data   no data
8.77/2.21	c  S st    22     45758       150      3195         0     16598     15975    420873   no data   no data
8.77/2.27	c  S st    22     46261       150      3195         0      8580     15975    167147   no data   no data
8.77/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.77/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.30	c lits-rem:        30  cl-subs:      232  v-elim:      0  v-fix:    0  time:  0.03 s
9.17/2.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.17/2.30	c vivif2 --  cl tried     8348 cl shrink        0 lits rem          0 time: 0.00
9.17/2.34	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.17/2.34	c calculated reachability. Time: 0.00
9.17/2.34	c  N st    22     46261       150      3195         0      8348     15975    160218   no data   no data
12.37/3.11	c  N st    23     60660       150      3195         0     12555     15975    269485   no data   no data
14.36/3.65	c  N st    24     69391       150      3195         0     20817     15975    527611   no data   no data
14.36/3.65	c  S st    24     69391       150      3195         0     20817     15975    527611   no data   no data
14.76/3.70	c  S st    24     69893       150      3195         0     10881     15975    205166   no data   no data
14.76/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.75	c lits-rem:        43  cl-subs:      232  v-elim:      0  v-fix:    0  time:  0.04 s
14.76/3.75	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.76/3.75	c vivif2 --  cl tried    10649 cl shrink        0 lits rem          0 time: 0.00
15.16/3.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
15.16/3.80	c calculated reachability. Time: 0.00
15.16/3.80	c  N st    24     69893       150      3195         0     10649     15975    197699   no data   no data
19.15/4.87	c  F st    25     87501       150      3195         0     15927     15975    344202   no data   no data
19.15/4.87	c  N st    25     87501       150      3195         0     15927     15975    344202   no data   no data
20.77/5.22	c Decided on static restart strategy
21.55/5.43	c  N st    32     95542       150      3195         0     23599     15975    566003   no data   no data
23.94/6.00	c  N st    34    104839       150      3195         0     20055     15975    456947   no data   no data
23.94/6.00	c  S st    34    104839       150      3195         0     20055     15975    456947   no data   no data
23.94/6.06	c  S st    34    105342       150      3195         0     20547     15975    470983   no data   no data
23.94/6.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.94/6.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.94/6.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.94/6.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.94/6.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.94/6.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.94/6.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
23.94/6.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.52	c lits-rem:       262  cl-subs:     1456  v-elim:      0  v-fix:    0  time:  0.44 s
25.94/6.52	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.94/6.53	c vivif2 --  cl tried    19091 cl shrink        0 lits rem          0 time: 0.00
26.34/6.60	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.34/6.60	c calculated reachability. Time: 0.00
26.34/6.60	c  N st    34    105342       150      3195         0     19091     15975    424378   no data   no data
29.16/7.31	c  N st    35    114940       150      3195         0     14971     15975    295620   no data   no data
33.56/8.44	c  N st    36    129337       150      3195         0     14420     15975    251449   no data   no data
39.52/9.97	c  N st    37    150932       150      3195         0     19794     15975    394549   no data   no data
41.52/10.49	c  S st    38    158015       150      3195         0     26539     15975    601020   no data   no data
41.92/10.56	c  S st    38    158517       150      3195         0     27035     15975    615954   no data   no data
41.92/10.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.92/10.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
41.92/10.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.92/10.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.92/10.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.92/10.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
41.92/10.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.92/10.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
41.92/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.11/11.35	c lits-rem:       567  cl-subs:     1670  v-elim:      0  v-fix:    0  time:  0.76 s
45.11/11.35	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.11/11.36	c vivif2 --  cl tried    25365 cl shrink        0 lits rem          0 time: 0.01
45.51/11.47	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
45.51/11.47	c calculated reachability. Time: 0.00
45.51/11.47	c  N st    38    158517       150      3195         0     25365     15975    561841   no data   no data
63.10/15.87	c  N st    39    207106       150      3195         0     20149     15975    353247   no data   no data
73.87/18.59	c  N st    40    237775       150      3195         0     30285     15975    652029   no data   no data
73.87/18.59	c  S st    40    237775       150      3195         0     30285     15975    652029   no data   no data
74.27/18.68	c  S st    40    238276       150      3195         0     30777     15975    666488   no data   no data
74.27/18.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.67/18.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.67/18.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.67/18.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.67/18.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.67/18.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
74.67/18.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.67/18.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.67/18.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.07/20.35	c lits-rem:       399  cl-subs:     2227  v-elim:      0  v-fix:    0  time:  1.62 s
81.07/20.35	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.07/20.36	c vivif2 --  cl tried    28550 cl shrink        0 lits rem          0 time: 0.01
81.88/20.52	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.16
81.88/20.52	c calculated reachability. Time: 0.00
81.88/20.52	c  N st    40    238276       150      3195         0     28550     15975    597849   no data   no data
107.04/26.84	c  F st    41    306251       150      3195         0     30497     15975    615616   no data   no data
107.04/26.84	c  N st    41    306251       150      3195         0     30497     15975    615616   no data   no data
109.43/27.43	c Decided on static restart strategy
118.62/29.76	c  N st    51    334555       150      3195         0     34706     15975    721187   no data   no data
128.61/32.25	c  N st    53    357414       150      3195         0     32657     15975    620482   no data   no data
128.61/32.25	c  S st    53    357414       150      3195         0     32657     15975    620482   no data   no data
129.01/32.33	c  S st    53    357916       150      3195         0     33151     15975    634940   no data   no data
129.01/32.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.01/32.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
129.01/32.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.01/32.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.01/32.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.01/32.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
129.01/32.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
129.01/32.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
129.01/32.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.80/33.03	c lits-rem:       423  cl-subs:     1429  v-elim:      0  v-fix:    0  time:  0.66 s
131.80/33.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
131.80/33.03	c vivif2 --  cl tried    31722 cl shrink        0 lits rem          0 time: 0.01
132.20/33.17	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
132.20/33.17	c calculated reachability. Time: 0.00
132.20/33.17	c  N st    53    357916       150      3195         0     31722     15975    590197   no data   no data
146.19/36.68	c  N st    54    390308       150      3195         0     37710     15975    759410   no data   no data
172.95/43.30	c  N st    55    438898       150      3195         0     31563     15975    550436   no data   no data
208.50/52.24	c  N st    56    511780       150      3195         0     44450     15975    877151   no data   no data
219.68/55.08	c  N st    57    536876       150      3195         0     38999     15975    713077   no data   no data
219.68/55.08	c  S st    57    536876       150      3195         0     38999     15975    713077   no data   no data
220.08/55.18	c  S st    57    537376       150      3195         0     39487     15975    727718   no data   no data
220.08/55.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.48/55.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
220.48/55.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.48/55.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.48/55.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.48/55.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
220.48/55.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.48/55.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
220.48/55.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.87/56.36	c lits-rem:       771  cl-subs:     1930  v-elim:      0  v-fix:    0  time:  1.14 s
224.87/56.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
224.87/56.37	c vivif2 --  cl tried    37557 cl shrink        0 lits rem          0 time: 0.01
225.67/56.55	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
225.67/56.55	c calculated reachability. Time: 0.00
225.67/56.55	c  N st    57    537376       150      3195         0     37557     15975    666911   no data   no data
310.77/77.86	c  N st    58    701361       150      3195         0     65881     15975   1460012   no data   no data
378.27/94.79	c  N st    59    806068       150      3195         0     60019     15975   1225187   no data   no data
378.27/94.79	c  S st    59    806068       150      3195         0     60019     15975   1225187   no data   no data
379.07/94.96	c  S st    59    806572       150      3195         0     60511     15975   1240246   no data   no data
379.07/94.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
379.07/94.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
379.07/94.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
379.07/94.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
379.07/94.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
379.07/94.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
379.07/94.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
379.47/95.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
379.47/95.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
404.64/101.31	c lits-rem:      1054  cl-subs:     4815  v-elim:      0  v-fix:    0  time:  6.27 s
404.64/101.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
404.64/101.33	c vivif2 --  cl tried    55696 cl shrink        0 lits rem          0 time: 0.01
405.83/101.61	c asymm  cl-useful: 0/2786/3195 lits-rem:0 time: 0.28
405.83/101.61	c calculated reachability. Time: 0.00
405.83/101.61	c  N st    59    806572       150      3195         0     55696     15975   1100252   no data   no data
581.20/145.58	c  F st    60   1071875       150      3195         0     70994     15975   1452221   no data   no data
581.20/145.58	c  N st    60   1071875       150      3195         0     70994     15975   1452221   no data   no data
585.99/146.72	c Decided on static restart strategy
601.96/150.75	c  N st    70   1100177       150      3195         0     55631     15975    982034   no data   no data
631.14/158.09	c  N st    72   1136169       150      3195         0     46306     15975    665593   no data   no data
654.70/163.98	c  N st    73   1168563       150      3195         0     77172     15975   1653325   no data   no data
689.45/172.69	c  N st    74   1209859       150      3195         0     71642     15975   1415966   no data   no data
689.45/172.69	c  S st    74   1209859       150      3195         0     71642     15975   1415966   no data   no data
690.65/172.96	c  S st    74   1210365       150      3195         0     72134     15975   1430827   no data   no data
690.65/172.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
691.05/173.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
691.05/173.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
691.05/173.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
691.05/173.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
691.05/173.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
691.05/173.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
691.05/173.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
691.05/173.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
744.97/186.55	c lits-rem:      1853  cl-subs:     4369  v-elim:      0  v-fix:    0  time: 13.47 s
744.97/186.55	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
744.97/186.58	c vivif2 --  cl tried    67765 cl shrink        0 lits rem          0 time: 0.02
747.36/187.13	c asymm  cl-useful: 0/2431/3195 lits-rem:0 time: 0.55
747.36/187.13	c calculated reachability. Time: 0.00
747.36/187.13	c  N st    74   1210365       150      3195         0     67765     15975   1294724   no data   no data
818.48/205.00	c  N st    75   1283247       150      3195         0     91461     15975   1961384   no data   no data
916.76/229.56	c  N st    76   1392570       150      3195         0     52986     15975    774656   no data   no data
1058.95/265.12	c  N st    77   1556554       150      3195         0     57277     15975    850603   no data   no data
1196.77/299.69	c  N st    78   1710365       150      3195         0     97666     15975   2044933   no data   no data
1196.77/299.69	c  S st    78   1710365       150      3195         0     97666     15975   2044933   no data   no data
1198.38/300.02	c  S st    78   1710871       150      3195         0     98162     15975   2059733   no data   no data
1198.38/300.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1198.38/300.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1198.38/300.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1198.38/300.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1198.38/300.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1198.38/300.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1198.38/300.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1198.76/300.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1198.76/300.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1303.03/326.25	c lits-rem:      1878  cl-subs:    10173  v-elim:      0  v-fix:    0  time: 26.08 s
1303.03/326.25	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1303.03/326.28	c vivif2 --  cl tried    87989 cl shrink        0 lits rem          0 time: 0.02
1303.84/326.44	c asymm  cl-useful: 0/764/3195 lits-rem:0 time: 0.17
1303.84/326.45	c calculated reachability. Time: 0.00
1303.84/326.45	c  N st    78   1710871       150      3195         0     87989     15975   1758584   no data   no data
1657.75/415.03	c  N st    79   2079835       150      3195         0     99550     15975   1995971   no data   no data
1785.97/447.19	c  N st    80   2210874       150      3195         0    103329     15975   2062445   no data   no data
1785.97/447.19	c  S st    80   2210874       150      3195         0    103329     15975   2062445   no data   no data
1787.57/447.50	c  S st    80   2211377       150      3195         0    103817     15975   2077136   no data   no data
1787.57/447.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1787.57/447.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1787.57/447.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1787.57/447.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1787.57/447.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1787.57/447.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1787.57/447.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1787.57/447.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1787.97/447.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1887.03/472.42	c lits-rem:      2988  cl-subs:    10399  v-elim:      0  v-fix:    0  time: 24.77 s
1887.03/472.42	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1887.03/472.45	c vivif2 --  cl tried    93418 cl shrink        0 lits rem          0 time: 0.02
1888.63/472.80	c asymm  cl-useful: 0/1909/3195 lits-rem:0 time: 0.35
1888.63/472.80	c calculated reachability. Time: 0.00
1888.63/472.80	c  N st    80   2211377       150      3195         0     93418     15975   1775925   no data   no data
2401.96/601.35	c  N st    81   2711378       150      3195         0    117061     15975   2435268   no data   no data
2401.96/601.35	c  S st    81   2711378       150      3195         0    117061     15975   2435268   no data   no data
2403.54/601.70	c  S st    81   2711879       150      3195         0    117549     15975   2449745   no data   no data
2403.54/601.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2403.54/601.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2403.54/601.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2403.54/601.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2403.54/601.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2403.54/601.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2403.54/601.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2403.94/601.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2403.94/601.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2530.96/633.65	c lits-rem:      4318  cl-subs:    10042  v-elim:      0  v-fix:    0  time: 31.78 s
2530.96/633.65	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2530.96/633.68	c vivif2 --  cl tried   107507 cl shrink        0 lits rem          0 time: 0.03
2532.56/634.04	c asymm  cl-useful: 0/1286/3195 lits-rem:0 time: 0.35
2532.56/634.04	c calculated reachability. Time: 0.00
2532.56/634.04	c  N st    81   2711879       150      3195         0    107507     15975   2142086   no data   no data
3184.51/797.24	c  N st    82   3211880       150      3195         0     84395     15975   1255263   no data   no data
3184.51/797.24	c  S st    82   3211880       150      3195         0     84395     15975   1255263   no data   no data
3185.68/797.55	c  S st    82   3212384       150      3195         0     84883     15975   1270319   no data   no data
3185.68/797.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3186.08/797.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3186.08/797.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3186.08/797.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3186.08/797.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3186.08/797.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3186.08/797.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3186.08/797.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3186.08/797.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3203.26/801.91	c lits-rem:       570  cl-subs:     2332  v-elim:      0  v-fix:    0  time:  4.23 s
3203.26/801.91	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3203.26/801.93	c vivif2 --  cl tried    82551 cl shrink        0 lits rem          0 time: 0.02
3205.26/802.41	c asymm  cl-useful: 0/1962/3195 lits-rem:0 time: 0.47
3205.26/802.41	c calculated reachability. Time: 0.00
3205.26/802.41	c  N st    82   3212384       150      3195         0     82551     15975   1203168   no data   no data
3868.77/968.57	c  N st    83   3712384       150      3195         0     93169     15975   1427182   no data   no data
3868.77/968.58	c  S st    83   3712384       150      3195         0     93169     15975   1427182   no data   no data
3869.99/968.87	c  S st    83   3712894       150      3195         0     93668     15975   1442042   no data   no data
3869.99/968.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3870.36/968.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3870.36/968.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3870.36/968.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3870.36/968.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3870.36/968.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3870.36/968.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3870.36/968.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3870.36/968.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3885.55/972.71	c lits-rem:       645  cl-subs:     2632  v-elim:      0  v-fix:    0  time:  3.72 s
3885.55/972.71	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3885.55/972.73	c vivif2 --  cl tried    91036 cl shrink        0 lits rem          0 time: 0.02
3886.74/973.00	c asymm  cl-useful: 0/1233/3195 lits-rem:0 time: 0.27
3886.74/973.00	c calculated reachability. Time: 0.00
3886.74/973.00	c  N st    83   3712894       150      3195         0     91036     15975   1361534   no data   no data
3939.07/986.17	c  F st    84   3751563       150      3195         0    127791     15975   2499504   no data   no data
3939.07/986.18	c  N st    84   3751563       150      3195         0    127791     15975   2499504   no data   no data
3947.07/988.13	c Decided on static restart strategy
3993.80/999.88	c  N st    94   3779869       150      3195         0    154657     15975   3314415   no data   no data
4038.14/1010.90	c  N st    96   3815862       150      3195         0    108441     15975   1838699   no data   no data
4081.28/1021.70	c  N st    97   3848254       150      3195         0    138874     15975   2760990   no data   no data
4144.80/1037.66	c  N st    98   3896843       150      3195         0    103687     15975   1698388   no data   no data
4255.85/1065.46	c  N st    99   3969727       150      3195         0     90460     15975   1265911   no data   no data
4402.04/1102.08	c  N st   100   4079050       150      3195         0    110698     15975   1903079   no data   no data
4576.21/1145.69	c  N st   101   4212895       150      3195         0    152689     15975   3218760   no data   no data
4576.21/1145.69	c  S st   101   4212895       150      3195         0    152689     15975   3218760   no data   no data
4578.21/1146.18	c  S st   101   4213396       150      3195         0    153182     15975   3233982   no data   no data
4578.21/1146.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4578.61/1146.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4578.61/1146.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4578.61/1146.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4578.61/1146.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4578.61/1146.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4578.61/1146.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4579.01/1146.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4579.41/1146.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3174186-1304111009/watcher-3174186-1304111009 -o /tmp/evaluation-result-3174186-1304111009/solver-3174186-1304111009 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174186-1304111009.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: 7.43 7.97 7.43 3/177 11874
/proc/meminfo: memFree=30130812/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=208004 CPUtime=0 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 641 0 0 0 0 0 0 0 25 0 4 0 522699047 212996096 557 33554432000 4194304 4627427 140735403412256 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 52001 559 338 106 0 46972 0
[pid=11874/tid=11875] ppid=11872 vsize=208004 CPUtime=0 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 39 0 0 0 0 0 0 0 25 0 4 0 522699047 212996096 575 33554432000 4194304 4627427 140735403412256 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=208004 CPUtime=0 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 4 0 522699047 212996096 577 33554432000 4194304 4627427 140735403412256 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=208004 CPUtime=0 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 78 0 0 0 0 0 0 0 25 0 4 0 522699047 212996096 578 33554432000 4194304 4627427 140735403412256 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.089005 s]
/proc/loadavg: 7.43 7.97 7.43 3/177 11874
/proc/meminfo: memFree=30130812/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=286452 CPUtime=3.21 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 6439 0 0 0 320 1 0 0 18 0 4 0 522699047 293326848 3095 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 71613 3096 384 106 0 66584 0
[pid=11874/tid=11875] ppid=11872 vsize=286452 CPUtime=0.8 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1537 0 0 0 80 0 0 0 19 0 4 0 522699047 293326848 3096 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=286452 CPUtime=0.8 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1452 0 0 0 80 0 0 0 19 0 4 0 522699047 293326848 3096 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=286452 CPUtime=0.79 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1439 0 0 0 79 0 0 0 19 0 4 0 522699047 293326848 3096 33554432000 4194304 4627427 140735403412256 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 286452

[startup+0.90834 s]
/proc/loadavg: 7.43 7.97 7.43 3/177 11874
/proc/meminfo: memFree=30130812/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=286452 CPUtime=3.61 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 6784 0 0 0 360 1 0 0 19 0 4 0 522699047 293326848 3440 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 71613 3440 385 106 0 66584 0
[pid=11874/tid=11875] ppid=11872 vsize=286452 CPUtime=0.9 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1618 0 0 0 90 0 0 0 19 0 4 0 522699047 293326848 3440 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=286452 CPUtime=0.9 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1521 0 0 0 90 0 0 0 19 0 4 0 522699047 293326848 3440 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=286452 CPUtime=0.89 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1554 0 0 0 89 0 0 0 19 0 4 0 522699047 293326848 3440 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 286452

[startup+1.00832 s]
/proc/loadavg: 7.43 7.97 7.43 3/177 11874
/proc/meminfo: memFree=30130812/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=286992 CPUtime=4.01 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 7729 0 0 0 400 1 0 0 19 0 4 0 522699047 293879808 3141 33554432000 4194304 4627427 140735403412256 18446744073709551615 4329629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 71748 3141 385 106 0 66719 0
[pid=11874/tid=11875] ppid=11872 vsize=286992 CPUtime=1 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1905 0 0 0 100 0 0 0 19 0 4 0 522699047 293879808 3141 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=286992 CPUtime=0.99 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1627 0 0 0 99 0 0 0 19 0 4 0 522699047 293879808 3141 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=286992 CPUtime=0.99 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1826 0 0 0 99 0 0 0 19 0 4 0 522699047 293879808 3141 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309460 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 286992

[startup+1.1083 s]
/proc/loadavg: 7.43 7.97 7.43 3/177 11874
/proc/meminfo: memFree=30130812/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=287132 CPUtime=4.4 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 8230 0 0 0 439 1 0 0 19 0 4 0 522699047 294023168 3229 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 71783 3229 385 106 0 66754 0
[pid=11874/tid=11875] ppid=11872 vsize=287132 CPUtime=1.09 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1983 0 0 0 109 0 0 0 19 0 4 0 522699047 294023168 3229 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=287132 CPUtime=1.09 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1888 0 0 0 109 0 0 0 19 0 4 0 522699047 294023168 3229 33554432000 4194304 4627427 140735403412256 18446744073709551615 4322057 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=287132 CPUtime=1.09 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 1900 0 0 0 109 0 0 0 19 0 4 0 522699047 294023168 3229 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 287132

[startup+1.50023 s]
/proc/loadavg: 7.43 7.97 7.43 3/177 11874
/proc/meminfo: memFree=30130812/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=294072 CPUtime=5.97 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 11427 0 0 0 596 1 0 0 19 0 4 0 522699047 301129728 5026 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 73518 5026 388 106 0 68489 0
[pid=11874/tid=11875] ppid=11872 vsize=294072 CPUtime=1.49 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 2457 0 0 0 149 0 0 0 19 0 4 0 522699047 301129728 5026 33554432000 4194304 4627427 140735403412256 18446744073709551615 4469148 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=294072 CPUtime=1.49 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 2414 0 0 0 149 0 0 0 20 0 4 0 522699047 301129728 5026 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=294072 CPUtime=1.49 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 2379 0 0 0 149 0 0 0 20 0 4 0 522699047 301129728 5026 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294072

[startup+3.10094 s]
/proc/loadavg: 7.43 7.97 7.43 9/188 11886
/proc/meminfo: memFree=30058780/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=294788 CPUtime=12.37 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 22302 0 0 0 1233 4 0 0 25 0 4 0 522699047 301862912 11167 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 73697 11167 388 106 0 68668 0
[pid=11874/tid=11875] ppid=11872 vsize=294788 CPUtime=3.07 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 5196 0 0 0 307 0 0 0 25 0 4 0 522699047 301862912 11167 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=294788 CPUtime=3.09 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 5671 0 0 0 308 1 0 0 25 0 4 0 522699047 301862912 11167 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=294788 CPUtime=3.09 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 5700 0 0 0 308 1 0 0 25 0 4 0 522699047 301862912 11167 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 294788

[startup+6.30636 s]
/proc/loadavg: 7.48 7.97 7.44 9/188 11916
/proc/meminfo: memFree=30032244/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=303620 CPUtime=25.17 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 35956 0 0 0 2510 7 0 0 25 0 4 0 522699047 310906880 15922 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 75905 15922 390 106 0 70876 0
[pid=11874/tid=11875] ppid=11872 vsize=303620 CPUtime=6.26 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 9015 0 0 0 625 1 0 0 25 0 4 0 522699047 310906880 15922 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=303620 CPUtime=6.29 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 8801 0 0 0 628 1 0 0 25 0 4 0 522699047 310906880 15922 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=303620 CPUtime=6.29 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 8431 0 0 0 628 1 0 0 25 0 4 0 522699047 310906880 15922 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 303620

[startup+12.7002 s]
/proc/loadavg: 7.52 7.97 7.44 9/188 11916
/proc/meminfo: memFree=29979408/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=311152 CPUtime=50.71 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 55138 0 0 0 5060 11 0 0 25 0 4 0 522699047 318619648 20804 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 77788 20804 388 106 0 72759 0
[pid=11874/tid=11875] ppid=11872 vsize=311152 CPUtime=12.63 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 13235 0 0 0 1261 2 0 0 25 0 4 0 522699047 318619648 20804 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=311152 CPUtime=12.68 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 13032 0 0 0 1266 2 0 0 25 0 4 0 522699047 318619648 20804 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=311152 CPUtime=12.68 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 14256 0 0 0 1266 2 0 0 25 0 4 0 522699047 318619648 20804 33554432000 4194304 4627427 140735403412256 18446744073709551615 4290272 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 311152

[startup+25.5009 s]
/proc/loadavg: 7.86 8.02 7.46 9/188 11917
/proc/meminfo: memFree=29906048/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=326820 CPUtime=101.84 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 82580 0 0 0 10167 17 0 0 25 0 4 0 522699047 334663680 29379 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 81705 29379 388 106 0 76676 0
[pid=11874/tid=11875] ppid=11872 vsize=326820 CPUtime=25.36 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 20026 0 0 0 2532 4 0 0 25 0 4 0 522699047 334663680 29379 33554432000 4194304 4627427 140735403412256 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=326820 CPUtime=25.49 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 20541 0 0 0 2545 4 0 0 25 0 4 0 522699047 334663680 29379 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=326820 CPUtime=25.49 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 21502 0 0 0 2545 4 0 0 25 0 4 0 522699047 334663680 29379 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 326820

[startup+51.1012 s]
/proc/loadavg: 7.91 8.02 7.48 9/188 11919
/proc/meminfo: memFree=29835044/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=408388 CPUtime=204.11 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 120005 0 0 0 20384 27 0 0 25 0 4 0 522699047 418189312 41770 33554432000 4194304 4627427 140735403412256 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 102097 41770 388 106 0 97068 0
[pid=11874/tid=11875] ppid=11872 vsize=408388 CPUtime=50.81 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 29652 0 0 0 5076 5 0 0 25 0 4 0 522699047 418189312 41770 33554432000 4194304 4627427 140735403412256 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=408388 CPUtime=51.08 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 31492 0 0 0 5101 7 0 0 25 0 4 0 522699047 418189312 41770 33554432000 4194304 4627427 140735403412256 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=408388 CPUtime=51.09 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 31684 0 0 0 5102 7 0 0 25 0 4 0 522699047 418189312 41770 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 408388

[startup+102.301 s]
/proc/loadavg: 8.31 8.12 7.54 9/188 11922
/proc/meminfo: memFree=29785440/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=412532 CPUtime=408.63 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 182561 0 0 0 40819 44 0 0 25 0 4 0 522699047 422432768 46192 33554432000 4194304 4627427 140735403412256 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 103133 46192 388 106 0 98104 0
[pid=11874/tid=11875] ppid=11872 vsize=412532 CPUtime=101.74 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 43995 0 0 0 10165 9 0 0 25 0 4 0 522699047 422432768 46192 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=412532 CPUtime=102.29 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 44912 0 0 0 10218 11 0 0 25 0 4 0 522699047 422432768 46192 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=412532 CPUtime=102.28 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 49843 0 0 0 10216 12 0 0 25 0 4 0 522699047 422432768 46192 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 412532

[startup+162.301 s]

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

[pid=11874] ppid=11872 vsize=650588 CPUtime=2805.4 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 572092 0 0 0 280356 184 0 0 25 0 4 0 522699047 666202112 104207 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 162647 104207 388 106 0 157618 0
[pid=11874/tid=11875] ppid=11872 vsize=650588 CPUtime=698.46 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 143449 0 0 0 69803 43 0 0 25 0 4 0 522699047 666202112 104207 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=650588 CPUtime=702.3 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 160063 0 0 0 70177 53 0 0 25 0 4 0 522699047 666202112 104207 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=650588 CPUtime=702.3 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 160679 0 0 0 70176 54 0 0 25 0 4 0 522699047 666202112 104207 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 650588

[startup+762.301 s]
/proc/loadavg: 8.34 8.26 7.89 9/188 11939
/proc/meminfo: memFree=29208640/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=669064 CPUtime=3045.08 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 603500 0 0 0 304313 195 0 0 25 0 4 0 522699047 685121536 120521 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 167266 120521 388 106 0 162237 0
[pid=11874/tid=11875] ppid=11872 vsize=669064 CPUtime=758.13 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 152413 0 0 0 75768 45 0 0 25 0 4 0 522699047 685121536 120521 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=669064 CPUtime=762.3 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 168212 0 0 0 76173 57 0 0 25 0 4 0 522699047 685121536 120521 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=669064 CPUtime=762.3 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 170327 0 0 0 76174 56 0 0 25 0 4 0 522699047 685121536 120521 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 669064

[startup+822.301 s]
/proc/loadavg: 8.21 8.24 7.90 9/188 11941
/proc/meminfo: memFree=29215572/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=779860 CPUtime=3284.76 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 624908 0 0 0 328271 205 0 0 25 0 4 0 522699047 798576640 124389 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 194965 124389 388 106 0 189936 0
[pid=11874/tid=11875] ppid=11872 vsize=779860 CPUtime=817.8 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 156878 0 0 0 81734 46 0 0 25 0 4 0 522699047 798576640 124389 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=779860 CPUtime=822.31 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 177372 0 0 0 82170 61 0 0 25 0 4 0 522699047 798576640 124389 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=779860 CPUtime=822.3 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 177160 0 0 0 82171 59 0 0 25 0 4 0 522699047 798576640 124389 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 779860

[startup+882.3 s]
/proc/loadavg: 8.35 8.27 7.93 9/188 11942
/proc/meminfo: memFree=29167308/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=726676 CPUtime=3524.43 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 654545 0 0 0 352225 218 0 0 25 0 4 0 522699047 744116224 125423 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 181669 125423 388 106 0 176640 0
[pid=11874/tid=11875] ppid=11872 vsize=726676 CPUtime=877.47 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 165847 0 0 0 87696 51 0 0 25 0 4 0 522699047 744116224 125423 33554432000 4194304 4627427 140735403412256 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=726676 CPUtime=882.31 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 188099 0 0 0 88166 65 0 0 25 0 4 0 522699047 744116224 125423 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=726676 CPUtime=882.31 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 186063 0 0 0 88168 63 0 0 25 0 4 0 522699047 744116224 125423 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 726676

[startup+942.3 s]
/proc/loadavg: 8.24 8.25 7.94 9/188 11944
/proc/meminfo: memFree=29179560/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=629812 CPUtime=3764.13 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 685518 0 0 0 376183 230 0 0 25 0 4 0 522699047 644927488 121345 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 157453 121345 388 106 0 152424 0
[pid=11874/tid=11875] ppid=11872 vsize=629812 CPUtime=937.15 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 175016 0 0 0 93662 53 0 0 25 0 4 0 522699047 644927488 121345 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=629812 CPUtime=942.32 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 196532 0 0 0 94163 69 0 0 25 0 4 0 522699047 644927488 121345 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=629812 CPUtime=942.32 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 196112 0 0 0 94165 67 0 0 25 0 4 0 522699047 644927488 121345 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 629812

[startup+1002.3 s]
/proc/loadavg: 8.32 8.26 7.96 10/188 11946
/proc/meminfo: memFree=29182380/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=751672 CPUtime=4003.78 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 706722 0 0 0 400138 240 0 0 25 0 4 0 522699047 769712128 124320 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 187918 124320 388 106 0 182889 0
[pid=11874/tid=11875] ppid=11872 vsize=751672 CPUtime=996.82 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 179824 0 0 0 99626 56 0 0 25 0 4 0 522699047 769712128 124320 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=751672 CPUtime=1002.31 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 203138 0 0 0 100159 72 0 0 25 0 4 0 522699047 769712128 124320 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=751672 CPUtime=1002.32 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 200437 0 0 0 100163 69 0 0 25 0 4 0 522699047 769712128 124320 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 751672

[startup+1062.31 s]
/proc/loadavg: 8.15 8.23 7.97 9/188 11947
/proc/meminfo: memFree=29135972/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=780740 CPUtime=4243.48 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 732579 0 0 0 424096 252 0 0 25 0 4 0 522699047 799477760 128392 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 195185 128392 388 106 0 190156 0
[pid=11874/tid=11875] ppid=11872 vsize=780740 CPUtime=1056.5 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 184757 0 0 0 105592 58 0 0 25 0 4 0 522699047 799477760 128392 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=780740 CPUtime=1062.32 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 211012 0 0 0 106156 76 0 0 25 0 4 0 522699047 799477760 128392 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=780740 CPUtime=1062.32 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 209089 0 0 0 106159 73 0 0 25 0 4 0 522699047 799477760 128392 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 780740

[startup+1122.3 s]
/proc/loadavg: 8.22 8.23 7.99 10/188 11949
/proc/meminfo: memFree=29125284/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=781788 CPUtime=4483.14 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 755144 0 0 0 448053 261 0 0 25 0 4 0 522699047 800550912 128467 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 195447 128467 388 106 0 190418 0
[pid=11874/tid=11875] ppid=11872 vsize=781788 CPUtime=1116.17 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 189582 0 0 0 111558 59 0 0 25 0 4 0 522699047 800550912 128467 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=781788 CPUtime=1122.31 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 219409 0 0 0 112151 80 0 0 25 0 4 0 522699047 800550912 128467 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=781788 CPUtime=1122.32 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 217277 0 0 0 112155 77 0 0 25 0 4 0 522699047 800550912 128467 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 781788

[startup+1182.3 s]
/proc/loadavg: 8.15 8.20 7.99 9/188 11950
/proc/meminfo: memFree=29069216/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=912548 CPUtime=4722.81 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 778932 0 0 0 472008 273 0 0 25 0 4 0 522699047 934449152 141627 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 228137 141627 388 106 0 223108 0
[pid=11874/tid=11875] ppid=11872 vsize=912548 CPUtime=1175.84 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 195152 0 0 0 117521 63 0 0 25 0 4 0 522699047 934449152 141627 33554432000 4194304 4627427 140735403412256 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=912548 CPUtime=1182.31 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 231211 0 0 0 118147 84 0 0 25 0 4 0 522699047 934449152 141627 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=912548 CPUtime=1182.32 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 223196 0 0 0 118151 81 0 0 25 0 4 0 522699047 934449152 141627 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 912548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.19 7.99 9/188 11951
/proc/meminfo: memFree=29059780/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=797032 CPUtime=4800.33 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 784178 0 0 0 479757 276 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 199258 138270 388 106 0 194229 0
[pid=11874/tid=11875] ppid=11872 vsize=797032 CPUtime=1195.14 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 197812 0 0 0 119449 65 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=797032 CPUtime=1201.72 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 231211 0 0 0 120088 84 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=797032 CPUtime=1201.73 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 225782 0 0 0 120091 82 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 797032

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

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

[startup+1201.7 s]
/proc/loadavg: 8.11 8.19 7.99 9/188 11951
/proc/meminfo: memFree=29059780/32951124 swapFree=67102692/67111528
[pid=11874] ppid=11872 vsize=797032 CPUtime=4800.33 cores=0,2,4,6
/proc/11874/stat : 11874 (strangenight2-m) R 11872 11874 11448 0 -1 4202496 784178 0 0 0 479757 276 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11874/statm: 199258 138270 388 106 0 194229 0
[pid=11874/tid=11875] ppid=11872 vsize=797032 CPUtime=1195.14 cores=0,2,4,6
/proc/11874/task/11875/stat : 11875 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 197812 0 0 0 119449 65 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11874/tid=11876] ppid=11872 vsize=797032 CPUtime=1201.72 cores=0,2,4,6
/proc/11874/task/11876/stat : 11876 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 231211 0 0 0 120088 84 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11874/tid=11877] ppid=11872 vsize=797032 CPUtime=1201.73 cores=0,2,4,6
/proc/11874/task/11877/stat : 11877 (strangenight2-m) R 11872 11874 11448 0 -1 4202560 225782 0 0 0 120091 82 0 0 25 0 4 0 522699047 816160768 138270 33554432000 4194304 4627427 140735403412256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 797032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.39
CPU user time (s): 4797.6
CPU system time (s): 2.79557
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 974552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.6
system time used= 2.79557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784178
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= 327
involuntary context switches= 66872

runsolver used 1.85072 second user time and 4.71428 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 23:03:29
IDJOB=3174186
IDBENCH=83004
IDSOLVER=1586
FILE ID=node134/3174186-1304111009
RUNJOBID= node134-1304109804-11756
PBS_JOBID= 13170663
Free space on /tmp= 71584 MiB

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

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

MD5SUM BENCH= 39542bd0a185b4f7c5fc7900079a2845
RANDOM SEED=335332498

node134.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.831
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30132456 kB
Buffers:        993184 kB
Cached:        1368424 kB
SwapCached:       4400 kB
Active:         119220 kB
Inactive:      2302056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30132456 kB
SwapTotal:    67111528 kB
SwapFree:     67102692 kB
Dirty:            9376 kB
Writeback:           0 kB
AnonPages:       57156 kB
Mapped:          14724 kB
Slab:           334472 kB
PageTables:       4404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189868 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71572 MiB
End job on node134 at 2011-04-29 23:23:32