Trace number 3263257

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-1-mt? (TO) 4800.38 1201.75

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
MD5SUMfab1e4926bfa9e7a1fae58c3b22b51e8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark947.499
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses46074
Sum of the clauses size92708
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 246054
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3263257-1304134901.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:       46074
0.00/0.02	c -- clauses added:            0 learnts,        46074 normals,            0 xors
0.00/0.02	c -- vars added        600
0.00/0.02	c Parsing time:  0.04 s
0.00/0.02	c  N st     0         0       600        20     46054         0     92708         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.02 s
0.00/0.04	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
0.16/0.11	c lits-rem:       595  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.07 s
0.16/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.16/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.16/0.11	c calculated reachability. Time: 0.00
0.16/0.11	c Calc default polars -  time:   0.00 s pos:     295 undec:      20 neg:     285
0.16/0.11	c =========================================================================================
0.16/0.11	c types(t): F = full restart, N = normal restart
0.16/0.11	c types(t): S = simplification begin/end, E = solution found
0.16/0.11	c restart types(rt): st = static, dy = dynamic
0.16/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.16/0.11	c  B st     0         0       580      1380     44094         0    134313         0   no data   no data  --
3.16/0.83	c  N dy     8      4033       580      1380     44094      3889    134313    373941     10.45     11.25  --
3.16/0.83	c  N dy    28      8135       580      1380     44095      5453    134313    388703     11.07     11.79  --
4.37/1.16	c  N dy    42     12212       580      1380     44095      5308    134313    284599     10.53     11.54  --
5.95/1.58	c  N dy    56     17000       580      1380     44099      9939    134313    598747     10.36     10.97  --
7.54/1.92	c  N dy    70     21211       580      1380     44101      8582    134313    497747     10.35     11.05  --
8.77/2.26	c  F st    91     25001       580      1380     44102     12257    134313    747557     10.53   no data  --
8.77/2.29	c  N st    92     25252       580      1380     44102     12502    134313    759819     10.53   no data  --
10.34/2.66	c  N dy    97     30000       580      1380     44102     10464    134313    491007     10.53   no data  --
10.34/2.66	c  S st    97     30000       580      1380     44102     10464    134313    491007     10.53   no data  --
10.74/2.70	c  S st    97     30502       580      1380     44103     10961    134313    523695     10.53   no data  --
10.74/2.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10.74/2.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.14/2.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.2M T:  0.42
11.14/2.83	c bin-w-bin subsume rem            0 bins  time:  0.02 s
16.33/4.13	c subs with bin:        0  lits-rem:      1899  v-fix:    0  time:  5.19 s
16.33/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
16.33/4.14	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
27.52/6.92	c lits-rem:      1078  cl-subs:      800  v-elim:      0  v-fix:    0  time: 11.07 s
27.92/7.05	c asymm  cl-useful: 871/1360/1380 lits-rem:5573 time: 0.54
27.92/7.05	c calculated reachability. Time: 0.00
27.92/7.05	c  N dy    97     30502       580      1380     44104     10161    124713    496723     10.53   no data  --
29.52/7.47	c  N dy   116     34734       580      1380     44107     14221    124713    727311     10.49     11.34  --
31.14/7.86	c  N dy   140     38764       580      1380     44112     10486    124713    599921     10.81     13.54  --
33.12/8.37	c  N dy   160     42999       580      1380     44117     14589    124713    899956     10.78     11.43  --
34.72/8.77	c  S st   170     45753       580      1380     44117     17235    124713   1056460     10.75   no data  --
35.13/8.83	c  S st   170     46256       580      1380     44117      9102    124713    424407     10.75   no data  --
35.13/8.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
35.13/8.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.53/8.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.9M T:  0.38
35.53/8.94	c bin-w-bin subsume rem            0 bins  time:  0.02 s
40.70/10.20	c subs with bin:        0  lits-rem:        65  v-fix:    0  time:  5.04 s
40.70/10.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
40.70/10.21	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
48.31/12.13	c lits-rem:       786  cl-subs:      311  v-elim:      0  v-fix:    0  time:  7.66 s
48.31/12.13	c vivif2 --  cl tried     1380 cl shrink      118 lits rem        118 time: 0.00
48.31/12.14	c vivif2 --  cl tried     8791 cl shrink      129 lits rem        148 time: 0.03
48.72/12.27	c asymm  cl-useful: 0/1380/1380 lits-rem:0 time: 0.53
48.72/12.27	c calculated reachability. Time: 0.00
48.72/12.27	c  N dy   170     46256       580      1380     44118      8790    124549    418363     10.75   no data  --
50.69/12.74	c  N dy   194     50266       580      1380     44129     12669    124549    757575     11.00     21.27  --
53.48/13.40	c  N dy   218     54283       580      1380     44131     16521    124549   1055268     11.18     11.83  --
55.88/14.09	c  N dy   244     58820       580      1380     44131     11305    124549    561912     11.28     11.88  --
58.27/14.68	c  N dy   266     63722       580      1380     44138     16058    124549    902116     11.35     12.01  --
60.68/15.20	c  N dy   284     67880       580      1380     44143     20066    124549   1157900     11.30     11.96  --
61.49/15.42	c  S st   286     69384       580      1380     44145     10879    124549    504216     11.24      7.27  --
61.49/15.47	c  S st   286     69885       580      1380     44145     11379    124549    538256     11.24   no data  --
61.49/15.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.49/15.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.28/15.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.9M T:  0.48
62.28/15.62	c bin-w-bin subsume rem            1 bins  time:  0.02 s
67.47/16.90	c subs with bin:      104  lits-rem:        77  v-fix:    0  time:  5.12 s
67.47/16.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
67.47/16.91	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
78.65/19.74	c lits-rem:       508  cl-subs:      191  v-elim:      0  v-fix:    0  time: 11.32 s
78.65/19.74	c vivif2 --  cl tried     1380 cl shrink        1 lits rem          1 time: 0.00
78.65/19.75	c vivif2 --  cl tried    11084 cl shrink      254 lits rem        350 time: 0.04
79.47/19.92	c asymm  cl-useful: 0/1380/1380 lits-rem:0 time: 0.67
79.47/19.92	c calculated reachability. Time: 0.00
79.47/19.92	c  N dy   286     69885       580      1380     44148     11081    124545    533139     11.24   no data  --
81.45/20.47	c  N dy   316     74753       580      1380     44166     15804    124545    893889     11.39     12.07  --
85.05/21.36	c  N dy   347     79976       580      1380     44168     20873    124545   1256644     11.55     12.28  --
88.26/22.13	c  N dy   370     85136       580      1380     44175     14240    124545    669910     11.56     15.74  --
89.44/22.40	c  F st   373     87500       580      1380     44175     16524    124545    796727     11.53      7.85  --
91.04/22.82	c  N st   378     90796       580      1380     44175     19690    124545    971300     11.53   no data  --
94.63/23.77	c  N dy   386     97666       580      1380     44176     13778    124545    615666     11.44     12.11  --
97.83/24.57	c  N dy   409    103964       580      1380     44180     19848    124545    993518     11.40     13.39  --
98.63/24.71	c  S st   412    104827       580      1380     44180     20679    124545   1026451     11.39      8.38  --
98.63/24.78	c  S st   412    105328       580      1380     44180     21175    124545   1060894     11.39   no data  --
98.63/24.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
98.63/24.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.82/25.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  7.8M T:  0.85
99.82/25.03	c bin-w-bin subsume rem            3 bins  time:  0.02 s
105.44/26.49	c subs with bin:        2  lits-rem:        61  v-fix:    0  time:  5.80 s
105.44/26.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
105.44/26.50	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
112.61/28.29	c lits-rem:      1254  cl-subs:      964  v-elim:      0  v-fix:    0  time:  7.18 s
112.61/28.29	c vivif2 --  cl tried     1380 cl shrink        3 lits rem          3 time: 0.00
113.01/28.31	c vivif2 --  cl tried    20209 cl shrink      641 lits rem        889 time: 0.09
113.80/28.56	c asymm  cl-useful: 0/1106/1380 lits-rem:0 time: 0.98
113.80/28.56	c calculated reachability. Time: 0.00
113.80/28.56	c  N dy   412    105328       580      1380     44179     20208    124541   1033399     11.39   no data  --
118.20/29.64	c  N dy   435    112138       580      1380     44191     26781    124541   1427844     11.33     12.10  --
122.20/30.67	c  N dy   465    120702       580      1380     44197     21500    124541    983778     11.32     11.93  --
127.41/31.93	c  N dy   501    128454       580      1380     44206     14492    124541    536871     11.37     11.99  --
131.39/32.90	c  N dy   534    137047       580      1380     44210     22750    124541   1011354     11.41     12.12  --
136.98/34.36	c  N dy   562    146173       580      1380     44217     16105    124541    576600     11.34     12.00  --
142.17/35.60	c  N dy   592    155573       579      1380     44233     25147    124541   1084145     11.30     12.34  --
143.37/35.98	c  S st   603    157994       579      1380     44234     27485    124541   1237072     11.30   no data  --
143.77/36.06	c  S st   603    158495       579      1380     44236     27983    124541   1275275     11.30   no data  --
143.77/36.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
143.77/36.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.57/36.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.2M T:  0.90
144.99/36.35	c bin-w-bin subsume rem            1 bins  time:  0.02 s
150.16/37.69	c subs with bin:       27  lits-rem:       227  v-fix:    0  time:  5.32 s
150.16/37.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.02 s
150.16/37.69	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
157.75/39.53	c lits-rem:      1562  cl-subs:      963  v-elim:      0  v-fix:    0  time:  7.34 s
157.75/39.53	c vivif2 --  cl tried     1380 cl shrink        5 lits rem          5 time: 0.00
157.75/39.55	c vivif2 --  cl tried    22421 cl shrink      535 lits rem        627 time: 0.09
158.57/39.79	c asymm  cl-useful: 0/980/1380 lits-rem:0 time: 0.96
158.94/39.80	c calculated reachability. Time: 0.00
158.94/39.80	c  N dy   603    158495       579      1380     43939     22421    124020   1172253     11.30   no data  --
164.93/41.35	c  N dy   657    168663       578      1380     43945     18201    124020    846535     11.39     11.99  --
173.33/43.48	c  N dy   706    180529       578      1380     43948     29614    124020   1650670     11.42     12.02  --
180.54/45.23	c  N dy   742    192054       578      1380     43950     24531    124020   1077253     11.36     12.61  --
189.33/47.47	c  N dy   801    204333       578      1380     43955     18674    124020    758604     11.48     12.55  --
198.11/49.65	c  N dy   869    217713       578      1380     43960     31520    124020   1620214     11.56     12.18  --
208.48/52.20	c  N dy   931    232155       578      1380     43967     26490    124020   1207274     11.60     12.28  --
211.67/53.07	c  S st   942    237742       578      1380     43972     31815    124020   1542915     11.55      7.55  --
212.07/53.17	c  S st   942    238243       578      1380     43972     32315    124020   1577605     11.55   no data  --
212.07/53.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
212.07/53.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
213.27/53.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.8M T:  1.25
213.67/53.54	c bin-w-bin subsume rem            0 bins  time:  0.02 s
219.69/55.02	c subs with bin:        4  lits-rem:        30  v-fix:    0  time:  5.88 s
219.69/55.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.02 s
219.69/55.03	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
234.44/58.72	c lits-rem:      2412  cl-subs:     1946  v-elim:      0  v-fix:    0  time: 14.73 s
234.44/58.72	c vivif2 --  cl tried     1380 cl shrink        6 lits rem          7 time: 0.00
234.44/58.75	c vivif2 --  cl tried    30204 cl shrink     1174 lits rem       1306 time: 0.13
235.25/58.99	c asymm  cl-useful: 0/777/1380 lits-rem:0 time: 0.97
235.25/58.99	c calculated reachability. Time: 0.00
235.25/58.99	c  N dy   942    238243       578      1380     43750     30202    123559   1529186     11.55   no data  --
246.82/61.89	c  N dy  1002    253488       578      1380     43765     24921    123559   1025621     11.54     14.11  --
260.81/65.34	c  N dy  1076    270434       578      1380     43774     41209    123559   2087994     11.62     12.41  --
271.99/68.10	c  N dy  1121    287808       578      1380     43786     36834    123559   1687097     11.57     12.29  --
285.59/71.59	c  F st  1201    306254       578      1380     43801     32573    123559   1520042     11.61     10.99  --
285.59/71.60	c  N st  1201    306254       578      1380     43801     32573    123559   1520042     11.61     10.99  --
301.15/75.49	c  N dy  1266    326249       578      1380     43809     28752    123559   1160006     11.62     12.26  --
320.74/80.38	c  N dy  1367    347133       578      1380     43820     24745    123559    876075     11.68     12.31  --
327.92/82.19	c  S st  1410    357364       578      1380     43823     34583    123559   1425343     11.70   no data  --
328.32/82.29	c  S st  1410    357867       578      1380     43823     35085    123559   1464796     11.70   no data  --
328.72/82.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
328.72/82.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
329.53/82.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 11.4M T:  1.19
329.94/82.64	c bin-w-bin subsume rem            2 bins  time:  0.02 s
335.51/84.06	c subs with bin:      290  lits-rem:      1182  v-fix:    0  time:  5.68 s
335.51/84.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.02 s
335.51/84.07	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
349.49/87.56	c lits-rem:      1496  cl-subs:     2714  v-elim:      0  v-fix:    0  time: 13.95 s
349.49/87.57	c vivif2 --  cl tried     1380 cl shrink       12 lits rem         14 time: 0.00
349.89/87.61	c vivif2 --  cl tried    32081 cl shrink     3292 lits rem       6262 time: 0.17
350.29/87.79	c asymm  cl-useful: 0/603/1380 lits-rem:0 time: 0.71
350.29/87.79	c calculated reachability. Time: 0.00
350.29/87.79	c  N dy  1410    357867       578      1380     43833     32072    123544   1411875     11.70   no data  --
369.09/92.49	c  N dy  1489    377997       577      1380     43859     26484    123544    980445     11.70     12.38  --
385.45/96.59	c  N dy  1587    398061       576      1380     43865     45814    123544   2192152     11.76     20.29  --
403.03/100.95	c  N dy  1672    419015       576      1380     43873     40117    123544   1842556     11.78     12.81  --
420.20/105.22	c  N dy  1736    439046       576      1380     43878     32448    123544   1239907     11.75     12.56  --
434.18/108.75	c Finding binary XORs  T:     0.00 s  found:       0
435.78/109.11	c  N dy  1800    459118       576      1380     43330     47890    122507   2233137     11.72     17.96  --
453.35/113.58	c  N dy  1880    481965       576      1380     43333     44001    122507   2148638     11.74     12.36  --
472.93/118.41	c  N dy  1983    502049       576      1380     43341     35410    122507   1489600     11.81     21.37  --
491.31/123.07	c  N dy  2062    522350       576      1380     43348     54951    122507   2729540     11.83     12.49  --
504.49/126.30	c  S st  2131    536800       576      1380     43350     39533    122507   1754917     11.86      8.48  --
504.89/126.44	c  S st  2131    537303       576      1380     43350     40030    122507   1793972     11.86   no data  --
504.89/126.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
504.89/126.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
506.49/126.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.9M T:  1.45
506.49/126.86	c bin-w-bin subsume rem            0 bins  time:  0.02 s
512.08/128.24	c subs with bin:       22  lits-rem:       303  v-fix:    0  time:  5.52 s
512.08/128.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.02 s
512.08/128.25	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
531.25/133.09	c lits-rem:      1714  cl-subs:     2353  v-elim:      0  v-fix:    0  time: 19.36 s
531.25/133.10	c vivif2 --  cl tried     1380 cl shrink       16 lits rem         16 time: 0.00
531.67/133.14	c vivif2 --  cl tried    37655 cl shrink     1884 lits rem       2277 time: 0.19
532.85/133.40	c asymm  cl-useful: 0/524/1380 lits-rem:0 time: 1.05
532.85/133.41	c calculated reachability. Time: 0.00
532.85/133.41	c  N dy  2131    537303       576      1380     43351     37654    122487   1753312     11.86   no data  --
555.22/139.06	c  N dy  2229    557339       575      1380     43361     56889    122487   3098629     11.90     26.23  --
576.02/144.23	c  N dy  2328    577711       575      1380     43365     45921    122487   2216377     11.93     12.60  --
601.17/150.58	c  N dy  2428    597859       575      1380     43372     33639    122487   1310821     12.00     12.65  --
623.94/156.22	c  N dy  2526    620034       575      1380     43379     54912    122487   2678830     12.03     12.68  --
645.11/161.59	c  N dy  2620    640142       575      1380     43384     41637    122487   1809847     12.06     12.75  --
669.07/167.53	c  N dy  2700    660485       575      1380     43385     61088    122487   3067804     12.08     12.79  --
689.44/172.63	c  N dy  2765    680513       575      1380     43396     46710    122487   1856425     12.08     23.08  --
710.62/177.93	c  N dy  2827    700757       575      1380     43402     66040    122487   3088813     12.06     12.79  --
730.59/182.92	c  N dy  2896    720797       575      1380     43410     50865    122487   2404955     12.06     16.30  --
760.57/190.47	c  N dy  2996    740863       575      1380     43419     70039    122487   3695379     12.10     27.00  --
781.32/195.67	c  N dy  3059    761367       575      1380     43426     54272    122487   2490204     12.10     12.75  --
809.68/202.78	c  N dy  3143    781852       575      1380     43438     37477    122487   1399090     12.11     12.76  --
831.25/208.19	c  N dy  3244    802464       575      1380     43448     57327    122487   2746396     12.13     12.81  --
836.44/209.48	c  S st  3266    805954       575      1380     43452     60631    122487   2954904     12.14      8.74  --
837.64/209.71	c  S st  3266    806460       575      1380     43452     61135    122487   2990494     12.14   no data  --
837.64/209.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
837.64/209.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
840.03/210.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 19.9M T:  2.47
840.43/210.45	c bin-w-bin subsume rem            1 bins  time:  0.02 s
846.84/212.07	c subs with bin:      603  lits-rem:       767  v-fix:    0  time:  6.46 s
846.84/212.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.02 s
846.84/212.08	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
898.76/225.04	c lits-rem:      2769  cl-subs:     4718  v-elim:      0  v-fix:    0  time: 51.73 s
898.76/225.04	c vivif2 --  cl tried     1380 cl shrink       26 lits rem         26 time: 0.00
899.16/225.12	c vivif2 --  cl tried    55600 cl shrink     5148 lits rem       6702 time: 0.33
900.36/225.41	c asymm  cl-useful: 0/320/1380 lits-rem:0 time: 1.17
900.36/225.42	c calculated reachability. Time: 0.00
900.36/225.42	c  N dy  3266    806460       575      1380     43236     55597    122011   2893451     12.14   no data  --
932.71/233.56	c  N dy  3355    828207       575      1380     43273     39255    122011   1573186     12.15     12.84  --
954.68/239.08	c  N dy  3438    848370       575      1380     43282     58525    122011   2735647     12.17     12.82  --
983.45/246.29	c  N dy  3528    868395       575      1380     43299     39494    122011   1525920     12.19     14.55  --
1004.21/251.40	c  N dy  3610    888457       575      1380     43309     58626    122011   2738191     12.19     20.64  --
1032.60/258.54	c  N dy  3662    908499       575      1380     43318     77686    122011   3860696     12.17     12.88  --
1054.97/264.15	c  N dy  3733    929478       575      1380     43334     58469    122011   2586258     12.16     12.85  --
1084.92/271.64	c  N dy  3809    949508       575      1380     43354     77453    122011   3766797     12.16     12.88  --
1110.48/278.00	c  N dy  3869    970658       574      1380     43384     57471    122011   2525244     12.14     12.92  --
1139.24/285.23	c  N dy  3941    991280       574      1380     43396     77253    122011   3784362     12.13     12.80  --
1162.80/291.15	c  N dy  4025   1011348       573      1380     43408     55539    122011   2467205     12.14     24.78  --
1190.78/298.16	c  N dy  4085   1032101       573      1380     43414     75441    122011   3692622     12.13     12.77  --
1216.74/304.70	c  N dy  4163   1052356       573      1380     43421     52870    122011   2263287     12.13     12.89  --
1220.33/305.59	c Finding binary XORs  T:     0.00 s  found:       0
1242.70/311.13	c  F st  4252   1071876       573      1380     42859     67880    121003   3453099     12.14     12.24  --
1243.52/311.39	c  N st  4254   1072503       573      1380     42859     68487    121003   3491381     12.14   no data  --
1273.07/318.72	c  N dy  4310   1093640       573      1380     42874     47479    121003   1979178     12.13     12.87  --
1298.23/325.09	c  N dy  4407   1114251       573      1380     42884     67234    121003   3190425     12.14     12.99  --
1332.57/333.69	c  N dy  4478   1134973       573      1380     42901     43954    121003   1754155     12.14     12.93  --
1355.35/339.39	c  N dy  4565   1154974       572      1380     42922     63061    121003   2922201     12.14     12.82  --
1390.10/348.07	c  N dy  4674   1175059       572      1380     42932     82271    121003   4168451     12.16     14.41  --
1418.87/355.27	c  N dy  4744   1195719       572      1380     42938     57614    121003   2526929     12.15     12.80  --
1439.63/360.40	c  S st  4788   1209691       572      1380     42942     70945    121003   3311415     12.14   no data  --
1440.43/360.63	c  S st  4788   1210192       572      1380     42942     71445    121003   3349390     12.14   no data  --
1440.43/360.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1440.43/360.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1444.02/361.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.2M T:  3.45
1444.42/361.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1451.62/363.44	c subs with bin:       66  lits-rem:       171  v-fix:    0  time:  7.25 s
1451.62/363.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    572 time:  0.02 s
1451.62/363.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.02 s
1580.24/395.66	c lits-rem:      5566  cl-subs:     5450  v-elim:      0  v-fix:    0  time: 128.59 s
1580.24/395.66	c vivif2 --  cl tried     1380 cl shrink       48 lits rem         56 time: 0.00
1580.65/395.79	c vivif2 --  cl tried    64080 cl shrink     9745 lits rem      16048 time: 0.52
1582.26/396.17	c asymm  cl-useful: 0/247/1380 lits-rem:0 time: 1.48
1582.26/396.17	c calculated reachability. Time: 0.00
1582.26/396.17	c  N dy  4788   1210192       572      1380     42671     64075    120454   3216073     12.14   no data  --
1622.18/406.13	c  N dy  4852   1230208       571      1380     42701     83092    120454   4239124     12.13     13.18  --
1654.55/414.26	c  N dy  4927   1250226       569      1380     42711     57666    120454   2637767     12.15     23.56  --
1687.31/422.42	c  N dy  5043   1270288       569      1380     42718     76929    120454   3885638     12.19     21.35  --
1722.05/431.16	c  N dy  5128   1290321       568      1380     42722     49954    120454   1994808     12.21     23.21  --
1747.62/437.58	c  N dy  5225   1310523       568      1380     42728     69325    120454   3323292     12.24     13.00  --
1783.57/446.52	c  N dy  5319   1330826       568      1380     42741     88877    120454   4710961     12.27     12.98  --
1814.74/454.40	c  N dy  5426   1351232       568      1380     42748     60787    120454   2675601     12.31     13.19  --
1845.50/462.08	c  N dy  5512   1371275       568      1380     42758     80028    120454   3967028     12.31     13.01  --
1885.45/472.08	c  N dy  5610   1391790       568      1380     42773     50930    120454   2064042     12.34     13.02  --
1912.59/478.86	c  N dy  5720   1411801       568      1380     42787     70157    120454   3308588     12.37     13.03  --
1948.95/487.93	c  N dy  5837   1431844       567      1380     42792     89431    120454   4704499     12.42     32.36  --
1984.90/496.92	c  N dy  5975   1451866       567      1380     42802     58857    120454   2686855     12.49     32.16  --
2014.87/504.43	c  N dy  6063   1471963       567      1380     42808     78258    120454   4035442     12.51     13.23  --
2056.43/514.90	c  N dy  6147   1492050       567      1380     42827     97472    120454   5270371     12.52     24.87  --
2087.59/522.69	c  N dy  6245   1512057       567      1380     42834     65764    120454   2947567     12.55     19.45  --
2124.32/531.84	c  N dy  6357   1533129       567      1380     42845     86034    120454   4239826     12.58     13.34  --
2165.47/542.10	c  N dy  6463   1553304       567      1380     42854     53569    120454   2142029     12.62     13.53  --
2192.65/548.96	c  N dy  6577   1573350       567      1380     42861     72888    120454   3429681     12.65     13.38  --
2229.38/558.11	c  N dy  6666   1594026       566      1321     41703     83812    116814   4482932     12.67     13.67  --
2260.94/566.01	c Finding binary XORs  T:     0.00 s  found:       0
2269.34/568.12	c  N dy  6767   1614446       566      1321     41708     55029    116814   2473381     12.70     13.62  --
2303.68/576.71	c  N dy  6877   1634475       566      1321     41709     74243    116814   3799865     12.73     14.17  --
2348.43/587.94	c  N dy  6988   1654538       566      1321     41713     93512    116814   5122947     12.76     14.02  --
2387.57/597.77	c  N dy  7073   1674574       566      1321     41724     61220    116814   2702932     12.78     30.13  --
2423.52/606.75	c  N dy  7194   1694648       566      1321     41736     80526    116814   4112614     12.82     22.84  --
2460.27/615.93	c  S st  7270   1710193       566      1321     41738     95446    116814   5204240     12.84   no data  --
2461.87/616.32	c  S st  7270   1710694       566      1321     41738     95945    116814   5246865     12.84   no data  --
2461.87/616.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2461.87/616.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2467.86/617.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 34.3M T:  6.20
2468.66/618.04	c bin-w-bin subsume rem            2 bins  time:  0.02 s
2476.25/619.94	c subs with bin:       39  lits-rem:       781  v-fix:    0  time:  7.57 s
2476.25/619.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    566 time:  0.02 s
2476.25/619.95	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.02 s
2863.32/716.84	c lits-rem:      8576  cl-subs:     6906  v-elim:      0  v-fix:    0  time: 386.75 s
2863.32/716.84	c vivif2 --  cl tried     1321 cl shrink       70 lits rem         91 time: 0.00
2864.12/717.05	c vivif2 --  cl tried    89000 cl shrink    15424 lits rem      24552 time: 0.84
2866.11/717.51	c asymm  cl-useful: 0/244/1321 lits-rem:0 time: 1.83
2866.11/717.51	c calculated reachability. Time: 0.00
2866.11/717.51	c  N dy  7270   1710694       566      1321     41741     88996    116685   5048345     12.84   no data  --
2913.27/729.35	c  N dy  7332   1730697       563      1321     41858     54681    116685   2310066     12.83     13.76  --
2944.43/737.10	c  N dy  7397   1752716       563      1321     41870     75828    116685   3860162     12.82     13.50  --
2985.95/747.51	c  N dy  7456   1772977       563      1321     41880     95192    116685   5278688     12.81     13.56  --
3032.69/759.20	c  N dy  7516   1793911       563      1321     41896     60182    116685   2543674     12.80     13.60  --
3062.25/766.61	c  N dy  7577   1814129       563      1321     41900     79527    116684   3886714     12.79     13.48  --
3103.80/777.04	c  N dy  7631   1835587       562      1321     41911    100020    116684   5223464     12.77     13.61  --
3139.35/785.98	c  N dy  7665   1855710       562      1321     41931     63043    116684   2655128     12.75     13.43  --
3172.11/794.10	c  N dy  7749   1876855       561      1321     41943     83322    116684   4081662     12.75     13.72  --
3210.86/803.86	c  N dy  7818   1897164       561      1321     41955    102765    116684   5452710     12.75     13.61  --
3252.03/814.12	c  N dy  7866   1919420       561      1321     41974     66715    116684   2902146     12.73     14.05  --
3282.39/821.74	c  N dy  7910   1939605       561      1321     41977     86011    116684   4130188     12.72     13.39  --
3325.91/832.68	c  N dy  7981   1961770       561      1321     41983    107310    116684   5533301     12.71     13.47  --
3359.86/841.14	c Finding binary XORs  T:     0.00 s  found:       0
3361.48/841.56	c  N dy  8050   1981789       559      1281     40576     62553    113148   2837956     12.71     15.70  --
3395.43/850.01	c  N dy  8112   2001809       559      1281     40580     81668    113148   4027754     12.70     19.77  --
3441.76/861.62	c  N dy  8199   2021856       559      1281     40583    100856    113148   5315146     12.71     17.25  --
3490.09/873.73	c  N dy  8281   2043191       559      1281     40589     64768    113148   2792516     12.71     13.52  --
3523.25/882.08	c  N dy  8336   2064278       559      1281     40605     84832    113148   4032632     12.69     13.49  --
3568.78/893.46	c  N dy  8413   2084350       559      1281     40616    103926    113148   5158120     12.69     15.41  --
3612.35/904.35	c  N dy  8490   2104400       558      1281     40622     64334    113148   2659114     12.69     13.63  --
3647.87/913.23	c  N dy  8528   2125530       558      1281     40629     84398    113148   3728142     12.67     13.37  --
3692.61/924.46	c  N dy  8592   2146349       558      1281     40635    104183    113148   4843401     12.66     13.40  --
3744.17/937.32	c  N dy  8640   2169527       558      1281     40647     65915    113148   2601723     12.65     13.37  --
3775.71/945.24	c  N dy  8694   2189547       558      1281     40659     84958    113147   3680368     12.64     13.39  --
3820.84/956.51	c  N dy  8771   2209607       555      1281     40685    104036    113147   4696380     12.64     21.53  --
3823.64/957.25	c  S st  8781   2210694       555      1281     40686    105096    113147   4769076     12.64     11.34  --
3825.24/957.66	c  S st  8781   2211196       555      1281     40686    105595    113147   4800435     12.64   no data  --
3825.24/957.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3825.24/957.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3830.44/958.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     20 BRemN:      0 P: 33.9M T:  4.88
3832.05/959.33	c bin-w-bin subsume rem            6 bins  time:  0.02 s
3840.02/961.38	c subs with bin:       81  lits-rem:      1223  v-fix:    0  time:  8.21 s
3840.02/961.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    555 time:  0.02 s
3840.02/961.39	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.02 s
4011.39/1004.28	c lits-rem:      4560  cl-subs:     4159  v-elim:      0  v-fix:    0  time: 171.26 s
4011.39/1004.28	c vivif2 --  cl tried     1266 cl shrink      126 lits rem        336 time: 0.00
4012.58/1004.51	c vivif2 --  cl tried    74560 cl shrink    19256 lits rem      32702 time: 0.89
4014.18/1004.94	c asymm  cl-useful: 0/169/1263 lits-rem:0 time: 1.75
4014.18/1004.95	c calculated reachability. Time: 0.00
4014.18/1004.95	c  N dy  8781   2211196       555      1263     39804     74556    110772   4098481     12.64   no data  --
4072.50/1019.51	c  N dy  8879   2231200       552      1263     39858     93648    110766   5421993     12.66     13.41  --
4108.87/1028.68	c  N dy  8964   2251681       552      1263     39863     65349    110766   3123010     12.66     13.45  --
4156.39/1040.51	c  N dy  9076   2271840       552      1263     39870     84554    110766   4430632     12.68     13.35  --
4211.51/1054.36	c  N dy  9169   2291948       552      1263     39877    103794    110766   5710245     12.69     13.68  --
4257.86/1066.00	c  N dy  9252   2312139       552      1263     39885     67038    110766   2915066     12.69     13.42  --
4298.19/1076.07	c  N dy  9333   2332299       552      1263     39899     86298    110766   4067919     12.70     13.45  --
4348.92/1088.79	c  N dy  9434   2352542       551      1263     39905    105620    110766   5358013     12.71     13.69  --
4400.45/1101.63	c  N dy  9516   2372623       550      1263     39973     64294    110766   2595962     12.71     20.78  --
4403.64/1102.45	c Finding binary XORs  T:     0.00 s  found:       0
4432.80/1109.76	c  N dy  9615   2392625       550      1223     39029     80414    108194   3763728     12.72     15.73  --
4476.34/1120.60	c  N dy  9725   2412656       548      1223     39037     99569    108194   4989582     12.74     27.88  --
4521.91/1132.07	c  N dy  9792   2433013       548      1223     39041    118941    108194   6106766     12.74     13.43  --
4559.84/1141.59	c  N dy  9882   2453257       548      1223     39049     76575    108194   3245537     12.75     13.60  --
4601.00/1151.82	c  N dy  9986   2473928       548      1223     39062     96325    108194   4401911     12.76     13.53  --
4648.92/1163.89	c  N dy 10067   2494064       548      1223     39068    115538    108194   5571029     12.76     13.45  --
4695.64/1175.55	c  N dy 10152   2514221       548      1223     39083     70560    108194   2731098     12.77     13.52  --
4731.99/1184.66	c  N dy 10237   2534237       547      1223     39099     89714    108194   3706886     12.77     20.33  --
4777.12/1195.94	c  N dy 10382   2554467       547      1223     39116    109140    108194   5020307     12.82     13.61  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263257-1304134901/watcher-3263257-1304134901 -o /tmp/evaluation-result-3263257-1304134901/solver-3263257-1304134901 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3263257-1304134901.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.76 5.25 6.68 2/172 9801
/proc/meminfo: memFree=30187860/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 603720758 52465664 352 33554432000 4194304 4650419 140733802442944 18446744073709551615 47699241752498 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9801/statm: 12809 352 303 112 0 7774 0
[pid=9801/tid=9802] ppid=9799 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603720759 52465664 352 33554432000 4194304 4650419 140733802442944 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603720759 52465664 352 33554432000 4194304 4650419 140733802442944 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 603720759 52465664 352 33554432000 4194304 4650419 140733802442944 18446744073709551615 47699241752502 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0494429 s]
/proc/loadavg: 3.76 5.25 6.68 2/172 9801
/proc/meminfo: memFree=30187860/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=283908 CPUtime=0.16 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 3088 0 0 0 16 0 0 0 24 0 4 0 603720758 290721792 2993 33554432000 4194304 4650419 140733802442944 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9801/statm: 70977 2993 387 112 0 65942 0
[pid=9801/tid=9802] ppid=9799 vsize=283908 CPUtime=0.03 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 724 0 0 0 3 0 0 0 18 0 4 0 603720759 290721792 2993 33554432000 4194304 4650419 140733802442944 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=283908 CPUtime=0.03 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 713 0 0 0 3 0 0 0 18 0 4 0 603720759 290721792 2994 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=283908 CPUtime=0.04 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 541 0 0 0 4 0 0 0 18 0 4 0 603720759 290721792 2995 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 283908

