Trace number 3368562

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.46 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
MD5SUM951fe016d765ee9b2e2038c7330879da
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.87765
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3368562-1305397347.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.00/0.05	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.05	c -- vars added      15000
0.00/0.05	c Parsing time:  0.09 s
0.00/0.05	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.15/0.12	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.14
0.15/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.15/0.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.55/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.55/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.01 s
0.55/0.18	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.55/0.43	c lits-rem:         0  cl-subs:        0  v-elim:    503  v-fix:    0  time:  0.54 s
0.55/0.43	c Finding binary XORs  T:     0.01 s  found:       0
0.55/0.43	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
0.55/0.43	c calculated reachability. Time: 0.00
0.55/0.43	c Calc default polars -  time:   0.02 s pos:    6694 undec:    1716 neg:    6590
0.55/0.43	c =========================================================================================
0.55/0.43	c types(t): F = full restart, N = normal restart
0.55/0.43	c types(t): S = simplification begin/end, E = solution found
0.55/0.43	c restart types(rt): st = static, dy = dynamic
0.55/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.55/0.43	c  B st     0         0     14497     62445         0         0    190201         0   no data   no data  --
4.41/1.16	c  N dy    20      4141     14497     62445         0      4136    190201    840458    111.30    119.92  --
7.51/1.94	c  N dy    47      8161     14497     62445         0      8155    190201   1555709    110.64    119.05  --
10.67/2.76	c  N dy    74     12166     14497     62445         0     12160    190201   2274971    111.38    118.42  --
14.26/3.64	c  N dy   102     16223     14497     62445         0     16215    190201   3015873    112.38    121.76  --
17.85/4.54	c  N dy   128     20224     14497     62445         0     10222    190201    551541    111.63    118.61  --
21.09/5.38	c  N dy   158     24229     14497     62445         0     14226    190201   1286348    112.56    119.84  --
21.84/5.54	c  F st   165     25000     14497     62445         0     14997    190201   1425578    112.78   no data  --
24.64/6.29	c  N st   170     28297     14497     62445         0     18294    190201   2159801    112.78   no data  --
26.23/6.69	c  S st   171     30000     14497     62445         0     19997    190201   2551601    112.78   no data  --
26.63/6.79	c  S st   171     30502     14497     62445         0     20499    190201   2615523    112.78   no data  --
27.03/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.03/6.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.03/6.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.23/7.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.23/7.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.23/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
28.23/7.12	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
44.57/11.28	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.49 s
44.97/11.37	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.36
44.97/11.37	c calculated reachability. Time: 0.00
44.97/11.37	c  N dy   171     30502     14497     62445         0     20496    190201   2615200    112.78   no data  --
49.37/12.44	c  N dy   199     34563     14497     62445         0     24557    190201   3339125    113.00    122.46  --
53.76/13.54	c  N dy   226     38585     14497     62445         0     28579    190201   4065950    113.18    120.46  --
58.15/14.67	c  N dy   258     42759     14497     62445         0     17259    190201    936219    113.60    120.28  --
61.34/15.44	c  S st   277     45756     14497     62445         0     20256    190201   1464505    113.30   no data  --
61.73/15.57	c  S st   277     46258     14497     62445         0     20758    190201   1537191    113.30   no data  --
61.73/15.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.73/15.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.13/15.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
62.53/15.75	c bin-w-bin subsume rem            0 bins  time:  0.02 s
62.53/15.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
62.53/15.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
62.53/15.77	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.11/18.69	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.62 s
74.11/18.69	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
74.51/18.71	c vivif2 --  cl tried    20757 cl shrink        0 lits rem          0 time: 0.08
74.51/18.79	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.32
74.51/18.80	c calculated reachability. Time: 0.00
74.51/18.80	c  N dy   277     46258     14497     62445         0     20757    190201   1536958    113.30   no data  --
78.50/19.76	c  N dy   307     50281     14497     62445         0     24780    190201   2265698    113.64    123.68  --
82.53/20.75	c  N dy   335     54389     14497     62445         0     28888    190201   3009754    113.79    123.04  --
86.92/21.81	c  N dy   357     58719     14497     62445         0     33218    190201   3777630    113.47    120.25  --
90.90/22.87	c  N dy   386     62760     14497     62445         0     37259    190201   4506801    113.51    122.06  --
94.87/23.86	c  N dy   412     66846     14497     62445         0     22597    190201   1287824    113.38    120.56  --
97.26/24.44	c  S st   427     69389     14497     62445         0     25140    190201   1722791    113.16   no data  --
97.66/24.56	c  S st   427     69891     14497     62445         0     25642    190201   1782115    113.16   no data  --
97.66/24.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.66/24.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.06/24.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
98.46/24.75	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.46/24.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.46/24.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
98.46/24.76	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
110.83/27.89	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.47 s
111.23/27.90	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
111.23/27.92	c vivif2 --  cl tried    25642 cl shrink        0 lits rem          0 time: 0.10
111.63/28.02	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.37
111.63/28.02	c calculated reachability. Time: 0.00
111.63/28.02	c  N dy   427     69891     14497     62445         0     25642    190201   1782109    113.16   no data  --
116.42/29.20	c  N dy   458     74593     14497     62445         0     30344    190201   2661794    113.31    121.34  --
121.21/30.44	c  N dy   494     79357     14497     62445         0     35108    190201   3545711    113.63    122.35  --
126.79/31.81	c  N dy   532     84487     14497     62445         0     40238    190201   4484108    113.92    121.37  --
129.59/32.58	c  F st   549     87500     14497     62445         0     22381    190201    845773    113.76   no data  --
132.78/33.39	c  N st   554     90798     14497     62445         0     25679    190201   1561859    113.76   no data  --
138.77/34.89	c  N dy   584     96755     14497     62445         0     31633    190201   2800737    113.97    121.60  --
145.55/36.56	c  N dy   630    103088     14497     62445         0     37965    190201   3942040    113.97    123.29  --
147.54/37.07	c  S st   643    104837     14497     62445         0     39714    190201   4266203    114.01   no data  --
148.37/37.22	c  S st   643    105340     14497     62445         0     40217    190201   4328038    114.01   no data  --
148.37/37.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
148.37/37.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.72/37.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
149.52/37.59	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.52/37.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
149.93/37.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
149.93/37.60	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
256.49/64.30	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 106.29 s
256.49/64.30	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
256.49/64.36	c vivif2 --  cl tried    40208 cl shrink        0 lits rem          0 time: 0.22
256.89/64.48	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.48
256.89/64.48	c calculated reachability. Time: 0.00
256.89/64.48	c  N dy   643    105340     14497     62445         0     40208    190201   4324567    114.01   no data  --
264.47/66.31	c  N dy   690    112130     14497     62445         0     24560    190201    922583    114.09    121.01  --
271.28/68.09	c  N dy   738    119294     14497     62445         0     31722    190201   2232119    114.20    124.99  --
279.66/70.13	c  N dy   789    127061     14497     62445         0     39488    190201   3650418    114.28    120.93  --
288.85/72.45	c  N dy   842    135329     14497     62445         0     24036    190201    559953    114.23    122.34  --
297.22/74.59	c  N dy   903    143983     14497     62445         0     32690    190201   2117335    114.22    120.36  --
307.17/77.02	c  N dy   961    153182     14497     62445         0     41889    190201   3797683    114.19    124.01  --
312.76/78.41	c  S st   992    158010     14497     62445         0     46716    190201   4683125    114.24    102.58  --
313.16/78.57	c  S st   992    158512     14497     62445         0     47218    190201   4748663    114.24   no data  --
313.16/78.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
313.16/78.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
313.56/78.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
314.78/78.93	c bin-w-bin subsume rem            0 bins  time:  0.02 s
314.78/78.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
314.78/78.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
314.78/78.95	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
498.33/124.93	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 183.24 s
498.33/124.94	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
498.73/125.00	c vivif2 --  cl tried    47216 cl shrink        0 lits rem          0 time: 0.25
499.15/125.13	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.51
499.15/125.14	c calculated reachability. Time: 0.00
499.15/125.14	c  N dy   992    158512     14497     62445         0     47216    190201   4747584    114.24   no data  --
509.89/127.82	c  N dy  1063    168677     14497     62445         0     32526    190201   1881577    114.40    121.08  --
521.87/130.88	c  N dy  1137    179518     14497     62445         0     43367    190201   3845217    114.46    121.26  --
535.03/134.19	c  N dy  1215    191046     14497     62445         0     28964    190201   1006097    114.48    120.61  --
548.61/137.56	c  N dy  1301    203248     14497     62445         0     41165    190201   3252241    114.53    128.01  --
564.18/141.47	c  N dy  1385    216298     14497     62445         0     27250    190201    503477    114.57    124.02  --
578.94/145.19	c  N dy  1473    230113     14497     62445         0     41065    190201   2991607    114.48    121.19  --
588.12/147.46	c  S st  1523    237768     14497     62445         0     48719    190201   4404144    114.54    103.18  --
588.92/147.63	c  S st  1523    238273     14497     62445         0     49224    190201   4467632    114.54   no data  --
588.92/147.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
588.92/147.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
589.32/147.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
590.12/147.98	c bin-w-bin subsume rem            0 bins  time:  0.02 s
590.12/147.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
590.12/147.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
590.12/147.99	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
761.71/191.13	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 170.98 s
761.71/191.14	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
761.71/191.20	c vivif2 --  cl tried    49220 cl shrink        0 lits rem          0 time: 0.24
762.48/191.34	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.57
762.48/191.34	c calculated reachability. Time: 0.00
762.48/191.34	c  N dy  1523    238273     14497     62445         0     49220    190201   4466689    114.54   no data  --
780.44/195.80	c  N dy  1629    253519     14497     62445         0     36486    190201   2023570    114.66    122.32  --
799.60/200.69	c  N dy  1739    270043     14497     62445         0     53007    190201   5057873    114.75    127.60  --
819.95/205.77	c  N dy  1852    287409     14497     62445         0     41388    190201   2717660    114.76    123.23  --
842.70/211.43	c  N dy  1971    305850     14497     62445         0     59829    190201   6073996    114.76    123.26  --
843.10/211.59	c  F st  1975    306250     14497     62445         0     30237    190201    466410    114.77   no data  --
865.84/217.26	c  N dy  2075    325453     14497     62445         0     49438    190201   4325435    114.80    121.39  --
888.59/222.94	c  N dy  2206    345460     14497     62445         0     38441    190201   1738838    114.77    120.99  --
901.77/226.27	c  S st  2283    357409     14497     62445         0     50389    190201   3921031    114.82   no data  --
902.60/226.43	c  S st  2283    357914     14497     62445         0     50894    190201   3985861    114.82   no data  --
902.60/226.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
902.60/226.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
902.96/226.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
903.76/226.73	c bin-w-bin subsume rem            0 bins  time:  0.02 s
903.76/226.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
903.76/226.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
903.76/226.75	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1035.06/259.68	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 131.19 s
1035.06/259.69	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
1035.46/259.74	c vivif2 --  cl tried    50892 cl shrink        0 lits rem          0 time: 0.22
1035.86/259.89	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.58
1035.86/259.89	c calculated reachability. Time: 0.00
1035.86/259.89	c  N dy  2283    357914     14497     62445         0     50892    190201   3985723    114.82   no data  --
1060.63/266.04	c  N dy  2415    377980     14497     62445         0     38960    190201   1704563    114.83    122.06  --
1084.54/272.09	c  N dy  2546    398002     14497     62445         0     58980    190201   5333581    114.85    121.78  --
1109.29/278.20	c  N dy  2682    418056     14497     62445         0     46037    190201   2821279    114.88    121.12  --
1134.43/284.57	c  N dy  2812    438100     14497     62445         0     66080    190201   6489657    114.87    121.40  --
1159.57/290.87	c  N dy  2946    458390     14497     62445         0     52371    190201   3812309    114.92    120.98  --
1186.71/297.64	c  N dy  3080    478474     14497     62445         0     37459    190201    867369    114.92    121.70  --
1211.85/303.92	c  N dy  3204    498768     14497     62445         0     57752    190201   4523798    114.85    122.22  --
1238.59/310.68	c  N dy  3337    518827     14497     62445         0     41811    190201   1455819    114.91    123.55  --
1261.73/316.47	c  S st  3460    536874     14497     62445         0     59857    190201   4766923    114.95   no data  --
1262.56/316.66	c  S st  3460    537378     14497     62445         0     60361    190201   4830323    114.95   no data  --
1262.56/316.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1262.56/316.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1262.92/316.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.39
1264.13/317.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1264.13/317.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1264.13/317.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
1264.13/317.06	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1507.57/378.10	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 243.29 s
1507.99/378.11	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
1507.99/378.17	c vivif2 --  cl tried    60360 cl shrink        0 lits rem          0 time: 0.25
1508.76/378.33	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.63
1508.76/378.33	c calculated reachability. Time: 0.00
1508.76/378.33	c  N dy  3460    537378     14497     62445         0     60360    190201   4830184    114.95   no data  --
1533.52/384.52	c  N dy  3586    557466     14497     62445         0     43454    190201   1621927    114.92    141.46  --
1557.05/390.47	c  N dy  3718    577517     14497     62445         0     63504    190201   5300622    114.91    126.10  --
1582.19/396.76	c  N dy  3856    597612     14497     62445         0     45605    190201   1831085    114.92    122.28  --
1606.54/402.87	c  N dy  3979    617755     14497     62445         0     65747    190201   5546581    114.90    121.83  --
1631.68/409.18	c  N dy  4111    637792     14497     62445         0     46787    190201   1856101    114.92    122.36  --
1656.42/415.31	c  N dy  4252    657834     14497     62445         0     66829    190201   5605166    115.00    123.38  --
1681.56/421.63	c  N dy  4379    677888     14497     62445         0     46876    190201   1698787    114.97    121.47  --
1705.95/427.75	c  N dy  4513    697955     14497     62445         0     66942    190201   5380432    114.98    124.44  --
1732.29/434.39	c  N dy  4653    718031     14497     62445         0     46015    190201   1387801    115.04    122.38  --
1756.59/440.40	c  N dy  4781    738076     14497     62445         0     66058    190201   5030481    115.03    127.54  --
1783.33/447.14	c  N dy  4904    758100     14497     62445         0     44084    190201    854502    115.01    136.41  --
1807.27/453.13	c  N dy  5041    778221     14497     62445         0     64204    190201   4559488    115.04    123.01  --
1834.00/459.89	c  N dy  5171    798324     14497     62445         0     84306    190201   8267416    115.04    121.75  --
1843.59/462.28	c  S st  5228    806068     14497     62445         0     49054    190201   1554143    115.07   no data  --
1844.39/462.44	c  S st  5228    806572     14497     62445         0     49558    190201   1620603    115.07   no data  --
1844.39/462.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1844.39/462.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1844.78/462.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1845.18/462.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1845.18/462.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1845.18/462.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
1845.18/462.65	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1860.74/466.56	c lits-rem:        11  cl-subs:        3  v-elim:      0  v-fix:    0  time: 15.62 s
1860.74/466.57	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
1860.74/466.59	c vivif2 --  cl tried    49555 cl shrink        0 lits rem          0 time: 0.09
1861.54/466.72	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.52
1861.54/466.73	c calculated reachability. Time: 0.00
1861.54/466.73	c  N dy  5228    806572     14497     62445         0     49555    190201   1619890    115.07   no data  --
1885.92/472.84	c  N dy  5347    826611     14497     62445         0     69591    190201   5245583    115.04    125.52  --
1913.42/479.77	c  N dy  5475    846741     14497     62445         0     45721    190201    750788    115.04    121.56  --
1937.76/485.89	c  N dy  5615    866931     14497     62445         0     65910    190201   4530827    115.10    128.51  --
1965.28/492.76	c  N dy  5750    887036     14497     62445         0     86011    190201   8219159    115.12    122.59  --
1990.44/499.08	c  N dy  5889    907056     14497     62445         0     61030    190201   3442263    115.15    121.63  --
2019.16/506.22	c  N dy  6030    927129     14497     62445         0     81102    190201   7178684    115.20    143.24  --
2048.69/513.65	c  N dy  6156    947240     14497     62445         0     55219    190201   2176406    115.20    123.17  --
2076.63/520.67	c  N dy  6284    967306     14497     62445         0     75284    190201   5889565    115.23    122.94  --
2108.97/528.78	c  N dy  6422    987749     14497     62445         0     48727    190201    756455    115.26    124.16  --
2136.13/535.53	c  N dy  6553   1007867     14497     62445         0     68845    190201   4462717    115.26    121.52  --
2167.62/543.42	c  N dy  6680   1027939     14497     62445         0     88916    190201   8142152    115.27    125.71  --
2196.36/550.68	c  N dy  6806   1047970     14497     62445         0     60947    190201   2896830    115.29    130.06  --
2226.29/558.18	c  N dy  6940   1068307     14497     62445         0     81284    190201   6653448    115.30    123.47  --
2232.30/559.61	c  F st  6969   1071876     14497     62445         0     84852    190201   7333740    115.33   no data  --
2257.83/566.06	c  N dy  7051   1088356     14497     62445         0     52333    190201   1091205    115.33    122.43  --
2285.75/573.05	c  N dy  7193   1108505     14497     62445         0     72482    190201   4778353    115.34    122.89  --
2317.67/581.00	c  N dy  7325   1128707     14497     62445         0     92683    190201   8485034    115.32    121.83  --
2347.21/588.44	c  N dy  7458   1148786     14497     62445         0     62762    190201   2814250    115.34    137.92  --
2377.16/595.96	c  N dy  7600   1168860     14497     62445         0     82835    190201   6531388    115.37    132.66  --
2409.46/604.00	c  N dy  7739   1188931     14497     62445         0     51904    190201    649367    115.38    122.98  --
2435.80/610.64	c  N dy  7881   1209056     14497     62445         0     72029    190201   4321358    115.41    124.40  --
2437.00/610.93	c  S st  7888   1209859     14497     62445         0     72832    190201   4470757    115.41   no data  --
2437.80/611.14	c  S st  7888   1210362     14497     62445         0     73335    190201   4544391    115.41   no data  --
2437.80/611.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2437.80/611.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2438.20/611.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
2439.40/611.50	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2439.40/611.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2439.40/611.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
2439.40/611.52	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2650.91/664.57	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 211.29 s
2650.91/664.58	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
2651.31/664.64	c vivif2 --  cl tried    73329 cl shrink        0 lits rem          0 time: 0.25
2652.10/664.82	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.71
2652.10/664.82	c calculated reachability. Time: 0.00
2652.10/664.82	c  N dy  7888   1210362     14497     62445         0     73329    190201   4542206    115.41   no data  --
2680.05/671.86	c  N dy  8010   1230409     14497     62445         0     93373    190201   8278577    115.41    121.79  --
2708.37/678.90	c  N dy  8146   1250422     14497     62445         0     61390    190201   2248081    115.43    128.47  --
2735.11/685.65	c  N dy  8284   1270573     14497     62445         0     81539    190201   5999330    115.45    122.01  --
2765.43/693.24	c  N dy  8414   1290669     14497     62445         0    101634    190201   9761341    115.48    125.45  --
2792.17/699.91	c  N dy  8544   1310704     14497     62445         0     68677    190201   3392292    115.47    123.06  --
2820.12/706.97	c  N dy  8678   1330992     14497     62445         0     88963    190201   7203895    115.52    123.89  --
2851.25/714.73	c  N dy  8808   1351104     14497     62445         0     55077    190201    692016    115.51    123.83  --
2876.37/721.04	c  N dy  8933   1371135     14497     62445         0     75105    190201   4426402    115.51    121.80  --
2905.50/728.37	c  N dy  9073   1391265     14497     62445         0     95234    190201   8120344    115.53    132.43  --
2936.22/736.03	c  N dy  9207   1411373     14497     62445         0     60342    190201   1469587    115.53    122.69  --
2962.96/742.72	c  N dy  9346   1431510     14497     62445         0     80477    190201   5184908    115.55    121.69  --
2992.89/750.23	c  N dy  9480   1451583     14497     62445         0    100548    190201   8885240    115.57    121.96  --
3022.44/757.63	c  N dy  9603   1471613     14497     62445         0     64585    190201   2097338    115.58    122.41  --
3049.94/764.52	c  N dy  9736   1492002     14497     62445         0     84973    190201   5887369    115.60    122.96  --
3080.28/772.20	c  N dy  9857   1512101     14497     62445         0    105072    190201   9617205    115.60    159.37  --
3109.41/779.43	c  N dy  9983   1532138     14497     62445         0     68111    190201   2577204    115.61    123.76  --
3136.98/786.38	c  N dy 10111   1552311     14497     62445         0     88284    190201   6262053    115.60    124.45  --
3170.87/794.82	c  N dy 10247   1572701     14497     62445         0    108673    190201  10014529    115.61    122.27  --
3201.19/802.45	c  N dy 10370   1592755     14497     62445         0     70731    190201   2855846    115.60    140.04  --
3231.93/810.12	c  N dy 10515   1612911     14497     62445         0     90887    190201   6586868    115.64    122.12  --
3267.45/819.04	c  N dy 10643   1633012     14497     62445         0    110987    190201  10298852    115.64    122.73  --
3300.16/827.23	c  N dy 10783   1653076     14497     62445         0     72051    190201   2984305    115.68    122.56  --
3332.09/835.24	c  N dy 10923   1673131     14497     62445         0     92104    190201   6724916    115.70    123.10  --
3367.62/844.11	c  N dy 11051   1693150     14497     62445         0    112117    190201  10412451    115.70    125.32  --
3395.98/851.26	c  S st 11171   1710362     14497     62445         0     69337    190201   2256956    115.74    108.98  --
3396.74/851.46	c  S st 11171   1710866     14497     62445         0     69841    190201   2323137    115.74   no data  --
3396.74/851.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3396.74/851.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3397.14/851.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3397.94/851.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3397.94/851.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3397.94/851.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
3397.94/851.74	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3426.31/858.91	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 28.58 s
3426.71/858.91	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.03
3426.71/858.95	c vivif2 --  cl tried    69841 cl shrink        0 lits rem          0 time: 0.15
3427.47/859.13	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.72
3427.47/859.14	c calculated reachability. Time: 0.00
3427.47/859.14	c  N dy 11171   1710866     14497     62445         0     69841    190201   2323131    115.74   no data  --
3458.60/866.98	c  N dy 11301   1731217     14497     62445         0     90190    190201   6077079    115.74    128.77  --
3492.91/875.57	c  N dy 11439   1751257     14497     62445         0    110226    190201   9821208    115.77    143.54  --
3526.05/883.83	c  N dy 11569   1771377     14497     62445         0     69352    190201   2065249    115.79    122.11  --
3555.58/891.28	c  N dy 11701   1791475     14497     62445         0     89448    190201   5806672    115.81    152.23  --
3589.14/899.63	c  N dy 11835   1811525     14497     62445         0    109495    190201   9541731    115.82    130.88  --
3623.42/908.24	c  N dy 11965   1831592     14497     62445         0     67561    190201   1599869    115.82    150.93  --
3652.95/915.62	c  N dy 12097   1851696     14497     62445         0     87663    190201   5340163    115.83    124.51  --
3686.07/923.96	c  N dy 12229   1871715     14497     62445         0    107682    190201   9015133    115.83    124.67  --
3722.79/933.17	c  N dy 12364   1891934     14497     62445         0     64905    190201    886223    115.85    126.69  --
3751.55/940.35	c  N dy 12495   1911967     14497     62445         0     84937    190201   4631989    115.86    137.94  --
3785.03/948.74	c  N dy 12623   1932056     14497     62445         0    105026    190201   8303653    115.85    124.79  --
3823.75/958.47	c  N dy 12761   1952103     14497     62445         0    125072    190201  12044949    115.87    122.47  --
3856.51/966.65	c  N dy 12904   1972243     14497     62445         0     81214    190201   3779122    115.89    123.46  --
3890.80/975.21	c  N dy 13043   1992393     14497     62445         0    101360    190201   7528017    115.91    123.10  --
3929.11/984.90	c  N dy 13181   2012747     14497     62445         0    121713    190201  11290939    115.92    123.41  --
3963.83/993.59	c  N dy 13312   2032870     14497     62445         0     76847    190201   2728719    115.92    124.62  --
3996.55/1001.80	c  N dy 13445   2052964     14497     62445         0     96939    190201   6400047    115.91    122.81  --
4034.07/1011.14	c  N dy 13582   2073176     14497     62445         0    117149    190201  10126493    115.92    122.34  --
4072.38/1020.73	c  N dy 13716   2093336     14497     62445         0     71312    190201   1535080    115.93    126.16  --
4104.30/1028.79	c  N dy 13849   2113352     14497     62445         0     91325    190201   5243342    115.94    122.12  --
4139.42/1037.56	c  N dy 13988   2133407     14497     62445         0    111377    190201   8959655    115.95    123.31  --
4177.73/1047.10	c  N dy 14130   2153455     14497     62445         0    131422    190201  12744124    115.98    124.17  --
4208.46/1054.86	c  N dy 14270   2173520     14497     62445         0     84498    190201   3817330    116.00    124.88  --
4241.19/1063.03	c  N dy 14405   2193593     14497     62445         0    104571    190201   7530860    116.01    122.87  --
4272.31/1070.81	c  S st 14524   2210866     14497     62445         0    121843    190201  10692946    116.01   no data  --
4273.11/1071.09	c  S st 14524   2211370     14497     62445         0    122347    190201  10768200    116.01   no data  --
4273.53/1071.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4273.53/1071.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4273.94/1071.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.60
4276.70/1071.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4276.70/1071.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4276.70/1071.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14497 time:  0.02 s
4276.70/1071.94	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.47 7.94 7.38 3/288 27093
/proc/meminfo: memFree=24427220/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=117748 CPUtime=0 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 867 0 0 0 0 0 0 0 22 0 4 0 632150587 120573952 796 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816236347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 29437 824 331 112 0 24402 0
[pid=27093/tid=27094] ppid=27091 vsize=186764 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 407 0 0 0 0 0 0 0 23 0 4 0 632150588 191246336 2558 33554432000 4194304 4650419 140733746027888 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=186764 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) S 27091 27093 25967 0 -1 4202560 326 0 0 0 0 0 0 0 22 0 4 0 632150588 191246336 2576 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816341486 0 0 4096 2 18446604452315964736 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=186764 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 824 0 0 0 0 0 0 0 18 0 4 0 632150588 191246336 2581 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0643941 s]
/proc/loadavg: 7.47 7.94 7.38 3/288 27093
/proc/meminfo: memFree=24427220/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=362696 CPUtime=0.15 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 10097 0 0 0 11 4 0 0 18 0 4 0 632150587 371400704 9389 33554432000 4194304 4650419 140733746027888 18446744073709551615 4302873 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 90674 9416 360 112 0 85639 0
[pid=27093/tid=27094] ppid=27091 vsize=362696 CPUtime=0.03 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) S 27091 27093 25967 0 -1 4202560 2098 0 0 0 2 1 0 0 18 0 4 0 632150588 371400704 9436 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=362696 CPUtime=0.03 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) S 27091 27093 25967 0 -1 4202560 2474 0 0 0 3 0 0 0 17 0 4 0 632150588 371400704 9455 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816341486 0 0 4096 2 18446604452315964736 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=362696 CPUtime=0.02 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) S 27091 27093 25967 0 -1 4202560 2398 0 0 0 2 0 0 0 18 0 4 0 632150588 371400704 9472 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816341486 0 0 4096 2 18446604452315964736 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 362696

