Trace number 3368685

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.27 1203.74

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf
MD5SUMcfa9ddae87a68697f7100e24d97d7728
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses21250
Sum of the clauses size148750
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 521250

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-3368685-1305400689.cnf'
0.00/0.00	c -- header says num vars:            250
0.00/0.00	c -- header says num clauses:       21250
0.00/0.01	c -- clauses added:            0 learnts,        21250 normals,            0 xors
0.00/0.01	c -- vars added        250
0.00/0.01	c Parsing time:  0.04 s
0.00/0.01	c  N st     0         0       250     21250         0         0    148750         0   no data   no data  --
1.17/0.38	c asymm  cl-useful: 0/14596/21250 lits-rem:0 time: 1.44
1.17/0.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
1.17/0.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
1.17/0.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.56/0.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.38 s
1.56/0.49	c Finding binary XORs  T:     0.00 s  found:       0
1.97/0.50	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.97/0.50	c calculated reachability. Time: 0.00
1.97/0.50	c Calc default polars -  time:   0.00 s pos:     131 undec:       6 neg:     113
1.97/0.50	c =========================================================================================
1.97/0.50	c types(t): F = full restart, N = normal restart
1.97/0.50	c types(t): S = simplification begin/end, E = solution found
1.97/0.50	c restart types(rt): st = static, dy = dynamic
1.97/0.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.97/0.50	c  B st     0         0       250     21250         0         0    148750         0   no data   no data  --
2.77/0.75	c  N dy    11      4243       250     21250         0      4136    148750    288228     61.61     65.25  --
3.96/1.01	c  N dy    17      8475       250     21250         0      5812    148750    335144     59.60     62.80  --
5.15/1.32	c  N dy    22     13001       250     21250         0      6102    148750    291642     58.64     61.76  --
6.35/1.62	c  N dy    35     17449       250     21250         0     10442    148750    581420     58.59     61.76  --
8.35/2.16	c  F st    47     25000       250     21250         0     12328    148750    643489     58.02     56.14  --
8.35/2.16	c  N st    47     25000       250     21250         0     12328    148750    643489     58.02     56.14  --
9.93/2.53	c  N dy    53     30001       250     21250         0     10558    148750    471573     58.02   no data  --
9.93/2.53	c  S st    53     30001       250     21250         0     10558    148750    471573     58.02   no data  --
9.93/2.58	c  S st    53     30503       250     21250         0     11054    148750    502055     58.02   no data  --
9.93/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
9.93/2.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.93/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
10.33/2.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.33/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.33/2.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
10.33/2.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.90/6.60	c lits-rem:      2572  cl-subs:      292  v-elim:      0  v-fix:    0  time: 15.90 s
27.09/6.85	c asymm  cl-useful: 0/5569/21250 lits-rem:0 time: 0.98
27.09/6.85	c calculated reachability. Time: 0.00
27.09/6.85	c  N dy    53     30503       250     21250         0     10762    148750    472144     58.02   no data  --
28.29/7.19	c  N dy    73     34555       250     21250         0     14700    148750    730495     58.07     61.71  --
29.88/7.53	c  N dy    85     38761       250     21250         0     11099    148750    445462     57.98     61.05  --
31.13/7.85	c  N dy    97     42809       250     21250         0     15071    148750    705896     57.87     61.22  --
32.27/8.11	c  S st   109     45754       250     21250         0      9207    148750    266463     57.85   no data  --
32.27/8.16	c  S st   109     46258       250     21250         0      9706    148750    297899     57.85   no data  --
32.27/8.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.27/8.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.27/8.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
32.27/8.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.27/8.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.27/8.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
32.27/8.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.04/11.31	c lits-rem:       467  cl-subs:       24  v-elim:      0  v-fix:    0  time: 12.43 s
45.04/11.31	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
45.04/11.31	c vivif2 --  cl tried     9682 cl shrink        0 lits rem          0 time: 0.01
45.04/11.36	c asymm  cl-useful: 0/1085/21250 lits-rem:0 time: 0.19
45.04/11.36	c calculated reachability. Time: 0.00
45.04/11.36	c  N dy   109     46258       250     21250         0      9682    148750    295108     57.85   no data  --
46.23/11.69	c  N dy   129     50280       250     21250         0     13614    148750    556078     57.99     61.17  --
48.25/12.20	c  N dy   137     56096       250     21250         0     19290    148750    929567     57.71     60.84  --
49.82/12.54	c  N dy   158     60244       250     21250         0     13595    148750    503745     57.81     60.96  --
51.42/12.91	c  N dy   180     64326       250     21250         0     17583    148750    766351     57.86     61.27  --
53.07/13.33	c  N dy   199     68478       250     21250         0     10906    148750    270703     57.88     60.95  --
53.41/13.40	c  S st   202     69387       250     21250         0     11793    148750    328622     57.88     55.72  --
53.41/13.46	c  S st   202     69893       250     21250         0     12294    148750    360858     57.88   no data  --
53.41/13.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.41/13.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.41/13.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.41/13.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.41/13.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.41/13.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
53.41/13.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.80/16.58	c lits-rem:       795  cl-subs:       63  v-elim:      0  v-fix:    0  time: 12.31 s
65.80/16.58	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
65.80/16.58	c vivif2 --  cl tried    12231 cl shrink        0 lits rem          0 time: 0.01
66.97/16.81	c asymm  cl-useful: 0/6406/21250 lits-rem:0 time: 0.90
66.97/16.81	c calculated reachability. Time: 0.00
66.97/16.81	c  N dy   202     69893       250     21250         0     12231    148750    354129     57.88   no data  --
68.57/17.23	c  N dy   230     74357       250     21250         0     16592    148750    642508     58.00     62.65  --
70.61/17.73	c  N dy   252     79383       250     21250         0     21504    148750    967552     58.05     61.31  --
72.55/18.20	c  N dy   268     84502       250     21250         0     14783    148750    473187     57.97     61.38  --
73.35/18.46	c  F st   277     87501       250     21250         0     17729    148750    667083     57.95   no data  --
74.57/18.77	c  N st   282     90800       250     21250         0     20931    148750    880956     57.95   no data  --
76.94/19.38	c  N dy   302     96631       250     21250         0     13914    148750    362298     58.00     61.60  --
79.38/19.96	c  N dy   320    102904       250     21250         0     20042    148750    767030     57.93     61.12  --
80.12/20.18	c  S st   328    104840       250     21250         0     21925    148750    890949     57.95     61.56  --
80.52/20.27	c  S st   328    105343       250     21250         0     22423    148750    921420     57.95   no data  --
80.52/20.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
80.52/20.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
80.52/20.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.08
80.93/20.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.93/20.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.93/20.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
80.93/20.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.47/24.72	c lits-rem:       883  cl-subs:      572  v-elim:      0  v-fix:    0  time: 17.51 s
98.47/24.72	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
98.47/24.73	c vivif2 --  cl tried    21851 cl shrink        0 lits rem          0 time: 0.04
99.67/25.05	c asymm  cl-useful: 0/4215/21250 lits-rem:0 time: 1.27
99.67/25.05	c calculated reachability. Time: 0.00
99.67/25.05	c  N dy   328    105343       250     21250         0     21851    148750    868432     57.95   no data  --
102.86/25.85	c  N dy   349    112401       250     21250         0     15086    148750    386712     57.93     61.44  --
105.71/26.52	c  N dy   375    119768       250     21250         0     22281    148750    860430     57.92     61.20  --
108.85/27.36	c  N dy   396    127415       250     21250         0     15105    148750    334616     57.86     61.05  --
112.03/28.16	c  N dy   425    135573       250     21250         0     23065    148750    860892     57.86     65.54  --
116.03/29.17	c  N dy   453    144288       250     21250         0     15960    148750    338032     57.81     61.09  --
119.61/30.01	c  N dy   482    153523       250     21250         0     24971    148750    934643     57.78     60.87  --
121.21/30.48	c  S st   494    158014       250     21250         0     29359    148750   1223564     57.76     57.53  --
121.61/30.56	c  S st   494    158516       250     21250         0     29857    148750   1254795     57.76   no data  --
121.61/30.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
121.61/30.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.61/30.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
122.01/30.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
122.01/30.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
122.01/30.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
122.01/30.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.50/39.04	c lits-rem:       482  cl-subs:      840  v-elim:      0  v-fix:    0  time: 33.50 s
155.50/39.04	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
155.50/39.06	c vivif2 --  cl tried    29017 cl shrink        0 lits rem          0 time: 0.05
156.71/39.35	c asymm  cl-useful: 0/3464/21250 lits-rem:0 time: 1.16
156.71/39.35	c calculated reachability. Time: 0.00
156.71/39.35	c  N dy   494    158516       250     21250         0     29017    148750   1178529     57.76   no data  --
161.09/40.42	c  N dy   519    168861       250     21250         0     22539    148750    719447     57.68     60.79  --
166.69/41.86	c  N dy   565    180280       250     21250         0     33698    148750   1456605     57.70     60.78  --
172.26/43.23	c  N dy   604    191818       250     21250         0     27375    148750    983401     57.70     60.78  --
178.64/44.81	c  N dy   654    204109       250     21250         0     20834    148750    499935     57.73     60.92  --
185.01/46.43	c  N dy   701    217136       250     21250         0     33542    148750   1344650     57.73     60.80  --
192.19/48.26	c  N dy   755    231023       250     21250         0     27582    148750    893605     57.76     60.97  --
195.79/49.16	c  S st   775    237779       250     21250         0     34184    148750   1326171     57.76     60.80  --
196.19/49.28	c  S st   775    238281       250     21250         0     34680    148750   1357651     57.76   no data  --
196.19/49.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
196.19/49.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
196.59/49.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
196.59/49.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
196.59/49.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.59/49.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
196.59/49.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.27/60.56	c lits-rem:      1437  cl-subs:      902  v-elim:      0  v-fix:    0  time: 44.65 s
241.27/60.56	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
241.27/60.57	c vivif2 --  cl tried    33778 cl shrink        0 lits rem          0 time: 0.05
242.44/60.88	c asymm  cl-useful: 0/3154/21250 lits-rem:0 time: 1.21
242.44/60.88	c calculated reachability. Time: 0.00
242.44/60.88	c  N dy   775    238281       250     21250         0     33778    148750   1273940     57.76   no data  --
250.04/62.72	c  N dy   847    253643       250     21250         0     28283    148750    888914     57.80     60.97  --
258.40/64.82	c  N dy   915    269971       250     21250         0     22758    148750    465450     57.83     61.10  --
266.38/66.82	c  N dy   975    287244       250     21250         0     39637    148750   1588426     57.84     61.13  --
275.55/69.15	c  N dy  1043    305673       250     21250         0     35191    148750   1233525     57.84     61.20  --
275.95/69.23	c  F st  1045    306252       250     21250         0     35759    148750   1271433     57.84     59.11  --
285.56/71.64	c  N dy  1096    325213       250     21250         0     30808    148750    890564     57.82     64.27  --
295.89/74.28	c  N dy  1156    345258       250     21250         0     25976    148750    516396     57.80     60.96  --
302.27/75.80	c  S st  1210    357423       250     21250         0     37844    148750   1299063     57.82   no data  --
302.27/75.91	c  S st  1210    357925       250     21250         0     38341    148750   1330543     57.82   no data  --
302.69/75.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
302.69/75.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
302.69/75.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
302.69/75.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
302.69/75.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
302.69/75.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
302.69/75.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
351.71/88.24	c lits-rem:       937  cl-subs:      739  v-elim:      0  v-fix:    0  time: 48.89 s
351.71/88.25	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
351.71/88.26	c vivif2 --  cl tried    37602 cl shrink        0 lits rem          0 time: 0.06
353.31/88.65	c asymm  cl-useful: 0/2851/21250 lits-rem:0 time: 1.54
353.31/88.65	c calculated reachability. Time: 0.00
353.31/88.65	c  N dy  1210    357925       250     21250         0     37602    148750   1261093     57.82   no data  --
366.88/92.09	c  N dy  1284    380615       250     21250         0     34366    148750   1021218     57.79     62.42  --
379.23/95.11	c  N dy  1338    400805       250     21250         0     27733    148750    526294     57.74     61.46  --
390.43/97.95	c  N dy  1416    421103       250     21250         0     47563    148750   1837567     57.74     61.32  --
402.77/101.03	c  N dy  1493    441815       250     21250         0     40403    148750   1308689     57.74     60.91  --
416.33/104.40	c  N dy  1577    464771       250     21250         0     34513    148750    868546     57.74     61.95  --
428.29/107.42	c  N dy  1638    485529       250     21250         0     54831    148750   2206137     57.71     60.77  --
439.46/110.26	c  N dy  1718    505651       250     21250         0     45149    148750   1516523     57.73     61.33  --
452.26/113.45	c  N dy  1790    526016       250     21250         0     34778    148750    772786     57.74     61.12  --
458.20/114.97	c  S st  1838    536888       250     21250         0     45416    148750   1477605     57.75     59.42  --
458.60/115.09	c  S st  1838    537394       250     21250         0     45915    148750   1508828     57.75   no data  --
459.00/115.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
459.00/115.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
459.00/115.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
459.00/115.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
459.00/115.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.00/115.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
459.00/115.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
532.78/133.69	c lits-rem:      1014  cl-subs:      829  v-elim:      0  v-fix:    0  time: 73.81 s
532.78/133.69	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
533.18/133.71	c vivif2 --  cl tried    45086 cl shrink        0 lits rem          0 time: 0.06
533.58/133.88	c asymm  cl-useful: 0/1160/21250 lits-rem:0 time: 0.70
533.58/133.89	c calculated reachability. Time: 0.00
533.58/133.89	c  N dy  1838    537394       250     21250         0     45086    148750   1431038     57.75   no data  --
548.78/137.64	c  N dy  1906    559336       250     21250         0     35259    148750    752167     57.74     61.23  --
560.70/140.66	c  N dy  1984    579368       250     21250         0     54853    148750   2046486     57.75     61.14  --
575.45/144.31	c  N dy  2072    599693       250     21250         0     42470    148750   1170285     57.77     61.15  --
589.82/147.91	c  N dy  2153    619828       250     21250         0     62113    148750   2467000     57.78     60.92  --
602.57/151.13	c  N dy  2231    639985       250     21250         0     48609    148750   1524502     57.79     60.95  --
616.93/154.79	c  N dy  2303    660020       250     21250         0     68187    148750   2819086     57.79     61.20  --
630.09/158.05	c  N dy  2392    680109       250     21250         0     53629    148750   1807092     57.82     61.51  --
645.64/161.94	c  N dy  2445    700187       250     21250         0     38058    148750    710883     57.80     60.97  --
659.20/165.39	c  N dy  2524    720714       250     21250         0     58109    148750   2031651     57.79     61.43  --
675.58/169.42	c  N dy  2582    741069       250     21250         0     41838    148750    909142     57.78     61.71  --
689.91/173.09	c  N dy  2669    761088       250     21250         0     61408    148750   2205928     57.79     61.08  --
706.71/177.23	c  N dy  2748    781132       250     21250         0     43847    148750    982489     57.80     60.85  --
721.82/181.05	c  N dy  2830    801370       250     21250         0     63581    148750   2283561     57.80     60.85  --
726.21/182.11	c  S st  2837    806092       250     21250         0     68175    148750   2585532     57.79     54.34  --
727.01/182.33	c  S st  2837    806594       250     21250         0     68668    148750   2616587     57.79   no data  --
727.01/182.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
727.01/182.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
727.01/182.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
727.41/182.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
727.41/182.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
727.41/182.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
727.41/182.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1719.64/431.28	c lits-rem:      3629  cl-subs:     1910  v-elim:      0  v-fix:    0  time: 991.51 s
1719.64/431.28	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
1720.06/431.31	c vivif2 --  cl tried    66758 cl shrink        0 lits rem          0 time: 0.11
1721.61/431.70	c asymm  cl-useful: 0/2509/21250 lits-rem:0 time: 1.54
1721.61/431.70	c calculated reachability. Time: 0.00
1721.61/431.70	c  N dy  2837    806594       250     21250         0     66758    148750   2441495     57.79   no data  --
1738.35/435.91	c  N dy  2909    828102       250     21250         0     49708    148750   1321623     57.78     60.83  --
1753.91/439.85	c  N dy  2972    848209       250     21250         0     69330    148750   2619798     57.77     61.17  --
1769.86/443.83	c  N dy  3039    868256       250     21250         0     49875    148750   1275824     57.76     61.57  --
1786.21/447.92	c  N dy  3114    888445       250     21250         0     69621    148750   2577045     57.76     60.93  --
1802.98/452.12	c  N dy  3188    908543       250     21250         0     49195    148750   1180144     57.76     64.61  --
1818.52/456.06	c  N dy  3251    928659       250     21250         0     68813    148750   2478825     57.77     60.98  --
1836.47/460.57	c  N dy  3331    948694       250     21250         0     47370    148750   1002535     57.77     63.13  --
1852.42/464.59	c  N dy  3430    968722       250     21250         0     66957    148750   2301803     57.79     61.96  --
1871.97/469.41	c  N dy  3512    988870       250     21250         0     44649    148750    763627     57.80     60.96  --
1887.12/473.20	c  N dy  3583   1009013       250     21250         0     64361    148750   2064443     57.80     60.98  --
1906.67/478.18	c  N dy  3664   1029228       250     21250         0     84102    148750   3368108     57.80     61.39  --
1923.81/482.48	c  N dy  3729   1049361       250     21250         0     60770    148750   1771369     57.80     60.87  --
1944.14/487.53	c  N dy  3768   1070357       250     21250         0     81290    148750   3135344     57.78     61.25  --
1945.74/487.99	c  F st  3777   1071876       250     21250         0     82776    148750   3235018     57.78     59.48  --
1962.09/492.01	c  N dy  3838   1090957       250     21250         0     57433    148750   1498871     57.78     60.86  --
1980.44/496.65	c  N dy  3929   1111244       250     21250         0     77283    148750   2812421     57.79     61.21  --
1998.79/501.29	c  N dy  3984   1131591       250     21250         0     52219    148750   1102449     57.78     60.93  --
2015.54/505.48	c  N dy  4063   1151717       250     21250         0     71903    148750   2408201     57.78     60.84  --
2037.87/511.01	c  N dy  4147   1171817       250     21250         0     91554    148750   3713143     57.79     61.44  --
2053.05/514.89	c  N dy  4204   1191983       250     21250         0     65304    148750   1912449     57.78     61.02  --
2071.02/519.36	c  S st  4278   1209891       250     21250         0     82807    148750   3069682     57.78     58.34  --
2072.17/519.60	c  S st  4278   1210394       250     21250         0     83305    148750   3101936     57.78   no data  --
2072.17/519.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2072.17/519.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2072.17/519.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
2072.57/519.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2072.57/519.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2072.57/519.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
2072.57/519.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3673.60/921.26	c lits-rem:      2675  cl-subs:     2055  v-elim:      0  v-fix:    0  time: 1600.38 s
3673.60/921.26	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
3673.60/921.29	c vivif2 --  cl tried    81250 cl shrink        0 lits rem          0 time: 0.13
3675.61/921.70	c asymm  cl-useful: 0/1851/21250 lits-rem:0 time: 1.65
3675.61/921.71	c calculated reachability. Time: 0.00
3675.61/921.71	c  N dy  4278   1210394       250     21250         0     81250    148750   2913750     57.78   no data  --
3695.14/926.61	c  N dy  4353   1230577       250     21250         0     54091    148750   1119228     57.79     60.93  --
3712.69/931.03	c  N dy  4434   1250856       250     21250         0     73875    148750   2425772     57.79     60.95  --
3734.23/936.45	c  N dy  4511   1270971       250     21250         0     93546    148750   3729447     57.80     61.33  --
3751.03/940.67	c  N dy  4581   1291410       250     21250         0     65645    148750   1825360     57.79     61.05  --
3770.12/945.44	c  N dy  4649   1311463       250     21250         0     85231    148750   3121718     57.79     63.91  --
3791.66/950.83	c  N dy  4754   1331896       250     21250         0     56346    148750   1155730     57.81     61.19  --
3809.20/955.21	c  N dy  4835   1351986       250     21250         0     75970    148750   2452701     57.81     64.67  --
3831.94/960.96	c  N dy  4921   1372130       250     21250         0     95648    148750   3758089     57.82     60.89  --
3849.49/965.39	c  N dy  4989   1392153       250     21250         0     65371    148750   1698312     57.82     60.87  --
3870.22/970.55	c  N dy  5063   1412559       250     21250         0     85319    148750   3021595     57.82     60.87  --
3895.80/976.93	c  N dy  5156   1432589       250     21250         0     54088    148750    892985     57.83     60.90  --
3914.90/981.77	c  N dy  5234   1453193       250     21250         0     74224    148750   2225688     57.84     60.95  --
3938.02/987.57	c  N dy  5309   1473412       250     21250         0     93982    148750   3533234     57.84     61.77  --
3959.56/992.93	c  N dy  5388   1494059       250     21250         0     62394    148750   1392590     57.85     61.53  --
3978.72/997.77	c  N dy  5457   1514381       250     21250         0     82255    148750   2711918     57.85     61.05  --
4003.02/1003.84	c  N dy  5527   1534443       250     21250         0    101847    148750   4007198     57.85     61.26  --
4022.59/1008.78	c  N dy  5591   1554702       250     21250         0     68870    148750   1761246     57.84     61.02  --
4044.10/1014.13	c  N dy  5673   1574775       250     21250         0     88466    148750   3061677     57.85     60.99  --
4070.43/1020.75	c  N dy  5755   1594854       250     21250         0     54362    148750    746397     57.85     61.07  --
4089.56/1025.50	c  N dy  5843   1615632       250     21250         0     74642    148750   2091030     57.86     60.93  --
4112.30/1031.26	c  N dy  5917   1635789       250     21250         0     94308    148750   3397453     57.85     61.17  --
4137.83/1037.65	c  N dy  5995   1656759       250     21250         0     60117    148750   1076006     57.85     61.01  --
4156.56/1042.37	c  N dy  6053   1676876       250     21250         0     79733    148750   2376445     57.85     60.95  --
4179.30/1048.03	c  N dy  6107   1696888       250     21250         0     99289    148750   3671429     57.85     62.86  --
4197.25/1052.54	c  S st  6150   1710395       250     21250         0     56815    148750    801136     57.85     55.42  --
4198.06/1052.71	c  S st  6150   1710898       250     21250         0     57309    148750    833214     57.85   no data  --
4198.06/1052.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4198.06/1052.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4198.06/1052.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4198.06/1052.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4198.06/1052.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4198.06/1052.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
4198.06/1052.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4226.75/1059.90	c lits-rem:       214  cl-subs:       75  v-elim:      0  v-fix:    0  time: 28.35 s
4226.75/1059.90	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
4226.75/1059.92	c vivif2 --  cl tried    57234 cl shrink        0 lits rem          0 time: 0.04
4228.35/1060.32	c asymm  cl-useful: 0/2282/21250 lits-rem:0 time: 1.62
4228.35/1060.32	c calculated reachability. Time: 0.00
4228.35/1060.32	c  N dy  6150   1710898       250     21250         0     57234    148750    826244     57.85   no data  --
4247.48/1065.18	c  N dy  6222   1731350       250     21250         0     77255    148750   2152893     57.85     61.27  --
4272.63/1071.49	c  N dy  6316   1752207       250     21250         0     97624    148750   3508289     57.86     60.95  --
4300.12/1078.37	c  N dy  6403   1772518       250     21250         0     60822    148750   1008488     57.86     61.14  --
4320.47/1083.47	c  N dy  6509   1792529       250     21250         0     80316    148750   2300438     57.87     61.25  --
4344.38/1089.46	c  N dy  6581   1812563       250     21250         0     99896    148750   3599420     57.88     63.12  --
4370.72/1096.04	c  N dy  6642   1833078       250     21250         0     62283    148750   1051426     57.87     60.94  --
4389.86/1100.89	c  N dy  6694   1853636       250     21250         0     82383    148750   2378941     57.86     61.63  --
4414.97/1107.14	c  N dy  6779   1873703       250     21250         0    101972    148750   3685577     57.87     61.60  --
4442.09/1113.92	c  N dy  6858   1894494       250     21250         0     63667    148750   1092587     57.87     61.34  --
4462.42/1119.00	c  N dy  6935   1914539       250     21250         0     83221    148750   2387886     57.87     61.42  --
4487.57/1125.34	c  N dy  7027   1934848       250     21250         0    103083    148750   3705952     57.88     60.94  --
4515.46/1132.36	c  N dy  7108   1955269       250     21250         0     63476    148750   1016787     57.89     60.97  --
4535.83/1137.43	c  N dy  7181   1975871       250     21250         0     83616    148750   2351530     57.89     61.13  --
4560.13/1143.58	c  N dy  7252   1995899       250     21250         0    103160    148750   3648079     57.89     61.10  --
4590.43/1151.17	c  N dy  7330   2016011       250     21250         0     62255    148750    884018     57.89     61.74  --
4611.96/1156.53	c  N dy  7410   2036033       250     21250         0     81828    148750   2183399     57.90     61.12  --
4638.69/1163.25	c  N dy  7512   2056127       250     21250         0    101481    148750   3489554     57.90     62.27  --
4667.42/1170.42	c  N dy  7572   2076156       250     21250         0    121069    148750   4794433     57.90     61.54  --
4688.93/1175.90	c  N dy  7655   2096366       250     21250         0     79256    148750   1952236     57.90     61.50  --
4713.65/1182.06	c  N dy  7741   2116490       250     21250         0     98916    148750   3251485     57.91     61.65  --
4741.57/1189.04	c  N dy  7819   2136497       250     21250         0    118471    148750   4548332     57.91     61.07  --
4769.88/1196.14	c  N dy  7869   2162788       250     21250         0     81617    148750   2047641     57.89     61.09  --
4793.41/1202.09	c  N dy  7938   2183092       250     21250         0    101458    148750   3364456     57.89     61.43  --

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-3368685-1305400689/watcher-3368685-1305400689 -o /tmp/evaluation-result-3368685-1305400689/solver-3368685-1305400689 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368685-1305400689.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.78 8.05 8.02 6/369 5328
/proc/meminfo: memFree=18273680/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=183284 CPUtime=0 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 885 0 0 0 0 0 0 0 25 0 4 0 730299585 187682816 810 33554432000 4194304 4650419 140737237252720 18446744073709551615 224284925755 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 45821 837 331 112 0 40786 0
[pid=5328/tid=5329] ppid=5326 vsize=208616 CPUtime=0 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 429 0 0 0 0 0 0 0 25 0 4 0 730299586 213622784 1828 33554432000 4194304 4650419 140737237252720 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=208616 CPUtime=0 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 473 0 0 0 0 0 0 0 25 0 4 0 730299586 213622784 1830 33554432000 4194304 4650419 140737237252720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=208616 CPUtime=0 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 169 0 0 0 0 0 0 0 25 0 4 0 730299586 213622784 1832 33554432000 4194304 4650419 140737237252720 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.114669 s]
/proc/loadavg: 7.78 8.05 8.02 6/369 5328
/proc/meminfo: memFree=18273680/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=218540 CPUtime=0.42 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 3157 0 0 0 42 0 0 0 18 0 4 0 730299585 223784960 3071 33554432000 4194304 4650419 140737237252720 18446744073709551615 4370618 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 54635 3071 367 112 0 49600 0
[pid=5328/tid=5329] ppid=5326 vsize=218540 CPUtime=0.1 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 659 0 0 0 10 0 0 0 25 0 4 0 730299586 223784960 3071 33554432000 4194304 4650419 140737237252720 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=218540 CPUtime=0.1 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 661 0 0 0 10 0 0 0 18 0 4 0 730299586 223784960 3071 33554432000 4194304 4650419 140737237252720 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=218540 CPUtime=0.1 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 736 0 0 0 10 0 0 0 25 0 4 0 730299586 223784960 3071 33554432000 4194304 4650419 140737237252720 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 218540

