Trace number 3368643

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.13 1203.14

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
MD5SUM1a4e1674582e40801444509cae2068da
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.5668
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368643-1305399509.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4.40/1.13	c Finding binary XORs  T:     0.00 s  found:       0
4.40/1.13	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
4.40/1.13	c calculated reachability. Time: 0.00
4.40/1.13	c Calc default polars -  time:   0.00 s pos:      88 undec:       1 neg:      61
4.40/1.13	c =========================================================================================
4.40/1.13	c types(t): F = full restart, N = normal restart
4.40/1.13	c types(t): S = simplification begin/end, E = solution found
4.40/1.13	c restart types(rt): st = static, dy = dynamic
4.40/1.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.40/1.13	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
4.40/1.13	c  N dy     8      5913       150     12750         0      3261     89250    119250     38.04     40.28  --
4.40/1.13	c  N dy    29     10336       150     12750         0      7509     89250    309919     39.06     41.17  --
4.40/1.13	c  N dy    37     14530       150     12750         0      7473     89250    271453     38.92     40.98  --
5.56/1.43	c  N dy    52     19195       150     12750         0      6536     89250    193290     39.07     41.26  --
6.36/1.65	c  F st    59     25000       150     12750         0     12089     89250    439640     38.73     39.20  --
6.36/1.65	c  N st    59     25000       150     12750         0     12089     89250    439640     38.73     39.20  --
7.55/1.93	c  N dy    65     30005       150     12750         0     10375     89250    336011     38.73   no data  --
7.55/1.93	c  S st    65     30005       150     12750         0     10375     89250    336011     38.73   no data  --
7.55/1.97	c  S st    65     30506       150     12750         0     10865     89250    357897     38.73   no data  --
7.55/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.55/1.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.55/1.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.73/4.26	c lits-rem:      1784  cl-subs:      469  v-elim:      0  v-fix:    0  time:  9.00 s
18.32/4.70	c asymm  cl-useful: 0/10909/12750 lits-rem:0 time: 1.74
18.72/4.70	c calculated reachability. Time: 0.00
18.72/4.70	c  N dy    65     30506       150     12750         0     10396     89250    329359     38.73   no data  --
19.53/4.96	c  N dy    77     34618       150     12750         0     14340     89250    505195     38.73     40.99  --
20.73/5.24	c  N dy    87     39273       150     12750         0     11243     89250    338242     38.72     41.14  --
21.96/5.54	c  N dy   101     43634       150     12750         0     15433     89250    524932     38.77     40.89  --
22.72/5.71	c  S st   113     45759       150     12750         0      8869     89250    198342     38.81     36.36  --
22.72/5.75	c  S st   113     46261       150     12750         0      9357     89250    220729     38.81   no data  --
22.72/5.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.72/5.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.72/5.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.72/5.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.72/5.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.72/5.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.72/5.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.11/7.37	c lits-rem:       306  cl-subs:       70  v-elim:      0  v-fix:    0  time:  6.43 s
29.11/7.37	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.11/7.38	c vivif2 --  cl tried     9287 cl shrink        0 lits rem          0 time: 0.01
29.51/7.45	c asymm  cl-useful: 0/1841/12750 lits-rem:0 time: 0.28
29.51/7.45	c calculated reachability. Time: 0.00
29.51/7.45	c  N dy   113     46261       150     12750         0      9287     89250    216277     38.81   no data  --
30.74/7.79	c  N dy   127     51431       150     12750         0     14244     89250    439806     38.82     40.94  --
32.29/8.14	c  N dy   137     56363       150     12750         0     18970     89250    651488     38.80     41.11  --
33.90/8.56	c  N dy   149     62792       150     12750         0     15563     89250    468070     38.75     40.79  --
35.48/8.91	c  N dy   170     67199       150     12750         0     19799     89250    657619     38.82     40.91  --
35.88/9.09	c  S st   178     69391       150     12750         0     11351     89250    245966     38.81     33.99  --
36.29/9.14	c  S st   178     69894       150     12750         0     11846     89250    267221     38.81   no data  --
36.29/9.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.29/9.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.29/9.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
36.29/9.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.29/9.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.29/9.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.29/9.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.92/11.01	c lits-rem:       488  cl-subs:      104  v-elim:      0  v-fix:    0  time:  7.39 s
43.92/11.01	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.92/11.02	c vivif2 --  cl tried    11742 cl shrink        0 lits rem          0 time: 0.01
45.47/11.46	c asymm  cl-useful: 0/10217/12750 lits-rem:0 time: 1.80
45.47/11.47	c calculated reachability. Time: 0.00
45.47/11.47	c  N dy   178     69894       150     12750         0     11742     89250    261334     38.81   no data  --
51.05/12.86	c  F st   187     87501       150     12750         0     17000     89250    472849     38.29     38.08  --
51.05/12.87	c  N st   187     87501       150     12750         0     17000     89250    472849     38.29     38.08  --
53.45/13.41	c  N dy   194     94043       150     12750         0     23242     89250    754946     38.27     40.36  --
55.45/13.95	c  N dy   234    100315       150     12750         0     16873     89250    434455     38.40     40.63  --
57.08/14.32	c  S st   242    104842       150     12750         0     21217     89250    628502     38.37     34.99  --
57.08/14.38	c  S st   242    105343       150     12750         0     21703     89250    649965     38.37   no data  --
57.08/14.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.08/14.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.43/14.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
57.43/14.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.43/14.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.43/14.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.43/14.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.80/18.02	c lits-rem:      1414  cl-subs:      887  v-elim:      0  v-fix:    0  time: 14.34 s
71.80/18.02	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
71.80/18.02	c vivif2 --  cl tried    20816 cl shrink        0 lits rem          0 time: 0.02
72.60/18.23	c asymm  cl-useful: 0/2533/12750 lits-rem:0 time: 0.83
72.60/18.23	c calculated reachability. Time: 0.00
72.60/18.23	c  N dy   242    105343       150     12750         0     20816     89250    600825     38.37   no data  --
75.39/18.91	c  N dy   271    112151       150     12750         0     13980     89250    273372     38.43     40.64  --
77.39/19.47	c  N dy   292    119366       150     12750         0     20919     89250    581953     38.43     40.49  --
80.19/20.17	c  N dy   315    126982       150     12750         0     28235     89250    908216     38.43     40.86  --
82.99/20.84	c  N dy   359    135085       150     12750         0     21631     89250    580231     38.50     40.94  --
86.98/21.87	c  N dy   387    146749       150     12750         0     17485     89250    363322     38.51     40.56  --
90.16/22.69	c  N dy   406    156743       150     12750         0     27051     89250    789500     38.47     40.69  --
90.97/22.82	c  S st   410    158015       150     12750         0     28268     89250    842814     38.46     38.17  --
90.97/22.90	c  S st   410    158515       150     12750         0     28756     89250    863958     38.46   no data  --
91.36/22.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.36/22.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.36/22.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
91.36/22.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.36/22.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.36/22.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
91.36/22.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.33/27.49	c lits-rem:      2306  cl-subs:     1563  v-elim:      0  v-fix:    0  time: 18.14 s
109.33/27.49	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
109.33/27.50	c vivif2 --  cl tried    27193 cl shrink        0 lits rem          0 time: 0.03
110.51/27.77	c asymm  cl-useful: 0/3256/12750 lits-rem:0 time: 1.08
110.51/27.77	c calculated reachability. Time: 0.00
110.51/27.77	c  N dy   410    158515       150     12750         0     27193     89250    780666     38.46   no data  --
114.90/28.81	c  N dy   460    169187       150     12750         0     21170     89250    492384     38.52     40.74  --
119.29/29.99	c  N dy   499    181750       150     12750         0     33245     89250   1033051     38.55     41.16  --
124.48/31.20	c  N dy   545    193466       150     12750         0     27187     89250    729829     38.59     40.72  --
129.67/32.58	c  N dy   572    206359       150     12750         0     21295     89250    434998     38.56     40.73  --
136.10/34.12	c  N dy   629    220119       150     12750         0     34480     89250   1023351     38.61     40.68  --
142.04/35.63	c  N dy   654    234172       150     12750         0     28790     89250    737537     38.58     40.74  --
144.04/36.10	c  S st   671    237774       150     12750         0     32251     89250    891539     38.59     36.28  --
144.04/36.20	c  S st   671    238277       150     12750         0     32741     89250    912976     38.59   no data  --
144.04/36.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.04/36.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.45/36.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
144.45/36.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.45/36.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.45/36.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
144.45/36.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.20/40.44	c lits-rem:       918  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 16.74 s
161.20/40.44	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
161.20/40.45	c vivif2 --  cl tried    31241 cl shrink        0 lits rem          0 time: 0.04
162.01/40.69	c asymm  cl-useful: 0/2489/12750 lits-rem:0 time: 0.92
162.01/40.69	c calculated reachability. Time: 0.00
162.01/40.69	c  N dy   671    238277       150     12750         0     31241     89250    833159     38.59   no data  --
168.39/42.27	c  N dy   724    253542       150     12750         0     25801     89250    574554     38.62     40.82  --
175.61/44.06	c  N dy   785    269782       150     12750         0     41358     89250   1269641     38.66     40.84  --
182.75/45.85	c  N dy   856    287024       150     12750         0     36849     89250   1037782     38.70     40.92  --
190.74/47.85	c  N dy   905    305433       150     12750         0     32384     89250    796180     38.69     42.48  --
191.14/47.95	c  F st   907    306250       150     12750         0     33175     89250    830032     38.68     35.45  --
200.31/50.21	c  N dy   964    325250       150     12750         0     28391     89250    589811     38.71     40.94  --
209.89/52.63	c  N dy  1027    345272       150     12750         0     47569     89250   1447459     38.72     41.05  --
215.12/53.95	c  S st  1073    357418       150     12750         0     35320     89250    867085     38.73     36.63  --
215.48/54.03	c  S st  1073    357923       150     12750         0     35811     89250    888688     38.73   no data  --
215.48/54.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
215.48/54.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.48/54.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
215.48/54.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
215.48/54.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
215.48/54.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
215.48/54.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.00/60.96	c lits-rem:      1389  cl-subs:     1115  v-elim:      0  v-fix:    0  time: 27.43 s
243.00/60.96	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
243.00/60.97	c vivif2 --  cl tried    34696 cl shrink        0 lits rem          0 time: 0.04
244.60/61.35	c asymm  cl-useful: 0/2211/12750 lits-rem:0 time: 1.52
244.60/61.35	c calculated reachability. Time: 0.00
244.60/61.35	c  N dy  1073    357923       150     12750         0     34696     89250    825659     38.73   no data  --
255.78/64.19	c  N dy  1131    378064       150     12750         0     29067     89250    548849     38.74     40.78  --
267.37/67.06	c  N dy  1179    398585       150     12750         0     48700     89250   1420817     38.71     40.95  --
277.73/69.67	c  N dy  1231    418628       150     12750         0     42082     89250   1099584     38.70     41.47  --
288.91/72.49	c  N dy  1303    438632       150     12750         0     34412     89250    718963     38.70     43.11  --
300.88/75.42	c  N dy  1367    460323       150     12750         0     55216     89250   1649495     38.72     40.79  --
310.86/77.92	c  N dy  1451    480338       150     12750         0     46591     89250   1239042     38.75     45.59  --
322.03/80.76	c  N dy  1525    500416       150     12750         0     37089     89250    782751     38.77     40.82  --
334.00/83.74	c  N dy  1588    521870       150     12750         0     57638     89250   1706496     38.78     40.84  --
341.59/85.69	c  S st  1638    536884       150     12750         0     42335     89250    979854     38.78     38.56  --
342.00/85.79	c  S st  1638    537387       150     12750         0     42822     89250   1001981     38.78   no data  --
342.00/85.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
342.00/85.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
342.42/85.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
342.42/85.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
342.42/85.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
342.42/85.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
342.42/85.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
363.14/91.04	c lits-rem:      1037  cl-subs:     1389  v-elim:      0  v-fix:    0  time: 20.73 s
363.14/91.05	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
363.14/91.06	c vivif2 --  cl tried    41433 cl shrink        0 lits rem          0 time: 0.04
364.37/91.32	c asymm  cl-useful: 0/1842/12750 lits-rem:0 time: 1.04
364.37/91.32	c calculated reachability. Time: 0.00
364.37/91.32	c  N dy  1638    537387       150     12750         0     41433     89250    926299     38.78   no data  --
377.11/94.53	c  N dy  1698    558396       150     12750         0     30917     89250    436236     38.79     41.63  --
388.28/97.31	c  N dy  1776    579481       150     12750         0     51122     89250   1345058     38.81     41.14  --
436.57/109.43	c  N dy  1791    654526       150     12750         0     58469     89250   1628109     38.46     40.52  --
448.94/112.53	c  N dy  1850    674968       150     12750         0     44771     89250    973390     38.47     40.53  --
462.92/116.04	c  N dy  1909    697204       150     12750         0     66024     89250   1920033     38.47     40.55  --
474.13/118.84	c  N dy  1956    717359       150     12750         0     50972     89250   1211468     38.46     40.49  --
491.68/123.21	c  N dy  2036    737442       150     12750         0     70240     89250   2070960     38.48     40.62  --
504.43/126.43	c  N dy  2098    757467       150     12750         0     54032     89250   1308762     38.49     41.60  --
520.38/130.48	c  N dy  2167    777542       150     12750         0     36843     89250    507413     38.49     41.93  --
532.35/133.48	c  N dy  2228    798339       150     12750         0     56800     89250   1392401     38.49     40.52  --
538.34/134.90	c  S st  2262    806080       150     12750         0     64216     89250   1722385     38.50     38.95  --
538.74/135.07	c  S st  2262    806583       150     12750         0     64706     89250   1744229     38.50   no data  --
538.74/135.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
538.74/135.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
539.14/135.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
539.14/135.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
539.14/135.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
539.14/135.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
539.14/135.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
618.98/155.14	c lits-rem:      3295  cl-subs:     3052  v-elim:      0  v-fix:    0  time: 79.66 s
618.98/155.14	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
618.98/155.16	c vivif2 --  cl tried    61654 cl shrink        0 lits rem          0 time: 0.07
620.54/155.50	c asymm  cl-useful: 0/1315/12750 lits-rem:0 time: 1.34
620.54/155.50	c calculated reachability. Time: 0.00
620.54/155.50	c  N dy  2262    806583       150     12750         0     61654     89250   1578460     38.50   no data  --
634.91/159.17	c  N dy  2326    826617       150     12750         0     43530     89250    769740     38.51     40.56  --
648.88/162.61	c  N dy  2355    849409       150     12750         0     65275     89250   1736722     38.48     40.64  --
664.44/166.57	c  N dy  2444    870049       150     12750         0     46823     89250    887841     38.50     40.53  --
678.81/170.18	c  N dy  2525    890441       150     12750         0     66365     89250   1758678     38.51     40.77  --
699.16/175.24	c  N dy  2618    918039       150     12750         0     53504     89250   1148342     38.51     40.54  --
715.57/179.34	c  N dy  2694    939582       150     12750         0     74118     89250   2068129     38.52     40.55  --
731.10/183.20	c  N dy  2755    961500       150     12750         0     54928     89250   1181239     38.51     40.59  --
746.66/187.17	c  N dy  2819    983041       150     12750         0     75574     89250   2101627     38.51     40.66  --
762.23/191.00	c  N dy  2911   1003438       150     12750         0     53903     89250   1105814     38.53     40.62  --
778.19/195.03	c  N dy  2999   1023493       150     12750         0     73092     89250   1962311     38.54     40.60  --
794.16/199.11	c  N dy  3084   1043761       150     12750         0     50411     89250    916159     38.55     40.83  --
812.90/203.78	c  N dy  3162   1069113       150     12750         0     74705     89250   2001402     38.55     40.77  --
816.12/204.54	c  F st  3176   1071875       150     12750         0     77359     89250   2120209     38.55     36.49  --
833.26/208.82	c  N dy  3210   1090843       150     12750         0     52377     89250    963194     38.54     40.64  --
849.62/212.98	c  N dy  3267   1110989       150     12750         0     71667     89250   1821015     38.54     40.58  --
870.36/218.15	c  N dy  3345   1131145       150     12750         0     46927     89250    690915     38.55     40.78  --
886.78/222.29	c  N dy  3436   1153082       150     12750         0     67885     89250   1631221     38.57     40.72  --
909.08/227.81	c  N dy  3513   1173638       150     12750         0     87598     89250   2511650     38.58     40.64  --
927.04/232.31	c  N dy  3565   1193812       150     12750         0     61895     89250   1315061     38.57     40.79  --
944.19/236.63	c  S st  3620   1209874       150     12750         0     77315     89250   2003129     38.57     37.42  --
945.39/236.93	c  S st  3620   1210379       150     12750         0     77804     89250   2024343     38.57   no data  --
945.39/236.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
945.39/236.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
945.80/237.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.24
945.80/237.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
945.80/237.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
945.80/237.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
945.80/237.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1120.56/280.80	c lits-rem:      3173  cl-subs:     3535  v-elim:      0  v-fix:    0  time: 174.46 s
1120.56/280.80	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
1120.56/280.83	c vivif2 --  cl tried    74269 cl shrink        0 lits rem          0 time: 0.10
1122.56/281.31	c asymm  cl-useful: 0/1132/12750 lits-rem:0 time: 1.92
1122.56/281.31	c calculated reachability. Time: 0.00
1122.56/281.31	c  N dy  3620   1210379       150     12750         0     74269     89250   1834147     38.57   no data  --
1147.69/287.64	c  N dy  3678   1231427       150     12750         0     48528     89250    694923     38.57     40.74  --
1167.68/292.69	c  N dy  3758   1251979       150     12750         0     68228     89250   1578360     38.58     40.64  --
1192.79/298.99	c  N dy  3822   1272590       150     12750         0     87984     89250   2459072     38.59     40.72  --
1214.33/304.35	c  N dy  3886   1293035       150     12750         0     60650     89250   1199680     38.59     40.82  --
1236.67/309.99	c  N dy  3948   1313321       150     12750         0     80083     89250   2068419     38.59     40.70  --
1262.62/316.45	c  N dy  4012   1333884       150     12750         0     51899     89250    777452     38.59     40.97  --
1282.55/321.46	c  N dy  4075   1354102       150     12750         0     71201     89250   1641713     38.60     40.72  --
1312.10/328.86	c  N dy  4145   1377552       150     12750         0     93645     89250   2649661     38.60     40.68  --
1332.83/334.09	c  N dy  4205   1397694       150     12750         0     64121     89250   1291740     38.60     41.08  --
1356.69/340.02	c  N dy  4284   1417758       150     12750         0     83333     89250   2149598     38.61     40.88  --
1384.78/347.18	c  N dy  4359   1439555       150     12750         0     54452     89250    826353     38.61     40.71  --
1407.65/352.92	c  N dy  4397   1463137       150     12750         0     77040     89250   1833862     38.60     40.67  --
1435.69/360.09	c  N dy  4467   1484065       150     12750         0     97086     89250   2728925     38.60     40.88  --
1458.44/365.73	c  N dy  4532   1504305       150     12750         0     65801     89250   1297996     38.61     40.71  --
1483.18/371.94	c  N dy  4625   1524649       150     12750         0     85273     89250   2169612     38.62     40.72  --
1510.32/378.75	c  N dy  4684   1544691       150     12750         0     52731     89250    681694     38.62     41.55  --
1529.87/383.64	c  N dy  4748   1565015       150     12750         0     72260     89250   1555923     38.62     40.82  --
1556.21/390.21	c  N dy  4823   1585039       150     12750         0     91455     89250   2415783     38.62     40.79  --
1583.77/397.14	c  N dy  4884   1605240       150     12750         0     58056     89250    881143     38.63     40.95  --
1622.44/406.87	c  N dy  4890   1641489       150     12750         0     92615     89250   2437504     38.57     40.70  --
1649.98/413.75	c  N dy  4970   1661586       150     12750         0     58279     89250    862457     38.58     44.61  --
1669.94/418.71	c  N dy  5011   1682275       150     12750         0     78115     89250   1745487     38.57     40.62  --
1697.48/425.64	c  N dy  5098   1703616       150     12750         0     98607     89250   2663031     38.58     40.85  --
1707.45/428.16	c  S st  5135   1710379       150     12750         0    105076     89250   2951567     38.59   no data  --
1708.64/428.45	c  S st  5135   1710881       150     12750         0    105562     89250   2973101     38.59   no data  --
1708.64/428.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1708.64/428.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1709.04/428.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1709.44/428.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1709.44/428.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1709.44/428.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1709.44/428.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2812.41/705.07	c lits-rem:      4414  cl-subs:     5471  v-elim:      0  v-fix:    0  time: 1102.51 s
2812.41/705.07	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2812.83/705.11	c vivif2 --  cl tried   100091 cl shrink        0 lits rem          0 time: 0.13
2813.59/705.36	c asymm  cl-useful: 0/505/12750 lits-rem:0 time: 0.99
2813.59/705.36	c calculated reachability. Time: 0.00
2813.59/705.36	c  N dy  5135   1710881       150     12750         0    100091     89250   2673779     38.59   no data  --
2835.94/710.91	c  N dy  5195   1731409       150     12750         0     65263     89250   1140841     38.59     40.85  --
2857.48/716.38	c  N dy  5255   1751505       150     12750         0     84477     89250   1996777     38.59     42.02  --
2883.81/722.98	c  N dy  5324   1771798       150     12750         0    103907     89250   2866539     38.59     40.64  --
2906.57/728.62	c  N dy  5387   1792577       150     12750         0     68300     89250   1236940     38.59     40.66  --
2926.96/733.74	c  N dy  5444   1812841       150     12750         0     87711     89250   2103563     38.59     40.63  --
2954.86/740.74	c  N dy  5503   1833169       150     12750         0    107195     89250   2976171     38.59     40.74  --
2978.41/746.65	c  N dy  5574   1853261       150     12750         0     69991     89250   1282602     38.60     40.66  --
3001.17/752.32	c  N dy  5650   1873639       150     12750         0     89505     89250   2155779     38.60     40.64  --
3027.50/758.96	c  N dy  5733   1893723       150     12750         0    108665     89250   3013921     38.61     42.15  --
3048.64/764.23	c  N dy  5784   1913967       150     12750         0     70657     89250   1279938     38.61     40.65  --
3070.99/769.86	c  N dy  5868   1934556       150     12750         0     90406     89250   2164776     38.62     40.74  --
3097.74/776.52	c  N dy  5945   1954640       150     12750         0    109658     89250   3028484     38.63     40.91  --
3121.67/782.50	c  N dy  6031   1974687       150     12750         0     70494     89250   1235639     38.63     41.08  --
3140.82/787.36	c  N dy  6067   1994981       150     12750         0     89905     89250   2103765     38.63     40.79  --
3167.56/794.10	c  N dy  6112   2017043       150     12750         0    111022     89250   3048741     38.62     40.85  --
3192.30/800.21	c  N dy  6183   2037339       150     12750         0     71072     89250   1221171     38.62     40.67  --
3214.25/805.75	c  N dy  6261   2057367       150     12750         0     90290     89250   2080377     38.63     40.88  --
3243.01/812.92	c  N dy  6350   2077706       150     12750         0    109813     89250   2954699     38.64     40.69  --
3269.72/819.63	c  N dy  6436   2097744       150     12750         0     68638     89250   1082835     38.64     41.30  --
3294.86/825.90	c  N dy  6497   2122086       150     12750         0     91970     89250   2122344     38.64     40.78  --
3328.38/834.35	c  N dy  6574   2149470       150     12750         0    118110     89250   3289234     38.64     41.01  --
3348.74/839.46	c  N dy  6638   2169736       150     12750         0     76217     89250   1388392     38.64     40.86  --
3370.32/844.84	c  N dy  6720   2190334       150     12750         0     96002     89250   2277494     38.65     40.92  --
3395.84/851.25	c  N dy  6786   2210882       150     12750         0    115736     89250   3163385     38.65     37.73  --
3395.84/851.25	c  S st  6786   2210882       150     12750         0    115736     89250   3163385     38.65     37.73  --
3397.02/851.57	c  S st  6786   2211383       150     12750         0    116227     89250   3185334     38.65   no data  --
3397.02/851.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3397.02/851.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3397.42/851.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3397.82/851.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3397.82/851.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3397.82/851.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3397.82/851.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.15 8.12 7.66 7/298 1832
/proc/meminfo: memFree=13056180/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651550614 52465664 351 33554432000 4194304 4650419 140735756268032 18446744073709551615 47246825174952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 12809 351 303 112 0 7774 0
[pid=1832/tid=1833] ppid=1830 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651550615 52465664 352 33554432000 4194304 4650419 140735756268032 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651550615 52465664 352 33554432000 4194304 4650419 140735756268032 18446744073709551615 47246825174962 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651550615 52465664 352 33554432000 4194304 4650419 140735756268032 18446744073709551615 47246825174962 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0203771 s]
/proc/loadavg: 8.15 8.12 7.66 7/298 1832
/proc/meminfo: memFree=13056180/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=348204 CPUtime=0.05 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 2038 0 0 0 5 0 0 0 25 0 4 0 651550614 356560896 1945 33554432000 4194304 4650419 140735756268032 18446744073709551615 208080337439 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 87051 1945 366 112 0 82016 0
[pid=1832/tid=1833] ppid=1830 vsize=348204 CPUtime=0 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 427 0 0 0 0 0 0 0 25 0 4 0 651550615 356560896 1945 33554432000 4194304 4650419 140735756268032 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=348204 CPUtime=0.01 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 362 0 0 0 1 0 0 0 25 0 4 0 651550615 356560896 1945 33554432000 4194304 4650419 140735756268032 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=348204 CPUtime=0.01 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 411 0 0 0 1 0 0 0 25 0 4 0 651550615 356560896 1946 33554432000 4194304 4650419 140735756268032 18446744073709551615 208079891188 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 348204