[startup+0.257965 s]
/proc/loadavg: 3.76 5.25 6.68 2/172 9801
/proc/meminfo: memFree=30187860/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=284876 CPUtime=0.99 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 5046 0 0 0 98 1 0 0 25 0 4 0 603720758 291713024 4951 33554432000 4194304 4650419 140733802442944 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9801/statm: 71219 4952 390 112 0 66184 0
[pid=9801/tid=9802] ppid=9799 vsize=284876 CPUtime=0.24 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1255 0 0 0 24 0 0 0 18 0 4 0 603720759 291713024 4952 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=284876 CPUtime=0.24 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1208 0 0 0 24 0 0 0 18 0 4 0 603720759 291713024 4952 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=284876 CPUtime=0.25 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 941 0 0 0 25 0 0 0 18 0 4 0 603720759 291713024 4952 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 284876

[startup+0.300956 s]
/proc/loadavg: 3.76 5.25 6.68 2/172 9801
/proc/meminfo: memFree=30187860/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=285576 CPUtime=1.16 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 5392 0 0 0 115 1 0 0 25 0 4 0 603720758 292429824 4948 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 71394 4948 392 112 0 66359 0
[pid=9801/tid=9802] ppid=9799 vsize=285576 CPUtime=0.28 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1313 0 0 0 28 0 0 0 18 0 4 0 603720759 292429824 4948 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=285576 CPUtime=0.28 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1249 0 0 0 28 0 0 0 18 0 4 0 603720759 292429824 4948 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366694 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=285576 CPUtime=0.29 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1115 0 0 0 29 0 0 0 18 0 4 0 603720759 292429824 4948 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 285576