[startup+0.200654 s]
/proc/loadavg: 7.78 8.05 8.02 6/369 5328
/proc/meminfo: memFree=18273680/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=218672 CPUtime=0.77 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 3356 0 0 0 77 0 0 0 18 0 4 0 730299585 223920128 3270 33554432000 4194304 4650419 140737237252720 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 54668 3270 367 112 0 49633 0
[pid=5328/tid=5329] ppid=5326 vsize=218672 CPUtime=0.19 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 674 0 0 0 19 0 0 0 25 0 4 0 730299586 223920128 3270 33554432000 4194304 4650419 140737237252720 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=218672 CPUtime=0.19 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 666 0 0 0 19 0 0 0 18 0 4 0 730299586 223920128 3270 33554432000 4194304 4650419 140737237252720 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=218672 CPUtime=0.18 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 907 0 0 0 18 0 0 0 25 0 4 0 730299586 223920128 3270 33554432000 4194304 4650419 140737237252720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218672

[startup+0.300636 s]
/proc/loadavg: 7.78 8.05 8.02 6/369 5328
/proc/meminfo: memFree=18273680/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=218804 CPUtime=1.17 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 3540 0 0 0 117 0 0 0 18 0 4 0 730299585 224055296 3454 33554432000 4194304 4650419 140737237252720 18446744073709551615 224284587041 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 54701 3454 367 112 0 49666 0
[pid=5328/tid=5329] ppid=5326 vsize=218804 CPUtime=0.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 694 0 0 0 29 0 0 0 25 0 4 0 730299586 224055296 3454 33554432000 4194304 4650419 140737237252720 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=218804 CPUtime=0.29 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 670 0 0 0 29 0 0 0 18 0 4 0 730299586 224055296 3454 33554432000 4194304 4650419 140737237252720 18446744073709551615 4370557 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=218804 CPUtime=0.28 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 1057 0 0 0 28 0 0 0 25 0 4 0 730299586 224055296 3454 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365276 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) 218804

