Trace number 3369227

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 (fixed)? (TO) 4800.22 1202.85

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-3369227-1305415645.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.03 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.02
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.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.02 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
0.19/0.07	c lits-rem:       595  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.07 s
0.19/0.07	c Finding binary XORs  T:     0.00 s  found:       0
0.19/0.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.19/0.07	c calculated reachability. Time: 0.00
0.19/0.07	c Calc default polars -  time:   0.00 s pos:     295 undec:      20 neg:     285
0.19/0.07	c =========================================================================================
0.19/0.07	c types(t): F = full restart, N = normal restart
0.19/0.07	c types(t): S = simplification begin/end, E = solution found
0.19/0.07	c restart types(rt): st = static, dy = dynamic
0.19/0.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.19/0.07	c  B st     0         0       580      1380     44094         0    134313         0   no data   no data  --
1.54/0.40	c  N dy     8      4033       580      1380     44094      3889    134313    373941     10.45     11.25  --
2.74/0.78	c  N dy    28      8135       580      1380     44095      5453    134313    388703     11.07     11.79  --
4.38/1.16	c  N dy    42     12212       580      1380     44095      5308    134313    284599     10.53     11.54  --
5.93/1.58	c  N dy    56     17000       580      1380     44099      9939    134313    598747     10.36     10.97  --
7.53/1.93	c  N dy    70     21211       580      1380     44101      8582    134313    497747     10.35     11.05  --
8.76/2.26	c  F st    91     25001       580      1380     44102     12257    134313    747557     10.53   no data  --
8.76/2.29	c  N st    92     25252       580      1380     44102     12502    134313    759819     10.53   no data  --
10.32/2.67	c  N dy    97     30000       580      1380     44102     10464    134313    491007     10.53   no data  --
10.32/2.67	c  S st    97     30000       580      1380     44102     10464    134313    491007     10.53   no data  --
10.72/2.71	c  S st    97     30502       580      1380     44103     10961    134313    523695     10.53   no data  --
10.72/2.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10.72/2.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.13/2.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.2M T:  0.42
11.13/2.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
16.31/4.14	c subs with bin:        0  lits-rem:      1899  v-fix:    0  time:  5.18 s
16.31/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
16.31/4.15	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
27.49/6.93	c lits-rem:      1078  cl-subs:      800  v-elim:      0  v-fix:    0  time: 11.07 s
27.89/7.06	c asymm  cl-useful: 871/1360/1380 lits-rem:5573 time: 0.54
27.89/7.07	c calculated reachability. Time: 0.00
27.89/7.07	c  N dy    97     30502       580      1380     44104     10161    124713    496723     10.53   no data  --
29.49/7.48	c  N dy   116     34734       580      1380     44107     14221    124713    727311     10.49     11.34  --
31.08/7.88	c  N dy   140     38764       580      1380     44112     10486    124713    599921     10.81     13.54  --
33.08/8.39	c  N dy   160     42999       580      1380     44117     14589    124713    899956     10.78     11.43  --
34.69/8.80	c  S st   170     45753       580      1380     44117     17235    124713   1056460     10.75   no data  --
35.10/8.85	c  S st   170     46256       580      1380     44117      9102    124713    424407     10.75   no data  --
35.10/8.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
35.10/8.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.46/8.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.9M T:  0.38
35.46/8.96	c bin-w-bin subsume rem            0 bins  time:  0.02 s
40.65/10.23	c subs with bin:        0  lits-rem:        65  v-fix:    0  time:  5.03 s
40.65/10.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
40.65/10.24	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
48.27/12.16	c lits-rem:       786  cl-subs:      311  v-elim:      0  v-fix:    0  time:  7.67 s
48.27/12.16	c vivif2 --  cl tried     1380 cl shrink      118 lits rem        118 time: 0.00
48.27/12.17	c vivif2 --  cl tried     8791 cl shrink      129 lits rem        148 time: 0.04
49.03/12.31	c asymm  cl-useful: 0/1380/1380 lits-rem:0 time: 0.55
49.03/12.31	c calculated reachability. Time: 0.00
49.03/12.31	c  N dy   170     46256       580      1380     44118      8790    124549    418363     10.75   no data  --
50.63/12.77	c  N dy   194     50266       580      1380     44129     12669    124549    757575     11.00     21.27  --
53.42/13.44	c  N dy   218     54283       580      1380     44131     16521    124549   1055268     11.18     11.83  --
56.22/14.13	c  N dy   244     58820       580      1380     44131     11305    124549    561912     11.28     11.88  --
58.60/14.73	c  N dy   266     63722       580      1380     44138     16058    124549    902116     11.35     12.01  --
60.61/15.25	c  N dy   284     67880       580      1380     44143     20066    124549   1157900     11.30     11.96  --
61.44/15.47	c  S st   286     69384       580      1380     44145     10879    124549    504216     11.24      7.27  --
61.80/15.53	c  S st   286     69885       580      1380     44145     11379    124549    538256     11.24   no data  --
61.80/15.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.80/15.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.20/15.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.9M T:  0.48
62.20/15.67	c bin-w-bin subsume rem            1 bins  time:  0.02 s
67.38/16.95	c subs with bin:      104  lits-rem:        77  v-fix:    0  time:  5.12 s
67.38/16.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
67.38/16.96	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
78.99/19.82	c lits-rem:       508  cl-subs:      191  v-elim:      0  v-fix:    0  time: 11.39 s
78.99/19.82	c vivif2 --  cl tried     1380 cl shrink        1 lits rem          1 time: 0.00
78.99/19.83	c vivif2 --  cl tried    11084 cl shrink      254 lits rem        350 time: 0.04
79.35/19.99	c asymm  cl-useful: 0/1380/1380 lits-rem:0 time: 0.65
79.35/19.99	c calculated reachability. Time: 0.00
79.35/19.99	c  N dy   286     69885       580      1380     44148     11081    124545    533139     11.24   no data  --
81.76/20.54	c  N dy   316     74753       580      1380     44166     15804    124545    893889     11.39     12.07  --
85.35/21.44	c  N dy   347     79976       580      1380     44168     20873    124545   1256644     11.55     12.28  --
88.53/22.22	c  N dy   370     85136       580      1380     44176     14240    124545    669912     11.56     15.74  --
89.33/22.49	c  F st   373     87500       580      1380     44176     16524    124545    796729     11.53      7.85  --
91.34/22.91	c  N st   378     90796       580      1380     44176     19690    124545    971302     11.53   no data  --
94.53/23.79	c  N dy   394     96867       580      1380     44182     12989    124545    554255     11.56     12.25  --
98.12/24.66	c  N dy   429    103052       580      1380     44184     18943    124545   1027979     11.74     12.39  --
99.32/24.97	c  S st   441    104829       580      1380     44184     20683    124545   1172053     11.82   no data  --
99.72/25.08	c  S st   441    105331       580      1380     44184     21181    124545   1205658     11.82   no data  --
99.72/25.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.72/25.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.94/25.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.0M T:  1.03
100.94/25.39	c bin-w-bin subsume rem            3 bins  time:  0.02 s
106.90/26.84	c subs with bin:       16  lits-rem:        57  v-fix:    0  time:  5.82 s
106.90/26.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.02 s
106.90/26.85	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
117.28/29.45	c lits-rem:      2004  cl-subs:      693  v-elim:      0  v-fix:    0  time: 10.37 s
117.28/29.46	c vivif2 --  cl tried     1380 cl shrink        4 lits rem          4 time: 0.00
117.28/29.48	c vivif2 --  cl tried    20472 cl shrink      620 lits rem        972 time: 0.09
118.51/29.73	c asymm  cl-useful: 0/1005/1380 lits-rem:0 time: 0.99
118.51/29.73	c calculated reachability. Time: 0.00
118.51/29.73	c  N dy   441    105331       580      1380     44183     20470    124540   1181018     11.82   no data  --
124.85/31.36	c  N dy   486    113134       580      1380     44197     14507    124540    618812     12.01     12.77  --
128.45/32.25	c  N dy   512    120930       580      1380     44211     22004    124540   1092813     12.01     12.77  --
133.64/33.54	c  N dy   550    128960       580      1380     44214     15252    124540    619634     12.07     12.74  --
138.42/34.79	c  N dy   574    137741       580      1380     44220     23628    124540   1168303     12.00     12.72  --
145.20/36.43	c  N dy   605    146598       579      1380     44227     16786    124540    670111     11.98     18.26  --
150.39/37.75	c  N dy   649    156051       579      1380     44229     25918    124540   1358603     12.04     30.48  --
151.99/38.15	c  S st   668    157996       579      1380     44229     27821    124540   1518885     12.15     12.07  --
152.39/38.25	c  S st   668    158497       579      1380     44229     28315    124540   1548807     12.15   no data  --
152.39/38.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
152.39/38.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.62/38.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.3M T:  1.10
153.99/38.60	c bin-w-bin subsume rem            2 bins  time:  0.02 s
159.57/40.07	c subs with bin:        0  lits-rem:       150  v-fix:    0  time:  5.86 s
159.57/40.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.02 s
159.57/40.08	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
171.94/43.12	c lits-rem:      2779  cl-subs:      886  v-elim:      0  v-fix:    0  time: 12.12 s
171.94/43.12	c vivif2 --  cl tried     1380 cl shrink        3 lits rem          4 time: 0.00
171.94/43.14	c vivif2 --  cl tried    25330 cl shrink      414 lits rem        670 time: 0.10
173.14/43.40	c asymm  cl-useful: 0/807/1380 lits-rem:0 time: 1.01
173.14/43.40	c calculated reachability. Time: 0.00
173.14/43.40	c  N dy   668    158497       579      1380     43935     25330    124023   1474153     12.15   no data  --
179.55/45.07	c  N dy   693    169123       578      1380     43945     20309    124023    986657     12.06     12.74  --
187.52/47.02	c  N dy   736    180057       578      1380     43948     30833    124023   1613544     12.09     12.97  --
194.69/48.81	c  N dy   768    191831       578      1380     43951     25352    124023   1326274     12.01     12.65  --
205.07/51.47	c  N dy   816    204354       578      1380     43955     19322    124023    759638     12.03     12.68  --
213.05/53.41	c  N dy   855    218081       578      1380     43958     32500    124023   1598889     11.98     12.69  --
223.03/55.96	c  N dy   916    232430       578      1380     43967     27186    124023   1311649     12.01     12.85  --
227.41/57.06	c  S st   929    237745       578      1380     43971     32258    124023   1680114     11.97     11.76  --
228.24/57.21	c  S st   929    238247       578      1380     43971     32759    124023   1712055     11.97   no data  --
228.24/57.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
228.24/57.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
229.40/57.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 12.2M T:  1.28
229.80/57.60	c bin-w-bin subsume rem            0 bins  time:  0.02 s
235.00/58.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.57 s
235.40/59.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.02 s
235.40/59.00	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
251.75/63.19	c lits-rem:      2716  cl-subs:     2052  v-elim:      0  v-fix:    0  time: 16.69 s
251.75/63.19	c vivif2 --  cl tried     1380 cl shrink       11 lits rem         12 time: 0.00
252.15/63.22	c vivif2 --  cl tried    30583 cl shrink     1451 lits rem       1684 time: 0.14
252.55/63.38	c asymm  cl-useful: 0/573/1380 lits-rem:0 time: 0.65
252.55/63.39	c calculated reachability. Time: 0.00
252.55/63.39	c  N dy   929    238247       578      1380     43752     30582    123558   1662495     11.97   no data  --
266.93/66.99	c  N dy   989    254612       578      1380     43777     26279    123558   1168513     11.98     12.61  --
280.10/70.28	c  N dy  1033    270874       578      1380     43790     41869    123558   2233080     11.93     12.64  --
293.27/73.54	c  N dy  1098    288612       578      1380     43804     37893    123558   2001067     11.93     12.56  --
308.03/77.21	c  F st  1180    306250       577      1380     43817     32855    123558   1539802     12.04     11.51  --
308.83/77.44	c  N st  1183    307441       577      1380     43549     32908    123031   1622540     12.04   no data  --
325.19/81.52	c  N dy  1242    327095       577      1380     43565     29327    123031   1259967     12.04     12.68  --
342.39/85.89	c  N dy  1310    347591       577      1380     43569     25262    123031    993908     12.01     12.91  --
349.15/87.55	c  S st  1343    357370       577      1380     43573     34643    123031   1575816     12.01   no data  --
349.54/87.65	c  S st  1343    357870       577      1380     43573     35142    123031   1613330     12.01   no data  --
349.54/87.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
349.54/87.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
350.76/87.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.6M T:  1.27
351.17/88.02	c bin-w-bin subsume rem            2 bins  time:  0.02 s
357.12/89.58	c subs with bin:        8  lits-rem:       170  v-fix:    0  time:  6.21 s
357.12/89.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.02 s
357.12/89.59	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
373.48/93.65	c lits-rem:      1598  cl-subs:     1992  v-elim:      0  v-fix:    0  time: 16.20 s
373.48/93.65	c vivif2 --  cl tried     1380 cl shrink       12 lits rem         12 time: 0.00
373.48/93.69	c vivif2 --  cl tried    33142 cl shrink     1763 lits rem       2846 time: 0.16
374.68/94.00	c asymm  cl-useful: 0/667/1380 lits-rem:0 time: 1.23
375.08/94.00	c calculated reachability. Time: 0.00
375.08/94.00	c  N dy  1343    357870       577      1380     43573     33140    123017   1577018     12.01   no data  --
393.44/98.63	c  N dy  1407    377942       577      1380     43587     27626    123017   1065760     11.98     15.74  --
411.00/103.00	c  N dy  1462    398335       576      1380     43613     46976    123017   2078964     11.91     12.58  --
427.76/107.26	c  N dy  1559    418676       576      1380     43615     40905    123017   2042123     11.98     12.65  --
438.96/110.07	c Finding binary XORs  T:     0.00 s  found:       0
448.50/112.48	c  N dy  1651    439002       576      1380     43322     31655    122509   1473320     12.02     12.69  --
469.28/117.62	c  N dy  1735    459167       576      1380     43324     51064    122509   2838060     12.04     12.68  --
489.61/122.75	c  N dy  1802    482196       576      1380     43334     46296    122509   2421224     12.03     12.84  --
511.97/128.31	c  N dy  1893    503620       576      1380     43339     38601    122509   1837400     12.06     12.84  --
535.13/134.15	c  N dy  1982    523678       576      1380     43343     57929    122509   3082552     12.09     14.22  --
545.49/136.75	c  S st  2022    536806       576      1380     43345     40908    122509   1760598     12.08      8.77  --
545.89/136.89	c  S st  2022    537308       576      1380     43345     41408    122509   1800874     12.08   no data  --
546.29/136.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
546.29/136.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
547.49/137.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.5M T:  1.45
547.88/137.31	c bin-w-bin subsume rem            0 bins  time:  0.02 s
553.47/138.74	c subs with bin:       93  lits-rem:        49  v-fix:    0  time:  5.68 s
553.47/138.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.02 s
553.47/138.74	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
569.44/142.77	c lits-rem:      1419  cl-subs:     2565  v-elim:      0  v-fix:    0  time: 16.05 s
569.44/142.77	c vivif2 --  cl tried     1380 cl shrink       17 lits rem         17 time: 0.00
569.84/142.81	c vivif2 --  cl tried    38750 cl shrink     1659 lits rem       1766 time: 0.17
570.67/143.08	c asymm  cl-useful: 0/514/1380 lits-rem:0 time: 1.06
570.67/143.08	c calculated reachability. Time: 0.00
570.67/143.08	c  N dy  2022    537308       576      1380     43345     38750    122491   1753521     12.08   no data  --
594.17/148.98	c  N dy  2112    557981       576      1380     43363     58531    122491   3080007     12.12     12.77  --
612.53/153.55	c  N dy  2183    578028       576      1380     43369     47221    122491   2289585     12.12     17.93  --
636.51/159.57	c  N dy  2264    598101       576      1380     43377     34856    122491   1428838     12.13     19.93  --
657.23/164.73	c  N dy  2325    619366       576      1380     43380     55171    122491   2831774     12.12     12.78  --
681.17/170.79	c  N dy  2418    640160       576      1380     43391     42521    122491   1940392     12.14     12.82  --
707.12/177.25	c  N dy  2483    662010       576      1380     43403     63481    122491   3328434     12.13     12.80  --
727.08/182.26	c  N dy  2509    682493       576      1380     43413     49537    122491   2338759     12.08     12.76  --
755.79/189.47	c  N dy  2571    703143       576      1380     43424     34833    122491   1335768     12.05     12.72  --
776.99/194.79	c  N dy  2635    723573       576      1380     43438     54291    122491   2578653     12.04     12.68  --
806.49/202.10	c  N dy  2705    744234       576      1380     43450     38696    122491   1583940     12.04     12.79  --
828.44/207.67	c  N dy  2773    764532       576      1380     43468     58058    122491   2761773     12.02     12.77  --
856.36/214.61	c  N dy  2851    784673       576      1380     43492     40973    122491   1745667     12.02     12.75  --
879.12/220.31	c  N dy  2916    804739       575      1380     43508     60245    122491   3084422     12.02     17.39  --
880.71/220.74	c  S st  2923    805962       575      1380     43508     61427    122491   3166947     12.02   no data  --
881.51/220.98	c  S st  2923    806463       575      1380     43508     61926    122491   3198495     12.02   no data  --
881.51/220.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
881.51/220.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
884.70/221.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 22.8M T:  2.93
885.10/221.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
891.89/223.52	c subs with bin:      132  lits-rem:       501  v-fix:    0  time:  6.65 s
891.89/223.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.02 s
891.89/223.53	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
940.97/235.88	c lits-rem:      2147  cl-subs:     3720  v-elim:      0  v-fix:    0  time: 49.24 s
940.97/235.88	c vivif2 --  cl tried     1380 cl shrink       34 lits rem         38 time: 0.00
941.37/235.96	c vivif2 --  cl tried    54561 cl shrink     6199 lits rem       9271 time: 0.34
942.57/236.27	c asymm  cl-useful: 0/300/1380 lits-rem:0 time: 1.22
942.57/236.27	c calculated reachability. Time: 0.00
942.57/236.27	c  N dy  2923    806463       575      1380     43250     54555    121923   3062912     12.02   no data  --
976.49/244.80	c  N dy  3014    828250       575      1380     43276     39931    121923   1771886     12.04     13.00  --
1002.03/251.11	c  N dy  3111    849041       575      1380     43291     59801    121923   2973036     12.05     12.72  --
1031.60/258.52	c  N dy  3191    869076       575      1380     43298     41570    121923   1773556     12.07     12.74  --
1056.31/264.70	c  N dy  3272    889656       575      1380     43313     61164    121923   2928343     12.07     12.85  --
1087.04/272.42	c  N dy  3353    909672       575      1380     43318     41619    121923   1750907     12.08     15.03  --
1113.38/279.03	c  N dy  3424    929888       575      1380     43337     60698    121923   2813117     12.09     12.79  --
1146.90/287.43	c  N dy  3498    949941       575      1380     43350     40032    121923   1646012     12.09     29.58  --
1167.28/292.58	c Finding binary XORs  T:     0.00 s  found:       0
1170.05/293.26	c  N dy  3603    970021       574      1380     43069     54652    121439   2866587     12.11     21.50  --
1203.18/301.56	c  N dy  3692    990893       574      1380     43080     74681    121439   4247892     12.12     12.83  --
1227.13/307.51	c  N dy  3765   1010897       574      1380     43089     55244    121439   2730382     12.12     12.78  --
1255.49/314.62	c  N dy  3852   1030923       574      1380     43097     74428    121439   3981947     12.14     14.21  --
1280.20/320.82	c  N dy  3917   1051008       574      1380     43103     52811    121439   2478194     12.13     21.13  --
1310.93/328.51	c  F st  3995   1071877       574      1380     43114     72729    121439   3738959     12.13      9.19  --
1310.93/328.52	c  N st  3995   1071877       574      1380     43114     72729    121439   3738959     12.13      9.19  --
1341.65/336.29	c  N dy  4058   1092318       574      1380     43118     49823    121439   2190653     12.13     12.81  --
1369.63/343.29	c  N dy  4149   1112499       574      1380     43128     69096    121439   3406912     12.14     12.83  --
1407.91/352.89	c  N dy  4240   1132527       574      1380     43135     44607    121439   1826342     12.15     12.82  --
1433.45/359.23	c  N dy  4304   1153029       574      1380     43142     64107    121439   3001467     12.14     12.80  --
1468.97/368.16	c  N dy  4370   1173048       574      1380     43146     83106    121439   4059319     12.13     12.88  --
1498.50/375.51	c  N dy  4450   1193132       574      1380     43168     57625    121439   2587864     12.13     13.06  --
1523.63/381.85	c  S st  4500   1209695       574      1380     43178     73395    121439   3435871     12.12      9.81  --
1524.84/382.13	c  S st  4500   1210196       573      1380     43178     73890    121439   3472690     12.12   no data  --
1524.84/382.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1524.84/382.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1528.83/383.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 24.8M T:  3.96
1529.23/383.25	c bin-w-bin subsume rem            3 bins  time:  0.02 s
1536.81/385.16	c subs with bin:        1  lits-rem:       111  v-fix:    0  time:  7.59 s
1536.81/385.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    573 time:  0.02 s
1536.81/385.16	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.02 s
1668.51/418.14	c lits-rem:      4326  cl-subs:     6737  v-elim:      0  v-fix:    0  time: 131.51 s
1668.51/418.14	c vivif2 --  cl tried     1380 cl shrink       59 lits rem         75 time: 0.00
1668.91/418.27	c vivif2 --  cl tried    64234 cl shrink    12715 lits rem      20625 time: 0.54
1670.91/418.70	c asymm  cl-useful: 0/230/1380 lits-rem:0 time: 1.69
1670.91/418.70	c calculated reachability. Time: 0.00
1670.91/418.70	c  N dy  4500   1210196       573      1380     42929     64226    120893   3277024     12.12   no data  --
1710.42/428.67	c  N dy  4544   1231480       572      1380     42978     84449    120893   4390778     12.09     12.77  --
1738.74/435.78	c  N dy  4633   1251520       572      1380     42986     59508    120893   2759087     12.09     12.76  --
1774.67/444.78	c  N dy  4722   1271888       571      1380     43017     78876    120893   3922779     12.11     12.88  --
1812.18/454.14	c  N dy  4841   1292203       571      1380     43027     52607    120893   2382961     12.16     12.81  --
1843.33/461.97	c  N dy  4937   1312211       571      1380     43036     71823    120893   3623301     12.18     13.34  --
1886.81/472.82	c  N dy  5054   1332278       571      1380     43041     91081    120893   4911176     12.21     14.78  --
1920.73/481.37	c  N dy  5167   1352330       571      1380     43049     62841    120893   2982637     12.24     15.74  --
1959.04/490.98	c  N dy  5264   1372373       571      1380     43050     82097    120893   4272192     12.26     12.94  --
2002.55/501.85	c  N dy  5352   1392945       571      1380     43056     53129    120893   2205487     12.28     13.33  --
2034.47/509.89	c  N dy  5471   1413036       571      1380     43060     72476    120893   3567600     12.32     23.69  --
2044.05/512.26	c Finding binary XORs  T:     0.00 s  found:       0
2074.37/519.83	c  N dy  5557   1433147       571      1380     42558     86233    119920   4725049     12.33     12.99  --
2108.70/528.45	c  N dy  5659   1453216       571      1380     42561     58397    119920   2647097     12.35     28.12  --
2141.43/536.62	c  N dy  5769   1473389       571      1380     42565     77707    119920   3855049     12.37     13.45  --
2182.53/546.95	c  N dy  5868   1493551       571      1380     42577     96980    119920   5097224     12.38     13.23  --
2212.08/554.39	c  N dy  5957   1514325       571      1380     42590     67527    119919   3151700     12.39     13.09  --
2249.58/563.71	c  N dy  6055   1534622       571      1380     42600     86938    119919   4308513     12.41     13.18  --
2286.71/573.02	c  N dy  6152   1554632       571      1380     42612     55182    119919   2322487     12.42     15.39  --
2315.83/580.36	c  N dy  6247   1574642       571      1380     42627     74387    119919   3507472     12.44     20.48  --
2351.74/589.35	c  N dy  6324   1594701       571      1380     42641     93672    119919   4820305     12.44     17.67  --
2391.25/599.24	c  N dy  6415   1614752       571      1380     42650     60543    119919   2685034     12.45     13.18  --
2426.77/608.12	c  N dy  6499   1634843       570      1380     42665     79777    119919   3861024     12.46     26.72  --
2471.87/619.49	c  N dy  6603   1655023       570      1380     42687     99160    119919   5165982     12.49     13.22  --
2507.79/628.43	c  N dy  6696   1675395       570      1380     42692     65212    119919   2948564     12.52     13.22  --
2548.09/638.54	c  N dy  6823   1695625       569      1380     42701     84646    119919   4348855     12.57     13.43  --
2583.21/647.35	c  S st  6912   1710197       569      1380     42706     98664    119919   5321211     12.60   no data  --
2584.81/647.76	c  S st  6912   1710704       569      1380     42706     99166    119919   5361286     12.60   no data  --
2584.81/647.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2584.81/647.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2591.59/649.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 37.4M T:  6.66
2592.39/649.66	c bin-w-bin subsume rem            2 bins  time:  0.02 s
2600.37/651.64	c subs with bin:       40  lits-rem:       898  v-fix:    0  time:  7.89 s
2600.37/651.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    569 time:  0.02 s
2600.37/651.65	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.02 s
2896.50/725.83	c lits-rem:      6723  cl-subs:     5254  v-elim:      0  v-fix:    0  time: 295.82 s
2896.50/725.83	c vivif2 --  cl tried     1365 cl shrink       92 lits rem        160 time: 0.01
2897.34/726.05	c vivif2 --  cl tried    88250 cl shrink    17856 lits rem      33499 time: 0.86
2898.90/726.40	c asymm  cl-useful: 0/264/1365 lits-rem:0 time: 1.41
2898.90/726.41	c calculated reachability. Time: 0.00
2898.90/726.41	c  N dy  6912   1710704       569      1365     42277     88246    118573   5090915     12.60   no data  --
2942.79/737.47	c  N dy  6997   1731051       567      1365     42370     55990    118572   2479618     12.60     13.30  --
2973.52/745.19	c  N dy  7095   1751063       567      1365     42372     75202    118572   3954448     12.61     13.46  --
3017.42/756.10	c  N dy  7180   1771778       567      1365     42384     95049    118572   5389443     12.62     13.57  --
3058.93/766.58	c  N dy  7254   1792105       567      1365     42392     60369    118572   2703544     12.62     13.42  --
3089.66/774.20	c  N dy  7308   1812198       566      1365     42399     79517    118572   3980957     12.61     17.60  --
3130.00/784.35	c  N dy  7383   1832435       566      1365     42411     98803    118572   5356748     12.60     13.35  --
3161.09/792.14	c Finding binary XORs  T:     0.00 s  found:       0
3173.06/795.10	c  N dy  7459   1852475       566      1335     41808     61207    116884   2609815     12.60     16.77  --
3205.39/803.22	c  N dy  7541   1872692       565      1335     41825     80536    116884   3891653     12.60     13.33  --
3246.50/813.57	c  N dy  7623   1892699       565      1335     41839     99726    116884   5183184     12.61     17.89  --
3290.39/824.58	c  N dy  7715   1913122       564      1335     41852     62730    116884   2647675     12.62     13.36  --
3322.74/832.65	c  N dy  7797   1934175       564      1335     41858     82824    116884   4026275     12.62     13.30  --
3365.42/843.34	c  N dy  7876   1954974       563      1335     41865    102703    116884   5258684     12.62     13.58  --
3411.32/854.85	c  N dy  7948   1975831       563      1335     41870     64658    116884   2665543     12.62     13.33  --
3444.45/863.15	c  N dy  8027   1996496       563      1335     41964     84356    116884   3861189     12.61     13.37  --
3489.55/874.48	c  N dy  8106   2018138       563      1335     41970    104907    116884   5017465     12.61     13.28  --
3527.85/884.04	c  N dy  8168   2038157       562      1335     41984     65165    116884   2689168     12.61     13.32  --
3557.38/891.43	c  N dy  8210   2058546       562      1335     41988     84620    116884   3919861     12.59     13.36  --
3603.28/902.96	c  N dy  8294   2078938       561      1335     41997    104080    116884   5017657     12.59     13.36  --
3653.56/915.50	c  N dy  8356   2099035       561      1335     42004     63206    116884   2516275     12.58     13.32  --
3688.68/924.31	c  N dy  8405   2119606       561      1335     42012     82733    116884   3618077     12.57     13.39  --
3739.78/937.16	c  N dy  8471   2140994       560      1263     40924     98978    113212   4605673     12.56     13.33  --
3800.83/952.49	c  N dy  8517   2161001       559      1263     40940     59133    113212   2327159     12.54     20.76  --
3841.16/962.58	c  N dy  8639   2181723       558      1263     40947     78969    113212   3715641     12.57     13.31  --
3895.80/976.21	c  N dy  8784   2201784       557      1263     40954     98289    113212   5143952     12.62     23.48  --
3923.34/983.12	c  S st  8838   2210707       557      1263     40959    106857    113212   5754220     12.63   no data  --
3924.93/983.55	c  S st  8838   2211211       557      1263     40959    107354    113212   5795445     12.63   no data  --
3924.93/983.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3924.93/983.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3932.52/985.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     82 BRemN:      0 P: 41.2M T:  7.56
3933.71/985.71	c bin-w-bin subsume rem            6 bins  time:  0.02 s
3942.49/987.90	c subs with bin:       25  lits-rem:         0  v-fix:    0  time:  8.77 s
3942.49/987.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    557 time:  0.02 s
3942.49/987.91	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.02 s
4296.89/1076.71	c lits-rem:      6107  cl-subs:     5659  v-elim:      0  v-fix:    0  time: 354.30 s
4296.89/1076.71	c vivif2 --  cl tried     1250 cl shrink      108 lits rem        305 time: 0.00
4297.72/1076.99	c vivif2 --  cl tried    90929 cl shrink    20840 lits rem      54661 time: 1.10
4299.27/1077.38	c asymm  cl-useful: 0/225/1248 lits-rem:0 time: 1.57
4299.27/1077.39	c calculated reachability. Time: 0.00
4299.27/1077.39	c  N dy  8838   2211211       557      1248     40221     90903    111365   5370634     12.63   no data  --
4304.47/1078.66	c Finding binary XORs  T:     0.00 s  found:       0
4357.54/1091.90	c  N dy  8935   2231238       555      1235     40122    109517    110885   6758990     12.64     21.06  --
4390.67/1100.28	c  N dy  9023   2251365       555      1235     40124     73508    110885   3643746     12.65     13.55  --
4434.96/1111.32	c  N dy  9123   2271425       555      1235     40132     92706    110885   5012597     12.66     16.73  --
4489.65/1125.09	c  N dy  9233   2291627       555      1235     40136    112039    110885   6422539     12.68     14.02  --
4533.94/1136.11	c  N dy  9338   2311645       555      1235     40152     71605    110885   3330606     12.70     13.83  --
4575.04/1146.40	c  N dy  9468   2331656       555      1235     40162     90847    110885   4792365     12.73     13.42  --
4626.54/1159.34	c  N dy  9565   2351725       555      1235     40168    110057    110885   6157619     12.74     13.43  --
4682.00/1173.27	c  N dy  9674   2371887       555      1235     40181     66925    110885   2966916     12.76     13.47  --
4723.53/1183.63	c  N dy  9756   2393271       553      1235     40194     87290    110885   4304027     12.76     13.48  --
4773.78/1196.22	c  N dy  9855   2413822       553      1235     40200    106936    110885   5734417     12.77     13.46  --

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-3369227-1305415645/watcher-3369227-1305415645 -o /tmp/evaluation-result-3369227-1305415645/solver-3369227-1305415645 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369227-1305415645.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: 8.17 8.13 8.05 3/292 3429
/proc/meminfo: memFree=13124812/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 653164169 52465664 357 33554432000 4194304 4650419 140735293819360 18446744073709551615 208080232379 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3429/statm: 12809 357 306 112 0 7774 0
[pid=3429/tid=3430] ppid=3427 vsize=208344 CPUtime=0 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 235 0 0 0 0 0 0 0 25 0 4 0 653164169 213344256 1242 33554432000 4194304 4650419 140735293819360 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=208344 CPUtime=0 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 197 0 0 0 0 0 0 0 25 0 4 0 653164169 213344256 1244 33554432000 4194304 4650419 140735293819360 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=208344 CPUtime=0 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 259 0 0 0 0 0 0 0 25 0 4 0 653164169 213344256 1246 33554432000 4194304 4650419 140735293819360 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0615389 s]
/proc/loadavg: 8.17 8.13 8.05 3/292 3429
/proc/meminfo: memFree=13124812/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=283932 CPUtime=0.19 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 3771 0 0 0 17 2 0 0 25 0 4 0 653164169 290746368 3580 33554432000 4194304 4650419 140735293819360 18446744073709551615 4441740 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 70983 3581 387 112 0 65948 0
[pid=3429/tid=3430] ppid=3427 vsize=283932 CPUtime=0.04 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1058 0 0 0 4 0 0 0 25 0 4 0 653164169 290746368 3581 33554432000 4194304 4650419 140735293819360 18446744073709551615 4451439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=283932 CPUtime=0.03 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 779 0 0 0 3 0 0 0 25 0 4 0 653164169 290746368 3583 33554432000 4194304 4650419 140735293819360 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=283932 CPUtime=0.05 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 697 0 0 0 5 0 0 0 25 0 4 0 653164169 290746368 3586 33554432000 4194304 4650419 140735293819360 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 283932