[startup+0.700883 s]
/proc/loadavg: 3.76 5.25 6.68 2/172 9801
/proc/meminfo: memFree=30187860/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=289168 CPUtime=2.76 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 7997 0 0 0 275 1 0 0 25 0 4 0 603720758 296108032 5726 33554432000 4194304 4650419 140733802442944 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 72292 5726 392 112 0 67257 0
[pid=9801/tid=9802] ppid=9799 vsize=289168 CPUtime=0.68 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 2000 0 0 0 68 0 0 0 18 0 4 0 603720759 296108032 5726 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=289168 CPUtime=0.68 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1806 0 0 0 68 0 0 0 18 0 4 0 603720759 296108032 5726 33554432000 4194304 4650419 140733802442944 18446744073709551615 4328437 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=289168 CPUtime=0.69 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 1820 0 0 0 69 0 0 0 18 0 4 0 603720759 296108032 5726 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 289168

[startup+1.50074 s]
/proc/loadavg: 3.76 5.25 6.68 9/184 9813
/proc/meminfo: memFree=30139284/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=281060 CPUtime=5.95 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 11839 0 0 0 593 2 0 0 25 0 4 0 603720758 287805440 6886 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 70265 6886 393 112 0 65230 0
[pid=9801/tid=9802] ppid=9799 vsize=281060 CPUtime=1.48 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 2926 0 0 0 148 0 0 0 20 0 4 0 603720759 287805440 6886 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=281060 CPUtime=1.48 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 2816 0 0 0 148 0 0 0 20 0 4 0 603720759 287805440 6886 33554432000 4194304 4650419 140733802442944 18446744073709551615 4328471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=281060 CPUtime=1.48 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 2767 0 0 0 148 0 0 0 20 0 4 0 603720759 287805440 6886 33554432000 4194304 4650419 140733802442944 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 281060

