Trace number 3368664

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.21 1203.48

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf
MD5SUM0a98d6d9a7bdb797305aed69a94f9a69
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark355.73
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.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-3368664-1305400178.cnf'
0.00/0.01	c -- header says num vars:          15000
0.00/0.01	c -- header says num clauses:       63000
0.09/0.06	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.06	c -- vars added      15000
0.09/0.06	c Parsing time:  0.10 s
0.09/0.06	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.09/0.15	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.14
0.09/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.95/0.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.95/0.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.95/0.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.01 s
0.95/0.97	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.95/0.97	c lits-rem:         0  cl-subs:        0  v-elim:    498  v-fix:    0  time:  0.54 s
0.95/0.97	c Finding binary XORs  T:     0.01 s  found:       0
0.95/0.97	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.95/0.97	c calculated reachability. Time: 0.00
0.95/0.97	c Calc default polars -  time:   0.01 s pos:    6618 undec:    1753 neg:    6629
0.95/0.97	c =========================================================================================
0.95/0.97	c types(t): F = full restart, N = normal restart
0.95/0.97	c types(t): S = simplification begin/end, E = solution found
0.95/0.97	c restart types(rt): st = static, dy = dynamic
0.95/0.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.95/0.97	c  B st     0         0     14502     62365         0         0    189945         0   no data   no data  --
4.81/1.27	c  N dy    15      4064     14502     62365         0      4064    189945    909529    130.54    139.92  --
7.87/2.00	c  N dy    38      8225     14502     62365         0      8225    189945   1713954    123.79    133.45  --
11.09/2.86	c  N dy    60     12370     14502     62365         0     12370    189945   2489479    120.47    127.45  --
14.65/3.72	c  N dy    84     16437     14502     62365         0     16437    189945   3222049    118.66    125.76  --
18.24/4.65	c  N dy   110     20512     14502     62365         0     10512    189945    616017    118.31    125.91  --
21.83/5.52	c  N dy   133     24661     14502     62365         0     14661    189945   1373515    117.49    123.78  --
21.83/5.59	c  F st   135     25002     14502     62365         0     15002    189945   1432869    117.37    105.31  --
26.61/6.76	c  N dy   141     30000     14502     62365         0     19998    189945   2580037    117.37   no data  --
26.61/6.76	c  S st   141     30000     14502     62365         0     19998    189945   2580037    117.37   no data  --
27.01/6.87	c  S st   141     30500     14502     62365         0     20498    189945   2645298    117.37   no data  --
27.01/6.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.01/6.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.41/6.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.21/7.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.21/7.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.21/7.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
28.21/7.17	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
44.16/11.19	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 15.94 s
44.56/11.28	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.35
44.56/11.29	c calculated reachability. Time: 0.00
44.56/11.29	c  N dy   141     30500     14502     62365         0     20493    189945   2643841    117.37   no data  --
48.95/12.35	c  N dy   168     34502     14502     62365         0     24495    189945   3390403    117.69    124.49  --
52.94/13.39	c  N dy   188     38535     14502     62365         0     28528    189945   4117203    116.94    125.04  --
57.32/14.48	c  N dy   211     42557     14502     62365         0     17053    189945    910397    116.45    122.95  --
60.91/15.33	c  S st   234     45750     14502     62365         0     20246    189945   1527988    116.66   no data  --
61.32/15.47	c  S st   234     46255     14502     62365         0     20751    189945   1595132    116.66   no data  --
61.32/15.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.32/15.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.72/15.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.28
62.12/15.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
62.12/15.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
62.12/15.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
62.12/15.68	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
73.68/18.55	c lits-rem:         7  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.41 s
73.68/18.55	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
73.68/18.57	c vivif2 --  cl tried    20751 cl shrink        0 lits rem          0 time: 0.08
74.08/18.65	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.32
74.08/18.66	c calculated reachability. Time: 0.00
74.08/18.66	c  N dy   234     46255     14502     62365         0     20751    189945   1595125    116.66   no data  --
77.67/19.59	c  N dy   256     50274     14502     62365         0     24770    189945   2326006    116.34    123.80  --
82.05/20.61	c  N dy   285     54451     14502     62365         0     28947    189945   3102250    116.61    127.08  --
86.09/21.62	c  N dy   306     58470     14502     62365         0     32966    189945   3848284    116.28    123.03  --
90.07/22.67	c  N dy   333     62568     14502     62365         0     37064    189945   4594186    116.04    123.44  --
94.03/23.64	c  N dy   359     66603     14502     62365         0     22349    189945   1260085    115.95    122.26  --
96.81/24.30	c  S st   376     69383     14502     62365         0     25129    189945   1770999    115.94   no data  --
97.21/24.43	c  S st   376     69885     14502     62365         0     25631    189945   1831767    115.94   no data  --
97.21/24.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.21/24.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.61/24.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.28
98.01/24.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.01/24.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.01/24.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
98.01/24.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
110.79/27.89	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.00 s
111.18/27.90	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
111.18/27.93	c vivif2 --  cl tried    25630 cl shrink        0 lits rem          0 time: 0.10
111.58/28.02	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.37
111.58/28.02	c calculated reachability. Time: 0.00
111.58/28.02	c  N dy   376     69885     14502     62365         0     25630    189945   1831401    115.94   no data  --
115.97/29.17	c  N dy   406     74461     14502     62365         0     30206    189945   2668955    116.00    122.94  --
121.19/30.41	c  N dy   438     79345     14502     62365         0     35090    189945   3575622    116.20    124.57  --
126.73/31.83	c  N dy   468     84742     14502     62365         0     40487    189945   4543504    115.93    127.41  --
129.56/32.57	c  F st   489     87502     14502     62365         0     22378    189945    863649    116.06   no data  --
132.72/33.38	c  N st   494     90798     14502     62365         0     25674    189945   1619230    116.06   no data  --
138.74/34.86	c  N dy   519     96628     14502     62365         0     31504    189945   2818809    115.89    122.10  --
145.47/36.50	c  N dy   560    102849     14502     62365         0     37725    189945   3965786    115.75    149.90  --
147.51/37.05	c  S st   574    104827     14502     62365         0     39703    189945   4327795    115.80    107.36  --
148.27/37.21	c  S st   574    105328     14502     62365         0     40204    189945   4392354    115.80   no data  --
148.27/37.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
148.27/37.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.67/37.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
149.46/37.57	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.46/37.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
149.46/37.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
149.46/37.58	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
256.80/64.44	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 106.98 s
256.80/64.45	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
256.80/64.50	c vivif2 --  cl tried    40196 cl shrink        0 lits rem          0 time: 0.23
257.57/64.62	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.48
257.57/64.63	c calculated reachability. Time: 0.00
257.57/64.63	c  N dy   574    105328     14502     62365         0     40196    189945   4389615    115.80   no data  --
264.75/66.46	c  N dy   615    112054     14502     62365         0     24482    189945    930479    115.80    126.10  --
271.93/68.29	c  N dy   664    119358     14502     62365         0     31786    189945   2288844    115.94    123.90  --
279.90/70.29	c  N dy   712    127076     14502     62365         0     39503    189945   3702628    115.80    123.35  --
289.08/72.59	c  N dy   769    135223     14502     62365         0     23935    189945    561393    115.97    134.89  --
297.86/74.76	c  N dy   820    143961     14502     62365         0     32673    189945   2173590    115.89    124.74  --
307.83/77.23	c  N dy   880    153166     14502     62365         0     41878    189945   3899981    115.92    124.12  --
313.42/78.65	c  S st   913    157992     14502     62365         0     46703    189945   4782309    115.93   no data  --
313.85/78.81	c  S st   913    158497     14502     62365         0     47208    189945   4845889    115.93   no data  --
314.26/78.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
314.26/78.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
314.61/78.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
315.41/79.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
315.41/79.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
315.41/79.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
315.41/79.19	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
540.39/135.54	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 224.38 s
540.39/135.55	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
540.79/135.61	c vivif2 --  cl tried    47205 cl shrink        0 lits rem          0 time: 0.26
541.19/135.75	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.57
541.19/135.76	c calculated reachability. Time: 0.00
541.19/135.76	c  N dy   913    158497     14502     62365         0     47205    189945   4845281    115.93   no data  --
552.34/138.57	c  N dy   974    168652     14502     62365         0     32503    189945   1865938    115.76    164.79  --
564.71/141.64	c  N dy  1048    179438     14502     62365         0     43288    189945   3871083    115.89    124.76  --
578.28/145.02	c  N dy  1123    190969     14502     62365         0     28888    189945   1011739    115.90    125.90  --
591.84/148.41	c  N dy  1202    203226     14502     62365         0     41145    189945   3284998    116.01    134.16  --
607.82/152.41	c  N dy  1291    216252     14502     62365         0     27207    189945    508144    116.05    137.19  --
622.95/156.20	c  N dy  1375    230160     14502     62365         0     41114    189945   3084695    116.00    125.81  --
631.73/158.46	c  S st  1422    237748     14502     62365         0     48702    189945   4479944    115.94    110.88  --
632.53/158.63	c  S st  1422    238254     14502     62365         0     49208    189945   4552104    115.94   no data  --
632.53/158.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
632.53/158.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
632.93/158.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
633.73/158.98	c bin-w-bin subsume rem            0 bins  time:  0.02 s
633.73/158.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
633.73/158.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
633.73/158.99	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
810.43/203.28	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 176.23 s
810.43/203.28	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
810.83/203.34	c vivif2 --  cl tried    49203 cl shrink        0 lits rem          0 time: 0.25
811.23/203.49	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.57
811.23/203.49	c calculated reachability. Time: 0.00
811.23/203.49	c  N dy  1422    238254     14502     62365         0     49203    189945   4549704    115.94   no data  --
828.78/207.87	c  N dy  1515    253597     14502     62365         0     36560    189945   2059140    115.88    126.32  --
848.33/212.70	c  N dy  1622    269839     14502     62365         0     52799    189945   5057847    115.88    128.75  --
868.27/217.73	c  N dy  1728    287140     14502     62365         0     41112    189945   2646544    115.78    125.46  --
889.81/223.17	c  N dy  1848    305660     14502     62365         0     59631    189945   6105926    115.82    123.96  --
890.62/223.38	c  F st  1852    306251     14502     62365         0     30231    189945    483878    115.81   no data  --
911.34/228.59	c  N dy  1947    325225     14502     62365         0     49205    189945   4247609    115.73    122.18  --
935.69/234.66	c  N dy  2071    345266     14502     62365         0     38249    189945   1731494    115.69    123.41  --
950.07/238.25	c  S st  2148    357382     14502     62365         0     50363    189945   3923629    115.59   no data  --
950.84/238.42	c  S st  2148    357884     14502     62365         0     50865    189945   3989948    115.59   no data  --
950.84/238.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
950.84/238.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
951.24/238.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
952.04/238.74	c bin-w-bin subsume rem            0 bins  time:  0.02 s
952.04/238.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
952.04/238.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
952.04/238.75	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1085.67/272.27	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 133.45 s
1085.67/272.28	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1086.09/272.33	c vivif2 --  cl tried    50860 cl shrink        0 lits rem          0 time: 0.21
1086.51/272.48	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.58
1086.51/272.48	c calculated reachability. Time: 0.00
1086.51/272.48	c  N dy  2148    357884     14502     62365         0     50860    189945   3988738    115.59   no data  --
1111.60/278.72	c  N dy  2281    378046     14502     62365         0     39024    189945   1712624    115.63    121.98  --
1135.93/284.84	c  N dy  2416    398176     14502     62365         0     59151    189945   5440360    115.73    124.87  --
1161.11/291.15	c  N dy  2545    418185     14502     62365         0     46162    189945   2821296    115.70    123.46  --
1187.78/297.88	c  N dy  2682    438232     14502     62365         0     66208    189945   6517584    115.73    131.81  --
1212.93/304.16	c  N dy  2817    458242     14502     62365         0     52217    189945   3776221    115.78    131.31  --
1240.44/311.06	c  N dy  2946    478299     14502     62365         0     37272    189945    845228    115.76    123.93  --
1265.17/317.28	c  N dy  3076    498311     14502     62365         0     57282    189945   4477070    115.73    121.91  --
1292.33/324.07	c  N dy  3204    518347     14502     62365         0     41322    189945   1394641    115.70    122.26  --
1317.03/330.21	c  S st  3324    536826     14502     62365         0     59801    189945   4771118    115.68   no data  --
1317.83/330.41	c  S st  3324    537330     14502     62365         0     60305    189945   4837586    115.68   no data  --
1317.83/330.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1317.83/330.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1318.23/330.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.41
1319.41/330.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1319.41/330.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1319.41/330.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
1319.41/330.83	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1560.76/391.37	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time: 241.10 s
1560.76/391.38	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1561.16/391.44	c vivif2 --  cl tried    60302 cl shrink        0 lits rem          0 time: 0.26
1561.96/391.60	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.63
1561.96/391.61	c calculated reachability. Time: 0.00
1561.96/391.61	c  N dy  3324    537330     14502     62365         0     60302    189945   4837043    115.68   no data  --
1586.73/397.85	c  N dy  3450    557347     14502     62365         0     43323    189945   1586796    115.73    126.37  --
1610.62/403.80	c  N dy  3570    577485     14502     62365         0     63458    189945   5293943    115.68    126.82  --
1635.34/410.07	c  N dy  3696    597552     14502     62365         0     45524    189945   1829422    115.69    123.64  --
1659.68/416.18	c  N dy  3820    617786     14502     62365         0     65756    189945   5546674    115.69    133.62  --
1685.20/422.55	c  N dy  3951    637827     14502     62365         0     46801    189945   1891564    115.73    138.51  --
1709.94/428.72	c  N dy  4084    658060     14502     62365         0     67033    189945   5603843    115.71    121.84  --
1735.91/435.22	c  N dy  4215    678244     14502     62365         0     47216    189945   1766469    115.73    123.79  --
1760.20/441.38	c  N dy  4345    698264     14502     62365         0     67234    189945   5434487    115.71    124.88  --
1786.94/448.01	c  N dy  4485    718266     14502     62365         0     46238    189945   1455132    115.77    132.27  --
1811.25/454.10	c  N dy  4617    738388     14502     62365         0     66358    189945   5151115    115.80    125.99  --
1837.98/460.82	c  N dy  4747    758450     14502     62365         0     44419    189945    877353    115.80    123.51  --
1862.32/466.93	c  N dy  4884    778699     14502     62365         0     64665    189945   4639843    115.85    127.87  --
1889.83/473.81	c  N dy  5011    798728     14502     62365         0     84693    189945   8317848    115.87    142.52  --
1898.25/476.00	c  S st  5057    805996     14502     62365         0     48967    189945   1547646    115.86   no data  --
1899.01/476.15	c  S st  5057    806498     14502     62365         0     49469    189945   1612739    115.86   no data  --
1899.01/476.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1899.01/476.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1899.41/476.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1899.81/476.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1899.81/476.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1899.81/476.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
1899.81/476.36	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1913.77/479.89	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time: 14.07 s
1913.77/479.90	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1914.17/479.92	c vivif2 --  cl tried    49466 cl shrink        0 lits rem          0 time: 0.09
1914.57/480.05	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.52
1914.57/480.06	c calculated reachability. Time: 0.00
1914.57/480.06	c  N dy  5057    806498     14502     62365         0     49466    189945   1611926    115.86   no data  --
1939.30/486.26	c  N dy  5184    826562     14502     62365         0     69529    189945   5301004    115.87    123.54  --
1967.22/493.26	c  N dy  5316    846640     14502     62365         0     45609    189945    741724    115.89    123.04  --
1991.15/499.23	c  N dy  5438    866690     14502     62365         0     65658    189945   4380504    115.85    149.76  --
2019.47/506.38	c  N dy  5575    886759     14502     62365         0     85727    189945   8124831    115.88    124.36  --
2047.44/513.31	c  N dy  5701    906801     14502     62365         0     60773    189945   3380943    115.89    122.17  --
2076.92/520.74	c  N dy  5828    926868     14502     62365         0     80839    189945   7064102    115.88    122.85  --
2106.43/528.15	c  N dy  5965    946912     14502     62365         0     54882    189945   2087032    115.90    125.34  --
2134.37/535.14	c  N dy  6087    966919     14502     62365         0     74889    189945   5709897    115.88    139.21  --
2166.26/543.11	c  N dy  6208    987013     14502     62365         0     47983    189945    633908    115.84    122.25  --
2193.39/549.93	c  N dy  6333   1007050     14502     62365         0     68019    189945   4359428    115.82    122.39  --
2224.11/557.67	c  N dy  6471   1027076     14502     62365         0     88044    189945   8047900    115.84    126.59  --
2253.67/565.07	c  N dy  6600   1047226     14502     62365         0     60206    189945   2709213    115.82    123.43  --
2283.15/572.45	c  N dy  6732   1067310     14502     62365         0     80290    189945   6443704    115.85    122.68  --
2290.33/574.22	c  F st  6759   1071875     14502     62365         0     84855    189945   7291984    115.84   no data  --
2315.10/580.44	c  N dy  6838   1087335     14502     62365         0     51316    189945    929234    115.86    170.80  --
2342.58/587.38	c  N dy  6976   1107400     14502     62365         0     71379    189945   4696155    115.92    127.66  --
2374.90/595.41	c  N dy  7109   1127555     14502     62365         0     91534    189945   8416367    115.93    122.57  --
2403.61/602.60	c  N dy  7239   1147572     14502     62365         0     61549    189945   2625992    115.95    122.15  --
2431.93/609.73	c  N dy  7371   1167686     14502     62365         0     81663    189945   6356807    115.96    122.96  --
2463.46/617.67	c  N dy  7497   1187728     14502     62365         0    101702    189945  10024276    115.95    123.09  --
2490.21/624.34	c  N dy  7621   1207896     14502     62365         0     70871    189945   4159448    115.93    122.16  --
2492.97/625.01	c  S st  7635   1209748     14502     62365         0     72723    189945   4505605    115.93   no data  --
2493.77/625.22	c  S st  7635   1210256     14502     62365         0     73231    189945   4569807    115.93   no data  --
2493.77/625.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2493.77/625.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2494.17/625.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
2495.00/625.59	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2495.36/625.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2495.36/625.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
2495.36/625.61	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2705.96/678.45	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 210.26 s
2705.96/678.46	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
2706.36/678.52	c vivif2 --  cl tried    73227 cl shrink        0 lits rem          0 time: 0.25
2707.16/678.70	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.72
2707.16/678.71	c calculated reachability. Time: 0.00
2707.16/678.71	c  N dy  7635   1210256     14502     62365         0     73227    189945   4569278    115.93   no data  --
2735.91/685.93	c  N dy  7771   1230369     14502     62365         0     93338    189945   8281087    115.95    127.85  --
2763.81/692.95	c  N dy  7901   1250420     14502     62365         0     61394    189945   2256670    115.98    124.83  --
2790.93/699.71	c  N dy  8029   1270598     14502     62365         0     81569    189945   6000847    115.98    125.36  --
2820.85/707.29	c  N dy  8160   1290604     14502     62365         0    101575    189945   9765633    116.01    123.32  --
2847.97/714.04	c  N dy  8292   1310735     14502     62365         0     68707    189945   3389830    116.01    123.02  --
2875.90/721.08	c  N dy  8428   1330775     14502     62365         0     88746    189945   7135671    116.04    123.79  --
2907.03/728.85	c  N dy  8554   1350855     14502     62365         0     54828    189945    652926    116.03    122.23  --
2932.53/735.28	c  N dy  8684   1370875     14502     62365         0     74847    189945   4389990    116.05    137.78  --
2962.05/742.67	c  N dy  8822   1391012     14502     62365         0     94983    189945   8114036    116.06    122.43  --
2992.35/750.22	c  N dy  8950   1411149     14502     62365         0     60124    189945   1438008    116.06    125.99  --
3018.68/756.87	c  N dy  9081   1431151     14502     62365         0     80124    189945   5125196    116.07    131.56  --
3049.00/764.49	c  N dy  9217   1451331     14502     62365         0    100303    189945   8854276    116.08    122.53  --
3078.92/772.00	c  N dy  9350   1471504     14502     62365         0     64482    189945   2040132    116.08    124.57  --
3106.45/778.89	c  N dy  9493   1491581     14502     62365         0     84558    189945   5836961    116.15    122.96  --
3137.96/786.74	c  N dy  9629   1511645     14502     62365         0    104622    189945   9536876    116.15    153.06  --
3169.46/794.63	c  N dy  9759   1531915     14502     62365         0     67886    189945   2543946    116.16    123.78  --
3198.99/802.05	c  N dy  9891   1551982     14502     62365         0     87952    189945   6219651    116.16    126.30  --
3233.29/810.65	c  N dy 10032   1572094     14502     62365         0    108064    189945   9980141    116.18    128.35  --
3264.39/818.46	c  N dy 10164   1592300     14502     62365         0     70270    189945   2796699    116.18    123.15  --
3295.12/826.16	c  N dy 10290   1612437     14502     62365         0     90406    189945   6518962    116.19    123.44  --
3330.62/835.05	c  N dy 10416   1632467     14502     62365         0    110436    189945  10272843    116.19    125.14  --
3362.94/843.17	c  N dy 10547   1652536     14502     62365         0     71504    189945   2829968    116.19    133.11  --
3394.49/851.02	c  N dy 10678   1672542     14502     62365         0     91507    189945   6571195    116.19    122.76  --
3429.93/859.92	c  N dy 10806   1692615     14502     62365         0    111578    189945  10279129    116.19    122.75  --
3459.46/867.33	c  S st 10927   1710256     14502     62365         0     69223    189945   2259857    116.21   no data  --
3460.30/867.53	c  S st 10927   1710759     14502     62365         0     69726    189945   2324665    116.21   no data  --
3460.30/867.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3460.30/867.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3460.65/867.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
3461.05/867.79	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3461.45/867.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3461.45/867.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
3461.45/867.81	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3489.37/874.82	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time: 27.86 s
3489.37/874.82	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.03
3489.37/874.86	c vivif2 --  cl tried    69725 cl shrink        0 lits rem          0 time: 0.14
3490.17/875.04	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.73
3490.17/875.05	c calculated reachability. Time: 0.00
3490.17/875.05	c  N dy 10927   1710759     14502     62365         0     69725    189945   2324317    116.21   no data  --
3520.90/882.78	c  N dy 11054   1730789     14502     62365         0     89755    189945   6051524    116.21    122.60  --
3554.79/891.21	c  N dy 11181   1750882     14502     62365         0    109847    189945   9742528    116.20    125.23  --
3587.90/899.52	c  N dy 11307   1770942     14502     62365         0     68917    189945   1985062    116.18    129.55  --
3617.42/906.94	c  N dy 11441   1791019     14502     62365         0     88993    189945   5714537    116.18    122.72  --
3650.93/915.33	c  N dy 11570   1811287     14502     62365         0    109260    189945   9431689    116.19    124.88  --
3685.63/924.08	c  N dy 11705   1831397     14502     62365         0     67374    189945   1538716    116.20    122.38  --
3715.14/931.45	c  N dy 11841   1851487     14502     62365         0     87464    189945   5280621    116.22    124.33  --
3749.05/939.93	c  N dy 11976   1871686     14502     62365         0    107660    189945   9054265    116.23    124.38  --
3785.34/949.04	c  N dy 12107   1891717     14502     62365         0     64695    189945    866205    116.24    123.29  --
3815.71/956.61	c  N dy 12240   1911855     14502     62365         0     84832    189945   4563993    116.24    122.47  --
3850.40/965.37	c  N dy 12374   1931971     14502     62365         0    104946    189945   8254333    116.23    122.68  --
3889.47/975.21	c  N dy 12506   1952022     14502     62365         0    124997    189945  12048520    116.25    143.46  --
3921.77/983.27	c  N dy 12636   1972195     14502     62365         0     81166    189945   3728628    116.25    125.64  --
3955.72/991.80	c  N dy 12765   1992327     14502     62365         0    101297    189945   7452627    116.25    122.61  --
3993.58/1001.29	c  N dy 12896   2012399     14502     62365         0    121368    189945  11147563    116.26    126.23  --
4029.48/1010.20	c  N dy 13025   2032706     14502     62365         0     76679    189945   2699823    116.26    124.13  --
4062.58/1018.52	c  N dy 13158   2052819     14502     62365         0     96787    189945   6432171    116.26    124.00  --
4100.92/1028.19	c  N dy 13293   2073032     14502     62365         0    116997    189945  10220303    116.28    123.54  --
4137.57/1037.39	c  N dy 13426   2093126     14502     62365         0     71091    189945   1494612    116.28    129.16  --
4167.48/1044.86	c  N dy 13558   2113213     14502     62365         0     91176    189945   5158934    116.28    124.67  --
4201.83/1053.44	c  N dy 13693   2133296     14502     62365         0    111258    189945   8889964    116.29    123.73  --
4240.09/1063.03	c  N dy 13820   2153539     14502     62365         0    131499    189945  12605650    116.28    130.78  --
4270.81/1070.71	c  N dy 13943   2173586     14502     62365         0     84548    189945   3824671    116.29    130.53  --
4303.51/1078.97	c  N dy 14088   2193643     14502     62365         0    104604    189945   7608866    116.32    124.09  --
4334.62/1086.74	c  S st 14198   2210759     14502     62365         0    121720    189945  10761149    116.31   no data  --
4335.83/1087.03	c  S st 14198   2211264     14502     62365         0    122225    189945  10831787    116.31   no data  --
4335.83/1087.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4335.83/1087.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4336.62/1087.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.61
4339.01/1087.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4339.01/1087.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4339.01/1087.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
4339.01/1087.87	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-3368664-1305400178/watcher-3368664-1305400178 -o /tmp/evaluation-result-3368664-1305400178/solver-3368664-1305400178 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368664-1305400178.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.42 7.98 7.74 1/345 20981
/proc/meminfo: memFree=24149432/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 416 0 0 0 1 0 0 0 25 0 4 0 651614455 52465664 357 33554432000 4194304 4650419 140736179794416 18446744073709551615 47150943155737 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 12809 357 306 112 0 7774 0
[pid=20981/tid=20982] ppid=20979 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651614456 52465664 357 33554432000 4194304 4650419 140736179794416 18446744073709551615 47150943155735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651614456 52465664 357 33554432000 4194304 4650419 140736179794416 18446744073709551615 47150943156146 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651614456 52465664 357 33554432000 4194304 4650419 140736179794416 18446744073709551615 47150943155731 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0377721 s]
/proc/loadavg: 7.42 7.98 7.74 1/345 20981
/proc/meminfo: memFree=24149432/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=360372 CPUtime=0.09 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 8083 0 0 0 7 2 0 0 18 0 4 0 651614455 369020928 7103 33554432000 4194304 4650419 140736179794416 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 90093 7115 344 112 0 85058 0
[pid=20981/tid=20982] ppid=20979 vsize=360372 CPUtime=0.01 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) S 20979 20981 20738 0 -1 4202560 1749 0 0 0 1 0 0 0 18 0 4 0 651614456 369020928 7116 33554432000 4194304 4650419 140736179794416 18446744073709551615 254500796910 0 0 4096 2 18446604442097093568 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=360372 CPUtime=0.01 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1890 0 0 0 1 0 0 0 18 0 4 0 651614456 369020928 7146 33554432000 4194304 4650419 140736179794416 18446744073709551615 254500796910 0 0 4096 2 18446604442097093568 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=360372 CPUtime=0.02 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 2019 0 0 0 2 0 0 0 18 0 4 0 651614456 369020928 7268 33554432000 4194304 4650419 140736179794416 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 360372