[startup+0.100531 s]
/proc/loadavg: 8.17 8.13 8.05 3/292 3429
/proc/meminfo: memFree=13124812/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=284080 CPUtime=0.34 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 4184 0 0 0 32 2 0 0 25 0 4 0 653164169 290897920 3993 33554432000 4194304 4650419 140735293819360 18446744073709551615 4333838 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 71020 3993 390 112 0 65985 0
[pid=3429/tid=3430] ppid=3427 vsize=284080 CPUtime=0.08 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1150 0 0 0 8 0 0 0 25 0 4 0 653164169 290897920 3993 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=284080 CPUtime=0.07 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 929 0 0 0 7 0 0 0 25 0 4 0 653164169 290897920 3993 33554432000 4194304 4650419 140735293819360 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=284080 CPUtime=0.08 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 798 0 0 0 8 0 0 0 25 0 4 0 653164169 290897920 3993 33554432000 4194304 4650419 140735293819360 18446744073709551615 4333843 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 284080

[startup+0.300494 s]
/proc/loadavg: 8.17 8.13 8.05 3/292 3429
/proc/meminfo: memFree=13124812/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=285064 CPUtime=1.14 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 5494 0 0 0 112 2 0 0 25 0 4 0 653164169 291905536 4954 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 71266 4954 392 112 0 66231 0
[pid=3429/tid=3430] ppid=3427 vsize=285064 CPUtime=0.28 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1447 0 0 0 27 1 0 0 25 0 4 0 653164169 291905536 4954 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=285064 CPUtime=0.27 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1187 0 0 0 27 0 0 0 25 0 4 0 653164169 291905536 4954 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=285064 CPUtime=0.28 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1251 0 0 0 28 0 0 0 25 0 4 0 653164169 291905536 4954 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 285064

