Trace number 3368950

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.3 1202.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
MD5SUM31822745c6eca997ddfb1c68091841ad
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.945856
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368950-1305407399.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.42/0.12	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.01 s
0.42/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.42/0.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.42/0.12	c calculated reachability. Time: 0.00
0.42/0.12	c Calc default polars -  time:   0.00 s pos:     276 undec:      70 neg:     304
0.42/0.12	c =========================================================================================
0.42/0.12	c types(t): F = full restart, N = normal restart
0.42/0.12	c types(t): S = simplification begin/end, E = solution found
0.42/0.12	c restart types(rt): st = static, dy = dynamic
0.42/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.42/0.12	c  B st     0         0       633      2736         0         0      8304         0   no data   no data  --
0.42/0.12	c Decided on static restart strategy
0.42/0.19	c  N st     8      4914       633      2736         0      4863      8304    146177   no data   no data  --
0.42/0.51	c  N st    10     11296       633      2736         0      4501      8304     93021   no data   no data  --
0.42/0.77	c  N st    11     17039       633      2736         0     10144      8304    264357   no data   no data  --
4.78/1.23	c  F st    12     25000       633      2736         0     12450      8304    317741   no data   no data  --
4.78/1.23	c  N st    12     25000       633      2736         0     12450      8304    317741   no data   no data  --
5.58/1.49	c  N dy    18     30002       633      2736         0     10718      8304    243915   no data   no data  --
5.58/1.49	c  S st    18     30002       633      2736         0     10718      8304    243915   no data   no data  --
5.97/1.52	c  S st    18     30508       633      2736         0     11224      8304    257153   no data   no data  --
5.97/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.97/1.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.97/1.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.76/1.80	c lits-rem:       166  cl-subs:      267  v-elim:      0  v-fix:    0  time:  1.05 s
7.19/1.81	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.03
7.19/1.81	c calculated reachability. Time: 0.00
7.19/1.81	c  N dy    18     30508       633      2736         0     10957      8304    248074   no data   no data  --
7.96/2.08	c  N dy    37     35044       633      2736         0     15462      8304    372976     18.70     20.14  --
8.76/2.29	c  N dy    49     39099       633      2736         0     11641      8304    212796     18.34     19.37  --
9.95/2.55	c  N dy    68     43353       633      2736         0     15865      8304    328862     18.31     19.28  --
10.76/2.73	c  S st    81     45763       633      2736         0      9379      8304    121966     18.35   no data  --
10.76/2.75	c  S st    81     46267       633      2736         0      9882      8304    134807     18.35   no data  --
10.76/2.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
10.76/2.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.16/2.86	c lits-rem:         8  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.38 s
11.16/2.86	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
11.16/2.86	c vivif2 --  cl tried     9877 cl shrink        0 lits rem          0 time: 0.00
11.16/2.87	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.03
11.16/2.87	c calculated reachability. Time: 0.00
11.16/2.87	c  N dy    81     46267       633      2736         0      9877      8304    134690     18.35   no data  --
12.35/3.16	c  N dy    89     51383       633      2736         0     14925      8304    271839     18.12     19.20  --
13.54/3.45	c  N dy   120     55432       633      2736         0     18946      8304    382979     18.33     19.39  --
14.74/3.70	c  N dy   142     59496       633      2736         0     13101      8304    199957     18.46     20.24  --
15.54/3.97	c  N dy   161     63756       633      2736         0     17324      8304    316573     18.51     19.49  --
17.14/4.31	c  N dy   184     67917       633      2736         0     21452      8304    429714     18.61     21.05  --
17.54/4.41	c  S st   193     69400       633      2736         0     12022      8304    143490     18.61     16.58  --
17.54/4.44	c  S st   193     69901       633      2736         0     12523      8304    156981     18.61   no data  --
17.54/4.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.54/4.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.54/4.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.54/4.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.54/4.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
17.54/4.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.34/4.61	c lits-rem:        32  cl-subs:       29  v-elim:      0  v-fix:    0  time:  0.64 s
18.34/4.61	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
18.34/4.61	c vivif2 --  cl tried    12494 cl shrink        0 lits rem          0 time: 0.00
18.34/4.62	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.04
18.34/4.62	c calculated reachability. Time: 0.00
18.34/4.62	c  N dy   193     69901       633      2736         0     12494      8304    155969     18.61   no data  --
19.54/4.92	c  N dy   212     74456       633      2736         0     17022      8304    276410     18.57     19.57  --
21.13/5.34	c  N dy   234     79680       633      2736         0     22187      8304    416825     18.61     19.74  --
23.53/5.90	c  F st   260     87501       633      2736         0     18032      8304    285251     18.54     18.83  --
23.53/5.90	c  N st   260     87501       633      2736         0     18032      8304    285251     18.54     18.83  --
25.16/6.39	c  N dy   270     93740       633      2736         0     24213      8304    454104     18.54     19.53  --
27.12/6.87	c  N dy   296    100290       633      2736         0     17839      8304    260593     18.55     19.78  --
28.72/7.26	c  S st   330    104851       633      2736         0     22375      8304    387927     18.62   no data  --
29.14/7.31	c  S st   330    105353       633      2736         0     22877      8304    402496     18.62   no data  --
29.14/7.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.14/7.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.14/7.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.14/7.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.14/7.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
29.14/7.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.52/8.43	c lits-rem:       450  cl-subs:      228  v-elim:      0  v-fix:    0  time:  4.35 s
33.52/8.43	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
33.52/8.43	c vivif2 --  cl tried    22649 cl shrink        0 lits rem          0 time: 0.02
33.52/8.46	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.09
33.52/8.46	c calculated reachability. Time: 0.00
33.52/8.46	c  N dy   330    105353       633      2736         0     22649      8304    394764     18.62   no data  --
36.70/9.26	c  N dy   377    114311       633      2736         0     17647      8304    229728     18.67     19.96  --
39.10/9.89	c  N dy   408    121664       633      2736         0     24931      8304    433962     18.69     19.70  --
42.31/10.64	c  N dy   430    129511       633      2736         0     17834      8304    216322     18.63     22.14  --
45.08/11.36	c  N dy   458    137783       633      2736         0     26020      8304    437948     18.62     22.37  --
50.67/12.75	c  N dy   491    152792       633      2736         0     24993      8304    383126     18.50     19.64  --
52.67/13.26	c  S st   518    158030       633      2736         0     30182      8304    525507     18.51     17.30  --
53.07/13.33	c  S st   518    158531       633      2736         0     30682      8304    539220     18.51   no data  --
53.07/13.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.07/13.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.07/13.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.07/13.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.07/13.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.07/13.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
53.07/13.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.45/14.95	c lits-rem:       550  cl-subs:      861  v-elim:      0  v-fix:    0  time:  6.34 s
59.45/14.95	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
59.45/14.95	c vivif2 --  cl tried    29821 cl shrink        0 lits rem          0 time: 0.02
59.45/14.98	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.10
59.45/14.98	c calculated reachability. Time: 0.00
59.45/14.98	c  N dy   518    158531       633      2736         0     29821      8304    515671     18.51   no data  --
64.67/16.24	c  N dy   577    172386       633      2736         0     26723      8304    411704     18.54     19.91  --
69.43/17.43	c  N dy   623    183605       633      2736         0     20008      8304    209105     18.55     19.56  --
73.82/18.55	c  N dy   662    195408       633      2736         0     31675      8304    523590     18.51     19.70  --
80.21/20.15	c  N dy   709    209307       633      2736         0     26655      8304    373866     18.51     19.54  --
87.00/21.87	c  N dy   775    223255       633      2736         0     20684      8304    189913     18.53     19.62  --
93.77/23.51	c  N dy   828    237600       633      2736         0     34892      8304    578924     18.52     23.52  --
93.77/23.54	c  S st   830    237797       633      2736         0     35089      8304    584279     18.52   no data  --
94.17/23.63	c  S st   830    238301       633      2736         0     35593      8304    598457     18.52   no data  --
94.17/23.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.17/23.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.17/23.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
94.17/23.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.17/23.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.17/23.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
94.17/23.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
101.76/25.57	c lits-rem:       838  cl-subs:      514  v-elim:      0  v-fix:    0  time:  7.58 s
101.76/25.57	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
101.76/25.58	c vivif2 --  cl tried    35079 cl shrink        0 lits rem          0 time: 0.03
102.16/25.61	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.12
102.16/25.61	c calculated reachability. Time: 0.00
102.16/25.61	c  N dy   830    238301       633      2736         0     35079      8304    582732     18.52   no data  --
108.94/27.33	c  N dy   923    253551       633      2736         0     29411      8304    410621     18.59     20.80  --
116.95/29.40	c  N dy   993    269736       633      2736         0     23630      8304    225825     18.59     26.02  --
125.31/31.44	c  N dy  1083    286981       633      2736         0     40732      8304    696875     18.63     21.04  --
134.10/33.70	c  N dy  1159    305998       633      2736         0     36773      8304    570414     18.62     19.74  --
134.51/33.74	c  F st  1162    306251       633      2736         0     37025      8304    577565     18.63   no data  --
144.86/36.38	c  N dy  1228    326504       633      2736         0     33267      8304    444134     18.63     19.66  --
156.47/39.25	c  N dy  1338    346570       633      2736         0     28398      8304    289519     18.68     19.88  --
161.62/40.59	c  S st  1414    357451       633      2736         0     39182      8304    591258     18.72   no data  --
162.02/40.68	c  S st  1414    357957       633      2736         0     39688      8304    605434     18.72   no data  --
162.02/40.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.02/40.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.42/40.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
162.42/40.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.42/40.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.42/40.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
162.42/40.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.05/42.68	c lits-rem:       979  cl-subs:      386  v-elim:      0  v-fix:    0  time:  7.83 s
170.05/42.68	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
170.05/42.69	c vivif2 --  cl tried    39302 cl shrink        0 lits rem          0 time: 0.03
170.41/42.72	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.13
170.41/42.72	c calculated reachability. Time: 0.00
170.41/42.72	c  N dy  1414    357957       633      2736         0     39302      8304    592298     18.72   no data  --
181.99/45.60	c  N dy  1482    378440       633      2736         0     33809      8304    424406     18.71     19.72  --
194.76/48.82	c  N dy  1559    399167       633      2736         0     27584      8304    228213     18.70     19.85  --
206.73/51.89	c  N dy  1641    420296       633      2736         0     48497      8304    802221     18.69     19.74  --
218.71/54.86	c  N dy  1715    440510       633      2736         0     40799      8304    570107     18.67     19.70  --
232.68/58.33	c  N dy  1823    460707       633      2736         0     32102      8304    315219     18.70     19.84  --
244.28/61.26	c  N dy  1922    480712       633      2736         0     51934      8304    858709     18.72     22.32  --
257.46/64.53	c  N dy  2029    501133       633      2736         0     42434      8304    570466     18.74     19.75  --
273.00/68.42	c  N dy  2156    521284       633      2736         0     31695      8304    259609     18.78     19.88  --
281.78/70.62	c  S st  2253    536936       633      2736         0     47223      8304    694332     18.81     17.31  --
282.18/70.73	c  S st  2253    537444       633      2736         0     47731      8304    708209     18.81   no data  --
282.18/70.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.18/70.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.18/70.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
282.18/70.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.18/70.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.18/70.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
282.18/70.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
291.36/73.00	c lits-rem:      1117  cl-subs:      457  v-elim:      0  v-fix:    0  time:  8.86 s
291.36/73.00	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
291.36/73.01	c vivif2 --  cl tried    47274 cl shrink        0 lits rem          0 time: 0.03
291.36/73.05	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.18
291.36/73.05	c calculated reachability. Time: 0.00
291.36/73.05	c  N dy  2253    537444       633      2736         0     47274      8304    692232     18.81   no data  --
314.53/78.88	c  N dy  2302    572405       633      2736         0     49972      8304    727442     18.70     19.82  --
330.47/82.88	c  N dy  2413    592491       633      2736         0     37294      8304    371734     18.73     20.94  --
344.85/86.43	c  N dy  2482    613321       633      2736         0     57918      8304    943622     18.71     19.78  --
359.22/90.09	c  N dy  2567    633397       633      2736         0     44159      8304    535510     18.72     20.19  --
375.18/94.00	c  N dy  2663    653466       633      2736         0     64058      8304   1095396     18.74     22.76  --
389.17/97.52	c  N dy  2739    673474       633      2736         0     49237      8304    663186     18.74     19.78  --
409.51/102.61	c  N dy  2878    694714       633      2736         0     70281      8304   1256377     18.78     19.83  --
424.31/106.35	c  N dy  2991    715011       633      2736         0     54774      8304    797426     18.81     19.97  --
442.64/110.97	c  N dy  3054    736142       633      2736         0     39024      8304    331807     18.80     19.84  --
457.00/114.53	c  N dy  3112    756562       633      2736         0     59223      8304    894579     18.79     19.99  --
475.77/119.27	c  N dy  3238    776649       633      2736         0     41513      8304    385954     18.81     20.31  --
497.72/124.78	c  N dy  3271    806167       633      2736         0     70572      8304   1155763     18.74     16.58  --
497.72/124.78	c  S st  3271    806167       633      2736         0     70572      8304   1155763     18.74     16.58  --
498.52/124.96	c  S st  3271    806672       633      2736         0     71077      8304   1170558     18.74   no data  --
498.52/124.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
498.52/124.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
498.52/125.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
498.94/125.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
498.94/125.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
498.94/125.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
498.94/125.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
506.90/127.04	c lits-rem:       148  cl-subs:     2728  v-elim:      0  v-fix:    0  time:  7.99 s
506.90/127.04	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
506.90/127.05	c vivif2 --  cl tried    68349 cl shrink        0 lits rem          0 time: 0.06
507.30/127.13	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.31
507.30/127.13	c calculated reachability. Time: 0.00
507.30/127.13	c  N dy  3271    806672       633      2736         0     68349      8304   1103448     18.74   no data  --
524.06/131.30	c  N dy  3383    826832       633      2736         0     49781      8304    591211     18.76     19.75  --
566.37/141.91	c  N dy  3476    876851       633      2736         0     59610      8304    836168     18.65     19.66  --
586.76/147.07	c  N dy  3584    896905       633      2736         0     79468      8304   1387385     18.67     19.75  --
602.30/150.95	c  N dy  3692    916955       633      2736         0     58835      8304    806190     18.69     19.96  --
622.66/156.05	c  N dy  3792    937010       633      2736         0     78687      8304   1356741     18.70     21.20  --
640.21/160.42	c  N dy  3894    957840       633      2736         0     57753      8304    746718     18.70     19.74  --
660.17/165.42	c  N dy  3976    977940       633      2736         0     77648      8304   1301066     18.70     21.14  --
678.95/170.17	c  N dy  4096    998108       633      2736         0     55089      8304    660719     18.72     19.80  --
698.89/175.13	c  N dy  4217   1018129       633      2736         0     74920      8304   1216495     18.74     20.53  --
720.84/180.70	c  N dy  4362   1038151       633      2736         0     51185      8304    528955     18.78     20.53  --
738.81/185.17	c  N dy  4449   1058179       633      2736         0     71010      8304   1088740     18.78     24.16  --
755.56/189.39	c  F st  4529   1071876       633      2736         0     84572      8304   1467747     18.79   no data  --
762.38/191.08	c Decided on static restart strategy
764.34/191.50	c  N st  4536   1079912       633      2736         0     47951      8304    420788     18.79   no data  --
779.51/195.33	c  N st  4539   1100177       633      2736         0     67858      8304   1010027     18.79   no data  --
816.22/204.50	c  N st  4541   1136171       633      2736         0     57830      8304   1275506     18.79   no data  --
852.14/213.60	c  N st  4542   1168563       633      2736         0     89621      8304   2228877     18.79   no data  --
897.65/224.92	c  N st  4543   1210008       633      2736         0     83994      8304   1883137     18.79   no data  --
897.65/224.92	c  S st  4543   1210008       633      2736         0     83994      8304   1883137     18.79   no data  --
898.88/225.21	c  S st  4543   1210509       633      2736         0     84495      8304   1896700     18.79   no data  --
898.88/225.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
898.88/225.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
898.88/225.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
899.24/225.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
899.24/225.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
899.24/225.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
899.24/225.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
937.98/235.06	c lits-rem:        71  cl-subs:     5158  v-elim:      0  v-fix:    0  time: 38.78 s
937.98/235.06	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
937.98/235.08	c vivif2 --  cl tried    79337 cl shrink        0 lits rem          0 time: 0.08
938.38/235.18	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.42
938.38/235.19	c calculated reachability. Time: 0.00
938.38/235.19	c  N st  4543   1210509       633      2736         0     79337      8304   1740411     18.79   no data  --
1016.58/254.80	c  N st  4544   1283393       633      2736         0     55884      8304    966018     18.79   no data  --
1143.50/286.52	c  N st  4545   1392716       633      2736         0     64057      8304   1169800     18.79   no data  --
1300.76/325.94	c  N st  4546   1556700       633      2736         0     68734      8304   1195021     18.79   no data  --
1465.60/367.29	c  N st  4547   1710512       633      2736         0    110531      8304   2363830     18.79   no data  --
1465.60/367.29	c  S st  4547   1710512       633      2736         0    110531      8304   2363830     18.79   no data  --
1467.20/367.61	c  S st  4547   1711017       633      2736         0    111036      8304   2377989     18.79   no data  --
1467.20/367.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1467.20/367.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1467.20/367.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1467.60/367.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1467.60/367.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1467.60/367.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
1467.60/367.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1554.59/389.57	c lits-rem:       594  cl-subs:     8666  v-elim:      0  v-fix:    0  time: 87.00 s
1554.59/389.57	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
1554.59/389.59	c vivif2 --  cl tried   102370 cl shrink        0 lits rem          0 time: 0.10
1555.39/389.76	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.66
1555.39/389.76	c calculated reachability. Time: 0.00
1555.39/389.76	c  N st  4547   1711017       633      2736         0    102370      8304   2131544     18.79   no data  --
2009.63/503.58	c  N st  4548   2079981       633      2736         0    114130      8304   2216990     18.79   no data  --
2183.63/547.14	c  N st  4549   2211018       633      2736         0    117657      8304   2140921     18.79   no data  --
2183.63/547.14	c  S st  4549   2211018       633      2736         0    117657      8304   2140921     18.79   no data  --
2185.26/547.52	c  S st  4549   2211521       633      2736         0    118160      8304   2154554     18.79   no data  --
2185.26/547.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2185.26/547.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2185.26/547.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2185.62/547.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2185.62/547.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2185.62/547.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2185.62/547.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2279.80/571.26	c lits-rem:       426  cl-subs:    12650  v-elim:      0  v-fix:    0  time: 94.16 s
2279.80/571.26	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
2279.80/571.28	c vivif2 --  cl tried   105510 cl shrink        0 lits rem          0 time: 0.10
2280.60/571.44	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.63
2280.60/571.44	c calculated reachability. Time: 0.00
2280.60/571.44	c  N st  4549   2211521       633      2736         0    105510      8304   1853795     18.79   no data  --
2976.28/745.72	c  N st  4550   2711521       633      2736         0    129543      8304   2454620     18.79   no data  --
2976.28/745.72	c  S st  4550   2711521       633      2736         0    129543      8304   2454620     18.79   no data  --
2977.88/746.11	c  S st  4550   2712022       633      2736         0    130042      8304   2468872     18.79   no data  --
2977.88/746.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2977.88/746.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2977.88/746.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
2978.28/746.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2978.28/746.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2978.28/746.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2978.28/746.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3073.26/770.02	c lits-rem:       110  cl-subs:     9594  v-elim:      0  v-fix:    0  time: 94.75 s
3073.26/770.02	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
3073.26/770.05	c vivif2 --  cl tried   120448 cl shrink        0 lits rem          0 time: 0.12
3074.06/770.25	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.79
3074.06/770.25	c calculated reachability. Time: 0.00
3074.06/770.25	c  N st  4550   2712022       633      2736         0    120448      8304   2229806     18.79   no data  --
3845.55/963.52	c  N st  4551   3212023       633      2736         0     96225      8304   1398098     18.79   no data  --
3845.55/963.52	c  S st  4551   3212023       633      2736         0     96225      8304   1398098     18.79   no data  --
3846.75/963.86	c  S st  4551   3212525       633      2736         0     96727      8304   1411831     18.79   no data  --
3846.75/963.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3846.75/963.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3847.15/963.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
3847.15/963.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3847.15/963.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3847.15/963.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
3847.15/963.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3866.74/968.89	c lits-rem:       118  cl-subs:     3004  v-elim:      0  v-fix:    0  time: 19.59 s
3866.74/968.89	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
3867.10/968.90	c vivif2 --  cl tried    93723 cl shrink        0 lits rem          0 time: 0.07
3867.50/969.04	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.53
3867.50/969.04	c calculated reachability. Time: 0.00
3867.50/969.04	c  N st  4551   3212525       633      2736         0     93723      8304   1336683     18.79   no data  --
4613.84/1156.09	c  N st  4552   3712525       633      2736         0    104329      8304   1505963     18.79   no data  --
4613.84/1156.09	c  S st  4552   3712525       633      2736         0    104329      8304   1505963     18.79   no data  --
4615.04/1156.39	c  S st  4552   3713028       633      2736         0    104832      8304   1519997     18.79   no data  --
4615.43/1156.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4615.43/1156.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4615.43/1156.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
4615.83/1156.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4615.83/1156.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4615.83/1156.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
4615.83/1156.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4633.40/1160.98	c lits-rem:       127  cl-subs:     3092  v-elim:      0  v-fix:    0  time: 17.85 s
4633.40/1160.98	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
4633.80/1161.00	c vivif2 --  cl tried   101740 cl shrink        0 lits rem          0 time: 0.08
4634.20/1161.15	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.59
4634.20/1161.15	c calculated reachability. Time: 0.00
4634.20/1161.15	c  N st  4552   3713028       633      2736         0    101740      8304   1443315     18.79   no data  --
4701.64/1178.08	c  F st  4553   3751562       633      2736         0    139344      8304   2606347     18.79   no data  --
4701.64/1178.08	c  N st  4553   3751562       633      2736         0    139344      8304   2606347     18.79   no data  --
4712.82/1180.85	c Decided on static restart strategy
4760.31/1192.75	c  N st  4563   3779864       633      2736         0     84313      8304    895650     18.79   no data  --

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-3368950-1305407399/watcher-3368950-1305407399 -o /tmp/evaluation-result-3368950-1305407399/solver-3368950-1305407399 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368950-1305407399.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.41 7.88 7.47 1/274 19185
/proc/meminfo: memFree=25092600/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 412 0 0 0 1 0 0 0 18 0 4 0 633155226 52465664 353 33554432000 4194304 4650419 140734581162816 18446744073709551615 46971098671026 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 12809 353 303 112 0 7774 0
[pid=19185/tid=19187] ppid=19183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 633155226 52465664 353 33554432000 4194304 4650419 140734581162816 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 633155226 52465664 353 33554432000 4194304 4650419 140734581162816 18446744073709551615 46971098671016 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 633155226 52465664 353 33554432000 4194304 4650419 140734581162816 18446744073709551615 46971098671030 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.085738 s]
/proc/loadavg: 7.41 7.88 7.47 1/274 19185
/proc/meminfo: memFree=25092600/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=283128 CPUtime=0.42 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 1959 0 0 0 42 0 0 0 18 0 4 0 633155226 289923072 1776 33554432000 4194304 4650419 140734581162816 18446744073709551615 4333403 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 70782 1776 391 112 0 65747 0
[pid=19185/tid=19187] ppid=19183 vsize=283128 CPUtime=0.1 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 449 0 0 0 10 0 0 0 20 0 4 0 633155226 289923072 1776 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=283128 CPUtime=0.1 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 367 0 0 0 10 0 0 0 18 0 4 0 633155226 289923072 1777 33554432000 4194304 4650419 140734581162816 18446744073709551615 254261275301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=283128 CPUtime=0.1 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 298 0 0 0 10 0 0 0 18 0 4 0 633155226 289923072 1777 33554432000 4194304 4650419 140734581162816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 283128