[startup+0.125506 s]
/proc/loadavg: 7.47 7.94 7.38 3/288 27093
/proc/meminfo: memFree=24427220/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=370304 CPUtime=0.55 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 15694 0 0 0 50 5 0 0 18 0 4 0 632150587 379191296 13873 33554432000 4194304 4650419 140733746027888 18446744073709551615 4468204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 92576 14083 384 112 0 87541 0
[pid=27093/tid=27094] ppid=27091 vsize=370304 CPUtime=0.13 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) D 27091 27093 25967 0 -1 4202560 3830 0 0 0 12 1 0 0 18 0 4 0 632150588 379191296 14623 33554432000 4194304 4650419 140733746027888 18446744073709551615 220815933808 0 0 4096 2 18446604452315964736 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=370304 CPUtime=0.15 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 4630 0 0 0 14 1 0 0 18 0 4 0 632150588 379191296 14886 33554432000 4194304 4650419 140733746027888 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=370304 CPUtime=0.14 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 2722 0 0 0 13 1 0 0 18 0 4 0 632150588 379191296 14886 33554432000 4194304 4650419 140733746027888 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 370304

[startup+1.13207 s]
/proc/loadavg: 7.47 7.94 7.38 3/288 27093
/proc/meminfo: memFree=24427220/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=371988 CPUtime=4.41 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 25311 0 0 0 435 6 0 0 19 0 4 0 632150587 380915712 21712 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 92997 21712 391 112 0 87962 0
[pid=27093/tid=27094] ppid=27091 vsize=371988 CPUtime=1.1 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 6795 0 0 0 108 2 0 0 19 0 4 0 632150588 380915712 21712 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=371988 CPUtime=1.1 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 7150 0 0 0 109 1 0 0 19 0 4 0 632150588 380915712 21712 33554432000 4194304 4650419 140733746027888 18446744073709551615 4329668 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=371988 CPUtime=1.09 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 3618 0 0 0 108 1 0 0 19 0 4 0 632150588 380915712 21712 33554432000 4194304 4650419 140733746027888 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 371988