[startup+0.700418 s]
/proc/loadavg: 8.17 8.13 8.05 3/292 3429
/proc/meminfo: memFree=13124812/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=288932 CPUtime=2.74 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 8092 0 0 0 271 3 0 0 25 0 4 0 653164169 295866368 5725 33554432000 4194304 4650419 140735293819360 18446744073709551615 4334208 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 72233 5725 392 112 0 67198 0
[pid=3429/tid=3430] ppid=3427 vsize=288932 CPUtime=0.68 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 2125 0 0 0 67 1 0 0 25 0 4 0 653164169 295866368 5725 33554432000 4194304 4650419 140735293819360 18446744073709551615 4363726 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=288932 CPUtime=0.67 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1748 0 0 0 67 0 0 0 25 0 4 0 653164169 295866368 5725 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=288932 CPUtime=0.68 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 1956 0 0 0 68 0 0 0 25 0 4 0 653164169 295866368 5725 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 288932

[startup+1.50027 s]
/proc/loadavg: 8.17 8.13 8.05 10/302 3443
/proc/meminfo: memFree=13071784/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=281012 CPUtime=5.93 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 11955 0 0 0 589 4 0 0 25 0 4 0 653164169 287756288 6906 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 70253 6906 393 112 0 65218 0
[pid=3429/tid=3430] ppid=3427 vsize=281012 CPUtime=1.48 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 3053 0 0 0 147 1 0 0 25 0 4 0 653164169 287756288 6906 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=281012 CPUtime=1.48 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 2763 0 0 0 147 1 0 0 25 0 4 0 653164169 287756288 6906 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364808 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=281012 CPUtime=1.48 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 2932 0 0 0 148 0 0 0 25 0 4 0 653164169 287756288 6906 33554432000 4194304 4650419 140735293819360 18446744073709551615 4361072 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 281012

