Trace number 3366504

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.41 1203.14

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
MD5SUM5a6e4de126d24892e5539c0ca63e90ed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.062989
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-3366504-1305405750.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.01	c Parsing time:  0.00 s
0.00/0.01	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
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      64 undec:       8 neg:      78
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4919       150      3195         0      4701     15975    141351   no data   no data
1.17/0.36	c  N st    10     11302       150      3195         0      4348     15975     99159   no data   no data
2.37/0.60	c  N st    11     17045       150      3195         0      9815     15975    266166   no data   no data
3.58/0.95	c  F st    12     25000       150      3195         0     12009     15975    321623   no data   no data
3.58/0.95	c  N st    12     25000       150      3195         0     12009     15975    321623   no data   no data
4.39/1.17	c Decided on static restart strategy
4.39/1.17	c  N st    18     30002       150      3195         0     10325     15975    262662   no data   no data
4.39/1.17	c  S st    18     30002       150      3195         0     10325     15975    262662   no data   no data
4.39/1.20	c  S st    18     30502       150      3195         0     10817     15975    276924   no data   no data
4.39/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.21	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.39/1.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.39/1.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.81/1.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.81/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c lits-rem:       240  cl-subs:     1183  v-elim:      0  v-fix:    0  time:  0.19 s
5.56/1.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.44	c calculated reachability. Time: 0.00
5.56/1.44	c  N st    18     30502       150      3195         0      9634     15975    237856   no data   no data
7.16/1.80	c  N st    20     37613       150      3195         0      8905     15975    196903   no data   no data
8.37/2.14	c  N st    21     44012       150      3195         0     14984     15975    380405   no data   no data
8.78/2.26	c  S st    22     45754       150      3195         0     16638     15975    430442   no data   no data
9.20/2.31	c  S st    22     46255       150      3195         0      8601     15975    168057   no data   no data
9.20/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.20/2.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.20/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.20/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.20/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.20/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.34	c lits-rem:        13  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.02 s
9.20/2.34	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.20/2.34	c vivif2 --  cl tried     8467 cl shrink        0 lits rem          0 time: 0.00
9.20/2.38	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.20/2.38	c calculated reachability. Time: 0.00
9.20/2.38	c  N st    22     46255       150      3195         0      8467     15975    163730   no data   no data
12.76/3.23	c  N st    23     60652       150      3195         0     12638     15975    270306   no data   no data
15.14/3.81	c  N st    24     69383       150      3195         0     10490     15975    193783   no data   no data
15.14/3.81	c  S st    24     69383       150      3195         0     10490     15975    193783   no data   no data
15.14/3.84	c  S st    24     69886       150      3195         0     10982     15975    208137   no data   no data
15.14/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.14/3.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.14/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
15.14/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.14/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.89	c lits-rem:        33  cl-subs:      237  v-elim:      0  v-fix:    0  time:  0.04 s
15.14/3.89	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.14/3.89	c vivif2 --  cl tried    10745 cl shrink        0 lits rem          0 time: 0.00
15.54/3.94	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.54/3.94	c calculated reachability. Time: 0.00
15.54/3.94	c  N st    24     69886       150      3195         0     10745     15975    200710   no data   no data
19.93/5.10	c  F st    25     87505       150      3195         0     16065     15975    350600   no data   no data
20.33/5.10	c  N st    25     87505       150      3195         0     16065     15975    350600   no data   no data
21.52/5.44	c Decided on static restart strategy
22.37/5.67	c  N st    32     95540       150      3195         0     23711     15975    579942   no data   no data
24.72/6.22	c  N st    34    104830       150      3195         0     20201     15975    470857   no data   no data
24.72/6.22	c  S st    34    104830       150      3195         0     20201     15975    470857   no data   no data
24.72/6.27	c  S st    34    105335       150      3195         0     20697     15975    485405   no data   no data
24.72/6.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.72/6.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.72/6.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.72/6.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.72/6.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.72/6.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.72/6.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.72/6.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.72/6.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.73	c lits-rem:       305  cl-subs:     1462  v-elim:      0  v-fix:    0  time:  0.44 s
26.75/6.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.75/6.74	c vivif2 --  cl tried    19235 cl shrink        0 lits rem          0 time: 0.00
27.10/6.82	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
27.10/6.82	c calculated reachability. Time: 0.00
27.10/6.82	c  N st    34    105335       150      3195         0     19235     15975    435282   no data   no data
29.51/7.48	c  N st    35    114935       150      3195         0     15087     15975    297544   no data   no data
34.30/8.61	c  N st    36    129334       150      3195         0     14515     15975    255223   no data   no data
40.27/10.13	c  N st    37    150930       150      3195         0     19803     15975    391165   no data   no data
42.27/10.63	c  S st    38    158002       150      3195         0     26577     15975    601460   no data   no data
42.67/10.70	c  S st    38    158505       150      3195         0     27069     15975    615844   no data   no data
42.67/10.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.67/10.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.67/10.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.67/10.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.67/10.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.67/10.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.67/10.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.67/10.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.67/10.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.86/11.52	c lits-rem:       961  cl-subs:     1720  v-elim:      0  v-fix:    0  time:  0.79 s
45.86/11.52	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.86/11.53	c vivif2 --  cl tried    25349 cl shrink        0 lits rem          0 time: 0.01
46.26/11.63	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
46.26/11.63	c calculated reachability. Time: 0.00
46.26/11.63	c  N st    38    158505       150      3195         0     25349     15975    561468   no data   no data
63.41/15.97	c  N st    39    207093       150      3195         0     20187     15975    355467   no data   no data
75.78/19.04	c  N st    40    237757       150      3195         0     30226     15975    643255   no data   no data
75.78/19.04	c  S st    40    237757       150      3195         0     30226     15975    643255   no data   no data
76.18/19.11	c  S st    40    238260       150      3195         0     30716     15975    658233   no data   no data
76.18/19.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.18/19.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.18/19.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.18/19.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.18/19.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.18/19.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
76.18/19.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.18/19.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.18/19.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.37/20.44	c lits-rem:       453  cl-subs:     2862  v-elim:      0  v-fix:    0  time:  1.29 s
81.37/20.44	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.37/20.45	c vivif2 --  cl tried    27854 cl shrink        0 lits rem          0 time: 0.01
81.77/20.57	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.77/20.57	c calculated reachability. Time: 0.00
81.77/20.57	c  N st    40    238260       150      3195         0     27854     15975    574714   no data   no data
107.70/27.07	c  F st    41    306250       150      3195         0     29779     15975    581658   no data   no data
107.70/27.07	c  N st    41    306250       150      3195         0     29779     15975    581658   no data   no data
110.14/27.66	c Decided on static restart strategy
120.07/30.16	c  N st    51    334551       150      3195         0     33972     15975    692853   no data   no data
130.85/32.81	c  N st    53    357390       150      3195         0     32003     15975    618161   no data   no data
130.85/32.81	c  S st    53    357390       150      3195         0     32003     15975    618161   no data   no data
130.85/32.89	c  S st    53    357892       150      3195         0     32494     15975    632522   no data   no data
130.85/32.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.25/32.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.25/32.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.25/32.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.25/32.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.25/32.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
131.25/32.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.25/32.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.25/32.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.04/33.62	c lits-rem:       496  cl-subs:     1419  v-elim:      0  v-fix:    0  time:  0.69 s
134.04/33.62	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.04/33.63	c vivif2 --  cl tried    31075 cl shrink        0 lits rem          0 time: 0.01
134.44/33.77	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.44/33.77	c calculated reachability. Time: 0.00
134.44/33.77	c  N st    53    357892       150      3195         0     31075     15975    584039   no data   no data
149.64/37.52	c  N st    54    390285       150      3195         0     37124     15975    751813   no data   no data
177.93/44.68	c  N st    55    438874       150      3195         0     31082     15975    541729   no data   no data
212.64/53.34	c  N st    56    511756       150      3195         0     44320     15975    906059   no data   no data
225.01/56.46	c  N st    57    536839       150      3195         0     38740     15975    714098   no data   no data
225.01/56.46	c  S st    57    536839       150      3195         0     38740     15975    714098   no data   no data
225.41/56.56	c  S st    57    537342       150      3195         0     39234     15975    728884   no data   no data
225.41/56.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
225.41/56.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
225.41/56.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
225.41/56.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
225.41/56.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.41/56.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
225.41/56.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
225.41/56.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
225.81/56.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
229.79/57.69	c lits-rem:       537  cl-subs:     1726  v-elim:      0  v-fix:    0  time:  1.08 s
229.79/57.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
230.19/57.70	c vivif2 --  cl tried    37508 cl shrink        0 lits rem          0 time: 0.01
230.59/57.88	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
230.59/57.88	c calculated reachability. Time: 0.00
230.59/57.88	c  N st    57    537342       150      3195         0     37508     15975    671777   no data   no data
324.37/81.35	c  N st    58    701328       150      3195         0     65718     15975   1505282   no data   no data
389.80/97.70	c  N st    59    806013       150      3195         0     59600     15975   1249133   no data   no data
389.80/97.70	c  S st    59    806013       150      3195         0     59600     15975   1249133   no data   no data
390.20/97.86	c  S st    59    806515       150      3195         0     60091     15975   1263889   no data   no data
390.20/97.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
390.20/97.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
390.20/97.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
390.20/97.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
390.20/97.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
390.20/97.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
390.20/97.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
390.20/97.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
390.62/97.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
419.72/105.23	c lits-rem:      2616  cl-subs:     5186  v-elim:      0  v-fix:    0  time:  7.30 s
419.72/105.23	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
419.72/105.25	c vivif2 --  cl tried    54905 cl shrink        0 lits rem          0 time: 0.02
420.93/105.54	c asymm  cl-useful: 0/3060/3195 lits-rem:0 time: 0.29
420.93/105.54	c calculated reachability. Time: 0.00
420.93/105.54	c  N st    59    806515       150      3195         0     54905     15975   1098312   no data   no data
588.13/147.44	c  F st    60   1071875       150      3195         0     70648     15975   1475908   no data   no data
588.13/147.45	c  N st    60   1071875       150      3195         0     70648     15975   1475908   no data   no data
592.52/148.55	c Decided on static restart strategy
611.65/153.36	c  N st    70   1100177       150      3195         0     55006     15975    951013   no data   no data
642.77/161.18	c  N st    72   1136172       150      3195         0     45606     15975    646552   no data   no data
666.31/167.03	c  N st    73   1168565       150      3195         0     76366     15975   1613405   no data   no data
702.24/176.08	c  N st    74   1209772       150      3195         0     70757     15975   1403667   no data   no data
702.24/176.08	c  S st    74   1209772       150      3195         0     70757     15975   1403667   no data   no data
703.41/176.34	c  S st    74   1210272       150      3195         0     71248     15975   1418767   no data   no data
703.41/176.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
703.41/176.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
703.41/176.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
703.41/176.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
703.41/176.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
703.41/176.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
703.41/176.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
703.81/176.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
703.81/176.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
762.46/191.11	c lits-rem:      1799  cl-subs:     5192  v-elim:      0  v-fix:    0  time: 14.64 s
762.46/191.11	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
762.46/191.13	c vivif2 --  cl tried    66056 cl shrink        0 lits rem          0 time: 0.02
764.45/191.64	c asymm  cl-useful: 0/2575/3195 lits-rem:0 time: 0.51
764.45/191.64	c calculated reachability. Time: 0.00
764.45/191.64	c  N st    74   1210272       150      3195         0     66056     15975   1259716   no data   no data
831.47/208.46	c  N st    75   1283154       150      3195         0     89603     15975   1999033   no data   no data
931.62/233.59	c  N st    76   1392480       150      3195         0     51285     15975    726071   no data   no data
1079.26/270.56	c  N st    77   1556464       150      3195         0     55715     15975    804306   no data   no data
1216.15/304.84	c  N st    78   1710273       150      3195         0     96233     15975   1999023   no data   no data
1216.15/304.84	c  S st    78   1710273       150      3195         0     96233     15975   1999023   no data   no data
1217.31/305.12	c  S st    78   1710775       150      3195         0     96725     15975   2013916   no data   no data
1217.31/305.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1217.31/305.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1217.31/305.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1217.31/305.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1217.31/305.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1217.31/305.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1217.31/305.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1217.72/305.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1217.72/305.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1303.51/326.72	c lits-rem:      2281  cl-subs:     8750  v-elim:      0  v-fix:    0  time: 21.46 s
1303.51/326.72	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1303.51/326.75	c vivif2 --  cl tried    87975 cl shrink        0 lits rem          0 time: 0.03
1303.93/326.89	c asymm  cl-useful: 0/620/3195 lits-rem:0 time: 0.14
1303.93/326.89	c calculated reachability. Time: 0.00
1303.93/326.89	c  N st    78   1710775       150      3195         0     87975     15975   1760167   no data   no data
1667.80/418.05	c  N st    79   2079741       150      3195         0     99427     15975   2042226   no data   no data
1808.25/453.29	c  N st    80   2210776       150      3195         0    103944     15975   2158292   no data   no data
1808.25/453.29	c  S st    80   2210776       150      3195         0    103944     15975   2158292   no data   no data
1809.82/453.66	c  S st    80   2211278       150      3195         0    104437     15975   2173215   no data   no data
1809.82/453.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1810.22/453.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1810.22/453.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1810.22/453.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1810.22/453.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1810.22/453.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1810.22/453.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1810.22/453.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1810.62/453.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1888.02/473.26	c lits-rem:      3272  cl-subs:     6885  v-elim:      0  v-fix:    0  time: 19.44 s
1888.02/473.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1888.02/473.28	c vivif2 --  cl tried    97552 cl shrink        0 lits rem          0 time: 0.03
1889.62/473.64	c asymm  cl-useful: 0/1799/3195 lits-rem:0 time: 0.36
1889.62/473.65	c calculated reachability. Time: 0.00
1889.62/473.65	c  N st    80   2211278       150      3195         0     97552     15975   1951103   no data   no data
2415.90/605.51	c  N st    81   2711278       150      3195         0    119460     15975   2497491   no data   no data
2415.90/605.51	c  S st    81   2711278       150      3195         0    119460     15975   2497491   no data   no data
2417.10/605.88	c  S st    81   2711780       150      3195         0    119952     15975   2512387   no data   no data
2417.10/605.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2417.50/605.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2417.50/605.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2417.50/605.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2417.50/605.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2417.50/605.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2417.50/605.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2417.50/605.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2417.90/606.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2576.32/645.76	c lits-rem:      4837  cl-subs:    13069  v-elim:      0  v-fix:    0  time: 39.71 s
2576.32/645.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2576.32/645.79	c vivif2 --  cl tried   106883 cl shrink        0 lits rem          0 time: 0.03
2577.89/646.17	c asymm  cl-useful: 0/1396/3195 lits-rem:0 time: 0.38
2577.89/646.17	c calculated reachability. Time: 0.00
2577.89/646.17	c  N st    81   2711780       150      3195         0    106883     15975   2127344   no data   no data
3191.94/800.01	c  N st    82   3211782       150      3195         0     84350     15975   1259296   no data   no data
3191.94/800.01	c  S st    82   3211782       150      3195         0     84350     15975   1259296   no data   no data
3193.14/800.36	c  S st    82   3212286       150      3195         0     84837     15975   1274681   no data   no data
3193.14/800.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3193.54/800.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3193.54/800.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3193.54/800.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3193.54/800.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3193.54/800.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3193.54/800.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3193.54/800.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3193.54/800.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3212.30/805.20	c lits-rem:       603  cl-subs:     2683  v-elim:      0  v-fix:    0  time:  4.72 s
3212.30/805.21	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3212.72/805.23	c vivif2 --  cl tried    82154 cl shrink        0 lits rem          0 time: 0.02
3214.28/805.69	c asymm  cl-useful: 0/2068/3195 lits-rem:0 time: 0.46
3214.28/805.69	c calculated reachability. Time: 0.00
3214.28/805.69	c  N st    82   3212286       150      3195         0     82154     15975   1199840   no data   no data
3841.52/962.82	c  N st    83   3712286       150      3195         0     93149     15975   1438219   no data   no data
3841.52/962.82	c  S st    83   3712286       150      3195         0     93149     15975   1438219   no data   no data
3842.72/963.10	c  S st    83   3712791       150      3195         0     93648     15975   1452871   no data   no data
3842.72/963.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3842.72/963.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3842.72/963.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3842.72/963.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3842.72/963.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3842.72/963.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3842.72/963.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3842.72/963.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3843.12/963.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3867.85/969.40	c lits-rem:       753  cl-subs:     2710  v-elim:      0  v-fix:    0  time:  6.18 s
3867.85/969.40	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3867.85/969.42	c vivif2 --  cl tried    90938 cl shrink        0 lits rem          0 time: 0.02
3869.05/969.77	c asymm  cl-useful: 0/1127/3195 lits-rem:0 time: 0.35
3869.05/969.77	c calculated reachability. Time: 0.00
3869.05/969.77	c  N st    83   3712791       150      3195         0     90938     15975   1371798   no data   no data
3932.93/985.79	c  F st    84   3751563       150      3195         0    127493     15975   2539585   no data   no data
3932.93/985.79	c  N st    84   3751563       150      3195         0    127493     15975   2539585   no data   no data
3949.66/990.00	c Decided on static restart strategy
4021.47/1007.94	c  N st    94   3779870       150      3195         0    154407     15975   3374431   no data   no data
4065.75/1019.02	c  N st    96   3815862       150      3195         0    108328     15975   1893122   no data   no data
4110.85/1030.38	c  N st    97   3848258       150      3195         0    139084     15975   2865933   no data   no data
4174.32/1046.29	c  N st    98   3896846       150      3195         0    103662     15975   1708014   no data   no data
4295.19/1076.57	c  N st    99   3969728       150      3195         0     90275     15975   1284326   no data   no data
4438.42/1112.44	c  N st   100   4079051       150      3195         0    110322     15975   1883071   no data   no data
4633.53/1161.32	c  N st   101   4212792       150      3195         0    152302     15975   3173852   no data   no data
4633.53/1161.32	c  S st   101   4212792       150      3195         0    152302     15975   3173852   no data   no data
4635.53/1161.81	c  S st   101   4213298       150      3195         0    152792     15975   3188717   no data   no data
4635.53/1161.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4635.93/1161.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4635.93/1161.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4635.93/1161.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4635.93/1161.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4635.93/1161.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4635.93/1161.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4635.93/1161.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4636.33/1162.04	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366504-1305405750/watcher-3366504-1305405750 -o /tmp/evaluation-result-3366504-1305405750/solver-3366504-1305405750 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366504-1305405750.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.51 7.99 8.05 6/310 19302
/proc/meminfo: memFree=18221936/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=207960 CPUtime=0.01 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 719 0 0 0 1 0 0 0 25 0 4 0 652174655 212951040 646 33554432000 4194304 4580107 140734481095680 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 51990 647 336 95 0 46972 0
[pid=19302/tid=19303] ppid=19300 vsize=216148 CPUtime=0 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 4 0 652174655 221335552 788 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=216148 CPUtime=0 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 100 0 0 0 0 0 0 0 25 0 4 0 652174655 221335552 788 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=216148 CPUtime=0 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 114 0 0 0 0 0 0 0 25 0 4 0 652174655 221335552 788 33554432000 4194304 4580107 140734481095680 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.109513 s]
/proc/loadavg: 7.51 7.99 8.05 6/310 19302
/proc/meminfo: memFree=18221936/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=216912 CPUtime=0.41 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 1974 0 0 0 41 0 0 0 25 0 4 0 652174655 222117888 1868 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 54228 1868 376 95 0 49210 0
[pid=19302/tid=19303] ppid=19300 vsize=216912 CPUtime=0.1 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 464 0 0 0 10 0 0 0 25 0 4 0 652174655 222117888 1868 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=216912 CPUtime=0.1 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 361 0 0 0 10 0 0 0 25 0 4 0 652174655 222117888 1868 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=216912 CPUtime=0.1 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 296 0 0 0 10 0 0 0 25 0 4 0 652174655 222117888 1868 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 216912