[startup+0.150311 s]
/proc/loadavg: 7.42 7.98 7.74 1/345 20981
/proc/meminfo: memFree=24149432/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=374228 CPUtime=0.48 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 14289 0 0 0 43 5 0 0 18 0 4 0 651614455 383209472 12165 33554432000 4194304 4650419 140736179794416 18446744073709551615 4426459 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 93557 12165 377 112 0 88522 0
[pid=20981/tid=20982] ppid=20979 vsize=374228 CPUtime=0.1 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 3404 0 0 0 9 1 0 0 17 0 4 0 651614456 383209472 12165 33554432000 4194304 4650419 140736179794416 18446744073709551615 4244354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=374228 CPUtime=0.11 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) S 20979 20981 20738 0 -1 4202560 3573 0 0 0 10 1 0 0 18 0 4 0 651614456 383209472 12165 33554432000 4194304 4650419 140736179794416 18446744073709551615 254500796910 0 0 4096 2 18446604442097093568 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=377788 CPUtime=0.14 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 2781 0 0 0 13 1 0 0 18 0 4 0 651614456 386854912 13821 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 374228

[startup+0.318959 s]
/proc/loadavg: 7.42 7.98 7.74 1/345 20981
/proc/meminfo: memFree=24149432/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=382508 CPUtime=4.01 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 25407 0 0 0 394 7 0 0 19 0 4 0 651614455 391688192 20768 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520254 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 95627 20769 391 112 0 90592 0
[pid=20981/tid=20982] ppid=20979 vsize=382508 CPUtime=0.99 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 7387 0 0 0 97 2 0 0 19 0 4 0 651614456 391688192 20770 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=382508 CPUtime=0.99 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 7246 0 0 0 98 1 0 0 19 0 4 0 651614456 391688192 20770 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=382508 CPUtime=1 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 3557 0 0 0 99 1 0 0 19 0 4 0 651614456 391688192 20770 33554432000 4194304 4650419 140736179794416 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 382508

