Trace number 3175034

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.42 1201.74

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.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-3175034-1304078876.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
1.17/0.31	c -- clauses added:            0 learnts,        12750 normals,            0 xors
1.17/0.31	c -- vars added        150
1.17/0.31	c Parsing time:  0.03 s
1.17/0.31	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.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      88 undec:       1 neg:      61
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
3.17/0.80	c  N dy     8      5913       150     12750         0      3261     89250    119250     38.04     40.28  --
3.17/0.89	c  N dy    29     10336       150     12750         0      7509     89250    309919     39.06     41.17  --
3.98/1.10	c  N dy    37     14530       150     12750         0      7473     89250    271453     38.92     40.98  --
5.16/1.32	c  N dy    52     19195       150     12750         0      6536     89250    193290     39.07     41.26  --
6.37/1.64	c  F st    59     25000       150     12750         0     12089     89250    439640     38.73     39.20  --
6.37/1.64	c  N st    59     25000       150     12750         0     12089     89250    439640     38.73     39.20  --
7.56/1.92	c  N dy    65     30005       150     12750         0     10375     89250    336011     38.73   no data  --
7.56/1.92	c  S st    65     30005       150     12750         0     10375     89250    336011     38.73   no data  --
7.56/1.96	c  S st    65     30506       150     12750         0     10865     89250    357897     38.73   no data  --
7.56/1.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.56/1.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.56/1.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.56/1.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/1.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.56/1.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.75/4.25	c lits-rem:      1784  cl-subs:      469  v-elim:      0  v-fix:    0  time:  9.04 s
18.74/4.70	c asymm  cl-useful: 0/10909/12750 lits-rem:0 time: 1.78
18.74/4.70	c calculated reachability. Time: 0.00
18.74/4.70	c  N dy    65     30506       150     12750         0     10396     89250    329359     38.73   no data  --
19.55/4.96	c  N dy    77     34618       150     12750         0     14340     89250    505195     38.73     40.99  --
20.75/5.24	c  N dy    87     39273       150     12750         0     11243     89250    338242     38.72     41.14  --
21.96/5.53	c  N dy   101     43634       150     12750         0     15433     89250    524932     38.77     40.89  --
22.74/5.70	c  S st   113     45759       150     12750         0      8869     89250    198342     38.81     36.36  --
22.74/5.74	c  S st   113     46261       150     12750         0      9357     89250    220729     38.81   no data  --
22.74/5.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.74/5.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.74/5.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.74/5.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.74/5.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.74/5.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.74/5.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.36	c lits-rem:       306  cl-subs:       70  v-elim:      0  v-fix:    0  time:  6.42 s
29.14/7.36	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.14/7.36	c vivif2 --  cl tried     9287 cl shrink        0 lits rem          0 time: 0.01
29.54/7.44	c asymm  cl-useful: 0/1841/12750 lits-rem:0 time: 0.31
29.54/7.44	c calculated reachability. Time: 0.00
29.54/7.44	c  N dy   113     46261       150     12750         0      9287     89250    216277     38.81   no data  --
30.76/7.79	c  N dy   127     51431       150     12750         0     14244     89250    439806     38.82     40.94  --
32.33/8.13	c  N dy   137     56363       150     12750         0     18970     89250    651488     38.80     41.11  --
33.93/8.55	c  N dy   149     62792       150     12750         0     15563     89250    468070     38.75     40.79  --
35.15/8.90	c  N dy   170     67199       150     12750         0     19799     89250    657619     38.82     40.91  --
35.92/9.08	c  S st   178     69391       150     12750         0     11351     89250    245966     38.81     33.99  --
36.32/9.12	c  S st   178     69894       150     12750         0     11846     89250    267221     38.81   no data  --
36.32/9.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.32/9.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.32/9.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.32/9.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.53/10.96	c lits-rem:       488  cl-subs:      104  v-elim:      0  v-fix:    0  time:  7.26 s
43.53/10.96	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.53/10.96	c vivif2 --  cl tried    11742 cl shrink        0 lits rem          0 time: 0.01
45.52/11.42	c asymm  cl-useful: 0/10217/12750 lits-rem:0 time: 1.83
45.52/11.42	c calculated reachability. Time: 0.00
45.52/11.42	c  N dy   178     69894       150     12750         0     11742     89250    261334     38.81   no data  --
51.11/12.81	c  F st   187     87501       150     12750         0     17000     89250    472849     38.29     38.08  --
51.11/12.82	c  N st   187     87501       150     12750         0     17000     89250    472849     38.29     38.08  --
53.10/13.35	c  N dy   194     94043       150     12750         0     23242     89250    754946     38.27     40.36  --
55.10/13.89	c  N dy   234    100315       150     12750         0     16873     89250    434455     38.40     40.63  --
56.72/14.25	c  S st   242    104842       150     12750         0     21217     89250    628502     38.37     34.99  --
57.12/14.32	c  S st   242    105343       150     12750         0     21703     89250    649965     38.37   no data  --
57.12/14.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.12/14.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.12/14.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
57.12/14.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.12/14.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.12/14.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.12/14.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.87/18.01	c lits-rem:      1414  cl-subs:      887  v-elim:      0  v-fix:    0  time: 14.58 s
71.87/18.01	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
71.87/18.02	c vivif2 --  cl tried    20816 cl shrink        0 lits rem          0 time: 0.03
72.68/18.22	c asymm  cl-useful: 0/2533/12750 lits-rem:0 time: 0.83
72.68/18.23	c calculated reachability. Time: 0.00
72.68/18.23	c  N dy   242    105343       150     12750         0     20816     89250    600825     38.37   no data  --
75.47/18.90	c  N dy   271    112151       150     12750         0     13980     89250    273372     38.43     40.64  --
77.47/19.45	c  N dy   292    119366       150     12750         0     20919     89250    581953     38.43     40.49  --
80.26/20.14	c  N dy   315    126982       150     12750         0     28235     89250    908216     38.43     40.86  --
82.66/20.80	c  N dy   359    135085       150     12750         0     21631     89250    580231     38.50     40.94  --
87.06/21.83	c  N dy   387    146749       150     12750         0     17485     89250    363322     38.51     40.56  --
90.25/22.64	c  N dy   406    156743       150     12750         0     27051     89250    789500     38.47     40.69  --
90.65/22.77	c  S st   410    158015       150     12750         0     28268     89250    842814     38.46     38.17  --
91.05/22.85	c  S st   410    158515       150     12750         0     28756     89250    863958     38.46   no data  --
91.05/22.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.05/22.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.05/22.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
91.05/22.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.05/22.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.05/22.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
91.05/22.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.45/27.46	c lits-rem:      2306  cl-subs:     1563  v-elim:      0  v-fix:    0  time: 18.23 s
109.45/27.46	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
109.45/27.47	c vivif2 --  cl tried    27193 cl shrink        0 lits rem          0 time: 0.03
110.62/27.73	c asymm  cl-useful: 0/3256/12750 lits-rem:0 time: 1.05
110.62/27.73	c calculated reachability. Time: 0.00
110.62/27.73	c  N dy   410    158515       150     12750         0     27193     89250    780666     38.46   no data  --
114.61/28.77	c  N dy   460    169187       150     12750         0     21170     89250    492384     38.52     40.74  --
119.41/29.99	c  N dy   499    181750       150     12750         0     33245     89250   1033051     38.55     41.16  --
124.21/31.18	c  N dy   545    193466       150     12750         0     27187     89250    729829     38.59     40.72  --
129.79/32.54	c  N dy   572    206359       150     12750         0     21295     89250    434998     38.56     40.73  --
135.80/34.06	c  N dy   629    220119       150     12750         0     34480     89250   1023351     38.61     40.68  --
141.79/35.54	c  N dy   654    234172       150     12750         0     28790     89250    737537     38.58     40.74  --
143.38/35.98	c  S st   671    237774       150     12750         0     32251     89250    891539     38.59     36.28  --
143.78/36.07	c  S st   671    238277       150     12750         0     32741     89250    912976     38.59   no data  --
143.78/36.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
143.78/36.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.78/36.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
144.18/36.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.18/36.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.18/36.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
144.18/36.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.95/40.35	c lits-rem:       918  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 16.89 s
160.95/40.35	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
160.95/40.36	c vivif2 --  cl tried    31241 cl shrink        0 lits rem          0 time: 0.04
161.75/40.60	c asymm  cl-useful: 0/2489/12750 lits-rem:0 time: 0.95
161.75/40.60	c calculated reachability. Time: 0.00
161.75/40.60	c  N dy   671    238277       150     12750         0     31241     89250    833159     38.59   no data  --
168.14/42.17	c  N dy   724    253542       150     12750         0     25801     89250    574554     38.62     40.82  --
175.35/43.98	c  N dy   785    269782       150     12750         0     41358     89250   1269641     38.66     40.84  --
182.53/45.76	c  N dy   856    287024       150     12750         0     36849     89250   1037782     38.70     40.92  --
190.52/47.75	c  N dy   905    305433       150     12750         0     32384     89250    796180     38.69     42.48  --
190.92/47.85	c  F st   907    306250       150     12750         0     33175     89250    830032     38.68     35.45  --
200.10/50.11	c  N dy   964    325250       150     12750         0     28391     89250    589811     38.71     40.94  --
209.69/52.52	c  N dy  1027    345272       150     12750         0     47569     89250   1447459     38.72     41.05  --
214.90/53.83	c  S st  1073    357418       150     12750         0     35320     89250    867085     38.73     36.63  --
215.30/53.91	c  S st  1073    357923       150     12750         0     35811     89250    888688     38.73   no data  --
215.30/53.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
215.30/53.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.30/53.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
215.30/53.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
215.30/53.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
215.30/53.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
215.30/53.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.04/61.14	c lits-rem:      1389  cl-subs:     1115  v-elim:      0  v-fix:    0  time: 28.67 s
244.04/61.14	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
244.04/61.15	c vivif2 --  cl tried    34696 cl shrink        0 lits rem          0 time: 0.04
245.66/61.52	c asymm  cl-useful: 0/2211/12750 lits-rem:0 time: 1.47
245.66/61.52	c calculated reachability. Time: 0.00
245.66/61.52	c  N dy  1073    357923       150     12750         0     34696     89250    825659     38.73   no data  --
256.82/64.39	c  N dy  1131    378064       150     12750         0     29067     89250    548849     38.74     40.78  --
268.41/67.20	c  N dy  1179    398585       150     12750         0     48700     89250   1420817     38.71     40.95  --
278.80/69.80	c  N dy  1231    418628       150     12750         0     42082     89250   1099584     38.70     41.47  --
289.18/72.48	c  N dy  1303    438632       150     12750         0     34412     89250    718963     38.70     43.11  --
301.17/75.40	c  N dy  1367    460323       150     12750         0     55216     89250   1649495     38.72     40.79  --
310.76/77.89	c  N dy  1451    480338       150     12750         0     46591     89250   1239042     38.75     45.59  --
322.33/80.72	c  N dy  1525    500416       150     12750         0     37089     89250    782751     38.77     40.82  --
334.32/83.70	c  N dy  1588    521870       150     12750         0     57638     89250   1706496     38.78     40.84  --
341.91/85.66	c  S st  1638    536884       150     12750         0     42335     89250    979854     38.78     38.56  --
342.32/85.77	c  S st  1638    537387       150     12750         0     42822     89250   1001981     38.78   no data  --
342.32/85.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
342.32/85.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
342.32/85.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
342.73/85.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
342.73/85.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
342.73/85.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
342.73/85.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
363.48/91.04	c lits-rem:      1037  cl-subs:     1389  v-elim:      0  v-fix:    0  time: 20.82 s
363.48/91.04	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
363.48/91.05	c vivif2 --  cl tried    41433 cl shrink        0 lits rem          0 time: 0.04
364.70/91.31	c asymm  cl-useful: 0/1842/12750 lits-rem:0 time: 1.03
364.70/91.31	c calculated reachability. Time: 0.00
364.70/91.31	c  N dy  1638    537387       150     12750         0     41433     89250    926299     38.78   no data  --
377.49/94.51	c  N dy  1698    558396       150     12750         0     30917     89250    436236     38.79     41.63  --
388.25/97.27	c  N dy  1776    579481       150     12750         0     51122     89250   1345058     38.81     41.14  --
436.98/109.42	c  N dy  1791    654526       150     12750         0     58469     89250   1628109     38.46     40.52  --
449.36/112.51	c  N dy  1850    674968       150     12750         0     44771     89250    973390     38.47     40.53  --
462.94/115.99	c  N dy  1909    697204       150     12750         0     66024     89250   1920033     38.47     40.55  --
475.72/119.13	c  N dy  1956    717359       150     12750         0     50972     89250   1211468     38.46     40.49  --
492.51/123.39	c  N dy  2036    737442       150     12750         0     70240     89250   2070960     38.48     40.62  --
505.68/126.60	c  N dy  2098    757467       150     12750         0     54032     89250   1308762     38.49     41.60  --
520.87/130.41	c  N dy  2167    777542       150     12750         0     36843     89250    507413     38.49     41.93  --
532.85/133.40	c  N dy  2228    798339       150     12750         0     56800     89250   1392401     38.49     40.52  --
538.45/134.83	c  S st  2262    806080       150     12750         0     64216     89250   1722385     38.50     38.95  --
539.25/135.00	c  S st  2262    806583       150     12750         0     64706     89250   1744229     38.50   no data  --
539.25/135.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
539.25/135.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
539.25/135.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
539.25/135.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
539.25/135.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
539.25/135.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
539.25/135.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
619.16/155.09	c lits-rem:      3295  cl-subs:     3052  v-elim:      0  v-fix:    0  time: 79.82 s
619.16/155.09	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
619.56/155.11	c vivif2 --  cl tried    61654 cl shrink        0 lits rem          0 time: 0.07
620.73/155.44	c asymm  cl-useful: 0/1315/12750 lits-rem:0 time: 1.32
620.73/155.44	c calculated reachability. Time: 0.00
620.73/155.44	c  N dy  2262    806583       150     12750         0     61654     89250   1578460     38.50   no data  --
635.52/159.13	c  N dy  2326    826617       150     12750         0     43530     89250    769740     38.51     40.56  --
649.10/162.57	c  N dy  2355    849409       150     12750         0     65275     89250   1736722     38.48     40.64  --
665.08/166.52	c  N dy  2444    870049       150     12750         0     46823     89250    887841     38.50     40.53  --
679.46/170.11	c  N dy  2525    890441       150     12750         0     66365     89250   1758678     38.51     40.77  --
699.43/175.15	c  N dy  2618    918039       150     12750         0     53504     89250   1148342     38.51     40.54  --
715.83/179.25	c  N dy  2694    939582       150     12750         0     74118     89250   2068129     38.52     40.55  --
731.39/183.13	c  N dy  2755    961500       150     12750         0     54928     89250   1181239     38.51     40.59  --
746.99/187.07	c  N dy  2819    983041       150     12750         0     75574     89250   2101627     38.51     40.66  --
762.54/190.91	c  N dy  2911   1003438       150     12750         0     53903     89250   1105814     38.53     40.62  --
778.52/194.93	c  N dy  2999   1023493       150     12750         0     73092     89250   1962311     38.54     40.60  --
794.51/199.00	c  N dy  3084   1043761       150     12750         0     50411     89250    916159     38.55     40.83  --
813.27/203.67	c  N dy  3162   1069113       150     12750         0     74705     89250   2001402     38.55     40.77  --
816.08/204.34	c  F st  3176   1071875       150     12750         0     77359     89250   2120209     38.55     36.49  --
832.04/208.34	c  N dy  3210   1090843       150     12750         0     52377     89250    963194     38.54     40.64  --
848.83/212.56	c  N dy  3267   1110989       150     12750         0     71667     89250   1821015     38.54     40.58  --
870.02/217.81	c  N dy  3345   1131145       150     12750         0     46927     89250    690915     38.55     40.78  --
886.38/221.92	c  N dy  3436   1153082       150     12750         0     67885     89250   1631221     38.57     40.72  --
910.35/227.97	c  N dy  3513   1173638       150     12750         0     87598     89250   2511650     38.58     40.64  --
929.12/232.60	c  N dy  3565   1193812       150     12750         0     61895     89250   1315061     38.57     40.79  --
945.90/236.80	c  S st  3620   1209874       150     12750         0     77315     89250   2003129     38.57     37.42  --
946.69/237.06	c  S st  3620   1210379       150     12750         0     77804     89250   2024343     38.57   no data  --
946.69/237.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
946.69/237.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
947.10/237.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
947.10/237.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
947.10/237.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
947.10/237.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
947.10/237.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1120.49/280.53	c lits-rem:      3173  cl-subs:     3535  v-elim:      0  v-fix:    0  time: 173.13 s
1120.49/280.53	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1120.49/280.56	c vivif2 --  cl tried    74269 cl shrink        0 lits rem          0 time: 0.10
1122.47/281.06	c asymm  cl-useful: 0/1132/12750 lits-rem:0 time: 2.00
1122.47/281.06	c calculated reachability. Time: 0.00
1122.47/281.06	c  N dy  3620   1210379       150     12750         0     74269     89250   1834147     38.57   no data  --
1147.62/287.35	c  N dy  3678   1231427       150     12750         0     48528     89250    694923     38.57     40.74  --
1167.60/292.38	c  N dy  3758   1251979       150     12750         0     68228     89250   1578360     38.58     40.64  --
1193.17/298.71	c  N dy  3822   1272590       150     12750         0     87984     89250   2459072     38.59     40.72  --
1214.34/304.06	c  N dy  3886   1293035       150     12750         0     60650     89250   1199680     38.59     40.82  --
1236.71/309.66	c  N dy  3948   1313321       150     12750         0     80083     89250   2068419     38.59     40.70  --
1262.67/316.11	c  N dy  4012   1333884       150     12750         0     51899     89250    777452     38.59     40.97  --
1282.66/321.11	c  N dy  4075   1354102       150     12750         0     71201     89250   1641713     38.60     40.72  --
1311.81/328.48	c  N dy  4145   1377552       150     12750         0     93645     89250   2649661     38.60     40.68  --
1332.97/333.72	c  N dy  4205   1397694       150     12750         0     64121     89250   1291740     38.60     41.08  --
1356.55/339.66	c  N dy  4284   1417758       150     12750         0     83333     89250   2149598     38.61     40.88  --
1385.31/346.85	c  N dy  4359   1439555       150     12750         0     54452     89250    826353     38.61     40.71  --
1408.48/352.62	c  N dy  4397   1463137       150     12750         0     77040     89250   1833862     38.60     40.67  --
1437.24/359.80	c  N dy  4467   1484065       150     12750         0     97086     89250   2728925     38.60     40.88  --
1459.61/365.46	c  N dy  4532   1504305       150     12750         0     65801     89250   1297996     38.61     40.71  --
1484.38/371.64	c  N dy  4625   1524649       150     12750         0     85273     89250   2169612     38.62     40.72  --
1511.56/378.45	c  N dy  4684   1544691       150     12750         0     52731     89250    681694     38.62     41.55  --
1530.71/383.29	c  N dy  4748   1565015       150     12750         0     72260     89250   1555923     38.62     40.82  --
1557.08/389.88	c  N dy  4823   1585039       150     12750         0     91455     89250   2415783     38.62     40.79  --
1585.04/396.87	c  N dy  4884   1605240       150     12750         0     58056     89250    881143     38.63     40.95  --
1623.79/406.52	c  N dy  4890   1641489       150     12750         0     92615     89250   2437504     38.57     40.70  --
1652.55/413.77	c  N dy  4970   1661586       150     12750         0     58279     89250    862457     38.58     44.61  --
1672.53/418.78	c  N dy  5011   1682275       150     12750         0     78115     89250   1745487     38.57     40.62  --
1698.09/425.10	c  N dy  5098   1703616       150     12750         0     98607     89250   2663031     38.58     40.85  --
1708.08/427.61	c  S st  5135   1710379       150     12750         0    105076     89250   2951567     38.59   no data  --
1709.29/427.91	c  S st  5135   1710881       150     12750         0    105562     89250   2973101     38.59   no data  --
1709.29/427.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1709.29/427.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1709.29/427.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
1709.67/428.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1709.67/428.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1709.67/428.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1709.67/428.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2817.80/705.44	c lits-rem:      4414  cl-subs:     5471  v-elim:      0  v-fix:    0  time: 1107.20 s
2817.80/705.44	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2817.80/705.48	c vivif2 --  cl tried   100091 cl shrink        0 lits rem          0 time: 0.13
2819.00/705.73	c asymm  cl-useful: 0/505/12750 lits-rem:0 time: 1.02
2819.00/705.73	c calculated reachability. Time: 0.00
2819.00/705.73	c  N dy  5135   1710881       150     12750         0    100091     89250   2673779     38.59   no data  --
2840.56/711.12	c  N dy  5195   1731409       150     12750         0     65263     89250   1140841     38.59     40.85  --
2860.56/716.15	c  N dy  5255   1751505       150     12750         0     84477     89250   1996777     38.59     42.02  --
2887.30/722.87	c  N dy  5324   1771798       150     12750         0    103907     89250   2866539     38.59     40.64  --
2914.07/729.52	c  N dy  5387   1792577       150     12750         0     68300     89250   1236940     38.59     40.66  --
2936.44/735.16	c  N dy  5444   1812841       150     12750         0     87711     89250   2103563     38.59     40.63  --
2963.20/741.87	c  N dy  5503   1833169       150     12750         0    107195     89250   2976171     38.59     40.74  --
2984.77/747.28	c  N dy  5574   1853261       150     12750         0     69991     89250   1282602     38.60     40.66  --
3007.15/752.82	c  N dy  5650   1873639       150     12750         0     89505     89250   2155779     38.60     40.64  --
3033.51/759.43	c  N dy  5733   1893723       150     12750         0    108665     89250   3013921     38.61     42.15  --
3054.28/764.68	c  N dy  5784   1913967       150     12750         0     70657     89250   1279938     38.61     40.65  --
3077.05/770.33	c  N dy  5868   1934556       150     12750         0     90406     89250   2164776     38.62     40.74  --
3103.82/777.01	c  N dy  5945   1954640       150     12750         0    109658     89250   3028484     38.63     40.91  --
3127.78/783.02	c  N dy  6031   1974687       150     12750         0     70494     89250   1235639     38.63     41.08  --
3147.35/787.90	c  N dy  6067   1994981       150     12750         0     89905     89250   2103765     38.63     40.79  --
3174.12/794.63	c  N dy  6112   2017043       150     12750         0    111022     89250   3048741     38.62     40.85  --
3198.50/800.72	c  N dy  6183   2037339       150     12750         0     71072     89250   1221171     38.62     40.67  --
3220.48/806.26	c  N dy  6261   2057367       150     12750         0     90290     89250   2080377     38.63     40.88  --
3249.22/813.44	c  N dy  6350   2077706       150     12750         0    109813     89250   2954699     38.64     40.69  --
3275.98/820.16	c  N dy  6436   2097744       150     12750         0     68638     89250   1082835     38.64     41.30  --
3301.14/826.44	c  N dy  6497   2122086       150     12750         0     91970     89250   2122344     38.64     40.78  --
3334.72/834.84	c  N dy  6574   2149470       150     12750         0    118110     89250   3289234     38.64     41.01  --
3355.08/839.99	c  N dy  6638   2169736       150     12750         0     76217     89250   1388392     38.64     40.86  --
3376.64/845.36	c  N dy  6720   2190334       150     12750         0     96002     89250   2277494     38.65     40.92  --
3402.21/851.73	c  N dy  6786   2210882       150     12750         0    115736     89250   3163385     38.65     37.73  --
3402.21/851.73	c  S st  6786   2210882       150     12750         0    115736     89250   3163385     38.65     37.73  --
3403.41/852.05	c  S st  6786   2211383       150     12750         0    116227     89250   3185334     38.65   no data  --
3403.41/852.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3403.41/852.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3403.81/852.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3404.21/852.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3404.21/852.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3404.21/852.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3404.21/852.22	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.03 7.94 8.01 2/174 31887
/proc/meminfo: memFree=24402628/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 519485363 52465664 353 33554432000 4194304 4650419 140736819413728 18446744073709551615 47884650182578 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 12809 353 303 112 0 7774 0
[pid=31887/tid=31888] ppid=31885 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 519485363 52465664 353 33554432000 4194304 4650419 140736819413728 18446744073709551615 47884650182572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 519485363 52465664 353 33554432000 4194304 4650419 140736819413728 18446744073709551615 47884650182568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519485364 52465664 353 33554432000 4194304 4650419 140736819413728 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0254 s]
/proc/loadavg: 7.03 7.94 8.01 2/174 31887
/proc/meminfo: memFree=24402628/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=282800 CPUtime=0.07 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 2061 0 0 0 7 0 0 0 18 0 4 0 519485363 289587200 1960 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 70700 1960 366 112 0 65665 0
[pid=31887/tid=31888] ppid=31885 vsize=282800 CPUtime=0.01 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 414 0 0 0 1 0 0 0 18 0 4 0 519485363 289587200 1960 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=282800 CPUtime=0.02 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 401 0 0 0 2 0 0 0 18 0 4 0 519485363 289587200 1960 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=282800 CPUtime=0.01 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 414 0 0 0 1 0 0 0 25 0 4 0 519485364 289587200 1960 33554432000 4194304 4650419 140736819413728 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 282800

