Trace number 3366402

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.38 1202.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf
MD5SUMc27e99aa66f5519277e3446434cc73f8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05699
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
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 53727
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-3366402-1305403384.cnf'
0.00/0.00	c -- header says num vars:            175
0.00/0.00	c -- header says num clauses:        3727
0.00/0.01	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.01	c -- vars added        175
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3727/3727 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:    175 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.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:      89 undec:       8 neg:      78
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.11	c Decided on static restart strategy
0.78/0.21	c  N st     8      4922       175      3727         0      4728     18635    159854   no data   no data
1.57/0.41	c  N st    10     11304       175      3727         0      4361     18635    109719   no data   no data
2.37/0.65	c  N st    11     17048       175      3727         0      9854     18635    297363   no data   no data
3.98/1.02	c  F st    12     25000       175      3727         0     12120     18635    378984   no data   no data
3.98/1.03	c  N st    12     25000       175      3727         0     12120     18635    378984   no data   no data
4.80/1.26	c Decided on static restart strategy
4.80/1.26	c  N st    18     30000       175      3727         0     10374     18635    297639   no data   no data
4.80/1.26	c  S st    18     30000       175      3727         0     10374     18635    297639   no data   no data
4.80/1.29	c  S st    18     30508       175      3727         0     10869     18635    313890   no data   no data
4.80/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.16/1.30	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
5.16/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
5.16/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c lits-rem:       216  cl-subs:     1002  v-elim:      0  v-fix:    0  time:  0.20 s
5.96/1.55	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.96/1.55	c calculated reachability. Time: 0.00
5.96/1.55	c  N st    18     30508       175      3727         0      9867     18635    274401   no data   no data
7.56/1.91	c  N st    20     37621       175      3727         0      9143     18635    228518   no data   no data
8.78/2.25	c  N st    21     44021       175      3727         0     15270     18635    435741   no data   no data
9.19/2.37	c  S st    22     45762       175      3727         0     16951     18635    493613   no data   no data
9.55/2.42	c  S st    22     46269       175      3727         0      8862     18635    195182   no data   no data
9.55/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.55/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.55/2.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.46	c lits-rem:        29  cl-subs:      107  v-elim:      0  v-fix:    0  time:  0.02 s
9.55/2.46	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.55/2.46	c vivif2 --  cl tried     8755 cl shrink        0 lits rem          0 time: 0.00
9.95/2.50	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.95/2.50	c calculated reachability. Time: 0.00
9.95/2.50	c  N st    22     46269       175      3727         0      8755     18635    191149   no data   no data
12.74/3.29	c  N st    23     60666       175      3727         0     13003     18635    319773   no data   no data
15.14/3.82	c  N st    24     69403       175      3727         0     10851     18635    223798   no data   no data
15.14/3.82	c  S st    24     69403       175      3727         0     10851     18635    223798   no data   no data
15.14/3.86	c  S st    24     69904       175      3727         0     11343     18635    240229   no data   no data
15.14/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.14/3.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.14/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.14/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.14/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.92	c lits-rem:        26  cl-subs:      187  v-elim:      0  v-fix:    0  time:  0.05 s
15.54/3.92	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.54/3.92	c vivif2 --  cl tried    11156 cl shrink        0 lits rem          0 time: 0.00
15.54/3.98	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
15.54/3.98	c calculated reachability. Time: 0.00
15.54/3.98	c  N st    24     69904       175      3727         0     11156     18635    233050   no data   no data
20.33/5.10	c  F st    25     87500       175      3727         0     16527     18635    406704   no data   no data
20.33/5.10	c  N st    25     87500       175      3727         0     16527     18635    406704   no data   no data
21.53/5.44	c Decided on static restart strategy
22.36/5.67	c  N st    32     95537       175      3727         0     24267     18635    671280   no data   no data
24.72/6.29	c  N st    34    104856       175      3727         0     20681     18635    529207   no data   no data
24.72/6.29	c  S st    34    104856       175      3727         0     20681     18635    529207   no data   no data
25.12/6.34	c  S st    34    105359       175      3727         0     21173     18635    545305   no data   no data
25.12/6.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.12/6.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.12/6.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.12/6.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.12/6.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.12/6.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.12/6.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.12/6.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.12/6.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.87	c lits-rem:       318  cl-subs:     1368  v-elim:      0  v-fix:    0  time:  0.49 s
27.11/6.87	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
27.11/6.88	c vivif2 --  cl tried    19805 cl shrink        0 lits rem          0 time: 0.00
27.51/6.96	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
27.51/6.96	c calculated reachability. Time: 0.00
27.51/6.96	c  N st    34    105359       175      3727         0     19805     18635    494388   no data   no data
30.31/7.68	c  N st    35    114959       175      3727         0     15584     18635    349703   no data   no data
35.12/8.88	c  N st    36    129358       175      3727         0     15024     18635    299650   no data   no data
42.28/10.64	c  N st    37    150954       175      3727         0     20352     18635    456377   no data   no data
44.67/11.20	c  S st    38    158039       175      3727         0     27123     18635    694814   no data   no data
44.67/11.26	c  S st    38    158542       175      3727         0     27618     18635    711321   no data   no data
44.67/11.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.67/11.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.67/11.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.67/11.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.67/11.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.67/11.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
44.67/11.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.67/11.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.07/11.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.70/12.25	c lits-rem:       762  cl-subs:     1691  v-elim:      0  v-fix:    0  time:  0.95 s
48.70/12.25	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
48.70/12.26	c vivif2 --  cl tried    25927 cl shrink        0 lits rem          0 time: 0.01
49.06/12.37	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.11
49.06/12.37	c calculated reachability. Time: 0.00
49.06/12.37	c  N st    38    158542       175      3727         0     25927     18635    646138   no data   no data
67.82/17.01	c  N st    39    207130       175      3727         0     20733     18635    416547   no data   no data
81.39/20.48	c  N st    40    237815       175      3727         0     30970     18635    759725   no data   no data
81.39/20.48	c  S st    40    237815       175      3727         0     30970     18635    759725   no data   no data
81.79/20.56	c  S st    40    238322       175      3727         0     31464     18635    776362   no data   no data
81.79/20.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.79/20.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.79/20.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.79/20.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.79/20.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.79/20.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
81.79/20.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.79/20.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.19/20.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.21/22.13	c lits-rem:       590  cl-subs:     2103  v-elim:      0  v-fix:    0  time:  1.52 s
88.21/22.13	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
88.21/22.14	c vivif2 --  cl tried    29361 cl shrink        0 lits rem          0 time: 0.01
88.57/22.28	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
88.57/22.28	c calculated reachability. Time: 0.00
88.57/22.28	c  N st    40    238322       175      3727         0     29361     18635    698650   no data   no data
115.71/29.05	c  F st    41    306251       175      3727         0     31259     18635    708280   no data   no data
115.71/29.05	c  N st    41    306251       175      3727         0     31259     18635    708280   no data   no data
118.11/29.63	c Decided on static restart strategy
127.72/32.03	c  N st    51    334552       175      3727         0     35528     18635    823982   no data   no data
138.06/34.62	c  N st    53    357484       175      3727         0     33465     18635    725204   no data   no data
138.06/34.62	c  S st    53    357484       175      3727         0     33465     18635    725204   no data   no data
138.46/34.71	c  S st    53    357986       175      3727         0     33960     18635    741388   no data   no data
138.46/34.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.46/34.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
138.46/34.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.46/34.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.46/34.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.46/34.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
138.46/34.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.46/34.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.46/34.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.65/35.50	c lits-rem:       419  cl-subs:     1286  v-elim:      0  v-fix:    0  time:  0.76 s
141.65/35.50	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
141.65/35.51	c vivif2 --  cl tried    32674 cl shrink        0 lits rem          0 time: 0.01
142.05/35.67	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.16
142.05/35.68	c calculated reachability. Time: 0.00
142.05/35.68	c  N st    53    357986       175      3727         0     32674     18635    692827   no data   no data
157.62/39.57	c  N st    54    390379       175      3727         0     38849     18635    891824   no data   no data
188.77/47.32	c  N st    55    438967       175      3727         0     32617     18635    643495   no data   no data
226.66/56.89	c  N st    56    511850       175      3727         0     45784     18635   1031737   no data   no data
239.03/59.99	c  N st    57    536980       175      3727         0     40242     18635    839531   no data   no data
239.03/59.99	c  S st    57    536980       175      3727         0     40242     18635    839531   no data   no data
239.83/60.10	c  S st    57    537481       175      3727         0     40735     18635    855502   no data   no data
239.83/60.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.83/60.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
239.83/60.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.83/60.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.83/60.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.83/60.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
239.83/60.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.83/60.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
239.83/60.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.02/61.44	c lits-rem:       670  cl-subs:     1608  v-elim:      0  v-fix:    0  time:  1.29 s
245.02/61.44	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
245.02/61.45	c vivif2 --  cl tried    39127 cl shrink        0 lits rem          0 time: 0.01
245.84/61.65	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.20
245.84/61.65	c calculated reachability. Time: 0.00
245.84/61.65	c  N st    57    537481       175      3727         0     39127     18635    794580   no data   no data
345.20/86.54	c  N st    58    701465       175      3727         0     67710     18635   1759241   no data   no data
417.83/104.75	c  N st    59    806221       175      3727         0     61506     18635   1421528   no data   no data
417.83/104.75	c  S st    59    806221       175      3727         0     61506     18635   1421528   no data   no data
418.63/104.90	c  S st    59    806724       175      3727         0     62004     18635   1438302   no data   no data
418.63/104.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
418.63/104.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
418.63/104.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
418.63/104.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
418.63/104.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.63/104.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
418.63/104.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
418.63/104.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
418.63/104.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.36/113.19	c lits-rem:      1329  cl-subs:     4888  v-elim:      0  v-fix:    0  time:  8.20 s
451.36/113.20	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
451.76/113.22	c vivif2 --  cl tried    57116 cl shrink        0 lits rem          0 time: 0.02
452.94/113.50	c asymm  cl-useful: 0/3374/3727 lits-rem:0 time: 0.29
452.94/113.50	c calculated reachability. Time: 0.00
452.94/113.50	c  N st    59    806724       175      3727         0     57116     18635   1272491   no data   no data
651.70/163.31	c  F st    60   1071878       175      3727         0     72615     18635   1690976   no data   no data
651.70/163.31	c  N st    60   1071878       175      3727         0     72615     18635   1690976   no data   no data
656.09/164.45	c Decided on static restart strategy
672.45/168.57	c  N st    70   1100180       175      3727         0     57024     18635   1115963   no data   no data
702.82/176.11	c  N st    72   1136173       175      3727         0     47604     18635    770322   no data   no data
733.14/183.74	c  N st    73   1168566       175      3727         0     78677     18635   1871793   no data   no data
784.21/196.58	c  N st    74   1210086       175      3727         0     73489     18635   1654954   no data   no data
784.21/196.58	c  S st    74   1210086       175      3727         0     73489     18635   1654954   no data   no data
785.40/196.85	c  S st    74   1210591       175      3727         0     73990     18635   1671865   no data   no data
785.40/196.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
785.40/196.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
785.40/196.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
785.40/196.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
785.40/196.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.40/196.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
785.40/196.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
785.83/196.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
785.83/196.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.26/210.31	c lits-rem:       970  cl-subs:     3971  v-elim:      0  v-fix:    0  time: 13.33 s
839.26/210.31	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
839.26/210.33	c vivif2 --  cl tried    70019 cl shrink        0 lits rem          0 time: 0.02
840.86/210.73	c asymm  cl-useful: 0/2817/3727 lits-rem:0 time: 0.39
840.86/210.73	c calculated reachability. Time: 0.00
840.86/210.73	c  N st    74   1210591       175      3727         0     70019     18635   1517618   no data   no data
915.49/229.47	c  N st    75   1283473       175      3727         0     46903     18635    678243   no data   no data
1011.28/253.43	c  N st    76   1392796       175      3727         0     54925     18635    915910   no data   no data
1137.44/285.08	c  N st    77   1556782       175      3727         0     59638     18635   1031538   no data   no data
1274.69/319.48	c  N st    78   1710591       175      3727         0    100682     18635   2526268   no data   no data
1274.69/319.48	c  S st    78   1710591       175      3727         0    100682     18635   2526268   no data   no data
1275.89/319.79	c  S st    78   1711095       175      3727         0    101170     18635   2542282   no data   no data
1275.89/319.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1276.29/319.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1276.29/319.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1276.29/319.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1276.29/319.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1276.29/319.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1276.29/319.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1276.29/319.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1276.69/319.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1383.63/346.80	c lits-rem:      2836  cl-subs:     7077  v-elim:      0  v-fix:    0  time: 26.85 s
1384.03/346.80	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1384.03/346.83	c vivif2 --  cl tried    94093 cl shrink        0 lits rem          0 time: 0.03
1384.83/347.02	c asymm  cl-useful: 0/910/3727 lits-rem:0 time: 0.19
1384.83/347.02	c calculated reachability. Time: 0.00
1384.83/347.02	c  N st    78   1711095       175      3727         0     94093     18635   2252782   no data   no data
1751.21/438.86	c  N st    79   2080060       175      3727         0    105061     18635   2492781   no data   no data
1874.13/469.68	c  N st    80   2211095       175      3727         0    109157     18635   2579177   no data   no data
1874.13/469.68	c  S st    80   2211095       175      3727         0    109157     18635   2579177   no data   no data
1875.72/470.02	c  S st    80   2211597       175      3727         0    109651     18635   2595383   no data   no data
1875.72/470.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1875.72/470.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1875.72/470.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1875.72/470.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1875.72/470.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1875.72/470.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1875.72/470.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1876.12/470.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1876.12/470.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2005.03/502.43	c lits-rem:      2700  cl-subs:     8833  v-elim:      0  v-fix:    0  time: 32.24 s
2005.03/502.43	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2005.03/502.47	c vivif2 --  cl tried   100818 cl shrink        0 lits rem          0 time: 0.04
2006.66/502.83	c asymm  cl-useful: 0/2170/3727 lits-rem:0 time: 0.36
2006.66/502.83	c calculated reachability. Time: 0.00
2006.66/502.83	c  N st    80   2211597       175      3727         0    100818     18635   2269127   no data   no data
2500.71/626.64	c  N st    81   2711597       175      3727         0    124089     18635   2937482   no data   no data
2500.71/626.64	c  S st    81   2711597       175      3727         0    124089     18635   2937482   no data   no data
2502.33/627.05	c  S st    81   2712098       175      3727         0    124580     18635   2954331   no data   no data
2502.33/627.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2502.75/627.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2502.75/627.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2502.75/627.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2502.75/627.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2502.75/627.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2502.75/627.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2502.75/627.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2503.11/627.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2671.92/669.52	c lits-rem:      2342  cl-subs:    10022  v-elim:      0  v-fix:    0  time: 42.28 s
2671.92/669.52	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2671.92/669.56	c vivif2 --  cl tried   114558 cl shrink        0 lits rem          0 time: 0.04
2673.53/669.95	c asymm  cl-useful: 0/1543/3727 lits-rem:0 time: 0.39
2673.53/669.96	c calculated reachability. Time: 0.00
2673.53/669.96	c  N st    81   2712098       175      3727         0    114558     18635   2601924   no data   no data
3312.47/830.06	c  N st    82   3212099       175      3727         0     90437     18635   1587252   no data   no data
3312.47/830.06	c  S st    82   3212099       175      3727         0     90437     18635   1587252   no data   no data
3313.67/830.32	c  S st    82   3212602       175      3727         0     90928     18635   1604477   no data   no data
3313.67/830.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3313.67/830.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3313.67/830.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3313.67/830.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3313.67/830.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3313.67/830.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3313.67/830.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3314.07/830.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3314.07/830.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3338.81/836.68	c lits-rem:      1030  cl-subs:     3610  v-elim:      0  v-fix:    0  time:  6.23 s
3338.81/836.68	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3339.21/836.70	c vivif2 --  cl tried    87318 cl shrink        0 lits rem          0 time: 0.02
3340.41/837.06	c asymm  cl-useful: 0/2403/3727 lits-rem:0 time: 0.36
3340.41/837.06	c calculated reachability. Time: 0.00
3340.41/837.06	c  N st    82   3212602       175      3727         0     87318     18635   1480802   no data   no data
4059.17/1017.19	c  N st    83   3712603       175      3727         0     98333     18635   1727400   no data   no data
4059.17/1017.19	c  S st    83   3712603       175      3727         0     98333     18635   1727400   no data   no data
4061.21/1017.64	c  S st    83   3713109       175      3727         0     98828     18635   1744138   no data   no data
4061.21/1017.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4061.56/1017.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
4061.56/1017.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4061.56/1017.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4061.56/1017.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4061.56/1017.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4061.56/1017.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4061.56/1017.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4061.96/1017.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4095.91/1026.37	c lits-rem:       838  cl-subs:     3818  v-elim:      0  v-fix:    0  time:  8.55 s
4095.91/1026.37	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
4095.91/1026.39	c vivif2 --  cl tried    95010 cl shrink        0 lits rem          0 time: 0.03
4097.08/1026.67	c asymm  cl-useful: 0/1324/3727 lits-rem:0 time: 0.27
4097.08/1026.67	c calculated reachability. Time: 0.00
4097.08/1026.67	c  N st    83   3713109       175      3727         0     95010     18635   1612113   no data   no data
4149.36/1039.75	c  F st    84   3751563       175      3727         0    131658     18635   2896174   no data   no data
4149.36/1039.75	c  N st    84   3751563       175      3727         0    131658     18635   2896174   no data   no data
4159.35/1042.29	c Decided on static restart strategy
4203.24/1053.21	c  N st    94   3779873       175      3727         0    158692     18635   3826670   no data   no data
4244.36/1063.58	c  N st    96   3815867       175      3727         0    112517     18635   2210257   no data   no data
4288.25/1074.50	c  N st    97   3848261       175      3727         0    143437     18635   3307485   no data   no data
4342.52/1088.15	c  N st    98   3896850       175      3727         0    108087     18635   2022738   no data   no data
4442.73/1113.23	c  N st    99   3969734       175      3727         0     94536     18635   1523839   no data   no data
4581.59/1148.09	c  N st   100   4079059       175      3727         0    114668     18635   2224045   no data   no data
4780.34/1197.85	c  N st   101   4213111       175      3727         0    157382     18635   3669878   no data   no data
4780.34/1197.85	c  S st   101   4213111       175      3727         0    157382     18635   3669878   no data   no data
4782.34/1198.34	c  S st   101   4213615       175      3727         0    157876     18635   3686405   no data   no data
4782.34/1198.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4782.74/1198.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.09
4782.74/1198.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4782.74/1198.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4782.74/1198.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4782.74/1198.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4782.74/1198.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4782.74/1198.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4783.14/1198.59	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-3366402-1305403384/watcher-3366402-1305403384 -o /tmp/evaluation-result-3366402-1305403384/solver-3366402-1305403384 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366402-1305403384.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: 8.05 8.11 8.09 7/294 27625
/proc/meminfo: memFree=24421640/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=207960 CPUtime=0.01 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 805 0 0 0 1 0 0 0 25 0 4 0 632754262 212951040 722 33554432000 4194304 4580107 140737052509360 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 51990 722 336 95 0 46972 0
[pid=27625/tid=27626] ppid=27623 vsize=208088 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 144 0 0 0 0 0 0 0 25 0 4 0 632754262 213082112 785 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=208088 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 140 0 0 0 0 0 0 0 25 0 4 0 632754262 213082112 785 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=208088 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 30 0 0 0 0 0 0 0 25 0 4 0 632754262 213082112 785 33554432000 4194304 4580107 140737052509360 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.111058 s]
/proc/loadavg: 8.05 8.11 8.09 7/294 27625
/proc/meminfo: memFree=24421640/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=216964 CPUtime=0.42 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 2229 0 0 0 42 0 0 0 18 0 4 0 632754262 222171136 2044 33554432000 4194304 4580107 140737052509360 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 54241 2044 376 95 0 49223 0
[pid=27625/tid=27626] ppid=27623 vsize=216964 CPUtime=0.1 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 497 0 0 0 10 0 0 0 25 0 4 0 632754262 222171136 2044 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=216964 CPUtime=0.1 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 524 0 0 0 10 0 0 0 25 0 4 0 632754262 222171136 2044 33554432000 4194304 4580107 140737052509360 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=216964 CPUtime=0.09 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 284 0 0 0 9 0 0 0 25 0 4 0 632754262 222171136 2044 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294936 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 216964