[startup+1.23205 s]
/proc/loadavg: 7.47 7.94 7.38 3/288 27093
/proc/meminfo: memFree=24427220/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=371988 CPUtime=4.81 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 25679 0 0 0 475 6 0 0 19 0 4 0 632150587 380915712 22080 33554432000 4194304 4650419 140733746027888 18446744073709551615 4334509 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 92997 22080 391 112 0 87962 0
[pid=27093/tid=27094] ppid=27091 vsize=371988 CPUtime=1.2 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 6883 0 0 0 118 2 0 0 19 0 4 0 632150588 380915712 22080 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=371988 CPUtime=1.2 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 7239 0 0 0 119 1 0 0 19 0 4 0 632150588 380915712 22080 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=371988 CPUtime=1.19 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 3718 0 0 0 118 1 0 0 19 0 4 0 632150588 380915712 22080 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 371988

[startup+1.501 s]
/proc/loadavg: 7.47 7.94 7.38 3/288 27093
/proc/meminfo: memFree=24427220/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=372704 CPUtime=5.89 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 26811 0 0 0 582 7 0 0 19 0 4 0 632150587 381648896 23212 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 93176 23212 391 112 0 88141 0
[pid=27093/tid=27094] ppid=27091 vsize=372704 CPUtime=1.46 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 7126 0 0 0 144 2 0 0 19 0 4 0 632150588 381648896 23212 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=372704 CPUtime=1.47 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 7475 0 0 0 146 1 0 0 19 0 4 0 632150588 381648896 23212 33554432000 4194304 4650419 140733746027888 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=372704 CPUtime=1.46 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 4129 0 0 0 145 1 0 0 19 0 4 0 632150588 381648896 23212 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 372704