[startup+0.700571 s]
/proc/loadavg: 7.78 8.05 8.02 6/369 5328
/proc/meminfo: memFree=18273680/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=229844 CPUtime=2.77 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 10078 0 0 0 275 2 0 0 18 0 4 0 730299585 235360256 8712 33554432000 4194304 4650419 140737237252720 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 57461 8712 391 112 0 52426 0
[pid=5328/tid=5329] ppid=5326 vsize=229844 CPUtime=0.68 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 2592 0 0 0 68 0 0 0 25 0 4 0 730299586 235360256 8712 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=229844 CPUtime=0.69 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 2499 0 0 0 69 0 0 0 18 0 4 0 730299586 235360256 8712 33554432000 4194304 4650419 140737237252720 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=229844 CPUtime=0.68 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 1984 0 0 0 68 0 0 0 25 0 4 0 730299586 235360256 8712 33554432000 4194304 4650419 140737237252720 18446744073709551615 4366845 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) 229844

[startup+1.50044 s]
/proc/loadavg: 7.78 8.05 8.02 9/373 5332
/proc/meminfo: memFree=18201852/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=232668 CPUtime=5.95 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 16257 0 0 0 592 3 0 0 20 0 4 0 730299585 238252032 9522 33554432000 4194304 4650419 140737237252720 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 58167 9522 391 112 0 53132 0
[pid=5328/tid=5329] ppid=5326 vsize=232668 CPUtime=1.48 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 4121 0 0 0 148 0 0 0 25 0 4 0 730299586 238252032 9523 33554432000 4194304 4650419 140737237252720 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=232668 CPUtime=1.48 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 4067 0 0 0 148 0 0 0 19 0 4 0 730299586 238252032 9523 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=232668 CPUtime=1.46 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 3536 0 0 0 146 0 0 0 25 0 4 0 730299586 238252032 9523 33554432000 4194304 4650419 140737237252720 18446744073709551615 4241049 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 232668