[startup+0.200993 s]
/proc/loadavg: 8.05 8.11 8.09 7/294 27625
/proc/meminfo: memFree=24421640/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=219008 CPUtime=0.78 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 3097 0 0 0 78 0 0 0 18 0 4 0 632754262 224264192 2095 33554432000 4194304 4580107 140737052509360 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 54752 2095 376 95 0 49734 0
[pid=27625/tid=27626] ppid=27623 vsize=219008 CPUtime=0.19 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 700 0 0 0 19 0 0 0 25 0 4 0 632754262 224264192 2095 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=219008 CPUtime=0.19 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 750 0 0 0 19 0 0 0 25 0 4 0 632754262 224264192 2095 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=219008 CPUtime=0.18 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 505 0 0 0 18 0 0 0 25 0 4 0 632754262 224264192 2095 33554432000 4194304 4580107 140737052509360 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 219008

[startup+0.300973 s]
/proc/loadavg: 8.05 8.11 8.09 7/294 27625
/proc/meminfo: memFree=24421640/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=219152 CPUtime=1.18 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 3598 0 0 0 118 0 0 0 18 0 4 0 632754262 224411648 2596 33554432000 4194304 4580107 140737052509360 18446744073709551615 4321914 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 54788 2597 377 95 0 49770 0
[pid=27625/tid=27626] ppid=27623 vsize=219152 CPUtime=0.29 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 822 0 0 0 29 0 0 0 25 0 4 0 632754262 224411648 2597 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=219152 CPUtime=0.29 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 884 0 0 0 29 0 0 0 25 0 4 0 632754262 224411648 2597 33554432000 4194304 4580107 140737052509360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=219152 CPUtime=0.28 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 630 0 0 0 28 0 0 0 25 0 4 0 632754262 224411648 2597 33554432000 4194304 4580107 140737052509360 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 219152