[startup+3.10096 s]
/proc/loadavg: 8.17 8.13 8.05 9/302 3443
/proc/meminfo: memFree=13050728/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=273624 CPUtime=12.33 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 23732 0 0 0 1226 7 0 0 25 0 4 0 653164169 280190976 13681 33554432000 4194304 4650419 140735293819360 18446744073709551615 4436023 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 68406 13681 394 112 0 63371 0
[pid=3429/tid=3430] ppid=3427 vsize=273624 CPUtime=3.08 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 4817 0 0 0 306 2 0 0 25 0 4 0 653164169 280190976 13681 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=273624 CPUtime=3.07 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 6008 0 0 0 306 1 0 0 25 0 4 0 653164169 280190976 13681 33554432000 4194304 4650419 140735293819360 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=273624 CPUtime=3.08 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 5146 0 0 0 308 0 0 0 25 0 4 0 653164169 280190976 13681 33554432000 4194304 4650419 140735293819360 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 273624

[startup+6.30035 s]
/proc/loadavg: 8.15 8.13 8.05 9/302 3443
/proc/meminfo: memFree=12969012/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=276020 CPUtime=25.1 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 30544 0 0 0 2502 8 0 0 25 0 4 0 653164169 282644480 19417 33554432000 4194304 4650419 140735293819360 18446744073709551615 4438944 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 69005 19417 394 112 0 63970 0
[pid=3429/tid=3430] ppid=3427 vsize=276020 CPUtime=6.28 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 7734 0 0 0 626 2 0 0 25 0 4 0 653164169 282644480 19417 33554432000 4194304 4650419 140735293819360 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=276020 CPUtime=6.27 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 6172 0 0 0 626 1 0 0 25 0 4 0 653164169 282644480 19417 33554432000 4194304 4650419 140735293819360 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=276020 CPUtime=6.29 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 8724 0 0 0 628 1 0 0 25 0 4 0 653164169 282644480 19417 33554432000 4194304 4650419 140735293819360 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 276020