[startup+3.10117 s]
/proc/loadavg: 7.78 8.05 8.02 9/373 5332
/proc/meminfo: memFree=18195288/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=234400 CPUtime=12.34 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 29193 0 0 0 1229 5 0 0 25 0 4 0 730299585 240025600 13086 33554432000 4194304 4650419 140737237252720 18446744073709551615 4439644 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 58600 13088 393 112 0 53565 0
[pid=5328/tid=5329] ppid=5326 vsize=234400 CPUtime=3.08 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 6856 0 0 0 308 0 0 0 25 0 4 0 730299586 240025600 13088 33554432000 4194304 4650419 140737237252720 18446744073709551615 224284588579 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=234400 CPUtime=3.08 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 6978 0 0 0 308 0 0 0 23 0 4 0 730299586 240025600 13088 33554432000 4194304 4650419 140737237252720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=234400 CPUtime=3.05 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 5826 0 0 0 304 1 0 0 25 0 4 0 730299586 240025600 13088 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 234400

[startup+6.30064 s]
/proc/loadavg: 7.79 8.04 8.02 9/373 5332
/proc/meminfo: memFree=18036048/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=270488 CPUtime=25.1 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 42215 0 0 0 2503 7 0 0 25 0 4 0 730299585 276979712 24989 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 67622 24989 393 112 0 62587 0
[pid=5328/tid=5329] ppid=5326 vsize=270488 CPUtime=6.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 9445 0 0 0 628 1 0 0 25 0 4 0 730299586 276979712 24989 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=270488 CPUtime=6.28 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 12220 0 0 0 627 1 0 0 25 0 4 0 730299586 276979712 24989 33554432000 4194304 4650419 140737237252720 18446744073709551615 4439628 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=270488 CPUtime=6.21 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 10516 0 0 0 619 2 0 0 25 0 4 0 730299586 276979712 24989 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 270488