[startup+0.700902 s]
/proc/loadavg: 8.05 8.11 8.09 7/294 27625
/proc/meminfo: memFree=24421640/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=220828 CPUtime=2.77 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 6346 0 0 0 277 0 0 0 18 0 4 0 632754262 226127872 2964 33554432000 4194304 4580107 140737052509360 18446744073709551615 4331746 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 55207 2964 377 95 0 50189 0
[pid=27625/tid=27626] ppid=27623 vsize=220828 CPUtime=0.69 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 1573 0 0 0 69 0 0 0 25 0 4 0 632754262 226127872 2964 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=220828 CPUtime=0.69 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 1630 0 0 0 69 0 0 0 25 0 4 0 632754262 226127872 2964 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=220828 CPUtime=0.68 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 1359 0 0 0 68 0 0 0 25 0 4 0 632754262 226127872 2964 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294376 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) 220828

[startup+1.50076 s]
/proc/loadavg: 8.05 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24399660/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=222336 CPUtime=5.96 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 12209 0 0 0 595 1 0 0 20 0 4 0 632754262 227672064 5543 33554432000 4194304 4580107 140737052509360 18446744073709551615 4416997 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 55584 5543 379 95 0 50566 0
[pid=27625/tid=27626] ppid=27623 vsize=222336 CPUtime=1.49 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 2446 0 0 0 149 0 0 0 25 0 4 0 632754262 227672064 5543 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=222336 CPUtime=1.49 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 2763 0 0 0 149 0 0 0 25 0 4 0 632754262 227672064 5543 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=222336 CPUtime=1.47 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 2462 0 0 0 147 0 0 0 25 0 4 0 632754262 227672064 5543 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294535 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) 222336