[startup+0.100414 s]
/proc/loadavg: 7.03 7.94 8.01 2/174 31887
/proc/meminfo: memFree=24402628/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=282800 CPUtime=0.37 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 2195 0 0 0 37 0 0 0 18 0 4 0 519485363 289587200 2094 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 70700 2094 366 112 0 65665 0
[pid=31887/tid=31888] ppid=31885 vsize=282800 CPUtime=0.09 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 420 0 0 0 9 0 0 0 18 0 4 0 519485363 289587200 2094 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=282800 CPUtime=0.09 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 407 0 0 0 9 0 0 0 18 0 4 0 519485363 289587200 2094 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=282800 CPUtime=0.09 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 530 0 0 0 9 0 0 0 25 0 4 0 519485364 289587200 2094 33554432000 4194304 4650419 140736819413728 18446744073709551615 4331957 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282800

[startup+0.300349 s]
/proc/loadavg: 7.03 7.94 8.01 2/174 31887
/proc/meminfo: memFree=24402628/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=284072 CPUtime=1.17 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 2839 0 0 0 117 0 0 0 18 0 4 0 519485363 290889728 2356 33554432000 4194304 4650419 140736819413728 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 71018 2356 370 112 0 65983 0
[pid=31887/tid=31888] ppid=31885 vsize=284072 CPUtime=0.29 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 452 0 0 0 29 0 0 0 18 0 4 0 519485363 290889728 2356 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370686 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=284072 CPUtime=0.29 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 438 0 0 0 29 0 0 0 18 0 4 0 519485363 290889728 2356 33554432000 4194304 4650419 140736819413728 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=284072 CPUtime=0.28 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 1081 0 0 0 28 0 0 0 25 0 4 0 519485364 290889728 2356 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284072