[startup+1.13344 s]
/proc/loadavg: 7.42 7.98 7.74 1/345 20981
/proc/meminfo: memFree=24149432/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=382508 CPUtime=4.41 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 25785 0 0 0 434 7 0 0 19 0 4 0 651614455 391688192 21146 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 95627 21146 391 112 0 90592 0
[pid=20981/tid=20982] ppid=20979 vsize=382508 CPUtime=1.09 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 7482 0 0 0 107 2 0 0 19 0 4 0 651614456 391688192 21146 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=382508 CPUtime=1.09 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 7340 0 0 0 108 1 0 0 19 0 4 0 651614456 391688192 21146 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=382508 CPUtime=1.1 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 3641 0 0 0 109 1 0 0 19 0 4 0 651614456 391688192 21146 33554432000 4194304 4650419 140736179794416 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 382508

[startup+1.50037 s]
/proc/loadavg: 7.42 7.98 7.74 1/345 20981
/proc/meminfo: memFree=24149432/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=382508 CPUtime=5.88 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 27143 0 0 0 580 8 0 0 19 0 4 0 651614455 391688192 22504 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 95627 22505 391 112 0 90592 0
[pid=20981/tid=20982] ppid=20979 vsize=382508 CPUtime=1.46 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 7822 0 0 0 144 2 0 0 19 0 4 0 651614456 391688192 22505 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=382508 CPUtime=1.45 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 7683 0 0 0 144 1 0 0 19 0 4 0 651614456 391688192 22505 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=382508 CPUtime=1.47 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 3953 0 0 0 146 1 0 0 19 0 4 0 651614456 391688192 22505 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 382508