[startup+3.1107 s]
/proc/loadavg: 7.47 7.94 7.38 9/298 27106
/proc/meminfo: memFree=24131080/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=525248 CPUtime=12.31 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 32426 0 0 0 1223 8 0 0 25 0 4 0 632150587 537853952 28827 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 131312 28827 391 112 0 126277 0
[pid=27093/tid=27094] ppid=27091 vsize=525248 CPUtime=3.05 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 8493 0 0 0 303 2 0 0 24 0 4 0 632150588 537853952 28827 33554432000 4194304 4650419 140733746027888 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=525248 CPUtime=3.07 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 8850 0 0 0 306 1 0 0 24 0 4 0 632150588 537853952 28827 33554432000 4194304 4650419 140733746027888 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=525248 CPUtime=3.06 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 5532 0 0 0 305 1 0 0 25 0 4 0 632150588 537853952 28827 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 525248

[startup+6.30112 s]
/proc/loadavg: 7.59 7.96 7.39 9/298 27106
/proc/meminfo: memFree=24098356/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=386824 CPUtime=25.06 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 48291 0 0 0 2496 10 0 0 25 0 4 0 632150587 396107776 28200 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 96706 28200 394 112 0 91671 0
[pid=27093/tid=27094] ppid=27091 vsize=386824 CPUtime=6.23 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 12297 0 0 0 620 3 0 0 25 0 4 0 632150588 396107776 28210 33554432000 4194304 4650419 140733746027888 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=386824 CPUtime=6.28 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 12744 0 0 0 626 2 0 0 25 0 4 0 632150588 396107776 28210 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=386824 CPUtime=6.26 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 9557 0 0 0 624 2 0 0 25 0 4 0 632150588 396107776 28210 33554432000 4194304 4650419 140733746027888 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 386824