[startup+12.7006 s]
/proc/loadavg: 7.89 8.06 8.02 9/373 5332
/proc/meminfo: memFree=18007544/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=262056 CPUtime=50.62 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 59729 0 0 0 5050 12 0 0 25 0 4 0 730299585 268345344 29268 33554432000 4194304 4650419 140737237252720 18446744073709551615 4329318 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 65514 29268 393 112 0 60479 0
[pid=5328/tid=5329] ppid=5326 vsize=262056 CPUtime=12.69 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 16342 0 0 0 1266 3 0 0 25 0 4 0 730299586 268345344 29268 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=262056 CPUtime=12.68 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 13122 0 0 0 1267 1 0 0 25 0 4 0 730299586 268345344 29268 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=262056 CPUtime=12.54 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 16212 0 0 0 1250 4 0 0 25 0 4 0 730299586 268345344 29268 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 262056

[startup+25.5004 s]
/proc/loadavg: 7.91 8.06 8.02 9/373 5332
/proc/meminfo: memFree=17821196/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=294200 CPUtime=101.67 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 85991 0 0 0 10147 20 0 0 25 0 4 0 730299585 301260800 43755 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 73550 43755 393 112 0 68515 0
[pid=5328/tid=5329] ppid=5326 vsize=294200 CPUtime=25.49 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 23867 0 0 0 2543 6 0 0 25 0 4 0 730299586 301260800 43755 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=294200 CPUtime=25.49 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 19289 0 0 0 2546 3 0 0 25 0 4 0 730299586 301260800 43755 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=294200 CPUtime=25.17 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 21345 0 0 0 2512 5 0 0 25 0 4 0 730299586 301260800 43755 33554432000 4194304 4650419 140737237252720 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 294200