[startup+3.10045 s]
/proc/loadavg: 3.76 5.25 6.68 9/184 9813
/proc/meminfo: memFree=30115724/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=293572 CPUtime=12.34 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 23818 0 0 0 1231 3 0 0 25 0 4 0 603720758 300617728 13849 33554432000 4194304 4650419 140733802442944 18446744073709551615 4435771 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 73393 13849 394 112 0 68358 0
[pid=9801/tid=9802] ppid=9799 vsize=293572 CPUtime=3.08 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 4711 0 0 0 308 0 0 0 25 0 4 0 603720759 300617728 13849 33554432000 4194304 4650419 140733802442944 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=293572 CPUtime=3.08 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 6795 0 0 0 307 1 0 0 25 0 4 0 603720759 300617728 13849 33554432000 4194304 4650419 140733802442944 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=293572 CPUtime=3.08 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 4885 0 0 0 308 0 0 0 25 0 4 0 603720759 300617728 13849 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293572

[startup+6.30086 s]
/proc/loadavg: 4.10 5.29 6.69 9/184 9813
/proc/meminfo: memFree=30034884/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=294884 CPUtime=25.13 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 30810 0 0 0 2508 5 0 0 25 0 4 0 603720758 301961216 19818 33554432000 4194304 4650419 140733802442944 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 73721 19818 394 112 0 68686 0
[pid=9801/tid=9802] ppid=9799 vsize=294884 CPUtime=6.28 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 8085 0 0 0 627 1 0 0 25 0 4 0 603720759 301961216 19818 33554432000 4194304 4650419 140733802442944 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=294884 CPUtime=6.28 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 6987 0 0 0 627 1 0 0 25 0 4 0 603720759 301961216 19818 33554432000 4194304 4650419 140733802442944 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=294884 CPUtime=6.28 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 8152 0 0 0 627 1 0 0 25 0 4 0 603720759 301961216 19818 33554432000 4194304 4650419 140733802442944 18446744073709551615 4336266 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 294884