[startup+0.200446 s]
/proc/loadavg: 7.51 7.99 8.05 6/310 19302
/proc/meminfo: memFree=18221936/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=218588 CPUtime=0.77 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 2791 0 0 0 77 0 0 0 25 0 4 0 652174655 223834112 1967 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 54647 1967 376 95 0 49629 0
[pid=19302/tid=19303] ppid=19300 vsize=218588 CPUtime=0.19 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 667 0 0 0 19 0 0 0 25 0 4 0 652174655 223834112 1967 33554432000 4194304 4580107 140734481095680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=218588 CPUtime=0.19 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 559 0 0 0 19 0 0 0 25 0 4 0 652174655 223834112 1967 33554432000 4194304 4580107 140734481095680 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=218588 CPUtime=0.18 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 508 0 0 0 18 0 0 0 25 0 4 0 652174655 223834112 1967 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218588

[startup+0.300428 s]
/proc/loadavg: 7.51 7.99 8.05 6/310 19302
/proc/meminfo: memFree=18221936/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=218856 CPUtime=1.17 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 3291 0 0 0 117 0 0 0 25 0 4 0 652174655 224108544 2467 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 54714 2468 377 95 0 49696 0
[pid=19302/tid=19303] ppid=19300 vsize=218856 CPUtime=0.29 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 792 0 0 0 29 0 0 0 25 0 4 0 652174655 224108544 2468 33554432000 4194304 4580107 140734481095680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=218856 CPUtime=0.29 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 690 0 0 0 29 0 0 0 25 0 4 0 652174655 224108544 2468 33554432000 4194304 4580107 140734481095680 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=218856 CPUtime=0.28 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 632 0 0 0 28 0 0 0 25 0 4 0 652174655 224108544 2468 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218856