[startup+3.10046 s]
/proc/loadavg: 8.05 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24360692/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=234472 CPUtime=12.34 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 24375 0 0 0 1231 3 0 0 25 0 4 0 632754262 240099328 12242 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 58618 12242 379 95 0 53600 0
[pid=27625/tid=27626] ppid=27623 vsize=234472 CPUtime=3.08 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 5557 0 0 0 308 0 0 0 25 0 4 0 632754262 240099328 12242 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=234472 CPUtime=3.08 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 6472 0 0 0 308 0 0 0 25 0 4 0 632754262 240099328 12242 33554432000 4194304 4580107 140737052509360 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=234472 CPUtime=3.06 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 6179 0 0 0 305 1 0 0 25 0 4 0 632754262 240099328 12242 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 234472

[startup+6.30087 s]
/proc/loadavg: 8.05 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24315688/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=241368 CPUtime=25.12 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 37653 0 0 0 2507 5 0 0 25 0 4 0 632754262 247160832 16876 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 60342 16876 379 95 0 55324 0
[pid=27625/tid=27626] ppid=27623 vsize=241368 CPUtime=6.29 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 9460 0 0 0 628 1 0 0 25 0 4 0 632754262 247160832 16877 33554432000 4194304 4580107 140737052509360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=241368 CPUtime=6.28 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 9970 0 0 0 628 0 0 0 25 0 4 0 632754262 247160832 16877 33554432000 4194304 4580107 140737052509360 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=241368 CPUtime=6.22 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 8872 0 0 0 621 1 0 0 25 0 4 0 632754262 247160832 16877 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295723 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) 241368