[startup+51.1012 s]
/proc/loadavg: 7.94 8.05 8.02 9/373 5332
/proc/meminfo: memFree=17703968/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=420980 CPUtime=203.76 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 134281 0 0 0 20342 34 0 0 25 0 4 0 730299585 431083520 57255 33554432000 4194304 4650419 140737237252720 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 105245 57255 393 112 0 100210 0
[pid=5328/tid=5329] ppid=5326 vsize=420980 CPUtime=51.08 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 35705 0 0 0 5099 9 0 0 25 0 4 0 730299586 431083520 57255 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=420980 CPUtime=51.08 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 30517 0 0 0 5102 6 0 0 25 0 4 0 730299586 431083520 57255 33554432000 4194304 4650419 140737237252720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=420980 CPUtime=50.47 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 32830 0 0 0 5038 9 0 0 25 0 4 0 730299586 431083520 57255 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 420980

[startup+102.301 s]
/proc/loadavg: 8.10 8.07 8.02 9/373 5334
/proc/meminfo: memFree=17600020/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=443908 CPUtime=407.97 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 206909 0 0 0 40739 58 0 0 25 0 4 0 730299585 454561792 69612 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 110977 69612 393 112 0 105942 0
[pid=5328/tid=5329] ppid=5326 vsize=443908 CPUtime=102.3 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 52376 0 0 0 10216 14 0 0 25 0 4 0 730299586 454561792 69619 33554432000 4194304 4650419 140737237252720 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=443908 CPUtime=102.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 46404 0 0 0 10219 11 0 0 25 0 4 0 730299586 454561792 69619 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=443908 CPUtime=101.07 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 55377 0 0 0 10089 18 0 0 25 0 4 0 730299586 454561792 69619 33554432000 4194304 4650419 140737237252720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 443908