[startup+0.153091 s]
/proc/loadavg: 7.41 7.88 7.47 1/274 19185
/proc/meminfo: memFree=25092600/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=286068 CPUtime=3.58 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 6142 0 0 0 357 1 0 0 19 0 4 0 633155226 292933632 2952 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 71517 2952 393 112 0 66482 0
[pid=19185/tid=19187] ppid=19183 vsize=286068 CPUtime=0.88 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1474 0 0 0 88 0 0 0 21 0 4 0 633155226 292933632 2952 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=286068 CPUtime=0.89 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1420 0 0 0 89 0 0 0 18 0 4 0 633155226 292933632 2952 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=286068 CPUtime=0.89 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1329 0 0 0 89 0 0 0 19 0 4 0 633155226 292933632 2952 33554432000 4194304 4650419 140734581162816 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 286068

[startup+1.00472 s]
/proc/loadavg: 7.41 7.88 7.47 1/274 19185
/proc/meminfo: memFree=25092600/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=286068 CPUtime=3.98 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 6375 0 0 0 397 1 0 0 19 0 4 0 633155226 292933632 3185 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 71517 3185 393 112 0 66482 0
[pid=19185/tid=19187] ppid=19183 vsize=286068 CPUtime=0.97 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1536 0 0 0 97 0 0 0 21 0 4 0 633155226 292933632 3185 33554432000 4194304 4650419 140734581162816 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=286068 CPUtime=0.99 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1478 0 0 0 99 0 0 0 19 0 4 0 633155226 292933632 3185 33554432000 4194304 4650419 140734581162816 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=286068 CPUtime=0.99 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1387 0 0 0 99 0 0 0 19 0 4 0 633155226 292933632 3185 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 286068