[startup+12.7009 s]
/proc/loadavg: 7.62 7.96 7.39 9/298 27106
/proc/meminfo: memFree=23937956/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=636532 CPUtime=50.57 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 115285 0 0 0 5029 28 0 0 25 0 4 0 632150587 651808768 84095 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 159133 84095 395 112 0 154098 0
[pid=27093/tid=27094] ppid=27091 vsize=636532 CPUtime=12.58 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 34246 0 0 0 1250 8 0 0 25 0 4 0 632150588 651808768 84095 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=636532 CPUtime=12.66 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 23528 0 0 0 1262 4 0 0 25 0 4 0 632150588 651808768 84095 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=636532 CPUtime=12.63 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 27556 0 0 0 1255 8 0 0 25 0 4 0 632150588 651808768 84095 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 636532

[startup+25.5006 s]
/proc/loadavg: 7.78 7.98 7.40 9/298 27107
/proc/meminfo: memFree=23549496/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=576892 CPUtime=101.65 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 150614 0 0 0 10127 38 0 0 25 0 4 0 632150587 590737408 85844 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 144223 85844 395 112 0 139188 0
[pid=27093/tid=27094] ppid=27091 vsize=576892 CPUtime=25.38 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 42394 0 0 0 2529 9 0 0 25 0 4 0 632150588 590737408 85844 33554432000 4194304 4650419 140733746027888 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=576892 CPUtime=25.46 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 32427 0 0 0 2539 7 0 0 25 0 4 0 632150588 590737408 85844 33554432000 4194304 4650419 140733746027888 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=576892 CPUtime=25.31 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 35934 0 0 0 2520 11 0 0 25 0 4 0 632150588 590737408 85844 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364491 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 576892