[startup+0.700361 s]
/proc/loadavg: 7.51 7.99 8.05 6/310 19302
/proc/meminfo: memFree=18221936/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=220560 CPUtime=2.77 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 5980 0 0 0 277 0 0 0 25 0 4 0 652174655 225853440 2684 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 55140 2684 377 95 0 50122 0
[pid=19302/tid=19303] ppid=19300 vsize=220560 CPUtime=0.69 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 1437 0 0 0 69 0 0 0 25 0 4 0 652174655 225853440 2684 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=220560 CPUtime=0.69 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 1392 0 0 0 69 0 0 0 25 0 4 0 652174655 225853440 2684 33554432000 4194304 4580107 140734481095680 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=220560 CPUtime=0.68 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 1308 0 0 0 68 0 0 0 25 0 4 0 652174655 225853440 2684 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220560

[startup+1.50022 s]
/proc/loadavg: 7.71 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18184332/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=228628 CPUtime=5.96 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 11388 0 0 0 595 1 0 0 25 0 4 0 652174655 234115072 5045 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 57157 5045 379 95 0 52139 0
[pid=19302/tid=19303] ppid=19300 vsize=228628 CPUtime=1.49 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 2420 0 0 0 149 0 0 0 25 0 4 0 652174655 234115072 5045 33554432000 4194304 4580107 140734481095680 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=228628 CPUtime=1.49 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 2457 0 0 0 149 0 0 0 25 0 4 0 652174655 234115072 5045 33554432000 4194304 4580107 140734481095680 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=228628 CPUtime=1.47 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 2342 0 0 0 147 0 0 0 25 0 4 0 652174655 234115072 5045 33554432000 4194304 4580107 140734481095680 18446744073709551615 4269863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 228628