[startup+1.1047 s]
/proc/loadavg: 7.41 7.88 7.47 1/274 19185
/proc/meminfo: memFree=25092600/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=286068 CPUtime=4.38 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 6624 0 0 0 437 1 0 0 19 0 4 0 633155226 292933632 3434 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 71517 3434 394 112 0 66482 0
[pid=19185/tid=19187] ppid=19183 vsize=286068 CPUtime=1.07 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1590 0 0 0 107 0 0 0 22 0 4 0 633155226 292933632 3434 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=286068 CPUtime=1.09 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1534 0 0 0 109 0 0 0 19 0 4 0 633155226 292933632 3434 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=286068 CPUtime=1.09 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1469 0 0 0 109 0 0 0 19 0 4 0 633155226 292933632 3434 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 286068

[startup+1.50064 s]
/proc/loadavg: 7.41 7.88 7.47 1/274 19185
/proc/meminfo: memFree=25092600/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=286676 CPUtime=5.97 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 8369 0 0 0 595 2 0 0 19 0 4 0 633155226 293556224 3633 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 71669 3633 394 112 0 66634 0
[pid=19185/tid=19187] ppid=19183 vsize=286676 CPUtime=1.47 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 2022 0 0 0 147 0 0 0 23 0 4 0 633155226 293556224 3633 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=286676 CPUtime=1.49 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1990 0 0 0 149 0 0 0 20 0 4 0 633155226 293556224 3633 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=286676 CPUtime=1.49 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 1841 0 0 0 149 0 0 0 19 0 4 0 633155226 293556224 3633 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286676