[startup+0.162257 s]
/proc/loadavg: 8.15 8.12 7.66 7/298 1832
/proc/meminfo: memFree=13056180/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=348204 CPUtime=0.62 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 2303 0 0 0 62 0 0 0 25 0 4 0 651550614 356560896 2210 33554432000 4194304 4650419 140735756268032 18446744073709551615 4370500 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 87051 2210 366 112 0 82016 0
[pid=1832/tid=1833] ppid=1830 vsize=348204 CPUtime=0.14 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 447 0 0 0 14 0 0 0 25 0 4 0 651550615 356560896 2210 33554432000 4194304 4650419 140735756268032 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=348204 CPUtime=0.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 380 0 0 0 15 0 0 0 25 0 4 0 651550615 356560896 2210 33554432000 4194304 4650419 140735756268032 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=348204 CPUtime=0.15 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 604 0 0 0 15 0 0 0 25 0 4 0 651550615 356560896 2210 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 348204

[startup+0.300232 s]
/proc/loadavg: 8.15 8.12 7.66 7/298 1832
/proc/meminfo: memFree=13056180/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=349476 CPUtime=1.17 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 2832 0 0 0 117 0 0 0 25 0 4 0 651550614 357863424 2357 33554432000 4194304 4650419 140735756268032 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 87369 2357 370 112 0 82334 0
[pid=1832/tid=1833] ppid=1830 vsize=349476 CPUtime=0.28 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 466 0 0 0 28 0 0 0 25 0 4 0 651550615 357863424 2357 33554432000 4194304 4650419 140735756268032 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=349476 CPUtime=0.29 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 402 0 0 0 29 0 0 0 25 0 4 0 651550615 357863424 2357 33554432000 4194304 4650419 140735756268032 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=349476 CPUtime=0.29 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 1077 0 0 0 29 0 0 0 25 0 4 0 651550615 357863424 2357 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349476