[startup+3.10094 s]
/proc/loadavg: 7.71 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18152632/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=229204 CPUtime=12.36 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 22112 0 0 0 1233 3 0 0 25 0 4 0 652174655 234704896 10451 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 57301 10451 379 95 0 52283 0
[pid=19302/tid=19303] ppid=19300 vsize=229204 CPUtime=3.09 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 5162 0 0 0 309 0 0 0 25 0 4 0 652174655 234704896 10452 33554432000 4194304 4580107 140734481095680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=229204 CPUtime=3.08 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 5979 0 0 0 308 0 0 0 25 0 4 0 652174655 234704896 10452 33554432000 4194304 4580107 140734481095680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=229204 CPUtime=3.06 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 5336 0 0 0 306 0 0 0 25 0 4 0 652174655 234704896 10452 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 229204

[startup+6.30037 s]
/proc/loadavg: 7.73 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18106636/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=237144 CPUtime=25.12 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 35682 0 0 0 2507 5 0 0 25 0 4 0 652174655 242835456 16192 33554432000 4194304 4580107 140734481095680 18446744073709551615 4421780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 59286 16197 379 95 0 54268 0
[pid=19302/tid=19303] ppid=19300 vsize=237144 CPUtime=6.28 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 8984 0 0 0 627 1 0 0 25 0 4 0 652174655 242835456 16198 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=237144 CPUtime=6.29 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 9394 0 0 0 628 1 0 0 25 0 4 0 652174655 242835456 16200 33554432000 4194304 4580107 140734481095680 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=237144 CPUtime=6.23 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 7734 0 0 0 622 1 0 0 25 0 4 0 652174655 242835456 16203 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 237144