[startup+12.7007 s]
/proc/loadavg: 8.04 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24247564/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=251208 CPUtime=50.66 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 60480 0 0 0 5056 10 0 0 25 0 4 0 632754262 257236992 23921 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 62802 23921 379 95 0 57784 0
[pid=27625/tid=27626] ppid=27623 vsize=251208 CPUtime=12.69 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 15059 0 0 0 1267 2 0 0 25 0 4 0 632754262 257236992 23921 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=251208 CPUtime=12.68 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 14182 0 0 0 1267 1 0 0 25 0 4 0 632754262 257236992 23921 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=251208 CPUtime=12.57 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 14998 0 0 0 1254 3 0 0 25 0 4 0 632754262 257236992 23921 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 251208

[startup+25.5003 s]
/proc/loadavg: 8.03 8.10 8.08 9/298 27630
/proc/meminfo: memFree=24188532/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=232264 CPUtime=101.73 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 90766 0 0 0 10158 15 0 0 25 0 4 0 632754262 237838336 30346 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 58066 30346 379 95 0 53048 0
[pid=27625/tid=27626] ppid=27623 vsize=232264 CPUtime=25.49 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 23333 0 0 0 2545 4 0 0 25 0 4 0 632754262 237838336 30346 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=232264 CPUtime=25.49 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 21617 0 0 0 2546 3 0 0 25 0 4 0 632754262 237838336 30346 33554432000 4194304 4580107 140737052509360 18446744073709551615 4342192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=232264 CPUtime=25.24 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 22076 0 0 0 2520 4 0 0 25 0 4 0 632754262 237838336 30346 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 232264