[startup+3.10105 s]
/proc/loadavg: 7.42 7.98 7.74 9/357 20996
/proc/meminfo: memFree=24000672/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=535052 CPUtime=12.25 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 32850 0 0 0 1215 10 0 0 25 0 4 0 651614455 547893248 28211 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 133763 28211 391 112 0 128728 0
[pid=20981/tid=20982] ppid=20979 vsize=535052 CPUtime=3.05 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 9264 0 0 0 303 2 0 0 25 0 4 0 651614456 547893248 28211 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=535052 CPUtime=3.03 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 9101 0 0 0 301 2 0 0 24 0 4 0 651614456 547893248 28211 33554432000 4194304 4650419 140736179794416 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=535052 CPUtime=3.07 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 5338 0 0 0 305 2 0 0 25 0 4 0 651614456 547893248 28211 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 535052

[startup+6.30042 s]
/proc/loadavg: 7.46 7.98 7.74 9/357 20996
/proc/meminfo: memFree=23930768/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=394740 CPUtime=25.01 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 49033 0 0 0 2488 13 0 0 25 0 4 0 651614455 404213760 27309 33554432000 4194304 4650419 140736179794416 18446744073709551615 4349694 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 98685 27310 394 112 0 93650 0
[pid=20981/tid=20982] ppid=20979 vsize=394740 CPUtime=6.25 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 13337 0 0 0 622 3 0 0 25 0 4 0 651614456 404213760 27310 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=394740 CPUtime=6.19 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 12940 0 0 0 617 2 0 0 25 0 4 0 651614456 404213760 27310 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=394740 CPUtime=6.28 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 9817 0 0 0 625 3 0 0 25 0 4 0 651614456 404213760 27310 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 394740