[startup+3.10035 s]
/proc/loadavg: 7.41 7.88 7.47 9/286 19200
/proc/meminfo: memFree=24998460/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=299140 CPUtime=12.35 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 17984 0 0 0 1231 4 0 0 25 0 4 0 633155226 306319360 10974 33554432000 4194304 4650419 140734581162816 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 74785 10974 395 112 0 69750 0
[pid=19185/tid=19187] ppid=19183 vsize=299140 CPUtime=3.07 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 4341 0 0 0 306 1 0 0 25 0 4 0 633155226 306319360 10974 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=299140 CPUtime=3.08 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 4246 0 0 0 308 0 0 0 25 0 4 0 633155226 306319360 10974 33554432000 4194304 4650419 140734581162816 18446744073709551615 4307209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=299140 CPUtime=3.06 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 4468 0 0 0 306 0 0 0 25 0 4 0 633155226 306319360 10975 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 299140

[startup+6.31078 s]
/proc/loadavg: 7.45 7.88 7.47 9/286 19200
/proc/meminfo: memFree=24972056/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=308572 CPUtime=25.16 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 25624 0 0 0 2511 5 0 0 25 0 4 0 633155226 315977728 14233 33554432000 4194304 4650419 140734581162816 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 77143 14233 395 112 0 72108 0
[pid=19185/tid=19187] ppid=19183 vsize=308572 CPUtime=6.29 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 6839 0 0 0 627 2 0 0 25 0 4 0 633155226 315977728 14233 33554432000 4194304 4650419 140734581162816 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=308572 CPUtime=6.3 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 6165 0 0 0 629 1 0 0 25 0 4 0 633155226 315977728 14233 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=308572 CPUtime=6.26 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 5882 0 0 0 625 1 0 0 25 0 4 0 633155226 315977728 14233 33554432000 4194304 4650419 140734581162816 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 308572