[startup+12.7007 s]
/proc/loadavg: 4.42 5.34 6.70 9/184 9814
/proc/meminfo: memFree=29962388/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=315860 CPUtime=50.69 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 48400 0 0 0 5061 8 0 0 25 0 4 0 603720758 323440640 28596 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 78965 28596 394 112 0 73930 0
[pid=9801/tid=9802] ppid=9799 vsize=315860 CPUtime=12.68 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 14219 0 0 0 1266 2 0 0 25 0 4 0 603720759 323440640 28596 33554432000 4194304 4650419 140733802442944 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=315860 CPUtime=12.68 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 11315 0 0 0 1266 2 0 0 25 0 4 0 603720759 323440640 28596 33554432000 4194304 4650419 140733802442944 18446744073709551615 4438931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=315860 CPUtime=12.68 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 12957 0 0 0 1267 1 0 0 25 0 4 0 603720759 323440640 28596 33554432000 4194304 4650419 140733802442944 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 315860

[startup+25.5003 s]
/proc/loadavg: 5.21 5.47 6.72 9/184 9814
/proc/meminfo: memFree=29843196/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=404116 CPUtime=101.82 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 73357 0 0 0 10169 13 0 0 25 0 4 0 603720758 413814784 41471 33554432000 4194304 4650419 140733802442944 18446744073709551615 4435751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 101029 41471 394 112 0 95994 0
[pid=9801/tid=9802] ppid=9799 vsize=404116 CPUtime=25.48 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 21069 0 0 0 2545 3 0 0 25 0 4 0 603720759 413814784 41471 33554432000 4194304 4650419 140733802442944 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=404116 CPUtime=25.48 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 16911 0 0 0 2545 3 0 0 25 0 4 0 603720759 413814784 41471 33554432000 4194304 4650419 140733802442944 18446744073709551615 4436177 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=404116 CPUtime=25.48 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 19086 0 0 0 2545 3 0 0 25 0 4 0 603720759 413814784 41471 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 404116