[startup+0.70028 s]
/proc/loadavg: 7.03 7.94 8.01 2/174 31887
/proc/meminfo: memFree=24402628/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=290820 CPUtime=2.77 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 8154 0 0 0 276 1 0 0 18 0 4 0 519485363 297799680 5579 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 72705 5579 390 112 0 67670 0
[pid=31887/tid=31888] ppid=31885 vsize=290820 CPUtime=0.69 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 1949 0 0 0 69 0 0 0 18 0 4 0 519485363 297799680 5579 33554432000 4194304 4650419 140736819413728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=290820 CPUtime=0.69 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 1959 0 0 0 69 0 0 0 18 0 4 0 519485363 297799680 5579 33554432000 4194304 4650419 140736819413728 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=290820 CPUtime=0.68 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 1873 0 0 0 68 0 0 0 25 0 4 0 519485364 297799680 5579 33554432000 4194304 4650419 140736819413728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 290820

[startup+1.50113 s]
/proc/loadavg: 7.03 7.94 8.01 9/184 31900
/proc/meminfo: memFree=24237520/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=292468 CPUtime=5.97 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 13515 0 0 0 594 3 0 0 20 0 4 0 519485363 299487232 6536 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 73117 6536 391 112 0 68082 0
[pid=31887/tid=31888] ppid=31885 vsize=292468 CPUtime=1.48 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 3310 0 0 0 148 0 0 0 19 0 4 0 519485363 299487232 6536 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=292468 CPUtime=1.48 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 3239 0 0 0 148 0 0 0 20 0 4 0 519485363 299487232 6536 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=292468 CPUtime=1.47 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 3241 0 0 0 147 0 0 0 25 0 4 0 519485364 299487232 6536 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 292468