[startup+12.7011 s]
/proc/loadavg: 7.50 7.98 7.74 9/357 20996
/proc/meminfo: memFree=23659904/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=620488 CPUtime=50.57 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 117114 0 0 0 5028 29 0 0 25 0 4 0 651614455 635379712 82848 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 155122 82848 395 112 0 150087 0
[pid=20981/tid=20982] ppid=20979 vsize=620488 CPUtime=12.67 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 35723 0 0 0 1258 9 0 0 25 0 4 0 651614456 635379712 82852 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=620488 CPUtime=12.53 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 23450 0 0 0 1247 6 0 0 25 0 4 0 651614456 635379712 82852 33554432000 4194304 4650419 140736179794416 18446744073709551615 4369270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=620488 CPUtime=12.68 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 28214 0 0 0 1261 7 0 0 25 0 4 0 651614456 635379712 82852 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 620488

[startup+25.5006 s]
/proc/loadavg: 7.61 7.98 7.74 9/357 20996
/proc/meminfo: memFree=23599400/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=558784 CPUtime=101.61 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 157644 0 0 0 10120 41 0 0 25 0 4 0 651614455 572194816 85098 33554432000 4194304 4650419 140736179794416 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 139696 85098 395 112 0 134661 0
[pid=20981/tid=20982] ppid=20979 vsize=558784 CPUtime=25.45 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 43987 0 0 0 2534 11 0 0 25 0 4 0 651614456 572194816 85098 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=558784 CPUtime=25.19 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 35102 0 0 0 2510 9 0 0 25 0 4 0 651614456 572194816 85098 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=558784 CPUtime=25.47 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 37630 0 0 0 2537 10 0 0 25 0 4 0 651614456 572194816 85098 33554432000 4194304 4650419 140736179794416 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 558784