[startup+12.7007 s]
/proc/loadavg: 7.50 7.88 7.47 9/286 19200
/proc/meminfo: memFree=24915028/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=309948 CPUtime=50.67 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 40028 0 0 0 5059 8 0 0 25 0 4 0 633155226 317386752 22301 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 77487 22301 395 112 0 72452 0
[pid=19185/tid=19187] ppid=19183 vsize=309948 CPUtime=12.67 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 10990 0 0 0 1265 2 0 0 25 0 4 0 633155226 317386752 22301 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=309948 CPUtime=12.69 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 9853 0 0 0 1267 2 0 0 25 0 4 0 633155226 317386752 22301 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=309948 CPUtime=12.59 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 8808 0 0 0 1258 1 0 0 25 0 4 0 633155226 317386752 22301 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 309948

[startup+25.5004 s]
/proc/loadavg: 7.61 7.89 7.48 9/286 19201
/proc/meminfo: memFree=24844256/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=312668 CPUtime=101.76 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 59635 0 0 0 10162 14 0 0 25 0 4 0 633155226 320172032 30073 33554432000 4194304 4650419 140734581162816 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 78167 30073 395 112 0 73132 0
[pid=19185/tid=19187] ppid=19183 vsize=312668 CPUtime=25.47 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 16522 0 0 0 2544 3 0 0 25 0 4 0 633155226 320172032 30073 33554432000 4194304 4650419 140734581162816 18446744073709551615 4314706 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=312668 CPUtime=25.49 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 15051 0 0 0 2546 3 0 0 25 0 4 0 633155226 320172032 30073 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=312668 CPUtime=25.28 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 12766 0 0 0 2526 2 0 0 25 0 4 0 633155226 320172032 30073 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 312668