[startup+162.301 s]

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

[pid=5328] ppid=5326 vsize=764376 CPUtime=2561.47 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 506745 0 0 0 255936 211 0 0 25 0 4 0 730299585 782721024 117022 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 191094 117022 393 112 0 186059 0
[pid=5328/tid=5329] ppid=5326 vsize=764376 CPUtime=642.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 167883 0 0 0 64157 72 0 0 25 0 4 0 730299586 782721024 117022 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=764376 CPUtime=642.29 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 64168 61 0 0 25 0 4 0 730299586 782721024 117022 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=764376 CPUtime=634.56 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 96288 0 0 0 63418 38 0 0 25 0 4 0 730299586 782721024 117022 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.47
Current children cumulated vsize (KiB) 764376

[startup+702.301 s]
/proc/loadavg: 8.10 8.09 8.04 9/373 5350
/proc/meminfo: memFree=17122300/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=778780 CPUtime=2800.71 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 522937 0 0 0 279848 223 0 0 25 0 4 0 730299585 797470720 117575 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 194695 117575 393 112 0 189660 0
[pid=5328/tid=5329] ppid=5326 vsize=778780 CPUtime=702.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 184075 0 0 0 70145 84 0 0 25 0 4 0 730299586 797470720 117575 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=778780 CPUtime=702.29 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 70168 61 0 0 25 0 4 0 730299586 797470720 117575 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=778780 CPUtime=693.8 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 96288 0 0 0 69342 38 0 0 25 0 4 0 730299586 797470720 117575 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.71
Current children cumulated vsize (KiB) 778780

[startup+762.301 s]
/proc/loadavg: 8.13 8.10 8.04 9/373 5352
/proc/meminfo: memFree=17109620/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=724228 CPUtime=3039.99 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 537003 0 0 0 303764 235 0 0 25 0 4 0 730299585 741609472 115269 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 181057 115269 393 112 0 176022 0
[pid=5328/tid=5329] ppid=5326 vsize=724228 CPUtime=762.3 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 198141 0 0 0 76135 95 0 0 25 0 4 0 730299586 741609472 115269 33554432000 4194304 4650419 140737237252720 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=724228 CPUtime=762.31 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 76170 61 0 0 25 0 4 0 730299586 741609472 115269 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=724228 CPUtime=753.05 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 96288 0 0 0 75267 38 0 0 25 0 4 0 730299586 741609472 115269 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.99
Current children cumulated vsize (KiB) 724228

[startup+822.301 s]
/proc/loadavg: 8.09 8.09 8.04 9/373 5352
/proc/meminfo: memFree=17095948/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=724296 CPUtime=3279.2 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 542917 0 0 0 327682 238 0 0 25 0 4 0 730299585 741679104 114743 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 181074 114743 393 112 0 176039 0
[pid=5328/tid=5329] ppid=5326 vsize=724296 CPUtime=822.28 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 204055 0 0 0 82130 98 0 0 25 0 4 0 730299586 741679104 114743 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=724296 CPUtime=822.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 82169 61 0 0 25 0 4 0 730299586 741679104 114743 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=724296 CPUtime=812.3 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 96288 0 0 0 81191 39 0 0 25 0 4 0 730299586 741679104 114743 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.2
Current children cumulated vsize (KiB) 724296