[startup+51.1006 s]
/proc/loadavg: 8.02 8.09 8.08 9/298 27630
/proc/meminfo: memFree=24127972/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=318008 CPUtime=203.91 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 132634 0 0 0 20364 27 0 0 25 0 4 0 632754262 325640192 39247 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 79502 39247 379 95 0 74484 0
[pid=27625/tid=27626] ppid=27623 vsize=318008 CPUtime=51.09 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 33830 0 0 0 5103 6 0 0 25 0 4 0 632754262 325640192 39247 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=318008 CPUtime=51.08 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 33850 0 0 0 5102 6 0 0 25 0 4 0 632754262 325640192 39247 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=318008 CPUtime=50.62 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 31447 0 0 0 5055 7 0 0 25 0 4 0 632754262 325640192 39247 33554432000 4194304 4580107 140737052509360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 318008

[startup+102.301 s]
/proc/loadavg: 8.05 8.08 8.08 9/298 27632
/proc/meminfo: memFree=24050324/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=319128 CPUtime=408.28 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 202952 0 0 0 40783 45 0 0 25 0 4 0 632754262 326787072 50324 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 79782 50324 379 95 0 74764 0
[pid=27625/tid=27626] ppid=27623 vsize=319128 CPUtime=102.3 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 48916 0 0 0 10220 10 0 0 25 0 4 0 632754262 326787072 50326 33554432000 4194304 4580107 140737052509360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=319128 CPUtime=102.3 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 49439 0 0 0 10219 11 0 0 25 0 4 0 632754262 326787072 50326 33554432000 4194304 4580107 140737052509360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=319128 CPUtime=101.36 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 51978 0 0 0 10124 12 0 0 25 0 4 0 632754262 326787072 50326 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 319128

[startup+162.301 s]

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

[pid=27625] ppid=27623 vsize=650836 CPUtime=2802.82 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 631478 0 0 0 280060 222 0 0 25 0 4 0 632754262 666456064 117434 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 162709 117434 379 95 0 157691 0
[pid=27625/tid=27626] ppid=27623 vsize=650836 CPUtime=702.3 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 175238 0 0 0 70165 65 0 0 25 0 4 0 632754262 666456064 117434 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=650836 CPUtime=702.31 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 144671 0 0 0 70184 47 0 0 25 0 4 0 632754262 666456064 117434 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=650836 CPUtime=695.86 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 165989 0 0 0 69523 63 0 0 25 0 4 0 632754262 666456064 117434 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.82
Current children cumulated vsize (KiB) 650836