[startup+12.7011 s]
/proc/loadavg: 8.14 8.13 8.05 9/302 3443
/proc/meminfo: memFree=12899556/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=289592 CPUtime=50.63 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 46681 0 0 0 5052 11 0 0 25 0 4 0 653164169 296542208 27733 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 72398 27733 394 112 0 67363 0
[pid=3429/tid=3430] ppid=3427 vsize=289592 CPUtime=12.68 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 12491 0 0 0 1265 3 0 0 25 0 4 0 653164169 296542208 27733 33554432000 4194304 4650419 140735293819360 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=289592 CPUtime=12.67 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 10150 0 0 0 1265 2 0 0 25 0 4 0 653164169 296542208 27733 33554432000 4194304 4650419 140735293819360 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=289592 CPUtime=12.68 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 13610 0 0 0 1266 2 0 0 25 0 4 0 653164169 296542208 27733 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 289592

[startup+25.5007 s]
/proc/loadavg: 8.18 8.13 8.05 9/302 3443
/proc/meminfo: memFree=12818564/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=357052 CPUtime=101.7 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 71216 0 0 0 10154 16 0 0 25 0 4 0 653164169 365621248 38481 33554432000 4194304 4650419 140735293819360 18446744073709551615 4435451 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 89263 38481 394 112 0 84228 0
[pid=3429/tid=3430] ppid=3427 vsize=357052 CPUtime=25.48 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 18528 0 0 0 2543 5 0 0 25 0 4 0 653164169 365621248 38481 33554432000 4194304 4650419 140735293819360 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=357052 CPUtime=25.46 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 13416 0 0 0 2544 2 0 0 25 0 4 0 653164169 365621248 38481 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=357052 CPUtime=25.48 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 20431 0 0 0 2544 4 0 0 25 0 4 0 653164169 365621248 38481 33554432000 4194304 4650419 140735293819360 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 357052