[startup+3.10085 s]
/proc/loadavg: 7.03 7.94 8.01 9/184 31900
/proc/meminfo: memFree=24211108/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=307032 CPUtime=12.36 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 29502 0 0 0 1231 5 0 0 25 0 4 0 519485363 314400768 17561 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 76758 17561 392 112 0 71723 0
[pid=31887/tid=31888] ppid=31885 vsize=307032 CPUtime=3.09 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 6421 0 0 0 308 1 0 0 23 0 4 0 519485363 314400768 17561 33554432000 4194304 4650419 140736819413728 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=307032 CPUtime=3.09 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 8174 0 0 0 308 1 0 0 25 0 4 0 519485363 314400768 17561 33554432000 4194304 4650419 140736819413728 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=307032 CPUtime=3.07 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 8109 0 0 0 306 1 0 0 25 0 4 0 519485364 314400768 17561 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 307032

[startup+6.30026 s]
/proc/loadavg: 7.10 7.94 8.01 9/184 31900
/proc/meminfo: memFree=24136840/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=299416 CPUtime=25.14 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 35139 0 0 0 2508 6 0 0 25 0 4 0 519485363 306601984 18764 33554432000 4194304 4650419 140736819413728 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 74854 18764 392 112 0 69819 0
[pid=31887/tid=31888] ppid=31885 vsize=299416 CPUtime=6.28 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 7727 0 0 0 627 1 0 0 25 0 4 0 519485363 306601984 18764 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=299416 CPUtime=6.29 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 9207 0 0 0 628 1 0 0 25 0 4 0 519485363 306601984 18764 33554432000 4194304 4650419 140736819413728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=299416 CPUtime=6.25 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 9869 0 0 0 624 1 0 0 25 0 4 0 519485364 306601984 18764 33554432000 4194304 4650419 140736819413728 18446744073709551615 4315156 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 299416