[startup+12.7002 s]
/proc/loadavg: 7.75 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18064364/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=245164 CPUtime=50.64 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 55481 0 0 0 5056 8 0 0 25 0 4 0 652174655 251047936 21303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 61291 21303 379 95 0 56273 0
[pid=19302/tid=19303] ppid=19300 vsize=245164 CPUtime=12.69 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 14177 0 0 0 1267 2 0 0 25 0 4 0 652174655 251047936 21303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=245164 CPUtime=12.68 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 13545 0 0 0 1267 1 0 0 25 0 4 0 652174655 251047936 21303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=245164 CPUtime=12.56 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 13270 0 0 0 1254 2 0 0 25 0 4 0 652174655 251047936 21303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 245164

[startup+25.501 s]
/proc/loadavg: 7.81 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18000136/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=252064 CPUtime=101.71 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 85680 0 0 0 10154 17 0 0 25 0 4 0 652174655 258113536 27728 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 63016 27728 379 95 0 57998 0
[pid=19302/tid=19303] ppid=19300 vsize=252064 CPUtime=25.48 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 22441 0 0 0 2545 3 0 0 25 0 4 0 652174655 258113536 27728 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=252064 CPUtime=25.48 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 21796 0 0 0 2544 4 0 0 25 0 4 0 652174655 258113536 27728 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=252064 CPUtime=25.22 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 20237 0 0 0 2518 4 0 0 25 0 4 0 652174655 258113536 27728 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 252064