[startup+51.1008 s]
/proc/loadavg: 7.74 7.89 7.49 9/286 19201
/proc/meminfo: memFree=24787880/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=380712 CPUtime=203.94 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 88455 0 0 0 20373 21 0 0 25 0 4 0 633155226 389849088 36721 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 95178 36721 395 112 0 90143 0
[pid=19185/tid=19187] ppid=19183 vsize=380712 CPUtime=51.07 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 24533 0 0 0 5101 6 0 0 25 0 4 0 633155226 389849088 36721 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=380712 CPUtime=51.09 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 23429 0 0 0 5104 5 0 0 25 0 4 0 633155226 389849088 36721 33554432000 4194304 4650419 140734581162816 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=380712 CPUtime=50.67 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 19262 0 0 0 5063 4 0 0 25 0 4 0 633155226 389849088 36721 33554432000 4194304 4650419 140734581162816 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 380712

[startup+102.301 s]
/proc/loadavg: 7.92 7.92 7.52 9/286 19203
/proc/meminfo: memFree=24717676/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=403216 CPUtime=408.31 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 128391 0 0 0 40795 36 0 0 25 0 4 0 633155226 412893184 48240 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 100804 48240 395 112 0 95769 0
[pid=19185/tid=19187] ppid=19183 vsize=403216 CPUtime=102.27 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 39981 0 0 0 10215 12 0 0 25 0 4 0 633155226 412893184 48240 33554432000 4194304 4650419 140734581162816 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=403216 CPUtime=102.29 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 35072 0 0 0 10219 10 0 0 25 0 4 0 633155226 412893184 48240 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=403216 CPUtime=101.45 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 27399 0 0 0 10138 7 0 0 25 0 4 0 633155226 412893184 48240 33554432000 4194304 4650419 140734581162816 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (KiB) 403216