[startup+12.7011 s]
/proc/loadavg: 7.18 7.94 8.01 9/184 31900
/proc/meminfo: memFree=24092964/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=295332 CPUtime=50.71 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 53580 0 0 0 5060 11 0 0 25 0 4 0 519485363 302419968 27523 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 73833 27523 392 112 0 68798 0
[pid=31887/tid=31888] ppid=31885 vsize=295332 CPUtime=12.68 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 13353 0 0 0 1266 2 0 0 25 0 4 0 519485363 302419968 27523 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=295332 CPUtime=12.69 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 13475 0 0 0 1266 3 0 0 25 0 4 0 519485363 302419968 27523 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=295332 CPUtime=12.61 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 15971 0 0 0 1259 2 0 0 25 0 4 0 519485364 302419968 27523 33554432000 4194304 4650419 140736819413728 18446744073709551615 4439335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295332

[startup+25.5008 s]
/proc/loadavg: 7.44 7.96 8.02 9/184 31900
/proc/meminfo: memFree=23751300/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=303164 CPUtime=101.83 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 83218 0 0 0 10164 19 0 0 25 0 4 0 519485363 310439936 35977 33554432000 4194304 4650419 140736819413728 18446744073709551615 4439648 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 75791 35977 392 112 0 70756 0
[pid=31887/tid=31888] ppid=31885 vsize=303164 CPUtime=25.49 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 20294 0 0 0 2545 4 0 0 25 0 4 0 519485363 310439936 35977 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=303164 CPUtime=25.48 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 22279 0 0 0 2543 5 0 0 25 0 4 0 519485363 310439936 35977 33554432000 4194304 4650419 140736819413728 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=303164 CPUtime=25.35 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 23769 0 0 0 2530 5 0 0 25 0 4 0 519485364 310439936 35977 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 303164