[startup+51.1005 s]
/proc/loadavg: 7.94 8.03 8.06 9/314 19307
/proc/meminfo: memFree=17925860/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=247000 CPUtime=203.86 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 126873 0 0 0 20355 31 0 0 25 0 4 0 652174655 252928000 37420 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 61750 37421 379 95 0 56732 0
[pid=19302/tid=19303] ppid=19300 vsize=247000 CPUtime=51.08 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 33991 0 0 0 5101 7 0 0 25 0 4 0 652174655 252928000 37421 33554432000 4194304 4580107 140734481095680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=247000 CPUtime=51.09 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 32968 0 0 0 5101 8 0 0 25 0 4 0 652174655 252928000 37421 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=247000 CPUtime=50.58 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 29416 0 0 0 5050 8 0 0 25 0 4 0 652174655 252928000 37421 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 247000

[startup+102.3 s]
/proc/loadavg: 8.05 8.04 8.06 9/314 19308
/proc/meminfo: memFree=17827900/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=400848 CPUtime=408.18 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 187168 0 0 0 40768 50 0 0 25 0 4 0 652174655 410468352 51509 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 100212 51509 379 95 0 95194 0
[pid=19302/tid=19303] ppid=19300 vsize=400848 CPUtime=102.29 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 46974 0 0 0 10218 11 0 0 25 0 4 0 652174655 410468352 51510 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=400848 CPUtime=102.3 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 48515 0 0 0 10218 12 0 0 25 0 4 0 652174655 410468352 51510 33554432000 4194304 4580107 140734481095680 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=400848 CPUtime=101.26 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 47314 0 0 0 10113 13 0 0 25 0 4 0 652174655 410468352 51510 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 400848

[startup+162.301 s]

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

[pid=19302] ppid=19300 vsize=556932 CPUtime=2562.73 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 565965 0 0 0 256052 221 0 0 25 0 4 0 652174655 570298368 98249 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 139233 98249 379 95 0 134215 0
[pid=19302/tid=19303] ppid=19300 vsize=556932 CPUtime=642.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 134315 0 0 0 64175 52 0 0 25 0 4 0 652174655 570298368 98249 33554432000 4194304 4580107 140734481095680 18446744073709551615 4320306 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=556932 CPUtime=642.3 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 157953 0 0 0 64171 59 0 0 25 0 4 0 652174655 570298368 98249 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=556932 CPUtime=635.83 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 149122 0 0 0 63522 61 0 0 25 0 4 0 652174655 570298368 98249 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.73
Current children cumulated vsize (KiB) 556932