[startup+51.1009 s]
/proc/loadavg: 7.85 7.98 7.42 9/298 27107
/proc/meminfo: memFree=23339500/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=877216 CPUtime=203.81 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 248480 0 0 0 20322 59 0 0 25 0 4 0 632150587 898269184 115761 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476234 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 219304 115761 395 112 0 214269 0
[pid=27093/tid=27094] ppid=27091 vsize=877216 CPUtime=50.98 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 55131 0 0 0 5086 12 0 0 25 0 4 0 632150588 898269184 115761 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=877216 CPUtime=51.06 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 51086 0 0 0 5094 12 0 0 25 0 4 0 632150588 898269184 115761 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=877216 CPUtime=50.67 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 55299 0 0 0 5051 16 0 0 25 0 4 0 632150588 898269184 115761 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 877216

[startup+102.3 s]
/proc/loadavg: 8.09 8.03 7.46 9/298 27109
/proc/meminfo: memFree=23143680/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=926244 CPUtime=408.14 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 416440 0 0 0 40714 100 0 0 25 0 4 0 632150587 948473856 142852 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 231561 142852 395 112 0 226526 0
[pid=27093/tid=27094] ppid=27091 vsize=926244 CPUtime=102.18 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 89617 0 0 0 10196 22 0 0 25 0 4 0 632150588 948473856 142852 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=926244 CPUtime=102.26 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 82665 0 0 0 10204 22 0 0 25 0 4 0 632150588 948473856 142852 33554432000 4194304 4650419 140733746027888 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=926244 CPUtime=101.4 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 84484 0 0 0 10114 26 0 0 25 0 4 0 632150588 948473856 142852 33554432000 4194304 4650419 140733746027888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 926244