[startup+51.1011 s]
/proc/loadavg: 7.63 7.96 8.02 9/184 31901
/proc/meminfo: memFree=23660856/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=304868 CPUtime=204.1 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 124966 0 0 0 20379 31 0 0 25 0 4 0 519485363 312184832 42774 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 76217 42774 392 112 0 71182 0
[pid=31887/tid=31888] ppid=31885 vsize=304868 CPUtime=51.08 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 29750 0 0 0 5102 6 0 0 25 0 4 0 519485363 312184832 42774 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=304868 CPUtime=51.08 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 32335 0 0 0 5099 9 0 0 25 0 4 0 519485363 312184832 42774 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=304868 CPUtime=50.81 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 36205 0 0 0 5072 9 0 0 25 0 4 0 519485364 312184832 42774 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 304868

[startup+102.307 s]
/proc/loadavg: 7.87 7.98 8.02 9/184 31902
/proc/meminfo: memFree=23484008/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=453560 CPUtime=408.64 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 188385 0 0 0 40813 51 0 0 25 0 4 0 519485363 464445440 59901 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 113390 59901 392 112 0 108355 0
[pid=31887/tid=31888] ppid=31885 vsize=453560 CPUtime=102.29 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 43666 0 0 0 10218 11 0 0 25 0 4 0 519485363 464445440 59901 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=453560 CPUtime=102.29 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 47941 0 0 0 10215 14 0 0 25 0 4 0 519485363 464445440 59901 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=453560 CPUtime=101.74 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 58995 0 0 0 10158 16 0 0 25 0 4 0 519485364 464445440 59901 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 453560