[startup+882.315 s]
/proc/loadavg: 8.11 8.10 8.05 9/373 5354
/proc/meminfo: memFree=17053760/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=752240 CPUtime=3518.53 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 568054 0 0 0 351599 254 0 0 25 0 4 0 730299585 770293760 120679 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 188060 120679 393 112 0 183025 0
[pid=5328/tid=5329] ppid=5326 vsize=752240 CPUtime=882.31 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 218416 0 0 0 88123 108 0 0 25 0 4 0 730299586 770293760 120679 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=752240 CPUtime=882.31 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 88170 61 0 0 25 0 4 0 730299586 770293760 120679 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=752240 CPUtime=871.57 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 107064 0 0 0 87112 45 0 0 25 0 4 0 730299586 770293760 120679 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.53
Current children cumulated vsize (KiB) 752240

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.05 9/373 5356
/proc/meminfo: memFree=17105176/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=658660 CPUtime=3757.76 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 599789 0 0 0 375505 271 0 0 25 0 4 0 730299585 674467840 122840 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 164665 122840 393 112 0 159630 0
[pid=5328/tid=5329] ppid=5326 vsize=658660 CPUtime=942.28 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 234252 0 0 0 94112 116 0 0 25 0 4 0 730299586 674467840 122840 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=658660 CPUtime=942.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 94169 61 0 0 25 0 4 0 730299586 674467840 122840 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=658660 CPUtime=930.84 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 117836 0 0 0 93033 51 0 0 25 0 4 0 730299586 674467840 122840 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.76
Current children cumulated vsize (KiB) 658660

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.05 9/373 5358
/proc/meminfo: memFree=17066600/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=764960 CPUtime=3997.04 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 629531 0 0 0 399418 286 0 0 25 0 4 0 730299585 783319040 131695 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 191240 131695 393 112 0 186205 0
[pid=5328/tid=5329] ppid=5326 vsize=764960 CPUtime=1002.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 243249 0 0 0 100109 120 0 0 25 0 4 0 730299586 783319040 131695 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=764960 CPUtime=1002.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 100169 61 0 0 25 0 4 0 730299586 783319040 131695 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=764960 CPUtime=990.12 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 122735 0 0 0 98957 55 0 0 25 0 4 0 730299586 783319040 131695 33554432000 4194304 4650419 140737237252720 18446744073709551615 4313414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.04
Current children cumulated vsize (KiB) 764960

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.06 9/373 5360
/proc/meminfo: memFree=17032972/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=698204 CPUtime=4236.32 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 654224 0 0 0 423331 301 0 0 25 0 4 0 730299585 714960896 132837 33554432000 4194304 4650419 140737237252720 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 174551 132837 393 112 0 169516 0
[pid=5328/tid=5329] ppid=5326 vsize=698204 CPUtime=1062.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 243287 0 0 0 106109 120 0 0 25 0 4 0 730299586 714960896 132837 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=698204 CPUtime=1062.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 106169 61 0 0 25 0 4 0 730299586 714960896 132837 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=698204 CPUtime=1049.4 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 130449 0 0 0 104879 61 0 0 25 0 4 0 730299586 714960896 132837 33554432000 4194304 4650419 140737237252720 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.32
Current children cumulated vsize (KiB) 698204

[startup+1122.3 s]
/proc/loadavg: 8.05 8.09 8.05 9/373 5360
/proc/meminfo: memFree=17002688/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=766104 CPUtime=4475.59 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 681367 0 0 0 447238 321 0 0 25 0 4 0 730299585 784490496 139117 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 191526 139117 393 112 0 186491 0
[pid=5328/tid=5329] ppid=5326 vsize=766104 CPUtime=1122.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 243287 0 0 0 112109 120 0 0 25 0 4 0 730299586 784490496 139117 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=766104 CPUtime=1122.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 112169 61 0 0 25 0 4 0 730299586 784490496 139117 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=766104 CPUtime=1108.66 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 144058 0 0 0 110796 70 0 0 25 0 4 0 730299586 784490496 139117 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.59
Current children cumulated vsize (KiB) 766104

[startup+1182.3 s]
/proc/loadavg: 8.02 8.07 8.05 9/373 5362
/proc/meminfo: memFree=16910280/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=822616 CPUtime=4714.85 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 697668 0 0 0 471151 334 0 0 25 0 4 0 730299585 842358784 137534 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 205654 137534 393 112 0 200619 0
[pid=5328/tid=5329] ppid=5326 vsize=822616 CPUtime=1182.29 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 243287 0 0 0 118109 120 0 0 25 0 4 0 730299586 842358784 137535 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=822616 CPUtime=1182.3 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 118169 61 0 0 25 0 4 0 730299586 842358784 137535 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=822616 CPUtime=1167.93 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 147682 0 0 0 116721 72 0 0 25 0 4 0 730299586 842358784 137535 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.85
Current children cumulated vsize (KiB) 822616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.07 8.08 8.05 5/368 5365
/proc/meminfo: memFree=17746568/32951124 swapFree=45193364/67111528
[pid=5328] ppid=5326 vsize=837036 CPUtime=4800.19 cores=1,3,5,7
/proc/5328/stat : 5328 (strangenight1-m) R 5326 5328 5085 0 -1 4202496 705537 0 0 0 479679 340 0 0 25 0 4 0 730299585 857124864 134433 33554432000 4194304 4650419 140737237252720 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5328/statm: 209259 134433 393 112 0 204224 0
[pid=5328/tid=5329] ppid=5326 vsize=837036 CPUtime=1203.71 cores=1,3,5,7
/proc/5328/task/5329/stat : 5329 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 243287 0 0 0 120251 120 0 0 25 0 4 0 730299586 857124864 134435 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5328/tid=5330] ppid=5326 vsize=837036 CPUtime=1203.71 cores=1,3,5,7
/proc/5328/task/5330/stat : 5330 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 139028 0 0 0 120310 61 0 0 25 0 4 0 730299586 857124864 134435 33554432000 4194304 4650419 140737237252720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5328/tid=5331] ppid=5326 vsize=837036 CPUtime=1189.06 cores=1,3,5,7
/proc/5328/task/5331/stat : 5331 (strangenight1-m) R 5326 5328 5085 0 -1 4202560 153177 0 0 0 118830 76 0 0 25 0 4 0 730299586 857124864 134435 33554432000 4194304 4650419 140737237252720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 837036

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.27
CPU user time (s): 4796.84
CPU system time (s): 3.43248
CPU usage (%): 398.779
Max. virtual memory (cumulated for all children) (KiB): 884584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.84
system time used= 3.43248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705541
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= 1077
involuntary context switches= 34447

runsolver used 3.63545 second user time and 11.0363 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-14 21:18:09
IDJOB=3368685
IDBENCH=82694
IDSOLVER=1846
FILE ID=node118/3368685-1305400689
RUNJOBID= node118-1305398277-5104
PBS_JOBID= 13324486
Free space on /tmp= 73044 MiB

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

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

MD5SUM BENCH= cfa9ddae87a68697f7100e24d97d7728
RANDOM SEED=1737937243

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18273960 kB
Buffers:        273400 kB
Cached:        4389964 kB
SwapCached:      22084 kB
Active:       11791368 kB
Inactive:      2582868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18273960 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:           13628 kB
Writeback:           8 kB
AnonPages:     9701352 kB
Mapped:          15260 kB
Slab:           148412 kB
PageTables:      90200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88719332 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= 73044 MiB
End job on node118 at 2011-05-14 21:38:15