[startup+162.3 s]

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

[pid=27093] ppid=27091 vsize=1282600 CPUtime=2562.3 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2023400 0 0 0 255732 498 0 0 25 0 4 0 632150587 1313382400 234958 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 320650 234958 395 112 0 315615 0
[pid=27093/tid=27094] ppid=27091 vsize=1282600 CPUtime=642.18 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 451389 0 0 0 64107 111 0 0 25 0 4 0 632150588 1313382400 234958 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1282600 CPUtime=640.76 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 559412 0 0 0 63938 138 0 0 25 0 4 0 632150588 1313382400 234958 33554432000 4194304 4650419 140733746027888 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1282600 CPUtime=637.15 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 630729 0 0 0 63565 150 0 0 25 0 4 0 632150588 1313382400 234958 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.3
Current children cumulated vsize (KiB) 1282600

[startup+702.301 s]
/proc/loadavg: 8.13 8.12 7.77 9/298 27128
/proc/meminfo: memFree=22243624/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1296576 CPUtime=2801.75 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2200071 0 0 0 279631 544 0 0 25 0 4 0 632150587 1327693824 239110 33554432000 4194304 4650419 140733746027888 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 324144 239110 395 112 0 319109 0
[pid=27093/tid=27094] ppid=27091 vsize=1296576 CPUtime=702.17 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 484891 0 0 0 70096 121 0 0 25 0 4 0 632150588 1327693824 239110 33554432000 4194304 4650419 140733746027888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1296576 CPUtime=700.22 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 588060 0 0 0 69874 148 0 0 25 0 4 0 632150588 1327693824 239110 33554432000 4194304 4650419 140733746027888 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1296576 CPUtime=697.15 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 658901 0 0 0 69555 160 0 0 25 0 4 0 632150588 1327693824 239110 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.75
Current children cumulated vsize (KiB) 1296576

[startup+762.301 s]
/proc/loadavg: 8.09 8.11 7.78 9/298 27129
/proc/meminfo: memFree=22289480/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1364688 CPUtime=3041.17 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2312115 0 0 0 303535 582 0 0 25 0 4 0 632150587 1397440512 234066 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 341172 234066 395 112 0 336137 0
[pid=27093/tid=27094] ppid=27091 vsize=1364688 CPUtime=762.17 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 514719 0 0 0 76086 131 0 0 25 0 4 0 632150588 1397440512 234066 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1364688 CPUtime=759.67 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 615864 0 0 0 75809 158 0 0 25 0 4 0 632150588 1397440512 234066 33554432000 4194304 4650419 140733746027888 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1364688 CPUtime=757.15 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 686150 0 0 0 75547 168 0 0 25 0 4 0 632150588 1397440512 234066 33554432000 4194304 4650419 140733746027888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.17
Current children cumulated vsize (KiB) 1364688

[startup+822.301 s]
/proc/loadavg: 8.03 8.09 7.80 9/298 27131
/proc/meminfo: memFree=22102708/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1418004 CPUtime=3280.61 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2420524 0 0 0 327440 621 0 0 25 0 4 0 632150587 1452036096 269049 33554432000 4194304 4650419 140733746027888 18446744073709551615 4349707 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 354501 269049 395 112 0 349466 0
[pid=27093/tid=27094] ppid=27091 vsize=1418004 CPUtime=822.16 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 535955 0 0 0 82078 138 0 0 25 0 4 0 632150588 1452036096 269049 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1418004 CPUtime=819.14 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 643272 0 0 0 81749 165 0 0 25 0 4 0 632150588 1452036096 269049 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1418004 CPUtime=817.14 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 715657 0 0 0 81533 181 0 0 25 0 4 0 632150588 1452036096 269049 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.61
Current children cumulated vsize (KiB) 1418004

[startup+882.301 s]
/proc/loadavg: 8.07 8.08 7.81 9/298 27132
/proc/meminfo: memFree=22124272/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1365608 CPUtime=3520.06 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2478406 0 0 0 351361 645 0 0 25 0 4 0 632150587 1398382592 265422 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365657 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 341402 265422 395 112 0 336367 0
[pid=27093/tid=27094] ppid=27091 vsize=1365608 CPUtime=882.17 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 541420 0 0 0 88077 140 0 0 25 0 4 0 632150588 1398382592 265422 33554432000 4194304 4650419 140733746027888 18446744073709551615 4328261 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1365608 CPUtime=878.59 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 643272 0 0 0 87694 165 0 0 25 0 4 0 632150588 1398382592 265422 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1365608 CPUtime=877.14 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 743164 0 0 0 87520 194 0 0 25 0 4 0 632150588 1398382592 265422 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.06
Current children cumulated vsize (KiB) 1365608

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 7.83 9/298 27134
/proc/meminfo: memFree=22067456/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1380480 CPUtime=3759.5 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2556994 0 0 0 375274 676 0 0 25 0 4 0 632150587 1413611520 263524 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 345120 263524 395 112 0 340085 0
[pid=27093/tid=27094] ppid=27091 vsize=1380480 CPUtime=942.16 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 565153 0 0 0 94067 149 0 0 25 0 4 0 632150588 1413611520 263524 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1380480 CPUtime=938.05 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 643282 0 0 0 93640 165 0 0 25 0 4 0 632150588 1413611520 263524 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1380480 CPUtime=937.14 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 771206 0 0 0 93509 205 0 0 25 0 4 0 632150588 1413611520 263524 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.5
Current children cumulated vsize (KiB) 1380480

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 7.84 9/298 27136
/proc/meminfo: memFree=21980748/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1473596 CPUtime=3998.94 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2629774 0 0 0 399192 702 0 0 25 0 4 0 632150587 1508962304 279487 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367391 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 368399 279487 395 112 0 363364 0
[pid=27093/tid=27094] ppid=27091 vsize=1473596 CPUtime=1002.16 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 592438 0 0 0 100056 160 0 0 25 0 4 0 632150588 1508962304 279487 33554432000 4194304 4650419 140733746027888 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1473596 CPUtime=997.5 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 643282 0 0 0 99585 165 0 0 25 0 4 0 632150588 1508962304 279487 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1473596 CPUtime=997.14 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 792677 0 0 0 99505 209 0 0 25 0 4 0 632150588 1508962304 279487 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.94
Current children cumulated vsize (KiB) 1473596

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 7.85 9/298 27137
/proc/meminfo: memFree=21878044/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1501564 CPUtime=4238.42 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 2694876 0 0 0 423108 734 0 0 25 0 4 0 632150587 1537601536 287875 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 375391 287875 395 112 0 370356 0
[pid=27093/tid=27094] ppid=27091 vsize=1501564 CPUtime=1062.17 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 619638 0 0 0 106044 173 0 0 25 0 4 0 632150588 1537601536 287876 33554432000 4194304 4650419 140733746027888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1501564 CPUtime=1056.96 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 656698 0 0 0 105526 170 0 0 25 0 4 0 632150588 1537601536 287876 33554432000 4194304 4650419 140733746027888 18446744073709551615 4364450 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1501564 CPUtime=1057.15 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 792677 0 0 0 105506 209 0 0 25 0 4 0 632150588 1537601536 287876 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.42
Current children cumulated vsize (KiB) 1501564