[startup+162.301 s]

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

[pid=31887] ppid=31885 vsize=647936 CPUtime=2805.41 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 599756 0 0 0 280333 208 0 0 25 0 4 0 519485363 663486464 102190 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 161984 102190 392 112 0 156949 0
[pid=31887/tid=31888] ppid=31885 vsize=647936 CPUtime=702.3 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 158893 0 0 0 70173 57 0 0 25 0 4 0 519485363 663486464 102190 33554432000 4194304 4650419 140736819413728 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=647936 CPUtime=702.29 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 113826 0 0 0 70189 40 0 0 25 0 4 0 519485363 663486464 102190 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=647936 CPUtime=698.47 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 188575 0 0 0 69778 69 0 0 25 0 4 0 519485364 663486464 102190 33554432000 4194304 4650419 140736819413728 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 647936

[startup+762.306 s]
/proc/loadavg: 8.06 8.07 8.04 9/184 31920
/proc/meminfo: memFree=22796000/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=663200 CPUtime=3045.11 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 629251 0 0 0 304288 223 0 0 25 0 4 0 519485363 679116800 107201 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 165800 107201 392 112 0 160765 0
[pid=31887/tid=31888] ppid=31885 vsize=663200 CPUtime=762.32 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 167151 0 0 0 76169 63 0 0 25 0 4 0 519485363 679116800 107201 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=663200 CPUtime=762.3 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 113826 0 0 0 76190 40 0 0 25 0 4 0 519485363 679116800 107201 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=663200 CPUtime=758.15 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 198146 0 0 0 75741 74 0 0 25 0 4 0 519485364 679116800 107201 33554432000 4194304 4650419 140736819413728 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 663200

[startup+822.3 s]
/proc/loadavg: 8.02 8.05 8.04 9/184 31921
/proc/meminfo: memFree=22740188/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=716520 CPUtime=3284.78 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 661622 0 0 0 328238 240 0 0 25 0 4 0 519485363 733716480 110876 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 179130 110876 392 112 0 174095 0
[pid=31887/tid=31888] ppid=31885 vsize=716520 CPUtime=822.31 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 177515 0 0 0 82163 68 0 0 25 0 4 0 519485363 733716480 110876 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=716520 CPUtime=822.3 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 113826 0 0 0 82190 40 0 0 25 0 4 0 519485363 733716480 110876 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=716520 CPUtime=817.82 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 209813 0 0 0 81702 80 0 0 25 0 4 0 519485364 733716480 110876 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 716520

[startup+882.301 s]
/proc/loadavg: 8.00 8.04 8.03 9/184 31923
/proc/meminfo: memFree=22689932/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=769760 CPUtime=3524.45 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 689929 0 0 0 352191 254 0 0 25 0 4 0 519485363 788234240 115492 33554432000 4194304 4650419 140736819413728 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 192440 115492 392 112 0 187405 0
[pid=31887/tid=31888] ppid=31885 vsize=769760 CPUtime=882.31 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 189193 0 0 0 88157 74 0 0 25 0 4 0 519485363 788234240 115492 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=769760 CPUtime=882.29 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 115890 0 0 0 88188 41 0 0 25 0 4 0 519485363 788234240 115492 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=769760 CPUtime=877.5 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 220008 0 0 0 87665 85 0 0 25 0 4 0 519485364 788234240 115492 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 769760

[startup+942.301 s]
/proc/loadavg: 8.00 8.03 8.02 9/184 31925
/proc/meminfo: memFree=22639572/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=823984 CPUtime=3764.13 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 702365 0 0 0 376152 261 0 0 25 0 4 0 519485363 843759616 116527 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 205996 116527 392 112 0 200961 0
[pid=31887/tid=31888] ppid=31885 vsize=823984 CPUtime=942.31 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 194239 0 0 0 94154 77 0 0 25 0 4 0 519485363 843759616 116527 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=823984 CPUtime=942.3 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 117842 0 0 0 94187 43 0 0 25 0 4 0 519485363 843759616 116527 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=823984 CPUtime=937.17 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 225446 0 0 0 93629 88 0 0 25 0 4 0 519485364 843759616 116527 33554432000 4194304 4650419 140736819413728 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 823984

[startup+1002.3 s]
/proc/loadavg: 8.00 8.02 8.02 9/184 31926
/proc/meminfo: memFree=22640668/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=825028 CPUtime=4003.81 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 723184 0 0 0 400107 274 0 0 25 0 4 0 519485363 844828672 117902 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 206257 117902 392 112 0 201222 0
[pid=31887/tid=31888] ppid=31885 vsize=825028 CPUtime=1002.31 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 203951 0 0 0 100148 83 0 0 25 0 4 0 519485363 844828672 117902 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=825028 CPUtime=1002.3 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 119384 0 0 0 100186 44 0 0 25 0 4 0 519485363 844828672 117902 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=825028 CPUtime=996.85 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 235011 0 0 0 99591 94 0 0 25 0 4 0 519485364 844828672 117902 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 825028