[startup+51.1008 s]
/proc/loadavg: 8.12 8.12 8.05 9/302 3444
/proc/meminfo: memFree=12660656/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=445736 CPUtime=203.88 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 117598 0 0 0 20362 26 0 0 25 0 4 0 653164169 456433664 56728 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 111434 56728 395 112 0 106399 0
[pid=3429/tid=3430] ppid=3427 vsize=445736 CPUtime=51.08 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 29670 0 0 0 5100 8 0 0 25 0 4 0 653164169 456433664 56728 33554432000 4194304 4650419 140735293819360 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=445736 CPUtime=51.06 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 21909 0 0 0 5103 3 0 0 25 0 4 0 653164169 456433664 56728 33554432000 4194304 4650419 140735293819360 18446744073709551615 4436457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=445736 CPUtime=51.08 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 39780 0 0 0 5100 8 0 0 25 0 4 0 653164169 456433664 56728 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 445736

[startup+102.311 s]
/proc/loadavg: 8.10 8.12 8.05 9/302 3445
/proc/meminfo: memFree=12533648/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=527872 CPUtime=408.24 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 190498 0 0 0 40782 42 0 0 25 0 4 0 653164169 540540928 82543 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 131968 82543 401 112 0 126933 0
[pid=3429/tid=3430] ppid=3427 vsize=527872 CPUtime=102.29 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 48648 0 0 0 10217 12 0 0 25 0 4 0 653164169 540540928 82543 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=527872 CPUtime=102.26 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 37294 0 0 0 10220 6 0 0 25 0 4 0 653164169 540540928 82543 33554432000 4194304 4650419 140735293819360 18446744073709551615 4313051 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=527872 CPUtime=102.29 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 55791 0 0 0 10217 12 0 0 25 0 4 0 653164169 540540928 82543 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (KiB) 527872