[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 7.87 9/298 27139
/proc/meminfo: memFree=21765688/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1659748 CPUtime=4477.84 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 3115081 0 0 0 446976 808 0 0 25 0 4 0 632150587 1699581952 339693 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 414937 339693 395 112 0 409902 0
[pid=27093/tid=27094] ppid=27091 vsize=1659748 CPUtime=1122.17 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 706274 0 0 0 112028 189 0 0 25 0 4 0 632150588 1699581952 339693 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1659748 CPUtime=1116.41 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 681955 0 0 0 111457 184 0 0 25 0 4 0 632150588 1699581952 339693 33554432000 4194304 4650419 140733746027888 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1659748 CPUtime=1117.14 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 885014 0 0 0 111492 222 0 0 25 0 4 0 632150588 1699581952 339693 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.84
Current children cumulated vsize (KiB) 1659748

[startup+1182.31 s]
/proc/loadavg: 8.15 8.10 7.88 9/298 27140
/proc/meminfo: memFree=21864992/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1633364 CPUtime=4717.33 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 3507541 0 0 0 470857 876 0 0 25 0 4 0 632150587 1672564736 329939 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 408341 329939 400 112 0 403306 0
[pid=27093/tid=27094] ppid=27091 vsize=1633364 CPUtime=1182.18 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 706274 0 0 0 118029 189 0 0 25 0 4 0 632150588 1672564736 329939 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1633364 CPUtime=1175.87 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 706310 0 0 0 117388 199 0 0 25 0 4 0 632150588 1672564736 329939 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1633364 CPUtime=1177.15 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 1008271 0 0 0 117475 240 0 0 25 0 4 0 632150588 1672564736 329939 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.33
Current children cumulated vsize (KiB) 1633364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.18 8.11 7.89 6/293 27142
/proc/meminfo: memFree=23071292/32951124 swapFree=63485424/67111528
[pid=27093] ppid=27091 vsize=1633364 CPUtime=4800.37 cores=0,2,4,6
/proc/27093/stat : 27093 (strangenight1-m) R 27091 27093 25967 0 -1 4202496 3705274 0 0 0 479129 908 0 0 25 0 4 0 632150587 1672564736 336860 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476769 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27093/statm: 408341 336860 395 112 0 403306 0
[pid=27093/tid=27094] ppid=27091 vsize=1633364 CPUtime=1202.99 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 706274 0 0 0 120110 189 0 0 25 0 4 0 632150588 1672564736 336834 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27093/tid=27095] ppid=27091 vsize=1633364 CPUtime=1196.49 cores=0,2,4,6
/proc/27093/task/27095/stat : 27095 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 713241 0 0 0 119446 203 0 0 25 0 4 0 632150588 1672564736 336834 33554432000 4194304 4650419 140733746027888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=1633364 CPUtime=1197.96 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (strangenight1-m) R 27091 27093 25967 0 -1 4202560 1112866 0 0 0 119540 256 0 0 25 0 4 0 632150588 1672564736 336834 33554432000 4194304 4650419 140733746027888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1633364

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.18
CPU time (s): 4800.46
CPU user time (s): 4791.32
CPU system time (s): 9.14261
CPU usage (%): 398.98
Max. virtual memory (cumulated for all children) (KiB): 1659748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.32
system time used= 9.14261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3705646
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= 5858
involuntary context switches= 23296

runsolver used 3.05253 second user time and 7.9168 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-14 20:22:27
IDJOB=3368562
IDBENCH=82571
IDSOLVER=1846
FILE ID=node147/3368562-1305397347
RUNJOBID= node147-1305397346-27079
PBS_JOBID= 13324442
Free space on /tmp= 73108 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368562-1305397347/watcher-3368562-1305397347 -o /tmp/evaluation-result-3368562-1305397347/solver-3368562-1305397347 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368562-1305397347.cnf

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

MD5SUM BENCH= 951fe016d765ee9b2e2038c7330879da
RANDOM SEED=1744635810

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24427384 kB
Buffers:        285520 kB
Cached:        4971712 kB
SwapCached:      13132 kB
Active:        1621568 kB
Inactive:      6668316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24427384 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:            9032 kB
Writeback:           0 kB
AnonPages:     3028016 kB
Mapped:          14440 kB
Slab:           140928 kB
PageTables:      29036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44831532 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= 73100 MiB
End job on node147 at 2011-05-14 20:42:32