[startup+1062.3 s]
/proc/loadavg: 8.05 8.03 8.02 9/184 31928
/proc/meminfo: memFree=22625396/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=826192 CPUtime=4243.49 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 741289 0 0 0 424064 285 0 0 25 0 4 0 519485363 846020608 117769 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 206548 117769 392 112 0 201513 0
[pid=31887/tid=31888] ppid=31885 vsize=826192 CPUtime=1062.32 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 212956 0 0 0 106143 89 0 0 25 0 4 0 519485363 846020608 117769 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=826192 CPUtime=1062.31 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 119384 0 0 0 106187 44 0 0 25 0 4 0 519485363 846020608 117769 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=826192 CPUtime=1056.53 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 244111 0 0 0 105553 100 0 0 25 0 4 0 519485364 846020608 117769 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 826192

[startup+1122.3 s]
/proc/loadavg: 8.12 8.05 8.02 9/184 31929
/proc/meminfo: memFree=22696424/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=880428 CPUtime=4483.17 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 771428 0 0 0 448019 298 0 0 25 0 4 0 519485363 901558272 128288 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 220107 128288 392 112 0 215072 0
[pid=31887/tid=31888] ppid=31885 vsize=880428 CPUtime=1122.32 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 225293 0 0 0 112137 95 0 0 25 0 4 0 519485363 901558272 128288 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=880428 CPUtime=1122.31 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 120848 0 0 0 112186 45 0 0 25 0 4 0 519485363 901558272 128288 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=880428 CPUtime=1116.19 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 260449 0 0 0 111513 106 0 0 25 0 4 0 519485364 901558272 128288 33554432000 4194304 4650419 140736819413728 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 880428

[startup+1182.3 s]
/proc/loadavg: 8.09 8.06 8.02 9/184 31931
/proc/meminfo: memFree=22489308/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=880792 CPUtime=4722.85 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 777164 0 0 0 471985 300 0 0 25 0 4 0 519485363 901931008 128513 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 220198 128513 392 112 0 215163 0
[pid=31887/tid=31888] ppid=31885 vsize=880792 CPUtime=1182.32 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 226752 0 0 0 118137 95 0 0 25 0 4 0 519485363 901931008 128513 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=880792 CPUtime=1182.31 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 123029 0 0 0 118185 46 0 0 25 0 4 0 519485363 901931008 128513 33554432000 4194304 4650419 140736819413728 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=880792 CPUtime=1175.88 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 262545 0 0 0 117481 107 0 0 25 0 4 0 519485364 901931008 128513 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 880792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.05 8.02 9/184 31932
/proc/meminfo: memFree=22432884/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=881020 CPUtime=4800.36 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 781864 0 0 0 479735 301 0 0 25 0 4 0 519485363 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 220255 127433 392 112 0 215220 0
[pid=31887/tid=31888] ppid=31885 vsize=881020 CPUtime=1201.72 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 229030 0 0 0 120077 95 0 0 25 0 4 0 519485363 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=881020 CPUtime=1201.71 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 123203 0 0 0 120125 46 0 0 25 0 4 0 519485363 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=881020 CPUtime=1195.17 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 264793 0 0 0 119409 108 0 0 25 0 4 0 519485364 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 881020

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.05 8.02 9/184 31932
/proc/meminfo: memFree=22432884/32951124 swapFree=67111524/67111528
[pid=31887] ppid=31885 vsize=881020 CPUtime=4800.36 cores=1,3,5,7
/proc/31887/stat : 31887 (strangenight1-m) R 31885 31887 31855 0 -1 4202496 781864 0 0 0 479735 301 0 0 25 0 4 0 519485363 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31887/statm: 220255 127433 392 112 0 215220 0
[pid=31887/tid=31888] ppid=31885 vsize=881020 CPUtime=1201.72 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 229030 0 0 0 120077 95 0 0 25 0 4 0 519485363 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31887/tid=31889] ppid=31885 vsize=881020 CPUtime=1201.71 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 123203 0 0 0 120125 46 0 0 25 0 4 0 519485363 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=881020 CPUtime=1195.17 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (strangenight1-m) R 31885 31887 31855 0 -1 4202560 264793 0 0 0 119409 108 0 0 25 0 4 0 519485364 902164480 127433 33554432000 4194304 4650419 140736819413728 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 881020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.42
CPU user time (s): 4797.37
CPU system time (s): 3.04154
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 881020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.37
system time used= 3.04154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 781865
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= 899
involuntary context switches= 33752

runsolver used 1.87371 second user time and 4.70129 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 14:07:56
IDJOB=3175034
IDBENCH=82652
IDSOLVER=1588
FILE ID=node139/3175034-1304078876
RUNJOBID= node139-1304078876-31874
PBS_JOBID= 13170525
Free space on /tmp= 72552 MiB

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

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

MD5SUM BENCH= 1a4e1674582e40801444509cae2068da
RANDOM SEED=1968055970

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24402908 kB
Buffers:       2038476 kB
Cached:        5922884 kB
SwapCached:          4 kB
Active:         912968 kB
Inactive:      7115168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24402908 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7544 kB
Writeback:           8 kB
AnonPages:       66852 kB
Mapped:          14500 kB
Slab:           453516 kB
PageTables:       5096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187708 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= 72540 MiB
End job on node139 at 2011-04-29 14:28:00