[startup+0.701157 s]
/proc/loadavg: 8.15 8.12 7.66 7/298 1832
/proc/meminfo: memFree=13056180/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=353588 CPUtime=2.77 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 8261 0 0 0 275 2 0 0 25 0 4 0 651550614 362074112 5650 33554432000 4194304 4650419 140735756268032 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 88397 5650 390 112 0 83362 0
[pid=1832/tid=1833] ppid=1830 vsize=353588 CPUtime=0.68 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 1978 0 0 0 68 0 0 0 25 0 4 0 651550615 362074112 5650 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=353588 CPUtime=0.68 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 1967 0 0 0 68 0 0 0 18 0 4 0 651550615 362074112 5650 33554432000 4194304 4650419 140735756268032 18446744073709551615 4354963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=353588 CPUtime=0.69 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 1866 0 0 0 69 0 0 0 25 0 4 0 651550615 362074112 5650 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 353588

[startup+1.50101 s]
/proc/loadavg: 8.15 8.12 7.66 11/302 1836
/proc/meminfo: memFree=12963768/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=355228 CPUtime=5.96 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 13487 0 0 0 593 3 0 0 25 0 4 0 651550614 363753472 6524 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 88807 6524 391 112 0 83772 0
[pid=1832/tid=1833] ppid=1830 vsize=355228 CPUtime=1.47 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 3303 0 0 0 147 0 0 0 25 0 4 0 651550615 363753472 6524 33554432000 4194304 4650419 140735756268032 18446744073709551615 4328119 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=355228 CPUtime=1.48 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 3236 0 0 0 148 0 0 0 19 0 4 0 651550615 363753472 6524 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=355228 CPUtime=1.48 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 3238 0 0 0 148 0 0 0 25 0 4 0 651550615 363753472 6524 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 355228