[startup+51.1006 s]
/proc/loadavg: 6.23 5.69 6.76 9/184 9815
/proc/meminfo: memFree=29731216/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=473140 CPUtime=204.08 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 119721 0 0 0 20388 20 0 0 25 0 4 0 603720758 484495360 58099 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 118285 58099 394 112 0 113250 0
[pid=9801/tid=9802] ppid=9799 vsize=473140 CPUtime=51.08 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 31729 0 0 0 5104 4 0 0 25 0 4 0 603720759 484495360 58099 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=473140 CPUtime=51.08 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 24440 0 0 0 5103 5 0 0 25 0 4 0 603720759 484495360 58099 33554432000 4194304 4650419 140733802442944 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=473140 CPUtime=51.08 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 36491 0 0 0 5102 6 0 0 25 0 4 0 603720759 484495360 58099 33554432000 4194304 4650419 140733802442944 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 473140

[startup+102.3 s]
/proc/loadavg: 7.35 6.07 6.83 9/184 9816
/proc/meminfo: memFree=29628128/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=465960 CPUtime=408.63 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 187487 0 0 0 40827 36 0 0 25 0 4 0 603720758 477143040 74216 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 116490 74216 394 112 0 111455 0
[pid=9801/tid=9802] ppid=9799 vsize=465960 CPUtime=102.27 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 46729 0 0 0 10220 7 0 0 25 0 4 0 603720759 477143040 74216 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=465960 CPUtime=102.28 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 45687 0 0 0 10218 10 0 0 25 0 4 0 603720759 477143040 74216 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=465960 CPUtime=102.28 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 56818 0 0 0 10218 10 0 0 25 0 4 0 603720759 477143040 74216 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 465960