[startup+162.301 s]

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

[pid=3429] ppid=3427 vsize=961788 CPUtime=2563.28 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 706436 0 0 0 256152 176 0 0 25 0 4 0 653164169 984870912 143596 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 240447 143596 399 112 0 235412 0
[pid=3429/tid=3430] ppid=3427 vsize=961788 CPUtime=642.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 166202 0 0 0 64186 45 0 0 25 0 4 0 653164169 984870912 143598 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=961788 CPUtime=642.2 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 152700 0 0 0 64184 36 0 0 25 0 4 0 653164169 984870912 143598 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=961788 CPUtime=642.29 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 176372 0 0 0 64182 47 0 0 25 0 4 0 653164169 984870912 143598 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.28
Current children cumulated vsize (KiB) 961788

[startup+702.301 s]
/proc/loadavg: 8.11 8.10 8.07 9/302 3461
/proc/meminfo: memFree=11804980/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=918300 CPUtime=2802.71 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 766404 0 0 0 280081 190 0 0 25 0 4 0 653164169 940339200 162529 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 229575 162529 396 112 0 224540 0
[pid=3429/tid=3430] ppid=3427 vsize=918300 CPUtime=702.3 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 179493 0 0 0 70181 49 0 0 25 0 4 0 653164169 940339200 162529 33554432000 4194304 4650419 140735293819360 18446744073709551615 4334270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=918300 CPUtime=702.18 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 166600 0 0 0 70179 39 0 0 25 0 4 0 653164169 940339200 162529 33554432000 4194304 4650419 140735293819360 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=918300 CPUtime=702.27 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 188068 0 0 0 70177 50 0 0 25 0 4 0 653164169 940339200 162529 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.71
Current children cumulated vsize (KiB) 918300

[startup+762.311 s]
/proc/loadavg: 8.11 8.10 8.07 9/302 3464
/proc/meminfo: memFree=11787468/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1010060 CPUtime=3042.2 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 848864 0 0 0 304012 208 0 0 25 0 4 0 653164169 1034301440 165556 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 252515 165556 396 112 0 247480 0
[pid=3429/tid=3430] ppid=3427 vsize=1010060 CPUtime=762.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 187621 0 0 0 76179 52 0 0 25 0 4 0 653164169 1034301440 165556 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1010060 CPUtime=762.19 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 176131 0 0 0 76176 43 0 0 25 0 4 0 653164169 1034301440 165556 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1010060 CPUtime=762.29 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 192523 0 0 0 76177 52 0 0 25 0 4 0 653164169 1034301440 165556 33554432000 4194304 4650419 140735293819360 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.2
Current children cumulated vsize (KiB) 1010060

[startup+822.301 s]
/proc/loadavg: 8.19 8.11 8.07 9/302 3467
/proc/meminfo: memFree=11782612/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1008328 CPUtime=3281.61 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 905042 0 0 0 327939 222 0 0 25 0 4 0 653164169 1032527872 166907 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 252082 166907 396 112 0 247047 0
[pid=3429/tid=3430] ppid=3427 vsize=1008328 CPUtime=822.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 200973 0 0 0 82176 55 0 0 25 0 4 0 653164169 1032527872 166907 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1008328 CPUtime=822.17 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 192213 0 0 0 82169 48 0 0 25 0 4 0 653164169 1032527872 166907 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1008328 CPUtime=822.27 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 206259 0 0 0 82172 55 0 0 25 0 4 0 653164169 1032527872 166907 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.61
Current children cumulated vsize (KiB) 1008328

[startup+882.3 s]
/proc/loadavg: 8.20 8.12 8.08 9/302 3468
/proc/meminfo: memFree=11844228/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=867208 CPUtime=3521.06 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 952997 0 0 0 351871 235 0 0 25 0 4 0 653164169 888020992 156121 33554432000 4194304 4650419 140735293819360 18446744073709551615 4333905 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 216802 156121 396 112 0 211767 0
[pid=3429/tid=3430] ppid=3427 vsize=867208 CPUtime=882.3 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 213793 0 0 0 88171 59 0 0 25 0 4 0 653164169 888020992 156121 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=867208 CPUtime=882.16 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 204535 0 0 0 88166 50 0 0 25 0 4 0 653164169 888020992 156121 33554432000 4194304 4650419 140735293819360 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=867208 CPUtime=882.27 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 214273 0 0 0 88169 58 0 0 25 0 4 0 653164169 888020992 156121 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.06
Current children cumulated vsize (KiB) 867208