[startup+3.10071 s]
/proc/loadavg: 8.14 8.12 7.66 9/302 1836
/proc/meminfo: memFree=12935496/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=368660 CPUtime=12.35 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 29439 0 0 0 1229 6 0 0 25 0 4 0 651550614 377507840 17520 33554432000 4194304 4650419 140735756268032 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 92165 17520 392 112 0 87130 0
[pid=1832/tid=1833] ppid=1830 vsize=368660 CPUtime=3.06 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 6469 0 0 0 305 1 0 0 25 0 4 0 651550615 377507840 17520 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=368660 CPUtime=3.09 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 8219 0 0 0 307 2 0 0 23 0 4 0 651550615 377507840 17520 33554432000 4194304 4650419 140735756268032 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=368660 CPUtime=3.08 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 7982 0 0 0 307 1 0 0 25 0 4 0 651550615 377507840 17520 33554432000 4194304 4650419 140735756268032 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 368660

[startup+6.30109 s]
/proc/loadavg: 8.14 8.12 7.66 9/302 1837
/proc/meminfo: memFree=12862584/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=360392 CPUtime=25.12 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 35400 0 0 0 2504 8 0 0 25 0 4 0 651550614 369041408 18653 33554432000 4194304 4650419 140735756268032 18446744073709551615 4438603 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 90098 18653 392 112 0 85063 0
[pid=1832/tid=1833] ppid=1830 vsize=360392 CPUtime=6.23 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 7754 0 0 0 622 1 0 0 25 0 4 0 651550615 369041408 18653 33554432000 4194304 4650419 140735756268032 18446744073709551615 4328176 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=360392 CPUtime=6.29 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 9310 0 0 0 627 2 0 0 25 0 4 0 651550615 369041408 18653 33554432000 4194304 4650419 140735756268032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=360392 CPUtime=6.29 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 9909 0 0 0 627 2 0 0 25 0 4 0 651550615 369041408 18653 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 360392