[startup+162.301 s]

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

[pid=19185] ppid=19183 vsize=691076 CPUtime=2803.06 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 362740 0 0 0 280174 132 0 0 25 0 4 0 633155226 707661824 111502 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 172769 111502 395 112 0 167734 0
[pid=19185/tid=19187] ppid=19183 vsize=691076 CPUtime=702.28 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 85207 0 0 0 70197 31 0 0 25 0 4 0 633155226 707661824 111502 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=691076 CPUtime=702.3 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 98909 0 0 0 70193 37 0 0 25 0 4 0 633155226 707661824 111502 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=691076 CPUtime=696.25 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 74770 0 0 0 69600 25 0 0 25 0 4 0 633155226 707661824 111502 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.06
Current children cumulated vsize (KiB) 691076

[startup+762.301 s]
/proc/loadavg: 8.07 8.06 7.79 9/286 19220
/proc/meminfo: memFree=24210484/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=653288 CPUtime=3042.53 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 376361 0 0 0 304115 138 0 0 25 0 4 0 633155226 668966912 109250 33554432000 4194304 4650419 140734581162816 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 163322 109250 395 112 0 158287 0
[pid=19185/tid=19187] ppid=19183 vsize=653288 CPUtime=762.28 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 85208 0 0 0 76197 31 0 0 25 0 4 0 633155226 668966912 109250 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=653288 CPUtime=762.31 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 104033 0 0 0 76191 40 0 0 25 0 4 0 633155226 668966912 109250 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=653288 CPUtime=755.72 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 77617 0 0 0 75545 27 0 0 25 0 4 0 633155226 668966912 109250 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.53
Current children cumulated vsize (KiB) 653288

[startup+822.301 s]
/proc/loadavg: 8.15 8.08 7.81 9/286 19222
/proc/meminfo: memFree=24173644/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=704800 CPUtime=3282.01 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 390450 0 0 0 328058 143 0 0 25 0 4 0 633155226 721715200 118457 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 176200 118457 395 112 0 171165 0
[pid=19185/tid=19187] ppid=19183 vsize=704800 CPUtime=822.28 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 88163 0 0 0 82196 32 0 0 25 0 4 0 633155226 721715200 118457 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=704800 CPUtime=822.31 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 109956 0 0 0 82189 42 0 0 25 0 4 0 633155226 721715200 118457 33554432000 4194304 4650419 140734581162816 18446744073709551615 4339933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=704800 CPUtime=815.2 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 77882 0 0 0 81493 27 0 0 25 0 4 0 633155226 721715200 118457 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3282.01
Current children cumulated vsize (KiB) 704800

[startup+882.3 s]
/proc/loadavg: 8.13 8.08 7.82 9/286 19224
/proc/meminfo: memFree=24118068/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=653288 CPUtime=3521.46 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 405093 0 0 0 351998 148 0 0 25 0 4 0 633155226 668966912 121440 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 163322 121440 395 112 0 158287 0
[pid=19185/tid=19187] ppid=19183 vsize=653288 CPUtime=882.28 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 88294 0 0 0 88196 32 0 0 25 0 4 0 633155226 668966912 121440 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=653288 CPUtime=882.31 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 118397 0 0 0 88186 45 0 0 25 0 4 0 633155226 668966912 121440 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=653288 CPUtime=874.66 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 78086 0 0 0 87439 27 0 0 25 0 4 0 633155226 668966912 121440 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.46
Current children cumulated vsize (KiB) 653288

[startup+942.301 s]
/proc/loadavg: 8.35 8.14 7.86 9/286 19228
/proc/meminfo: memFree=24178904/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=719860 CPUtime=3760.97 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 415113 0 0 0 375941 156 0 0 25 0 4 0 633155226 737136640 111259 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 179965 111259 395 112 0 174930 0
[pid=19185/tid=19187] ppid=19183 vsize=719860 CPUtime=942.29 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 91474 0 0 0 94195 34 0 0 25 0 4 0 633155226 737136640 111259 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=719860 CPUtime=942.32 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 120847 0 0 0 94185 47 0 0 25 0 4 0 633155226 737136640 111259 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=719860 CPUtime=934.15 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 81278 0 0 0 93386 29 0 0 25 0 4 0 633155226 737136640 111259 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.97
Current children cumulated vsize (KiB) 719860

[startup+1002.3 s]
/proc/loadavg: 8.19 8.12 7.87 9/286 19230
/proc/meminfo: memFree=24097264/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=775964 CPUtime=4000.4 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 430782 0 0 0 399878 162 0 0 25 0 4 0 633155226 794587136 123819 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 193991 123819 395 112 0 188956 0
[pid=19185/tid=19187] ppid=19183 vsize=775964 CPUtime=1002.29 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 94467 0 0 0 100193 36 0 0 25 0 4 0 633155226 794587136 123819 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=775964 CPUtime=1002.31 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 124929 0 0 0 100182 49 0 0 25 0 4 0 633155226 794587136 123819 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=775964 CPUtime=993.6 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 81606 0 0 0 99331 29 0 0 25 0 4 0 633155226 794587136 123819 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.4
Current children cumulated vsize (KiB) 775964