[startup+702.301 s]
/proc/loadavg: 8.12 8.09 8.07 9/314 19324
/proc/meminfo: memFree=17338776/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=581960 CPUtime=2802.13 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 605449 0 0 0 279972 241 0 0 25 0 4 0 652174655 595927040 102303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 145490 102303 379 95 0 140472 0
[pid=19302/tid=19303] ppid=19300 vsize=581960 CPUtime=702.28 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 144356 0 0 0 70170 58 0 0 25 0 4 0 652174655 595927040 102303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=581960 CPUtime=702.3 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 168719 0 0 0 70165 65 0 0 25 0 4 0 652174655 595927040 102303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=581960 CPUtime=695.22 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 158667 0 0 0 69456 66 0 0 25 0 4 0 652174655 595927040 102303 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.13
Current children cumulated vsize (KiB) 581960

[startup+762.3 s]
/proc/loadavg: 8.08 8.09 8.07 9/314 19326
/proc/meminfo: memFree=17265452/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=691428 CPUtime=3041.56 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 638377 0 0 0 303900 256 0 0 25 0 4 0 652174655 708022272 113257 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 172857 113257 379 95 0 167839 0
[pid=19302/tid=19303] ppid=19300 vsize=691428 CPUtime=762.28 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 158143 0 0 0 76166 62 0 0 25 0 4 0 652174655 708022272 113258 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=691428 CPUtime=762.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 177307 0 0 0 76161 70 0 0 25 0 4 0 652174655 708022272 113258 33554432000 4194304 4580107 140734481095680 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=691428 CPUtime=754.63 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 167297 0 0 0 75392 71 0 0 25 0 4 0 652174655 708022272 113258 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.56
Current children cumulated vsize (KiB) 691428

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 8.07 9/314 19328
/proc/meminfo: memFree=17243968/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=705100 CPUtime=3280.92 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 658742 0 0 0 327826 266 0 0 25 0 4 0 652174655 722022400 121237 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 176275 121237 379 95 0 171257 0
[pid=19302/tid=19303] ppid=19300 vsize=705100 CPUtime=822.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 161253 0 0 0 82163 64 0 0 25 0 4 0 652174655 722022400 121237 33554432000 4194304 4580107 140734481095680 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=705100 CPUtime=822.3 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 186720 0 0 0 82155 75 0 0 25 0 4 0 652174655 722022400 121237 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=705100 CPUtime=814.02 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 174355 0 0 0 81329 73 0 0 25 0 4 0 652174655 722022400 121237 33554432000 4194304 4580107 140734481095680 18446744073709551615 4322582 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.92
Current children cumulated vsize (KiB) 705100

[startup+882.312 s]
/proc/loadavg: 8.15 8.11 8.08 9/314 19329
/proc/meminfo: memFree=17270340/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=679228 CPUtime=3520.37 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 689090 0 0 0 351757 280 0 0 25 0 4 0 652174655 695529472 113732 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 169807 113732 379 95 0 164789 0
[pid=19302/tid=19303] ppid=19300 vsize=679228 CPUtime=882.28 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 169774 0 0 0 88159 69 0 0 25 0 4 0 652174655 695529472 113732 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=679228 CPUtime=882.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 194710 0 0 0 88153 78 0 0 25 0 4 0 652174655 695529472 113732 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=679228 CPUtime=873.42 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 183959 0 0 0 87266 76 0 0 25 0 4 0 652174655 695529472 113732 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.37
Current children cumulated vsize (KiB) 679228

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.08 9/314 19331
/proc/meminfo: memFree=17275384/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=610544 CPUtime=3759.73 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 724960 0 0 0 375677 296 0 0 25 0 4 0 652174655 625197056 115319 33554432000 4194304 4580107 140734481095680 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 152636 115319 379 95 0 147618 0
[pid=19302/tid=19303] ppid=19300 vsize=610544 CPUtime=942.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 178379 0 0 0 94153 74 0 0 25 0 4 0 652174655 625197056 115319 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=610544 CPUtime=942.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 203051 0 0 0 94149 82 0 0 25 0 4 0 652174655 625197056 115319 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=610544 CPUtime=932.82 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 192752 0 0 0 93202 80 0 0 25 0 4 0 652174655 625197056 115319 33554432000 4194304 4580107 140734481095680 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.73
Current children cumulated vsize (KiB) 610544

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.08 9/314 19332
/proc/meminfo: memFree=17239112/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=734648 CPUtime=3999.12 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 748906 0 0 0 399602 310 0 0 25 0 4 0 652174655 752279552 123219 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 183662 123219 379 95 0 178644 0
[pid=19302/tid=19303] ppid=19300 vsize=734648 CPUtime=1002.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 182262 0 0 0 100152 75 0 0 25 0 4 0 652174655 752279552 123219 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=734648 CPUtime=1002.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 211213 0 0 0 100145 86 0 0 25 0 4 0 652174655 752279552 123219 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=734648 CPUtime=992.2 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 199190 0 0 0 99137 83 0 0 25 0 4 0 652174655 752279552 123219 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.12
Current children cumulated vsize (KiB) 734648

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.08 9/314 19334
/proc/meminfo: memFree=17199908/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=734872 CPUtime=4238.53 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 774541 0 0 0 423531 322 0 0 25 0 4 0 652174655 752508928 126939 33554432000 4194304 4580107 140734481095680 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 183718 126939 379 95 0 178700 0
[pid=19302/tid=19303] ppid=19300 vsize=734872 CPUtime=1062.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 187594 0 0 0 106149 78 0 0 25 0 4 0 652174655 752508928 126939 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=734872 CPUtime=1062.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 216840 0 0 0 106141 90 0 0 25 0 4 0 652174655 752508928 126939 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=734872 CPUtime=1051.61 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 206153 0 0 0 105076 85 0 0 25 0 4 0 652174655 752508928 126939 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.53
Current children cumulated vsize (KiB) 734872

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.08 9/314 19345
/proc/meminfo: memFree=17184456/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=792820 CPUtime=4477.92 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 801233 0 0 0 447456 336 0 0 25 0 4 0 652174655 811847680 125495 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 198205 125495 379 95 0 193187 0
[pid=19302/tid=19303] ppid=19300 vsize=792820 CPUtime=1122.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 191902 0 0 0 112147 80 0 0 25 0 4 0 652174655 811847680 125495 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=792820 CPUtime=1122.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 224899 0 0 0 112137 94 0 0 25 0 4 0 652174655 811847680 125495 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=792820 CPUtime=1111.01 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 212601 0 0 0 111012 89 0 0 25 0 4 0 652174655 811847680 125495 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.92
Current children cumulated vsize (KiB) 792820