[startup+12.7009 s]
/proc/loadavg: 8.12 8.12 7.67 9/302 1837
/proc/meminfo: memFree=12819092/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=360084 CPUtime=50.65 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 53481 0 0 0 5051 14 0 0 25 0 4 0 651550614 368726016 26283 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 90021 26283 392 112 0 84986 0
[pid=1832/tid=1833] ppid=1830 vsize=360084 CPUtime=12.57 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 13739 0 0 0 1254 3 0 0 25 0 4 0 651550615 368726016 26283 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=360084 CPUtime=12.69 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 13034 0 0 0 1265 4 0 0 25 0 4 0 651550615 368726016 26283 33554432000 4194304 4650419 140735756268032 18446744073709551615 4444134 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=360084 CPUtime=12.69 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 15669 0 0 0 1265 4 0 0 25 0 4 0 651550615 368726016 26283 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 360084

[startup+25.5004 s]
/proc/loadavg: 8.10 8.11 7.67 9/302 1837
/proc/meminfo: memFree=12505512/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=362484 CPUtime=101.73 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 86443 0 0 0 10150 23 0 0 25 0 4 0 651550614 371183616 33846 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 90621 33846 392 112 0 85586 0
[pid=1832/tid=1833] ppid=1830 vsize=362484 CPUtime=25.24 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 21765 0 0 0 2519 5 0 0 25 0 4 0 651550615 371183616 33846 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=362484 CPUtime=25.49 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 21900 0 0 0 2543 6 0 0 25 0 4 0 651550615 371183616 33846 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=362484 CPUtime=25.48 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 23424 0 0 0 2542 6 0 0 25 0 4 0 651550615 371183616 33846 33554432000 4194304 4650419 140735756268032 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 362484