[startup+1062.31 s]
/proc/loadavg: 8.16 8.13 7.88 9/286 19231
/proc/meminfo: memFree=24056456/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=770352 CPUtime=4239.89 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 450268 0 0 0 423819 170 0 0 25 0 4 0 633155226 788840448 130549 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 192588 130549 395 112 0 187553 0
[pid=19185/tid=19187] ppid=19183 vsize=770352 CPUtime=1062.3 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 96236 0 0 0 106193 37 0 0 25 0 4 0 633155226 788840448 130549 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=770352 CPUtime=1062.32 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 130373 0 0 0 106181 51 0 0 25 0 4 0 633155226 788840448 130549 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=770352 CPUtime=1053.08 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 86295 0 0 0 105278 30 0 0 25 0 4 0 633155226 788840448 130549 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.89
Current children cumulated vsize (KiB) 770352

[startup+1122.3 s]
/proc/loadavg: 8.17 8.13 7.90 9/286 19233
/proc/meminfo: memFree=24087688/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=783900 CPUtime=4479.35 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 470102 0 0 0 447754 181 0 0 25 0 4 0 633155226 802713600 128008 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 195975 128008 395 112 0 190940 0
[pid=19185/tid=19187] ppid=19183 vsize=783900 CPUtime=1122.29 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 101738 0 0 0 112189 40 0 0 25 0 4 0 633155226 802713600 128008 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=783900 CPUtime=1122.32 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 136532 0 0 0 112177 55 0 0 25 0 4 0 633155226 802713600 128008 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=783900 CPUtime=1112.56 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 86829 0 0 0 111225 31 0 0 25 0 4 0 633155226 802713600 128008 33554432000 4194304 4650419 140734581162816 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.35
Current children cumulated vsize (KiB) 783900

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 7.91 9/286 19235
/proc/meminfo: memFree=24036588/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=880732 CPUtime=4718.8 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 489032 0 0 0 471690 190 0 0 25 0 4 0 633155226 901869568 136105 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 220183 136106 395 112 0 215148 0
[pid=19185/tid=19187] ppid=19183 vsize=880732 CPUtime=1182.29 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 103051 0 0 0 118188 41 0 0 25 0 4 0 633155226 901869568 136106 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=880732 CPUtime=1182.32 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 141964 0 0 0 118173 59 0 0 25 0 4 0 633155226 901869568 136106 33554432000 4194304 4650419 140734581162816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=880732 CPUtime=1172.02 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 90145 0 0 0 117169 33 0 0 25 0 4 0 633155226 901869568 136106 33554432000 4194304 4650419 140734581162816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.8
Current children cumulated vsize (KiB) 880732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 8.10 8.11 7.91 9/286 19235
/proc/meminfo: memFree=24038320/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=838052 CPUtime=4800.24 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 496105 0 0 0 479831 193 0 0 25 0 4 0 633155226 858165248 132424 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 209513 132424 395 112 0 204478 0
[pid=19185/tid=19187] ppid=19183 vsize=838052 CPUtime=1202.7 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 105465 0 0 0 120228 42 0 0 25 0 4 0 633155226 858165248 132424 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=838052 CPUtime=1202.72 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 143161 0 0 0 120213 59 0 0 25 0 4 0 633155226 858165248 132425 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=838052 CPUtime=1192.24 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 90432 0 0 0 119191 33 0 0 25 0 4 0 633155226 858165248 132425 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 838052

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

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

[startup+1202.7 s]
/proc/loadavg: 8.10 8.11 7.91 9/286 19235
/proc/meminfo: memFree=24038320/32951124 swapFree=67057896/67111528
[pid=19185] ppid=19183 vsize=838052 CPUtime=4800.24 cores=0,2,4,6
/proc/19185/stat : 19185 (strangenight1-m) R 19183 19185 19052 0 -1 4202496 496105 0 0 0 479831 193 0 0 25 0 4 0 633155226 858165248 132424 33554432000 4194304 4650419 140734581162816 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19185/statm: 209513 132424 395 112 0 204478 0
[pid=19185/tid=19187] ppid=19183 vsize=838052 CPUtime=1202.7 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 105465 0 0 0 120228 42 0 0 25 0 4 0 633155226 858165248 132424 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=838052 CPUtime=1202.72 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 143161 0 0 0 120213 59 0 0 25 0 4 0 633155226 858165248 132425 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=838052 CPUtime=1192.24 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (strangenight1-m) R 19183 19185 19052 0 -1 4202560 90432 0 0 0 119191 33 0 0 25 0 4 0 633155226 858165248 132425 33554432000 4194304 4650419 140734581162816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 838052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.74
CPU time (s): 4800.3
CPU user time (s): 4798.34
CPU system time (s): 1.9607
CPU usage (%): 399.113
Max. virtual memory (cumulated for all children) (KiB): 987540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 1.9607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496106
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= 645
involuntary context switches= 23748

runsolver used 3.05054 second user time and 7.45187 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-14 23:09:59
IDJOB=3368950
IDBENCH=82959
IDSOLVER=1846
FILE ID=node140/3368950-1305407399
RUNJOBID= node140-1305406194-19070
PBS_JOBID= 13324508
Free space on /tmp= 73488 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368950-1305407399/watcher-3368950-1305407399 -o /tmp/evaluation-result-3368950-1305407399/solver-3368950-1305407399 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368950-1305407399.cnf

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

MD5SUM BENCH= 31822745c6eca997ddfb1c68091841ad
RANDOM SEED=840632712

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.74
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.833
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.833
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:      25092756 kB
Buffers:        297796 kB
Cached:        3721976 kB
SwapCached:       8056 kB
Active:        4876436 kB
Inactive:      2672576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25092756 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:     3526200 kB
Mapped:          22768 kB
Slab:           224432 kB
PageTables:      21624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45560996 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= 73476 MiB
End job on node140 at 2011-05-14 23:30:04