[startup+51.1005 s]
/proc/loadavg: 7.89 8.01 7.76 9/357 20998
/proc/meminfo: memFree=23396368/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=899236 CPUtime=203.71 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 231215 0 0 0 20311 60 0 0 25 0 4 0 651614455 920817664 126987 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 224809 126987 395 112 0 219774 0
[pid=20981/tid=20982] ppid=20979 vsize=899236 CPUtime=51.05 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 56098 0 0 0 5090 15 0 0 25 0 4 0 651614456 920817664 126987 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=899236 CPUtime=50.5 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 59404 0 0 0 5035 15 0 0 25 0 4 0 651614456 920817664 126987 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=899236 CPUtime=51.07 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 56019 0 0 0 5091 16 0 0 25 0 4 0 651614456 920817664 126987 33554432000 4194304 4650419 140736179794416 18446744073709551615 4350762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 899236

[startup+102.3 s]
/proc/loadavg: 8.02 8.02 7.77 9/357 20999
/proc/meminfo: memFree=23282368/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=911996 CPUtime=407.94 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 341116 0 0 0 40700 94 0 0 25 0 4 0 651614455 933883904 140369 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 227999 140369 395 112 0 222964 0
[pid=20981/tid=20982] ppid=20979 vsize=911996 CPUtime=102.26 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 83745 0 0 0 10202 24 0 0 25 0 4 0 651614456 933883904 140369 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=911996 CPUtime=101.13 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 92085 0 0 0 10085 28 0 0 25 0 4 0 651614456 933883904 140369 33554432000 4194304 4650419 140736179794416 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=911996 CPUtime=102.27 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 82618 0 0 0 10202 25 0 0 25 0 4 0 651614456 933883904 140369 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 911996