[startup+162.3 s]

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

[pid=9801] ppid=9799 vsize=997856 CPUtime=2565.72 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 763558 0 0 0 256401 171 0 0 25 0 4 0 603720758 1021804544 160207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 249464 160207 394 112 0 244429 0
[pid=9801/tid=9802] ppid=9799 vsize=997856 CPUtime=642.21 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 199342 0 0 0 64183 38 0 0 25 0 4 0 603720759 1021804544 160207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=997856 CPUtime=642.29 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 150113 0 0 0 64187 42 0 0 25 0 4 0 603720759 1021804544 160207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=997856 CPUtime=642.3 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 268991 0 0 0 64174 56 0 0 25 0 4 0 603720759 1021804544 160207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 997856

[startup+702.3 s]
/proc/loadavg: 8.08 7.81 7.41 9/184 9832
/proc/meminfo: memFree=28837096/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=978400 CPUtime=2805.4 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 786383 0 0 0 280356 184 0 0 25 0 4 0 603720758 1001881600 162745 33554432000 4194304 4650419 140733802442944 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 244600 162745 394 112 0 239565 0
[pid=9801/tid=9802] ppid=9799 vsize=978400 CPUtime=702.2 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 199363 0 0 0 70182 38 0 0 25 0 4 0 603720759 1001881600 162745 33554432000 4194304 4650419 140733802442944 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=978400 CPUtime=702.28 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 159452 0 0 0 70182 46 0 0 25 0 4 0 603720759 1001881600 162745 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=978400 CPUtime=702.3 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 281784 0 0 0 70167 63 0 0 25 0 4 0 603720759 1001881600 162745 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 978400

[startup+762.3 s]
/proc/loadavg: 8.07 7.86 7.45 9/184 9834
/proc/meminfo: memFree=28809516/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=999772 CPUtime=3045.09 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 828326 0 0 0 304311 198 0 0 25 0 4 0 603720758 1023766528 166595 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 249943 166595 394 112 0 244908 0
[pid=9801/tid=9802] ppid=9799 vsize=999772 CPUtime=762.2 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 202416 0 0 0 76181 39 0 0 25 0 4 0 603720759 1023766528 166595 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=999772 CPUtime=762.29 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 172537 0 0 0 76179 50 0 0 25 0 4 0 603720759 1023766528 166595 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=999772 CPUtime=762.31 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 295146 0 0 0 76162 69 0 0 25 0 4 0 603720759 1023766528 166595 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 999772

[startup+822.3 s]
/proc/loadavg: 8.07 7.89 7.48 9/184 9835
/proc/meminfo: memFree=28739896/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=953608 CPUtime=3284.77 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 868191 0 0 0 328267 210 0 0 25 0 4 0 603720758 976494592 177626 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 238402 177627 394 112 0 233367 0
[pid=9801/tid=9802] ppid=9799 vsize=953608 CPUtime=822.2 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 215662 0 0 0 82177 43 0 0 25 0 4 0 603720759 976494592 177627 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=953608 CPUtime=822.28 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 177243 0 0 0 82177 51 0 0 25 0 4 0 603720759 976494592 177627 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=953608 CPUtime=822.3 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 308208 0 0 0 82157 73 0 0 25 0 4 0 603720759 976494592 177627 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 953608

[startup+882.306 s]
/proc/loadavg: 8.10 7.94 7.52 9/184 9837
/proc/meminfo: memFree=28732772/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=973652 CPUtime=3524.47 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 903111 0 0 0 352224 223 0 0 25 0 4 0 603720758 997019648 172207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 243413 172207 394 112 0 238378 0
[pid=9801/tid=9802] ppid=9799 vsize=973652 CPUtime=882.19 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 231162 0 0 0 88171 48 0 0 25 0 4 0 603720759 997019648 172207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=973652 CPUtime=882.29 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 179849 0 0 0 88177 52 0 0 25 0 4 0 603720759 997019648 172207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=973652 CPUtime=882.31 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 312411 0 0 0 88156 75 0 0 25 0 4 0 603720759 997019648 172207 33554432000 4194304 4650419 140733802442944 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 973652