[startup+51.1006 s]
/proc/loadavg: 8.14 8.12 7.68 9/302 1838
/proc/meminfo: memFree=12396920/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=372840 CPUtime=203.91 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 137319 0 0 0 20352 39 0 0 25 0 4 0 651550614 381788160 40998 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 93210 40998 392 112 0 88175 0
[pid=1832/tid=1833] ppid=1830 vsize=372840 CPUtime=50.61 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 35630 0 0 0 5052 9 0 0 25 0 4 0 651550615 381788160 40998 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=372840 CPUtime=51.08 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 33716 0 0 0 5098 10 0 0 25 0 4 0 651550615 381788160 40998 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=372840 CPUtime=51.09 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 35915 0 0 0 5099 10 0 0 25 0 4 0 651550615 381788160 40998 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 372840

[startup+102.312 s]
/proc/loadavg: 8.14 8.11 7.70 9/302 1839
/proc/meminfo: memFree=12184976/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=499592 CPUtime=408.27 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 211781 0 0 0 40765 62 0 0 25 0 4 0 651550614 511582208 57850 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 124898 57850 392 112 0 119863 0
[pid=1832/tid=1833] ppid=1830 vsize=499592 CPUtime=101.35 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 52577 0 0 0 10121 14 0 0 25 0 4 0 651550615 511582208 57850 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=499592 CPUtime=102.29 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 52666 0 0 0 10214 15 0 0 25 0 4 0 651550615 511582208 57850 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=499592 CPUtime=102.3 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 57004 0 0 0 10213 17 0 0 25 0 4 0 651550615 511582208 57850 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 499592