[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/314 19346
/proc/meminfo: memFree=17148552/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=708272 CPUtime=4717.33 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 834903 0 0 0 471385 348 0 0 25 0 4 0 652174655 725270528 137611 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 177068 137611 379 95 0 172050 0
[pid=19302/tid=19303] ppid=19300 vsize=708272 CPUtime=1182.27 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 199278 0 0 0 118143 84 0 0 25 0 4 0 652174655 725270528 137611 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=708272 CPUtime=1182.31 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 232135 0 0 0 118135 96 0 0 25 0 4 0 652174655 725270528 137611 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=708272 CPUtime=1170.42 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 220049 0 0 0 116949 93 0 0 25 0 4 0 652174655 725270528 137611 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.33
Current children cumulated vsize (KiB) 708272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.03 8.07 8.08 5/309 19348
/proc/meminfo: memFree=17678184/32950928 swapFree=67111348/67111528
[pid=19302] ppid=19300 vsize=693876 CPUtime=4800.34 cores=1,3,5,7
/proc/19302/stat : 19302 (strangenight2-m) R 19300 19302 18635 0 -1 4202496 839712 0 0 0 479681 353 0 0 25 0 4 0 652174655 710529024 137781 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19302/statm: 173469 137781 379 95 0 168451 0
[pid=19302/tid=19303] ppid=19300 vsize=693876 CPUtime=1203.08 cores=1,3,5,7
/proc/19302/task/19303/stat : 19303 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 201853 0 0 0 120223 85 0 0 25 0 4 0 652174655 710529024 137781 33554432000 4194304 4580107 140734481095680 18446744073709551615 4406276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19302/tid=19304] ppid=19300 vsize=693876 CPUtime=1203.12 cores=1,3,5,7
/proc/19302/task/19304/stat : 19304 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 233509 0 0 0 120214 98 0 0 25 0 4 0 652174655 710529024 137781 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19302/tid=19305] ppid=19300 vsize=693876 CPUtime=1191 cores=1,3,5,7
/proc/19302/task/19305/stat : 19305 (strangenight2-m) R 19300 19302 18635 0 -1 4202560 220909 0 0 0 119006 94 0 0 25 0 4 0 652174655 710529024 137781 33554432000 4194304 4580107 140734481095680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 693876

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): 1203.14
CPU time (s): 4800.41
CPU user time (s): 4796.85
CPU system time (s): 3.56046
CPU usage (%): 398.988
Max. virtual memory (cumulated for all children) (KiB): 847628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.85
system time used= 3.56046
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839712
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= 286
involuntary context switches= 30609

runsolver used 3.23151 second user time and 8.90664 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-14 22:42:30
IDJOB=3366504
IDBENCH=82913
IDSOLVER=1844
FILE ID=node125/3366504-1305405750
RUNJOBID= node125-1305405749-19250
PBS_JOBID= 13324489
Free space on /tmp= 73192 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366504-1305405750/watcher-3366504-1305405750 -o /tmp/evaluation-result-3366504-1305405750/solver-3366504-1305405750 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366504-1305405750.cnf

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

MD5SUM BENCH= 5a6e4de126d24892e5539c0ca63e90ed
RANDOM SEED=1219375103

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18222216 kB
Buffers:        255696 kB
Cached:        4033076 kB
SwapCached:          0 kB
Active:       11140156 kB
Inactive:      3215464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18222216 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11424 kB
Writeback:           0 kB
AnonPages:    10066832 kB
Mapped:          29840 kB
Slab:           274868 kB
PageTables:      35456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51084672 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= 73192 MiB
End job on node125 at 2011-05-14 23:02:35