[startup+942.3 s]
/proc/loadavg: 8.10 7.98 7.56 9/184 9838
/proc/meminfo: memFree=28722928/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=1007204 CPUtime=3764.12 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 933382 0 0 0 376177 235 0 0 25 0 4 0 603720758 1031376896 183538 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 251801 183538 394 112 0 246766 0
[pid=9801/tid=9802] ppid=9799 vsize=1007204 CPUtime=942.19 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 241088 0 0 0 94167 52 0 0 25 0 4 0 603720759 1031376896 183538 33554432000 4194304 4650419 140733802442944 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=1007204 CPUtime=942.29 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 191899 0 0 0 94171 58 0 0 25 0 4 0 603720759 1031376896 183538 33554432000 4194304 4650419 140733802442944 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=1007204 CPUtime=942.31 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 314262 0 0 0 94155 76 0 0 25 0 4 0 603720759 1031376896 183538 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 1007204

[startup+1002.3 s]
/proc/loadavg: 8.26 8.04 7.60 9/184 9840
/proc/meminfo: memFree=28789940/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=971008 CPUtime=4003.8 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 956273 0 0 0 400134 246 0 0 25 0 4 0 603720758 994312192 177960 33554432000 4194304 4650419 140733802442944 18446744073709551615 4476378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 242752 177960 394 112 0 237717 0
[pid=9801/tid=9802] ppid=9799 vsize=971008 CPUtime=1002.17 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 242397 0 0 0 100165 52 0 0 25 0 4 0 603720759 994312192 177960 33554432000 4194304 4650419 140733802442944 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=971008 CPUtime=1002.29 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 199252 0 0 0 100167 62 0 0 25 0 4 0 603720759 994312192 177960 33554432000 4194304 4650419 140733802442944 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=971008 CPUtime=1002.31 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 326963 0 0 0 100150 81 0 0 25 0 4 0 603720759 994312192 177960 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 971008

[startup+1062.3 s]
/proc/loadavg: 8.17 8.04 7.63 9/184 9842
/proc/meminfo: memFree=28744632/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=943800 CPUtime=4243.47 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 983718 0 0 0 424092 255 0 0 25 0 4 0 603720758 966451200 183405 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366576 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 235950 183405 394 112 0 230915 0
[pid=9801/tid=9802] ppid=9799 vsize=943800 CPUtime=1062.17 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 244525 0 0 0 106164 53 0 0 25 0 4 0 603720759 966451200 183405 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=943800 CPUtime=1062.3 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 201211 0 0 0 106167 63 0 0 25 0 4 0 603720759 966451200 183405 33554432000 4194304 4650419 140733802442944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=943800 CPUtime=1062.3 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 338680 0 0 0 106146 84 0 0 25 0 4 0 603720759 966451200 183405 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 943800

[startup+1122.3 s]
/proc/loadavg: 8.13 8.05 7.66 9/184 9843
/proc/meminfo: memFree=28691408/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=1074888 CPUtime=4483.14 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 1070677 0 0 0 448041 273 0 0 25 0 4 0 603720758 1100685312 183617 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 268722 183617 394 112 0 263687 0
[pid=9801/tid=9802] ppid=9799 vsize=1074888 CPUtime=1122.16 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 246624 0 0 0 112162 54 0 0 25 0 4 0 603720759 1100685312 183617 33554432000 4194304 4650419 140733802442944 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=1074888 CPUtime=1122.3 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 271504 0 0 0 112157 73 0 0 25 0 4 0 603720759 1100685312 183617 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=1074888 CPUtime=1122.31 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 348784 0 0 0 112142 89 0 0 25 0 4 0 603720759 1100685312 183617 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 1074888

[startup+1182.3 s]
/proc/loadavg: 8.04 8.04 7.67 9/184 9854
/proc/meminfo: memFree=28649232/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=918816 CPUtime=4722.81 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 1101999 0 0 0 471999 282 0 0 25 0 4 0 603720758 940867584 190323 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 229704 190323 394 112 0 224669 0
[pid=9801/tid=9802] ppid=9799 vsize=918816 CPUtime=1182.16 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 249506 0 0 0 118161 55 0 0 25 0 4 0 603720759 940867584 190323 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=918816 CPUtime=1182.29 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 275804 0 0 0 118155 74 0 0 25 0 4 0 603720759 940867584 190323 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=918816 CPUtime=1182.31 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 361589 0 0 0 118139 92 0 0 25 0 4 0 603720759 940867584 190323 33554432000 4194304 4650419 140733802442944 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 918816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.05 7.69 9/184 9854
/proc/meminfo: memFree=28601960/32950928 swapFree=67054472/67111528
[pid=9801] ppid=9799 vsize=1180992 CPUtime=4800.31 cores=0,2,4,6
/proc/9801/stat : 9801 (strangenight1-m) R 9799 9801 8735 0 -1 4202496 1109359 0 0 0 479746 285 0 0 25 0 4 0 603720758 1209335808 197683 33554432000 4194304 4650419 140733802442944 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9801/statm: 295248 197683 394 112 0 290213 0
[pid=9801/tid=9802] ppid=9799 vsize=1180992 CPUtime=1201.57 cores=0,2,4,6
/proc/9801/task/9802/stat : 9802 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 250231 0 0 0 120101 56 0 0 25 0 4 0 603720759 1209335808 197684 33554432000 4194304 4650419 140733802442944 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9801/tid=9803] ppid=9799 vsize=1180992 CPUtime=1201.7 cores=0,2,4,6
/proc/9801/task/9803/stat : 9803 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 278001 0 0 0 120095 75 0 0 25 0 4 0 603720759 1209335808 197684 33554432000 4194304 4650419 140733802442944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9801/tid=9804] ppid=9799 vsize=1180992 CPUtime=1201.71 cores=0,2,4,6
/proc/9801/task/9804/stat : 9804 (strangenight1-m) R 9799 9801 8735 0 -1 4202560 363817 0 0 0 120078 93 0 0 25 0 4 0 603720759 1209335808 197684 33554432000 4194304 4650419 140733802442944 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1180992

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.38
CPU user time (s): 4797.49
CPU system time (s): 2.88956
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 1180992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.49
system time used= 2.88956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1109362
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= 949
involuntary context switches= 24493

runsolver used 1.9847 second user time and 4.45132 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-30 05:41:41
IDJOB=3263257
IDBENCH=83949
IDSOLVER=1588
FILE ID=node116/3263257-1304134901
RUNJOBID= node116-1304134901-9786
PBS_JOBID= 13170778
Free space on /tmp= 73288 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263257-1304134901/watcher-3263257-1304134901 -o /tmp/evaluation-result-3263257-1304134901/solver-3263257-1304134901 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3263257-1304134901.cnf

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

MD5SUM BENCH= fab1e4926bfa9e7a1fae58c3b22b51e8
RANDOM SEED=292611917

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.77
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.826
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.75
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.826
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.826
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:      30188148 kB
Buffers:        999664 kB
Cached:        1406932 kB
SwapCached:       9656 kB
Active:         125656 kB
Inactive:      2299084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30188148 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:           13208 kB
Writeback:           0 kB
AnonPages:       15656 kB
Mapped:          12580 kB
Slab:           275056 kB
PageTables:       4348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189800 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= 73272 MiB
End job on node116 at 2011-04-30 06:01:45