[startup+162.3 s]

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

[pid=1832] ppid=1830 vsize=737088 CPUtime=2801.62 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 541954 0 0 0 279958 204 0 0 25 0 4 0 651550614 754778112 101429 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 184272 101429 392 112 0 179237 0
[pid=1832/tid=1833] ppid=1830 vsize=737088 CPUtime=694.83 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 143128 0 0 0 69426 57 0 0 25 0 4 0 651550615 754778112 101429 33554432000 4194304 4650419 140735756268032 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=737088 CPUtime=702.14 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 139186 0 0 0 70163 51 0 0 25 0 4 0 651550615 754778112 101429 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=737088 CPUtime=702.31 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 122222 0 0 0 70183 48 0 0 25 0 4 0 651550615 754778112 101429 33554432000 4194304 4650419 140735756268032 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.62
Current children cumulated vsize (KiB) 737088

[startup+762.311 s]
/proc/loadavg: 8.14 8.14 7.91 9/302 1869
/proc/meminfo: memFree=11464756/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=740036 CPUtime=3041.09 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 571556 0 0 0 303889 220 0 0 25 0 4 0 651550614 757796864 102912 33554432000 4194304 4650419 140735756268032 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 185009 102912 392 112 0 179974 0
[pid=1832/tid=1833] ppid=1830 vsize=740036 CPUtime=754.27 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 151698 0 0 0 75365 62 0 0 25 0 4 0 651550615 757796864 102912 33554432000 4194304 4650419 140735756268032 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=740036 CPUtime=762.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 139226 0 0 0 76164 51 0 0 25 0 4 0 651550615 757796864 102912 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=740036 CPUtime=762.32 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 130843 0 0 0 76179 53 0 0 25 0 4 0 651550615 757796864 102912 33554432000 4194304 4650419 140735756268032 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.09
Current children cumulated vsize (KiB) 740036

[startup+822.301 s]
/proc/loadavg: 8.15 8.14 7.92 9/302 1870
/proc/meminfo: memFree=11290020/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=675300 CPUtime=3280.5 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 603696 0 0 0 327811 239 0 0 25 0 4 0 651550614 691507200 108899 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 168825 108899 392 112 0 163790 0
[pid=1832/tid=1833] ppid=1830 vsize=675300 CPUtime=813.69 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 163158 0 0 0 81301 68 0 0 25 0 4 0 651550615 691507200 108899 33554432000 4194304 4650419 140735756268032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=675300 CPUtime=822.14 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 139226 0 0 0 82163 51 0 0 25 0 4 0 651550615 691507200 108899 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=675300 CPUtime=822.32 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 142707 0 0 0 82172 60 0 0 25 0 4 0 651550615 691507200 108899 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.5
Current children cumulated vsize (KiB) 675300

[startup+882.301 s]
/proc/loadavg: 8.12 8.13 7.93 9/302 1872
/proc/meminfo: memFree=11248696/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=727864 CPUtime=3519.94 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 639925 0 0 0 351734 260 0 0 25 0 4 0 651550614 745332736 111527 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 181966 111527 392 112 0 176931 0
[pid=1832/tid=1833] ppid=1830 vsize=727864 CPUtime=873.13 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 173309 0 0 0 87238 75 0 0 25 0 4 0 651550615 745332736 111527 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=727864 CPUtime=882.14 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 150258 0 0 0 88157 57 0 0 25 0 4 0 651550615 745332736 111527 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=727864 CPUtime=882.32 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 154082 0 0 0 88165 67 0 0 25 0 4 0 651550615 745332736 111527 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.94
Current children cumulated vsize (KiB) 727864

[startup+942.301 s]
/proc/loadavg: 8.10 8.12 7.93 9/302 1874
/proc/meminfo: memFree=11302980/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=690128 CPUtime=3759.37 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 669722 0 0 0 375661 276 0 0 25 0 4 0 651550614 706691072 104145 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 172532 104145 392 112 0 167497 0
[pid=1832/tid=1833] ppid=1830 vsize=690128 CPUtime=932.55 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 181157 0 0 0 93176 79 0 0 25 0 4 0 651550615 706691072 104145 33554432000 4194304 4650419 140735756268032 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=690128 CPUtime=942.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 161949 0 0 0 94150 65 0 0 25 0 4 0 651550615 706691072 104145 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=690128 CPUtime=942.32 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 159215 0 0 0 94162 70 0 0 25 0 4 0 651550615 706691072 104145 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.37
Current children cumulated vsize (KiB) 690128

[startup+1002.3 s]
/proc/loadavg: 8.20 8.14 7.95 9/302 1875
/proc/meminfo: memFree=11300352/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=690332 CPUtime=3998.8 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 702345 0 0 0 399589 291 0 0 25 0 4 0 651550614 706899968 104247 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 172583 104247 392 112 0 167548 0
[pid=1832/tid=1833] ppid=1830 vsize=690332 CPUtime=991.98 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 191110 0 0 0 99112 86 0 0 25 0 4 0 651550615 706899968 104247 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=690332 CPUtime=1002.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 170083 0 0 0 100146 69 0 0 25 0 4 0 651550615 706899968 104247 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=690332 CPUtime=1002.32 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 169345 0 0 0 100159 73 0 0 25 0 4 0 651550615 706899968 104247 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.8
Current children cumulated vsize (KiB) 690332

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 7.95 9/302 1877
/proc/meminfo: memFree=11286084/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=690568 CPUtime=4238.22 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 725496 0 0 0 423520 302 0 0 25 0 4 0 651550614 707141632 103767 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 172642 103767 392 112 0 167607 0
[pid=1832/tid=1833] ppid=1830 vsize=690568 CPUtime=1051.39 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 200369 0 0 0 105048 91 0 0 25 0 4 0 651550615 707141632 103767 33554432000 4194304 4650419 140735756268032 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=690568 CPUtime=1062.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 170804 0 0 0 106146 69 0 0 25 0 4 0 651550615 707141632 103767 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=690568 CPUtime=1062.33 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 178813 0 0 0 106154 79 0 0 25 0 4 0 651550615 707141632 103767 33554432000 4194304 4650419 140735756268032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.22
Current children cumulated vsize (KiB) 690568