[startup+762.301 s]
/proc/loadavg: 8.08 8.09 8.09 9/298 27649
/proc/meminfo: memFree=23444900/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=796276 CPUtime=3042.31 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 675643 0 0 0 303993 238 0 0 25 0 4 0 632754262 815386624 143858 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 199069 143858 379 95 0 194051 0
[pid=27625/tid=27626] ppid=27623 vsize=796276 CPUtime=762.31 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 189808 0 0 0 76161 70 0 0 25 0 4 0 632754262 815386624 143859 33554432000 4194304 4580107 140737052509360 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=796276 CPUtime=762.32 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 153452 0 0 0 76182 50 0 0 25 0 4 0 632754262 815386624 143859 33554432000 4194304 4580107 140737052509360 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=796276 CPUtime=755.32 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 177522 0 0 0 75466 66 0 0 25 0 4 0 632754262 815386624 143859 33554432000 4194304 4580107 140737052509360 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.31
Current children cumulated vsize (KiB) 796276

[startup+822.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/298 27651
/proc/meminfo: memFree=23460632/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=866808 CPUtime=3281.74 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 688182 0 0 0 327929 245 0 0 25 0 4 0 632754262 887611392 141854 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 216702 141854 379 95 0 211684 0
[pid=27625/tid=27626] ppid=27623 vsize=866808 CPUtime=822.31 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 193654 0 0 0 82158 73 0 0 25 0 4 0 632754262 887611392 141854 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=866808 CPUtime=822.31 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 154252 0 0 0 82180 51 0 0 25 0 4 0 632754262 887611392 141854 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=866808 CPUtime=814.77 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 180837 0 0 0 81410 67 0 0 25 0 4 0 632754262 887611392 141854 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.74
Current children cumulated vsize (KiB) 866808

[startup+882.311 s]
/proc/loadavg: 8.10 8.10 8.09 9/298 27652
/proc/meminfo: memFree=23449188/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=731236 CPUtime=3521.22 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 720013 0 0 0 351859 263 0 0 25 0 4 0 632754262 748785664 133584 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 182809 133584 379 95 0 177791 0
[pid=27625/tid=27626] ppid=27623 vsize=731236 CPUtime=882.32 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 202341 0 0 0 88153 79 0 0 25 0 4 0 632754262 748785664 133584 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=731236 CPUtime=882.32 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 163785 0 0 0 88177 55 0 0 25 0 4 0 632754262 748785664 133584 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=731236 CPUtime=874.22 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 189740 0 0 0 87348 74 0 0 25 0 4 0 632754262 748785664 133584 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.22
Current children cumulated vsize (KiB) 731236

[startup+942.3 s]
/proc/loadavg: 8.18 8.12 8.10 9/298 27654
/proc/meminfo: memFree=23419656/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=798236 CPUtime=3760.64 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 752609 0 0 0 375787 277 0 0 25 0 4 0 632754262 817393664 135827 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 199559 135827 379 95 0 194541 0
[pid=27625/tid=27626] ppid=27623 vsize=798236 CPUtime=942.31 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 211342 0 0 0 94149 82 0 0 25 0 4 0 632754262 817393664 135827 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=798236 CPUtime=942.31 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 173087 0 0 0 94172 59 0 0 25 0 4 0 632754262 817393664 135828 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=798236 CPUtime=933.67 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 195281 0 0 0 93291 76 0 0 25 0 4 0 632754262 817393664 135828 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.64
Current children cumulated vsize (KiB) 798236

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 8.09 9/298 27656
/proc/meminfo: memFree=23383676/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=747676 CPUtime=4000.11 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 778104 0 0 0 399721 290 0 0 25 0 4 0 632754262 765620224 136137 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 186919 136137 379 95 0 181901 0
[pid=27625/tid=27626] ppid=27623 vsize=747676 CPUtime=1002.32 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 218638 0 0 0 100147 85 0 0 25 0 4 0 632754262 765620224 136137 33554432000 4194304 4580107 140737052509360 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=747676 CPUtime=1002.31 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 180331 0 0 0 100168 63 0 0 25 0 4 0 632754262 765620224 136137 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=747676 CPUtime=993.12 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 201617 0 0 0 99234 78 0 0 25 0 4 0 632754262 765620224 136137 33554432000 4194304 4580107 140737052509360 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.11
Current children cumulated vsize (KiB) 747676

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 8.09 9/298 27657
/proc/meminfo: memFree=23390224/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=684684 CPUtime=4239.56 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 804392 0 0 0 423653 303 0 0 25 0 4 0 632754262 701116416 142563 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 171171 142563 379 95 0 166153 0
[pid=27625/tid=27626] ppid=27623 vsize=684684 CPUtime=1062.31 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 223604 0 0 0 106144 87 0 0 25 0 4 0 632754262 701116416 142563 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=684684 CPUtime=1062.31 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 188205 0 0 0 106164 67 0 0 25 0 4 0 632754262 701116416 142563 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=684684 CPUtime=1052.57 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 206620 0 0 0 105176 81 0 0 25 0 4 0 632754262 701116416 142563 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.56
Current children cumulated vsize (KiB) 684684

[startup+1122.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/298 27659
/proc/meminfo: memFree=23340360/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=699820 CPUtime=4479.01 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 841123 0 0 0 447578 323 0 0 25 0 4 0 632754262 716615680 143147 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 174955 143147 379 95 0 169937 0
[pid=27625/tid=27626] ppid=27623 vsize=699820 CPUtime=1122.32 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 232397 0 0 0 112140 92 0 0 25 0 4 0 632754262 716615680 143147 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=699820 CPUtime=1122.32 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 197621 0 0 0 112159 73 0 0 25 0 4 0 632754262 716615680 143147 33554432000 4194304 4580107 140737052509360 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=699820 CPUtime=1112.02 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 215600 0 0 0 111115 87 0 0 25 0 4 0 632754262 716615680 143147 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.01
Current children cumulated vsize (KiB) 699820

[startup+1182.3 s]
/proc/loadavg: 8.01 8.07 8.08 9/298 27660
/proc/meminfo: memFree=23363912/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=700224 CPUtime=4718.48 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 876044 0 0 0 471510 338 0 0 25 0 4 0 632754262 717029376 141208 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 175056 141208 379 95 0 170038 0
[pid=27625/tid=27626] ppid=27623 vsize=700224 CPUtime=1182.33 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 241196 0 0 0 118138 95 0 0 25 0 4 0 632754262 717029376 141208 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=700224 CPUtime=1182.33 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 206208 0 0 0 118156 77 0 0 25 0 4 0 632754262 717029376 141208 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=700224 CPUtime=1171.48 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 224325 0 0 0 117056 92 0 0 25 0 4 0 632754262 717029376 141208 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.48
Current children cumulated vsize (KiB) 700224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.01 8.06 8.08 6/297 27662
/proc/meminfo: memFree=23636828/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=1002884 CPUtime=4800.32 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 887904 0 0 0 479689 343 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 250721 152961 379 95 0 245703 0
[pid=27625/tid=27626] ppid=27623 vsize=1002884 CPUtime=1202.83 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 242937 0 0 0 120188 95 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=1002884 CPUtime=1202.83 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 208146 0 0 0 120206 77 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=1002884 CPUtime=1191.79 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 225688 0 0 0 119086 93 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1002884

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

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

[startup+1202.8 s]
/proc/loadavg: 8.01 8.06 8.08 6/297 27662
/proc/meminfo: memFree=23636828/32951124 swapFree=63485424/67111528
[pid=27625] ppid=27623 vsize=1002884 CPUtime=4800.32 cores=1,3,5,7
/proc/27625/stat : 27625 (strangenight2-m) R 27623 27625 27184 0 -1 4202496 887904 0 0 0 479689 343 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27625/statm: 250721 152961 379 95 0 245703 0
[pid=27625/tid=27626] ppid=27623 vsize=1002884 CPUtime=1202.83 cores=1,3,5,7
/proc/27625/task/27626/stat : 27626 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 242937 0 0 0 120188 95 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=1002884 CPUtime=1202.83 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 208146 0 0 0 120206 77 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=1002884 CPUtime=1191.79 cores=1,3,5,7
/proc/27625/task/27628/stat : 27628 (strangenight2-m) R 27623 27625 27184 0 -1 4202560 225688 0 0 0 119086 93 0 0 25 0 4 0 632754262 1026953216 152961 33554432000 4194304 4580107 140737052509360 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1002884

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.38
CPU user time (s): 4796.92
CPU system time (s): 3.45347
CPU usage (%): 399.087
Max. virtual memory (cumulated for all children) (KiB): 1002884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.92
system time used= 3.45347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 887905
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= 486
involuntary context switches= 19528

runsolver used 2.99754 second user time and 8.05678 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-14 22:03:04
IDJOB=3366402
IDBENCH=82811
IDSOLVER=1844
FILE ID=node147/3366402-1305403384
RUNJOBID= node147-1305402178-27500
PBS_JOBID= 13324491
Free space on /tmp= 73104 MiB

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

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

MD5SUM BENCH= c27e99aa66f5519277e3446434cc73f8
RANDOM SEED=1032042278

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24421920 kB
Buffers:        288668 kB
Cached:        4974816 kB
SwapCached:      13132 kB
Active:        1636844 kB
Inactive:      6660184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24421920 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           10904 kB
Writeback:           0 kB
AnonPages:     3029404 kB
Mapped:          15428 kB
Slab:           140432 kB
PageTables:      28032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44912976 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= 73096 MiB
End job on node147 at 2011-05-14 22:23:08