[startup+942.301 s]
/proc/loadavg: 8.20 8.13 8.08 9/302 3470
/proc/meminfo: memFree=11729004/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1149584 CPUtime=3760.52 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 988065 0 0 0 375804 248 0 0 25 0 4 0 653164169 1177174016 180722 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 287396 180722 396 112 0 282361 0
[pid=3429/tid=3430] ppid=3427 vsize=1149584 CPUtime=942.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 225649 0 0 0 94169 62 0 0 25 0 4 0 653164169 1177174016 180722 33554432000 4194304 4650419 140735293819360 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1149584 CPUtime=942.15 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 217750 0 0 0 94160 55 0 0 25 0 4 0 653164169 1177174016 180722 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1149584 CPUtime=942.28 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 215273 0 0 0 94169 59 0 0 25 0 4 0 653164169 1177174016 180722 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.52
Current children cumulated vsize (KiB) 1149584

[startup+1002.3 s]
/proc/loadavg: 8.18 8.13 8.09 9/302 3471
/proc/meminfo: memFree=11685584/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1104212 CPUtime=3999.96 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 1010068 0 0 0 399739 257 0 0 25 0 4 0 653164169 1130713088 193359 33554432000 4194304 4650419 140735293819360 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 276053 193359 412 112 0 271018 0
[pid=3429/tid=3430] ppid=3427 vsize=1104212 CPUtime=1002.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 225649 0 0 0 100169 62 0 0 25 0 4 0 653164169 1130713088 193359 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1104212 CPUtime=1002.14 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 226021 0 0 0 100155 59 0 0 25 0 4 0 653164169 1130713088 193359 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1104212 CPUtime=1002.27 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 218190 0 0 0 100167 60 0 0 25 0 4 0 653164169 1130713088 193359 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.96
Current children cumulated vsize (KiB) 1104212

[startup+1062.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/302 3473
/proc/meminfo: memFree=11679244/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1169236 CPUtime=4239.42 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 1022935 0 0 0 423679 263 0 0 25 0 4 0 653164169 1197297664 191355 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 292309 191355 412 112 0 287274 0
[pid=3429/tid=3430] ppid=3427 vsize=1169236 CPUtime=1062.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 230346 0 0 0 106166 65 0 0 25 0 4 0 653164169 1197297664 191355 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1169236 CPUtime=1062.14 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 226695 0 0 0 106154 60 0 0 25 0 4 0 653164169 1197297664 191355 33554432000 4194304 4650419 140735293819360 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1169236 CPUtime=1062.28 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 225226 0 0 0 106165 63 0 0 25 0 4 0 653164169 1197297664 191355 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.42
Current children cumulated vsize (KiB) 1169236

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/302 3475
/proc/meminfo: memFree=11644624/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1124696 CPUtime=4478.87 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 1041227 0 0 0 447617 270 0 0 25 0 4 0 653164169 1151688704 181846 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 281174 181846 411 112 0 276139 0
[pid=3429/tid=3430] ppid=3427 vsize=1124696 CPUtime=1122.32 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 233386 0 0 0 112166 66 0 0 25 0 4 0 653164169 1151688704 181846 33554432000 4194304 4650419 140735293819360 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1124696 CPUtime=1122.13 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 231438 0 0 0 112151 62 0 0 25 0 4 0 653164169 1151688704 181846 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1124696 CPUtime=1122.28 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 231738 0 0 0 112163 65 0 0 25 0 4 0 653164169 1151688704 181846 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.87
Current children cumulated vsize (KiB) 1124696

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/302 3476
/proc/meminfo: memFree=11548376/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=1021132 CPUtime=4718.31 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 1089762 0 0 0 471547 284 0 0 25 0 4 0 653164169 1045639168 185334 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 255283 185334 411 112 0 250248 0
[pid=3429/tid=3430] ppid=3427 vsize=1021132 CPUtime=1182.31 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 246550 0 0 0 118162 69 0 0 25 0 4 0 653164169 1045639168 185334 33554432000 4194304 4650419 140735293819360 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=1021132 CPUtime=1182.11 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 244223 0 0 0 118146 65 0 0 25 0 4 0 653164169 1045639168 185334 33554432000 4194304 4650419 140735293819360 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=1021132 CPUtime=1182.28 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 241686 0 0 0 118160 68 0 0 25 0 4 0 653164169 1045639168 185334 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.31
Current children cumulated vsize (KiB) 1021132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.11 8.11 8.09 9/302 3477
/proc/meminfo: memFree=11606152/32950928 swapFree=67083212/67111528
[pid=3429] ppid=3427 vsize=954140 CPUtime=4800.14 cores=0,2,4,6
/proc/3429/stat : 3429 (strangenight1-m) R 3427 3429 3297 0 -1 4202496 1107488 0 0 0 479724 290 0 0 25 0 4 0 653164169 977039360 172826 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3429/statm: 238535 172826 411 112 0 233500 0
[pid=3429/tid=3430] ppid=3427 vsize=954140 CPUtime=1202.82 cores=0,2,4,6
/proc/3429/task/3430/stat : 3430 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 251522 0 0 0 120212 70 0 0 25 0 4 0 653164169 977039360 172828 33554432000 4194304 4650419 140735293819360 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3429/tid=3431] ppid=3427 vsize=954140 CPUtime=1202.63 cores=0,2,4,6
/proc/3429/task/3431/stat : 3431 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 249434 0 0 0 120196 67 0 0 25 0 4 0 653164169 977039360 172828 33554432000 4194304 4650419 140735293819360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=954140 CPUtime=1202.79 cores=0,2,4,6
/proc/3429/task/3432/stat : 3432 (strangenight1-m) R 3427 3429 3297 0 -1 4202560 246932 0 0 0 120209 70 0 0 25 0 4 0 653164169 977039360 172828 33554432000 4194304 4650419 140735293819360 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 954140

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): 1202.85
CPU time (s): 4800.22
CPU user time (s): 4797.28
CPU system time (s): 2.93355
CPU usage (%): 399.071
Max. virtual memory (cumulated for all children) (KiB): 1235292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.28
system time used= 2.93355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107494
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= 2163
involuntary context switches= 23254

runsolver used 3.18651 second user time and 7.78382 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-15 01:27:25
IDJOB=3369227
IDBENCH=83949
IDSOLVER=1846
FILE ID=node127/3369227-1305415645
RUNJOBID= node127-1305414440-3316
PBS_JOBID= 13324545
Free space on /tmp= 73480 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369227-1305415645/watcher-3369227-1305415645 -o /tmp/evaluation-result-3369227-1305415645/solver-3369227-1305415645 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369227-1305415645.cnf

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

MD5SUM BENCH= fab1e4926bfa9e7a1fae58c3b22b51e8
RANDOM SEED=1322014031

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13125340 kB
Buffers:        291736 kB
Cached:        3361660 kB
SwapCached:       1620 kB
Active:       16824764 kB
Inactive:      2664720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13125340 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            6628 kB
Writeback:           0 kB
AnonPages:    15834240 kB
Mapped:          25940 kB
Slab:           226432 kB
PageTables:      46700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44323564 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= 73464 MiB
End job on node127 at 2011-05-15 01:47:30