[startup+1122.3 s]
/proc/loadavg: 8.17 8.13 7.96 9/302 1878
/proc/meminfo: memFree=11226180/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=823940 CPUtime=4477.63 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 758909 0 0 0 447446 317 0 0 25 0 4 0 651550614 843714560 114790 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 205985 114790 392 112 0 200950 0
[pid=1832/tid=1833] ppid=1830 vsize=823940 CPUtime=1110.79 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 209162 0 0 0 110982 97 0 0 25 0 4 0 651550615 843714560 114790 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=823940 CPUtime=1122.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 176714 0 0 0 112142 73 0 0 25 0 4 0 651550615 843714560 114790 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=823940 CPUtime=1122.33 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 190657 0 0 0 112151 82 0 0 25 0 4 0 651550615 843714560 114790 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.63
Current children cumulated vsize (KiB) 823940

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 7.97 9/302 1880
/proc/meminfo: memFree=11024416/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=893040 CPUtime=4717.04 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 779640 0 0 0 471377 327 0 0 25 0 4 0 651550614 914472960 124185 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 223260 124185 392 112 0 218225 0
[pid=1832/tid=1833] ppid=1830 vsize=893040 CPUtime=1170.21 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 211176 0 0 0 116922 99 0 0 25 0 4 0 651550615 914472960 124185 33554432000 4194304 4650419 140735756268032 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=893040 CPUtime=1182.15 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 185872 0 0 0 118135 80 0 0 25 0 4 0 651550615 914472960 124185 33554432000 4194304 4650419 140735756268032 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=893040 CPUtime=1182.33 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 190789 0 0 0 118151 82 0 0 25 0 4 0 651550615 914472960 124185 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.04
Current children cumulated vsize (KiB) 893040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.12 8.12 7.97 5/297 1882
/proc/meminfo: memFree=12634092/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=893268 CPUtime=4800.05 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 782540 0 0 0 479677 328 0 0 25 0 4 0 651550614 914706432 122989 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 223317 122989 392 112 0 218282 0
[pid=1832/tid=1833] ppid=1830 vsize=893268 CPUtime=1190.8 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 211495 0 0 0 118981 99 0 0 25 0 4 0 651550615 914706432 122990 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=893268 CPUtime=1202.97 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 186294 0 0 0 120216 81 0 0 25 0 4 0 651550615 914706432 122990 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=893268 CPUtime=1203.14 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 190789 0 0 0 120232 82 0 0 25 0 4 0 651550615 914706432 122990 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 893268

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

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

[startup+1203.1 s]
/proc/loadavg: 8.12 8.12 7.97 5/297 1882
/proc/meminfo: memFree=12634092/32950928 swapFree=67083212/67111528
[pid=1832] ppid=1830 vsize=893268 CPUtime=4800.05 cores=1,3,5,7
/proc/1832/stat : 1832 (strangenight1-m) R 1830 1832 1603 0 -1 4202496 782540 0 0 0 479677 328 0 0 25 0 4 0 651550614 914706432 122989 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1832/statm: 223317 122989 392 112 0 218282 0
[pid=1832/tid=1833] ppid=1830 vsize=893268 CPUtime=1190.8 cores=1,3,5,7
/proc/1832/task/1833/stat : 1833 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 211495 0 0 0 118981 99 0 0 25 0 4 0 651550615 914706432 122990 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=893268 CPUtime=1202.97 cores=1,3,5,7
/proc/1832/task/1834/stat : 1834 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 186294 0 0 0 120216 81 0 0 25 0 4 0 651550615 914706432 122990 33554432000 4194304 4650419 140735756268032 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=893268 CPUtime=1203.14 cores=1,3,5,7
/proc/1832/task/1835/stat : 1835 (strangenight1-m) R 1830 1832 1603 0 -1 4202560 190789 0 0 0 120232 82 0 0 25 0 4 0 651550615 914706432 122990 33554432000 4194304 4650419 140735756268032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 893268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.13
CPU user time (s): 4796.82
CPU system time (s): 3.3095
CPU usage (%): 398.966
Max. virtual memory (cumulated for all children) (KiB): 893268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.82
system time used= 3.3095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782541
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= 1354
involuntary context switches= 33771

runsolver used 3.24151 second user time and 8.40272 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 20:58:29
IDJOB=3368643
IDBENCH=82652
IDSOLVER=1846
FILE ID=node127/3368643-1305399509
RUNJOBID= node127-1305397099-1622
PBS_JOBID= 13324449
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368643-1305399509/watcher-3368643-1305399509 -o /tmp/evaluation-result-3368643-1305399509/solver-3368643-1305399509 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368643-1305399509.cnf

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

MD5SUM BENCH= 1a4e1674582e40801444509cae2068da
RANDOM SEED=1702579211

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:      13058444 kB
Buffers:        287504 kB
Cached:        3362944 kB
SwapCached:       1620 kB
Active:       16888492 kB
Inactive:      2668440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13058444 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:           15188 kB
Writeback:          32 kB
AnonPages:    15904548 kB
Mapped:          26524 kB
Slab:           226376 kB
PageTables:      46700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44460148 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= 73472 MiB
End job on node127 at 2011-05-14 21:18:35