[startup+162.3 s]

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

[pid=20981] ppid=20979 vsize=1203464 CPUtime=2801.31 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 2543715 0 0 0 279539 592 0 0 25 0 4 0 651614455 1232347136 217394 33554432000 4194304 4650419 140736179794416 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 300866 217394 395 112 0 295831 0
[pid=20981/tid=20982] ppid=20979 vsize=1203464 CPUtime=699.92 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 842349 0 0 0 69818 174 0 0 25 0 4 0 651614456 1232347136 217394 33554432000 4194304 4650419 140736179794416 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1203464 CPUtime=697.65 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 633947 0 0 0 69603 162 0 0 25 0 4 0 651614456 1232347136 217394 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1203464 CPUtime=701.45 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 635467 0 0 0 69987 158 0 0 25 0 4 0 651614456 1232347136 217394 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.31
Current children cumulated vsize (KiB) 1203464

[startup+762.301 s]
/proc/loadavg: 8.08 8.09 7.92 9/357 21018
/proc/meminfo: memFree=22595792/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1204264 CPUtime=3040.63 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 2658133 0 0 0 303431 632 0 0 25 0 4 0 651614455 1233166336 233430 33554432000 4194304 4650419 140736179794416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 301066 233430 395 112 0 296031 0
[pid=20981/tid=20982] ppid=20979 vsize=1204264 CPUtime=759.91 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 874382 0 0 0 75805 186 0 0 25 0 4 0 651614456 1233166336 233431 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1204264 CPUtime=757.65 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 665660 0 0 0 75593 172 0 0 25 0 4 0 651614456 1233166336 233431 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1204264 CPUtime=760.79 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 661881 0 0 0 75912 167 0 0 25 0 4 0 651614456 1233166336 233431 33554432000 4194304 4650419 140736179794416 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.63
Current children cumulated vsize (KiB) 1204264

[startup+822.301 s]
/proc/loadavg: 8.03 8.07 7.92 9/357 21020
/proc/meminfo: memFree=22501896/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1350772 CPUtime=3279.99 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 2857445 0 0 0 327313 686 0 0 25 0 4 0 651614455 1383190528 247857 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 337693 247857 395 112 0 332658 0
[pid=20981/tid=20982] ppid=20979 vsize=1350772 CPUtime=819.91 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 899030 0 0 0 81793 198 0 0 25 0 4 0 651614456 1383190528 247860 33554432000 4194304 4650419 140736179794416 18446744073709551615 4237288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1350772 CPUtime=817.66 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 785328 0 0 0 81574 192 0 0 25 0 4 0 651614456 1383190528 247860 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1350772 CPUtime=820.14 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 684865 0 0 0 81837 177 0 0 25 0 4 0 651614456 1383190528 247860 33554432000 4194304 4650419 140736179794416 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.99
Current children cumulated vsize (KiB) 1350772

[startup+882.301 s]
/proc/loadavg: 8.05 8.07 7.93 9/357 21021
/proc/meminfo: memFree=22451780/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1364992 CPUtime=3519.29 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 3230997 0 0 0 351180 749 0 0 25 0 4 0 651614455 1397751808 253031 33554432000 4194304 4650419 140736179794416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 341248 253031 395 112 0 336213 0
[pid=20981/tid=20982] ppid=20979 vsize=1364992 CPUtime=879.89 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1135924 0 0 0 87760 229 0 0 25 0 4 0 651614456 1397751808 253031 33554432000 4194304 4650419 140736179794416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1364992 CPUtime=877.65 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 879475 0 0 0 87562 203 0 0 25 0 4 0 651614456 1397751808 253031 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1364992 CPUtime=879.48 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 708047 0 0 0 87760 188 0 0 25 0 4 0 651614456 1397751808 253031 33554432000 4194304 4650419 140736179794416 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.29
Current children cumulated vsize (KiB) 1364992

[startup+942.313 s]
/proc/loadavg: 8.02 8.05 7.93 9/357 21023
/proc/meminfo: memFree=22458440/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1365816 CPUtime=3758.67 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 3472414 0 0 0 375063 804 0 0 25 0 4 0 651614455 1398595584 261962 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 341454 261962 395 112 0 336419 0
[pid=20981/tid=20982] ppid=20979 vsize=1365816 CPUtime=939.89 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1161500 0 0 0 93749 240 0 0 25 0 4 0 651614456 1398595584 261962 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1365816 CPUtime=937.67 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1044438 0 0 0 93541 226 0 0 25 0 4 0 651614456 1398595584 261962 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1365816 CPUtime=938.83 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 736330 0 0 0 93683 200 0 0 25 0 4 0 651614456 1398595584 261962 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.67
Current children cumulated vsize (KiB) 1365816

[startup+1002.3 s]
/proc/loadavg: 8.08 8.06 7.93 9/357 21024
/proc/meminfo: memFree=22326988/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1431912 CPUtime=3997.97 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 3718748 0 0 0 398939 858 0 0 25 0 4 0 651614455 1466277888 290704 33554432000 4194304 4650419 140736179794416 18446744073709551615 4364325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 357978 290704 409 112 0 352943 0
[pid=20981/tid=20982] ppid=20979 vsize=1431912 CPUtime=999.86 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1185535 0 0 0 99731 255 0 0 25 0 4 0 651614456 1466277888 290704 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1431912 CPUtime=997.65 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1223234 0 0 0 99517 248 0 0 25 0 4 0 651614456 1466277888 290704 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1431912 CPUtime=998.16 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 759145 0 0 0 99611 205 0 0 25 0 4 0 651614456 1466277888 290704 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.97
Current children cumulated vsize (KiB) 1431912

[startup+1062.3 s]
/proc/loadavg: 8.13 8.07 7.94 9/357 21026
/proc/meminfo: memFree=22167756/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1432892 CPUtime=4237.3 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 3868954 0 0 0 422834 896 0 0 25 0 4 0 651614455 1467281408 293654 33554432000 4194304 4650419 140736179794416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 358223 293654 395 112 0 353188 0
[pid=20981/tid=20982] ppid=20979 vsize=1432892 CPUtime=1059.85 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1212487 0 0 0 105718 267 0 0 25 0 4 0 651614456 1467281408 293654 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1432892 CPUtime=1057.66 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1322439 0 0 0 105501 265 0 0 25 0 4 0 651614456 1467281408 293654 33554432000 4194304 4650419 140736179794416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1432892 CPUtime=1057.5 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 759145 0 0 0 105545 205 0 0 25 0 4 0 651614456 1467281408 293654 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.3
Current children cumulated vsize (KiB) 1432892

[startup+1122.3 s]
/proc/loadavg: 8.18 8.09 7.95 9/357 21027
/proc/meminfo: memFree=21977020/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1584460 CPUtime=4476.62 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 4166184 0 0 0 446708 954 0 0 25 0 4 0 651614455 1622487040 324432 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 396115 324432 395 112 0 391080 0
[pid=20981/tid=20982] ppid=20979 vsize=1584460 CPUtime=1119.84 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1307861 0 0 0 111696 288 0 0 25 0 4 0 651614456 1622487040 324432 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1584460 CPUtime=1117.66 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1346088 0 0 0 111491 275 0 0 25 0 4 0 651614456 1622487040 324432 33554432000 4194304 4650419 140736179794416 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1584460 CPUtime=1116.84 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 803895 0 0 0 111472 212 0 0 25 0 4 0 651614456 1622487040 324432 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476738 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.62
Current children cumulated vsize (KiB) 1584460

[startup+1182.3 s]
/proc/loadavg: 8.19 8.10 7.96 9/357 21029
/proc/meminfo: memFree=21972416/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1585040 CPUtime=4715.92 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 4595592 0 0 0 470564 1028 0 0 25 0 4 0 651614455 1623080960 322389 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 396260 322389 395 112 0 391225 0
[pid=20981/tid=20982] ppid=20979 vsize=1585040 CPUtime=1179.83 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1499465 0 0 0 117665 318 0 0 25 0 4 0 651614456 1623080960 322389 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1585040 CPUtime=1177.66 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1368131 0 0 0 117477 289 0 0 25 0 4 0 651614456 1623080960 322389 33554432000 4194304 4650419 140736179794416 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1585040 CPUtime=1176.14 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 811279 0 0 0 117401 213 0 0 25 0 4 0 651614456 1623080960 322389 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476207 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.92
Current children cumulated vsize (KiB) 1585040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.13 8.10 7.96 9/357 21030
/proc/meminfo: memFree=21974892/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1598832 CPUtime=4800.1 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 4752503 0 0 0 478955 1055 0 0 25 0 4 0 651614455 1637203968 321039 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 399708 321039 395 112 0 394673 0
[pid=20981/tid=20982] ppid=20979 vsize=1598832 CPUtime=1200.95 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1570636 0 0 0 119767 328 0 0 25 0 4 0 651614456 1637203968 321042 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1598832 CPUtime=1198.78 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1377270 0 0 0 119584 294 0 0 25 0 4 0 651614456 1637203968 321042 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1598832 CPUtime=1197 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 811279 0 0 0 119487 213 0 0 25 0 4 0 651614456 1637203968 321042 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1598832

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

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

[startup+1203.4 s]
/proc/loadavg: 8.13 8.10 7.96 9/357 21030
/proc/meminfo: memFree=21974892/32950928 swapFree=45937192/67111528
[pid=20981] ppid=20979 vsize=1598832 CPUtime=4800.1 cores=0,2,4,6
/proc/20981/stat : 20981 (strangenight1-m) R 20979 20981 20738 0 -1 4202496 4752503 0 0 0 478955 1055 0 0 25 0 4 0 651614455 1637203968 321039 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20981/statm: 399708 321039 395 112 0 394673 0
[pid=20981/tid=20982] ppid=20979 vsize=1598832 CPUtime=1200.95 cores=0,2,4,6
/proc/20981/task/20982/stat : 20982 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1570636 0 0 0 119767 328 0 0 25 0 4 0 651614456 1637203968 321042 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20981/tid=20983] ppid=20979 vsize=1598832 CPUtime=1198.78 cores=0,2,4,6
/proc/20981/task/20983/stat : 20983 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 1377270 0 0 0 119584 294 0 0 25 0 4 0 651614456 1637203968 321042 33554432000 4194304 4650419 140736179794416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20981/tid=20984] ppid=20979 vsize=1598832 CPUtime=1197 cores=0,2,4,6
/proc/20981/task/20984/stat : 20984 (strangenight1-m) R 20979 20981 20738 0 -1 4202560 811279 0 0 0 119487 213 0 0 25 0 4 0 651614456 1637203968 321042 33554432000 4194304 4650419 140736179794416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1598832

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.48
CPU time (s): 4800.21
CPU user time (s): 4789.6
CPU system time (s): 10.6124
CPU usage (%): 398.861
Max. virtual memory (cumulated for all children) (KiB): 1650392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.59
system time used= 10.6124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4752508
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= 5534
involuntary context switches= 22819

runsolver used 3.78143 second user time and 9.48056 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-14 21:09:38
IDJOB=3368664
IDBENCH=82673
IDSOLVER=1846
FILE ID=node149/3368664-1305400178
RUNJOBID= node149-1305397766-20756
PBS_JOBID= 13324466
Free space on /tmp= 73572 MiB

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

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

MD5SUM BENCH= 0a98d6d9a7bdb797305aed69a94f9a69
RANDOM SEED=330325214

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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:     32950928 kB
MemFree:      24149704 kB
Buffers:        307144 kB
Cached:        3862908 kB
SwapCached:      19984 kB
Active:        6300400 kB
Inactive:      2206364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24149704 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:            7424 kB
Writeback:           0 kB
AnonPages:     4329932 kB
Mapped:          13832 kB
Slab:           157060 kB
PageTables:      71920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80190140 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= 73560 MiB
End job on node149 at 2011-05-14 21:29:43