Trace number 3175055

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.33 1201.77

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175055-1304080080.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.15/0.15	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.15/0.15	c -- vars added      15000
0.15/0.15	c Parsing time:  0.14 s
0.15/0.15	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.15/0.15	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.15/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.15/0.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.15/0.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.15/0.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.15/0.22	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
1.22/0.31	c lits-rem:         0  cl-subs:        0  v-elim:    498  v-fix:    0  time:  0.57 s
1.22/0.31	c Finding binary XORs  T:     0.01 s  found:       0
1.22/0.34	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
1.22/0.34	c calculated reachability. Time: 0.00
1.22/0.35	c Calc default polars -  time:   0.02 s pos:    6618 undec:    1753 neg:    6629
1.22/0.35	c =========================================================================================
1.22/0.35	c types(t): F = full restart, N = normal restart
1.22/0.35	c types(t): S = simplification begin/end, E = solution found
1.22/0.35	c restart types(rt): st = static, dy = dynamic
1.22/0.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.22/0.35	c  B st     0         0     14502     62365         0         0    189945         0   no data   no data  --
4.38/1.16	c  N dy    15      4064     14502     62365         0      4064    189945    909529    130.54    139.92  --
7.56/1.98	c  N dy    38      8225     14502     62365         0      8225    189945   1713954    123.79    133.45  --
11.15/2.83	c  N dy    60     12370     14502     62365         0     12370    189945   2489479    120.47    127.45  --
14.35/3.68	c  N dy    84     16437     14502     62365         0     16437    189945   3222049    118.66    125.76  --
18.34/4.60	c  N dy   110     20512     14502     62365         0     10512    189945    616017    118.31    125.91  --
21.53/5.46	c  N dy   133     24661     14502     62365         0     14661    189945   1373515    117.49    123.78  --
21.95/5.53	c  F st   135     25002     14502     62365         0     15002    189945   1432869    117.37    105.31  --
26.34/6.70	c  N dy   141     30000     14502     62365         0     19998    189945   2580037    117.37   no data  --
26.34/6.70	c  S st   141     30000     14502     62365         0     19998    189945   2580037    117.37   no data  --
27.12/6.81	c  S st   141     30500     14502     62365         0     20498    189945   2645298    117.37   no data  --
27.12/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.12/6.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.32/7.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.32/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.32/7.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
28.32/7.14	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
44.33/11.16	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 15.97 s
44.70/11.24	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.35
44.70/11.25	c calculated reachability. Time: 0.00
44.70/11.25	c  N dy   141     30500     14502     62365         0     20493    189945   2643841    117.37   no data  --
49.10/12.31	c  N dy   168     34502     14502     62365         0     24495    189945   3390403    117.69    124.49  --
53.12/13.34	c  N dy   188     38535     14502     62365         0     28528    189945   4117203    116.94    125.04  --
57.50/14.41	c  N dy   211     42557     14502     62365         0     17053    189945    910397    116.45    122.95  --
60.68/15.27	c  S st   234     45750     14502     62365         0     20246    189945   1527988    116.66   no data  --
61.49/15.40	c  S st   234     46255     14502     62365         0     20751    189945   1595132    116.66   no data  --
61.49/15.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.49/15.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.49/15.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
61.89/15.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
61.89/15.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
61.89/15.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
62.28/15.60	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
73.47/18.47	c lits-rem:         7  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.47 s
73.47/18.48	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
73.87/18.50	c vivif2 --  cl tried    20751 cl shrink        0 lits rem          0 time: 0.08
73.87/18.58	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.32
73.87/18.58	c calculated reachability. Time: 0.00
73.87/18.58	c  N dy   234     46255     14502     62365         0     20751    189945   1595125    116.66   no data  --
77.86/19.51	c  N dy   256     50274     14502     62365         0     24770    189945   2326006    116.34    123.80  --
81.85/20.52	c  N dy   285     54451     14502     62365         0     28947    189945   3102250    116.61    127.08  --
85.84/21.52	c  N dy   306     58470     14502     62365         0     32966    189945   3848284    116.28    123.03  --
89.84/22.56	c  N dy   333     62568     14502     62365         0     37064    189945   4594186    116.04    123.44  --
93.83/23.53	c  N dy   359     66603     14502     62365         0     22349    189945   1260085    115.95    122.26  --
96.23/24.18	c  S st   376     69383     14502     62365         0     25129    189945   1770999    115.94   no data  --
97.06/24.31	c  S st   376     69885     14502     62365         0     25631    189945   1831767    115.94   no data  --
97.06/24.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.06/24.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.06/24.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
97.43/24.49	c bin-w-bin subsume rem            0 bins  time:  0.02 s
97.83/24.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
97.83/24.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
97.83/24.51	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.01/27.80	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.11 s
111.01/27.81	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
111.01/27.83	c vivif2 --  cl tried    25630 cl shrink        0 lits rem          0 time: 0.10
111.41/27.93	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.38
111.41/27.93	c calculated reachability. Time: 0.00
111.41/27.93	c  N dy   376     69885     14502     62365         0     25630    189945   1831401    115.94   no data  --
115.80/29.04	c  N dy   406     74461     14502     62365         0     30206    189945   2668955    116.00    122.94  --
120.59/30.29	c  N dy   438     79345     14502     62365         0     35090    189945   3575622    116.20    124.57  --
126.59/31.70	c  N dy   468     84742     14502     62365         0     40487    189945   4543504    115.93    127.41  --
129.38/32.44	c  F st   489     87502     14502     62365         0     22378    189945    863649    116.06   no data  --
132.58/33.24	c  N st   494     90798     14502     62365         0     25674    189945   1619230    116.06   no data  --
138.58/34.72	c  N dy   519     96628     14502     62365         0     31504    189945   2818809    115.89    122.10  --
144.98/36.37	c  N dy   560    102849     14502     62365         0     37725    189945   3965786    115.75    149.90  --
147.36/36.92	c  S st   574    104827     14502     62365         0     39703    189945   4327795    115.80    107.36  --
147.76/37.06	c  S st   574    105328     14502     62365         0     40204    189945   4392354    115.80   no data  --
147.76/37.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
147.76/37.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.16/37.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
149.37/37.42	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.37/37.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
149.37/37.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
149.37/37.43	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
257.21/64.46	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 107.69 s
257.21/64.47	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
257.61/64.53	c vivif2 --  cl tried    40196 cl shrink        0 lits rem          0 time: 0.23
258.01/64.64	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.47
258.01/64.65	c calculated reachability. Time: 0.00
258.01/64.65	c  N dy   574    105328     14502     62365         0     40196    189945   4389615    115.80   no data  --
265.20/66.47	c  N dy   615    112054     14502     62365         0     24482    189945    930479    115.80    126.10  --
272.40/68.28	c  N dy   664    119358     14502     62365         0     31786    189945   2288844    115.94    123.90  --
280.38/70.28	c  N dy   712    127076     14502     62365         0     39503    189945   3702628    115.80    123.35  --
289.57/72.58	c  N dy   769    135223     14502     62365         0     23935    189945    561393    115.97    134.89  --
298.35/74.73	c  N dy   820    143961     14502     62365         0     32673    189945   2173590    115.89    124.74  --
307.96/77.17	c  N dy   880    153166     14502     62365         0     41878    189945   3899981    115.92    124.12  --
313.93/78.60	c  S st   913    157992     14502     62365         0     46703    189945   4782309    115.93   no data  --
314.33/78.75	c  S st   913    158497     14502     62365         0     47208    189945   4845889    115.93   no data  --
314.33/78.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
314.33/78.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
314.73/78.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
315.93/79.14	c bin-w-bin subsume rem            0 bins  time:  0.02 s
315.93/79.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
315.93/79.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
315.93/79.15	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
542.03/135.72	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 225.34 s
542.03/135.73	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
542.42/135.80	c vivif2 --  cl tried    47205 cl shrink        0 lits rem          0 time: 0.26
542.82/135.94	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.56
542.82/135.94	c calculated reachability. Time: 0.00
542.82/135.94	c  N dy   913    158497     14502     62365         0     47205    189945   4845281    115.93   no data  --
554.03/138.73	c  N dy   974    168652     14502     62365         0     32503    189945   1865938    115.76    164.79  --
565.99/141.76	c  N dy  1048    179438     14502     62365         0     43288    189945   3871083    115.89    124.76  --
579.58/145.15	c  N dy  1123    190969     14502     62365         0     28888    189945   1011739    115.90    125.90  --
593.18/148.52	c  N dy  1202    203226     14502     62365         0     41145    189945   3284998    116.01    134.16  --
608.74/152.46	c  N dy  1291    216252     14502     62365         0     27207    189945    508144    116.05    137.19  --
623.93/156.25	c  N dy  1375    230160     14502     62365         0     41114    189945   3084695    116.00    125.81  --
633.13/158.51	c  S st  1422    237748     14502     62365         0     48702    189945   4479944    115.94    110.88  --
633.50/158.68	c  S st  1422    238254     14502     62365         0     49208    189945   4552104    115.94   no data  --
633.50/158.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
633.50/158.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
633.90/158.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
635.10/159.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
635.10/159.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
635.10/159.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
635.10/159.04	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
812.88/203.57	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 177.47 s
812.88/203.57	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
813.28/203.64	c vivif2 --  cl tried    49203 cl shrink        0 lits rem          0 time: 0.25
813.66/203.78	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.57
813.66/203.78	c calculated reachability. Time: 0.00
813.66/203.78	c  N dy  1422    238254     14502     62365         0     49203    189945   4549704    115.94   no data  --
831.23/208.16	c  N dy  1515    253597     14502     62365         0     36560    189945   2059140    115.88    126.32  --
850.41/212.99	c  N dy  1622    269839     14502     62365         0     52799    189945   5057847    115.88    128.75  --
870.40/217.95	c  N dy  1728    287140     14502     62365         0     41112    189945   2646544    115.78    125.46  --
892.37/223.42	c  N dy  1848    305660     14502     62365         0     59631    189945   6105926    115.82    123.96  --
893.15/223.64	c  F st  1852    306251     14502     62365         0     30231    189945    483878    115.81   no data  --
914.72/229.08	c  N dy  1947    325225     14502     62365         0     49205    189945   4247609    115.73    122.18  --
939.09/235.15	c  N dy  2071    345266     14502     62365         0     38249    189945   1731494    115.69    123.41  --
953.49/238.73	c  S st  2148    357382     14502     62365         0     50363    189945   3923629    115.59   no data  --
953.89/238.89	c  S st  2148    357884     14502     62365         0     50865    189945   3989948    115.59   no data  --
954.27/238.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
954.27/238.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
954.67/239.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
955.47/239.21	c bin-w-bin subsume rem            0 bins  time:  0.02 s
955.47/239.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
955.47/239.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
955.47/239.23	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1089.28/272.75	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 133.58 s
1089.28/272.75	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1089.70/272.81	c vivif2 --  cl tried    50860 cl shrink        0 lits rem          0 time: 0.21
1090.10/272.95	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.58
1090.10/272.96	c calculated reachability. Time: 0.00
1090.10/272.96	c  N dy  2148    357884     14502     62365         0     50860    189945   3988738    115.59   no data  --
1114.86/279.18	c  N dy  2281    378046     14502     62365         0     39024    189945   1712624    115.63    121.98  --
1140.42/285.55	c  N dy  2416    398176     14502     62365         0     59151    189945   5440360    115.73    124.87  --
1165.59/291.85	c  N dy  2545    418185     14502     62365         0     46162    189945   2821296    115.70    123.46  --
1192.35/298.55	c  N dy  2682    438232     14502     62365         0     66208    189945   6517584    115.73    131.81  --
1217.54/304.81	c  N dy  2817    458242     14502     62365         0     52217    189945   3776221    115.78    131.31  --
1244.67/311.64	c  N dy  2946    478299     14502     62365         0     37272    189945    845228    115.76    123.93  --
1269.45/317.83	c  N dy  3076    498311     14502     62365         0     57282    189945   4477070    115.73    121.91  --
1296.63/324.64	c  N dy  3204    518347     14502     62365         0     41322    189945   1394641    115.70    122.26  --
1320.58/330.61	c  S st  3324    536826     14502     62365         0     59801    189945   4771118    115.68   no data  --
1320.98/330.80	c  S st  3324    537330     14502     62365         0     60305    189945   4837586    115.68   no data  --
1321.38/330.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1321.38/330.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1321.78/330.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.38
1322.60/331.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1322.60/331.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1322.60/331.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
1322.60/331.18	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1564.26/391.67	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time: 241.15 s
1564.26/391.68	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1564.67/391.74	c vivif2 --  cl tried    60302 cl shrink        0 lits rem          0 time: 0.26
1565.44/391.90	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.63
1565.44/391.91	c calculated reachability. Time: 0.00
1565.44/391.91	c  N dy  3324    537330     14502     62365         0     60302    189945   4837043    115.68   no data  --
1590.21/398.10	c  N dy  3450    557347     14502     62365         0     43323    189945   1586796    115.73    126.37  --
1613.78/404.02	c  N dy  3570    577485     14502     62365         0     63458    189945   5293943    115.68    126.82  --
1638.54/410.29	c  N dy  3696    597552     14502     62365         0     45524    189945   1829422    115.69    123.64  --
1662.90/416.33	c  N dy  3820    617786     14502     62365         0     65756    189945   5546674    115.69    133.62  --
1688.08/422.69	c  N dy  3951    637827     14502     62365         0     46801    189945   1891564    115.73    138.51  --
1712.84/428.83	c  N dy  4084    658060     14502     62365         0     67033    189945   5603843    115.71    121.84  --
1738.80/435.30	c  N dy  4215    678244     14502     62365         0     47216    189945   1766469    115.73    123.79  --
1763.16/441.46	c  N dy  4345    698264     14502     62365         0     67234    189945   5434487    115.71    124.88  --
1789.52/448.04	c  N dy  4485    718266     14502     62365         0     46238    189945   1455132    115.77    132.27  --
1813.89/454.11	c  N dy  4617    738388     14502     62365         0     66358    189945   5151115    115.80    125.99  --
1840.66/460.84	c  N dy  4747    758450     14502     62365         0     44419    189945    877353    115.80    123.51  --
1865.02/466.91	c  N dy  4884    778699     14502     62365         0     64665    189945   4639843    115.85    127.87  --
1892.19/473.79	c  N dy  5011    798728     14502     62365         0     84693    189945   8317848    115.87    142.52  --
1900.98/475.99	c  S st  5057    805996     14502     62365         0     48967    189945   1547646    115.86   no data  --
1901.78/476.14	c  S st  5057    806498     14502     62365         0     49469    189945   1612739    115.86   no data  --
1901.78/476.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1901.78/476.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1902.17/476.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1902.59/476.33	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1902.59/476.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1902.59/476.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
1902.59/476.35	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1916.55/479.88	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time: 14.07 s
1916.55/479.88	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1916.96/479.90	c vivif2 --  cl tried    49466 cl shrink        0 lits rem          0 time: 0.10
1917.36/480.03	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.52
1917.36/480.04	c calculated reachability. Time: 0.00
1917.36/480.04	c  N dy  5057    806498     14502     62365         0     49466    189945   1611926    115.86   no data  --
1942.13/486.22	c  N dy  5184    826562     14502     62365         0     69529    189945   5301004    115.87    123.54  --
1969.68/493.18	c  N dy  5316    846640     14502     62365         0     45609    189945    741724    115.89    123.04  --
1994.04/499.22	c  N dy  5438    866690     14502     62365         0     65658    189945   4380504    115.85    149.76  --
2024.81/506.90	c  N dy  5575    886759     14502     62365         0     85727    189945   8124831    115.88    124.36  --
2051.56/513.68	c  N dy  5701    906801     14502     62365         0     60773    189945   3380943    115.89    122.17  --
2081.12/521.02	c  N dy  5828    926868     14502     62365         0     80839    189945   7064102    115.88    122.85  --
2110.28/528.32	c  N dy  5965    946912     14502     62365         0     54882    189945   2087032    115.90    125.34  --
2137.85/535.27	c  N dy  6087    966919     14502     62365         0     74889    189945   5709897    115.88    139.21  --
2169.80/543.25	c  N dy  6208    987013     14502     62365         0     47983    189945    633908    115.84    122.25  --
2196.57/549.98	c  N dy  6333   1007050     14502     62365         0     68019    189945   4359428    115.82    122.39  --
2227.75/557.70	c  N dy  6471   1027076     14502     62365         0     88044    189945   8047900    115.84    126.59  --
2256.89/565.07	c  N dy  6600   1047226     14502     62365         0     60206    189945   2709213    115.82    123.43  --
2286.04/572.38	c  N dy  6732   1067310     14502     62365         0     80290    189945   6443704    115.85    122.68  --
2293.24/574.14	c  F st  6759   1071875     14502     62365         0     84855    189945   7291984    115.84   no data  --
2318.00/580.37	c  N dy  6838   1087335     14502     62365         0     51316    189945    929234    115.86    170.80  --
2345.97/587.33	c  N dy  6976   1107400     14502     62365         0     71379    189945   4696155    115.92    127.66  --
2376.33/594.92	c  N dy  7109   1127555     14502     62365         0     91534    189945   8416367    115.93    122.57  --
2405.08/602.14	c  N dy  7239   1147572     14502     62365         0     61549    189945   2625992    115.95    122.15  --
2433.44/609.20	c  N dy  7371   1167686     14502     62365         0     81663    189945   6356807    115.96    122.96  --
2465.02/617.12	c  N dy  7497   1187728     14502     62365         0    101702    189945  10024276    115.95    123.09  --
2491.79/623.82	c  N dy  7621   1207896     14502     62365         0     70871    189945   4159448    115.93    122.16  --
2494.56/624.50	c  S st  7635   1209748     14502     62365         0     72723    189945   4505605    115.93   no data  --
2495.36/624.72	c  S st  7635   1210256     14502     62365         0     73231    189945   4569807    115.93   no data  --
2495.36/624.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2495.36/624.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2495.77/624.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
2496.55/625.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2496.95/625.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2496.95/625.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
2496.95/625.11	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2706.69/677.63	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 209.49 s
2706.69/677.64	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
2706.69/677.70	c vivif2 --  cl tried    73227 cl shrink        0 lits rem          0 time: 0.25
2707.47/677.88	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.71
2707.47/677.88	c calculated reachability. Time: 0.00
2707.47/677.88	c  N dy  7635   1210256     14502     62365         0     73227    189945   4569278    115.93   no data  --
2736.23/685.08	c  N dy  7771   1230369     14502     62365         0     93338    189945   8281087    115.95    127.85  --
2764.58/692.14	c  N dy  7901   1250420     14502     62365         0     61394    189945   2256670    115.98    124.83  --
2791.35/698.81	c  N dy  8029   1270598     14502     62365         0     81569    189945   6000847    115.98    125.36  --
2821.33/706.36	c  N dy  8160   1290604     14502     62365         0    101575    189945   9765633    116.01    123.32  --
2848.47/713.16	c  N dy  8292   1310735     14502     62365         0     68707    189945   3389830    116.01    123.02  --
2876.43/720.19	c  N dy  8428   1330775     14502     62365         0     88746    189945   7135671    116.04    123.79  --
2907.59/727.99	c  N dy  8554   1350855     14502     62365         0     54828    189945    652926    116.03    122.23  --
2933.55/734.41	c  N dy  8684   1370875     14502     62365         0     74847    189945   4389990    116.05    137.78  --
2962.71/741.72	c  N dy  8822   1391012     14502     62365         0     94983    189945   8114036    116.06    122.43  --
2992.70/749.25	c  N dy  8950   1411149     14502     62365         0     60124    189945   1438008    116.06    125.99  --
3019.44/755.90	c  N dy  9081   1431151     14502     62365         0     80124    189945   5125196    116.07    131.56  --
3049.42/763.47	c  N dy  9217   1451331     14502     62365         0    100303    189945   8854276    116.08    122.53  --
3079.35/770.96	c  N dy  9350   1471504     14502     62365         0     64482    189945   2040132    116.08    124.57  --
3107.31/777.92	c  N dy  9493   1491581     14502     62365         0     84558    189945   5836961    116.15    122.96  --
3140.47/786.21	c  N dy  9629   1511645     14502     62365         0    104622    189945   9536876    116.15    153.06  --
3171.62/794.06	c  N dy  9759   1531915     14502     62365         0     67886    189945   2543946    116.16    123.78  --
3201.18/801.42	c  N dy  9891   1551982     14502     62365         0     87952    189945   6219651    116.16    126.30  --
3235.14/809.96	c  N dy 10032   1572094     14502     62365         0    108064    189945   9980141    116.18    128.35  --
3266.69/817.80	c  N dy 10164   1592300     14502     62365         0     70270    189945   2796699    116.18    123.15  --
3297.85/825.68	c  N dy 10290   1612437     14502     62365         0     90406    189945   6518962    116.19    123.44  --
3333.01/834.43	c  N dy 10416   1632467     14502     62365         0    110436    189945  10272843    116.19    125.14  --
3365.37/842.56	c  N dy 10547   1652536     14502     62365         0     71504    189945   2829968    116.19    133.11  --
3396.54/850.40	c  N dy 10678   1672542     14502     62365         0     91507    189945   6571195    116.19    122.76  --
3432.09/859.26	c  N dy 10806   1692615     14502     62365         0    111578    189945  10279129    116.19    122.75  --
3461.63/866.63	c  S st 10927   1710256     14502     62365         0     69223    189945   2259857    116.21   no data  --
3462.44/866.83	c  S st 10927   1710759     14502     62365         0     69726    189945   2324665    116.21   no data  --
3462.44/866.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3462.44/866.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3462.85/866.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3463.23/867.10	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3463.63/867.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3463.63/867.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
3463.63/867.11	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3491.99/874.20	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time: 28.25 s
3491.99/874.21	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.03
3491.99/874.24	c vivif2 --  cl tried    69725 cl shrink        0 lits rem          0 time: 0.15
3492.79/874.43	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.75
3492.79/874.44	c calculated reachability. Time: 0.00
3492.79/874.44	c  N dy 10927   1710759     14502     62365         0     69725    189945   2324317    116.21   no data  --
3522.35/881.88	c  N dy 11054   1730789     14502     62365         0     89755    189945   6051524    116.21    122.60  --
3555.91/890.28	c  N dy 11181   1750882     14502     62365         0    109847    189945   9742528    116.20    125.23  --
3589.06/898.55	c  N dy 11307   1770942     14502     62365         0     68917    189945   1985062    116.18    129.55  --
3619.02/906.01	c  N dy 11441   1791019     14502     62365         0     88993    189945   5714537    116.18    122.72  --
3652.17/914.36	c  N dy 11570   1811287     14502     62365         0    109260    189945   9431689    116.19    124.88  --
3686.95/923.04	c  N dy 11705   1831397     14502     62365         0     67374    189945   1538716    116.20    122.38  --
3717.71/930.73	c  N dy 11841   1851487     14502     62365         0     87464    189945   5280621    116.22    124.33  --
3753.63/939.75	c  N dy 11976   1871686     14502     62365         0    107660    189945   9054265    116.23    124.38  --
3791.99/949.40	c  N dy 12107   1891717     14502     62365         0     64695    189945    866205    116.24    123.29  --
3822.76/957.02	c  N dy 12240   1911855     14502     62365         0     84832    189945   4563993    116.24    122.47  --
3857.50/965.78	c  N dy 12374   1931971     14502     62365         0    104946    189945   8254333    116.23    122.68  --
3897.05/975.60	c  N dy 12506   1952022     14502     62365         0    124997    189945  12048520    116.25    143.46  --
3929.00/983.62	c  N dy 12636   1972195     14502     62365         0     81166    189945   3728628    116.25    125.64  --
3962.96/992.10	c  N dy 12765   1992327     14502     62365         0    101297    189945   7452627    116.25    122.61  --
4000.51/1001.54	c  N dy 12896   2012399     14502     62365         0    121368    189945  11147563    116.26    126.23  --
4035.66/1010.35	c  N dy 13025   2032706     14502     62365         0     76679    189945   2699823    116.26    124.13  --
4069.61/1018.80	c  N dy 13158   2052819     14502     62365         0     96787    189945   6432171    116.26    124.00  --
4105.97/1027.91	c  N dy 13293   2073032     14502     62365         0    116997    189945  10220303    116.28    123.54  --
4141.91/1036.94	c  N dy 13426   2093126     14502     62365         0     71091    189945   1494612    116.28    129.16  --
4171.87/1044.40	c  N dy 13558   2113213     14502     62365         0     91176    189945   5158934    116.28    124.67  --
4206.22/1053.00	c  N dy 13693   2133296     14502     62365         0    111258    189945   8889964    116.29    123.73  --
4244.17/1062.52	c  N dy 13820   2153539     14502     62365         0    131499    189945  12605650    116.28    130.78  --
4274.53/1070.14	c  N dy 13943   2173586     14502     62365         0     84548    189945   3824671    116.29    130.53  --
4307.69/1078.42	c  N dy 14088   2193643     14502     62365         0    104604    189945   7608866    116.32    124.09  --
4338.44/1086.16	c  S st 14198   2210759     14502     62365         0    121720    189945  10761149    116.31   no data  --
4339.64/1086.46	c  S st 14198   2211264     14502     62365         0    122225    189945  10831787    116.31   no data  --
4339.64/1086.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4339.64/1086.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4340.44/1086.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.60
4343.24/1087.31	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4343.24/1087.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4343.24/1087.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14502 time:  0.02 s
4343.24/1087.33	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.42 7.92 7.98 2/172 31977
/proc/meminfo: memFree=24406592/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 519605765 52465664 352 33554432000 4194304 4650419 140735214205392 18446744073709551615 47436371027880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 12809 352 303 112 0 7774 0
[pid=31977/tid=31978] ppid=31975 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 519605765 52465664 352 33554432000 4194304 4650419 140735214205392 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 519605765 52465664 352 33554432000 4194304 4650419 140735214205392 18446744073709551615 212699472950 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 519605765 52465664 352 33554432000 4194304 4650419 140735214205392 18446744073709551615 47436371027890 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0452531 s]
/proc/loadavg: 7.42 7.92 7.98 2/172 31977
/proc/meminfo: memFree=24406592/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=295740 CPUtime=0.15 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) D 31975 31977 31855 0 -1 4202496 10326 0 0 0 13 2 0 0 19 0 4 0 519605765 302837760 9284 33554432000 4194304 4650419 140735214205392 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 73935 9481 344 112 0 68900 0
[pid=31977/tid=31978] ppid=31975 vsize=295740 CPUtime=0.03 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) D 31975 31977 31855 0 -1 4202560 2546 0 0 0 3 0 0 0 18 0 4 0 519605765 302837760 9481 33554432000 4194304 4650419 140735214205392 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=296228 CPUtime=0.03 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 2526 0 0 0 3 0 0 0 18 0 4 0 519605765 303337472 9538 33554432000 4194304 4650419 140735214205392 18446744073709551615 4307545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=296952 CPUtime=0.03 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 2540 0 0 0 3 0 0 0 18 0 4 0 519605765 304078848 9653 33554432000 4194304 4650419 140735214205392 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 295740

[startup+0.222068 s]
/proc/loadavg: 7.42 7.92 7.98 2/172 31977
/proc/meminfo: memFree=24406592/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=315744 CPUtime=0.85 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 19827 0 0 0 81 4 0 0 19 0 4 0 519605765 323321856 17441 33554432000 4194304 4650419 140735214205392 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 78936 17444 385 112 0 73901 0
[pid=31977/tid=31978] ppid=31975 vsize=315744 CPUtime=0.2 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 5648 0 0 0 20 0 0 0 18 0 4 0 519605765 323321856 17463 33554432000 4194304 4650419 140735214205392 18446744073709551615 212687372737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=315744 CPUtime=0.21 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 5449 0 0 0 20 1 0 0 18 0 4 0 519605765 323321856 17490 33554432000 4194304 4650419 140735214205392 18446744073709551615 212687372488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=315744 CPUtime=0.2 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 2895 0 0 0 20 0 0 0 18 0 4 0 519605765 323321856 17516 33554432000 4194304 4650419 140735214205392 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 315744

[startup+0.314143 s]
/proc/loadavg: 7.42 7.92 7.98 2/172 31977
/proc/meminfo: memFree=24406592/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=316704 CPUtime=1.22 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 21932 0 0 0 118 4 0 0 19 0 4 0 519605765 324304896 17672 33554432000 4194304 4650419 140735214205392 18446744073709551615 4306746 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 79176 17672 388 112 0 74141 0
[pid=31977/tid=31978] ppid=31975 vsize=316704 CPUtime=0.29 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 5975 0 0 0 29 0 0 0 18 0 4 0 519605765 324304896 17672 33554432000 4194304 4650419 140735214205392 18446744073709551615 4542365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=316704 CPUtime=0.3 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 6275 0 0 0 29 1 0 0 18 0 4 0 519605765 324304896 17672 33554432000 4194304 4650419 140735214205392 18446744073709551615 4528498 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=316704 CPUtime=0.3 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 2971 0 0 0 30 0 0 0 18 0 4 0 519605765 324304896 17672 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 316704

[startup+0.701072 s]
/proc/loadavg: 7.42 7.92 7.98 2/172 31977
/proc/meminfo: memFree=24406592/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=316704 CPUtime=2.76 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 23883 0 0 0 272 4 0 0 19 0 4 0 519605765 324304896 19200 33554432000 4194304 4650419 140735214205392 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 79176 19201 391 112 0 74141 0
[pid=31977/tid=31978] ppid=31975 vsize=316704 CPUtime=0.67 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 6360 0 0 0 67 0 0 0 18 0 4 0 519605765 324304896 19201 33554432000 4194304 4650419 140735214205392 18446744073709551615 4328241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=316704 CPUtime=0.68 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 6887 0 0 0 67 1 0 0 18 0 4 0 519605765 324304896 19201 33554432000 4194304 4650419 140735214205392 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=316704 CPUtime=0.68 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 3327 0 0 0 68 0 0 0 18 0 4 0 519605765 324304896 19201 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 316704

[startup+1.50093 s]
/proc/loadavg: 7.42 7.92 7.98 9/184 31994
/proc/meminfo: memFree=24284804/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=316704 CPUtime=5.96 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 27180 0 0 0 590 6 0 0 21 0 4 0 519605765 324304896 22497 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 79176 22497 391 112 0 74141 0
[pid=31977/tid=31978] ppid=31975 vsize=316704 CPUtime=1.48 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 7137 0 0 0 147 1 0 0 20 0 4 0 519605765 324304896 22497 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=316704 CPUtime=1.48 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 7661 0 0 0 147 1 0 0 19 0 4 0 519605765 324304896 22497 33554432000 4194304 4650419 140735214205392 18446744073709551615 4354972 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=316704 CPUtime=1.49 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 4220 0 0 0 148 1 0 0 19 0 4 0 519605765 324304896 22497 33554432000 4194304 4650419 140735214205392 18446744073709551615 4314893 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 316704

[startup+3.10063 s]
/proc/loadavg: 7.42 7.92 7.98 9/184 31994
/proc/meminfo: memFree=24267940/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=469248 CPUtime=12.35 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 33038 0 0 0 1228 7 0 0 25 0 4 0 519605765 480509952 28355 33554432000 4194304 4650419 140735214205392 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 117312 28355 391 112 0 112277 0
[pid=31977/tid=31978] ppid=31975 vsize=469248 CPUtime=3.07 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 8558 0 0 0 306 1 0 0 25 0 4 0 519605765 480509952 28356 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=469248 CPUtime=3.09 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 9102 0 0 0 307 2 0 0 25 0 4 0 519605765 480509952 28356 33554432000 4194304 4650419 140735214205392 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=469248 CPUtime=3.09 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 5709 0 0 0 308 1 0 0 25 0 4 0 519605765 480509952 28356 33554432000 4194304 4650419 140735214205392 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 469248

[startup+6.30105 s]
/proc/loadavg: 7.46 7.92 7.98 9/184 31994
/proc/meminfo: memFree=24217596/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=328540 CPUtime=25.13 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 49213 0 0 0 2502 11 0 0 25 0 4 0 519605765 336424960 27822 33554432000 4194304 4650419 140735214205392 18446744073709551615 4335219 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 82135 27823 394 112 0 77100 0
[pid=31977/tid=31978] ppid=31975 vsize=328540 CPUtime=6.25 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 12335 0 0 0 623 2 0 0 25 0 4 0 519605765 336424960 27823 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=328540 CPUtime=6.28 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 13223 0 0 0 626 2 0 0 25 0 4 0 519605765 336424960 27823 33554432000 4194304 4650419 140735214205392 18446744073709551615 4354963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=328540 CPUtime=6.29 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 9829 0 0 0 627 2 0 0 25 0 4 0 519605765 336424960 27823 33554432000 4194304 4650419 140735214205392 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 328540

[startup+12.7009 s]
/proc/loadavg: 7.50 7.92 7.98 9/184 31994
/proc/meminfo: memFree=23931524/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=578564 CPUtime=50.69 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 118158 0 0 0 5040 29 0 0 25 0 4 0 519605765 592449536 83883 33554432000 4194304 4650419 140735214205392 18446744073709551615 4330898 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 144641 83883 395 112 0 139606 0
[pid=31977/tid=31978] ppid=31975 vsize=578564 CPUtime=12.61 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 34486 0 0 0 1255 6 0 0 25 0 4 0 519605765 592449536 83883 33554432000 4194304 4650419 140735214205392 18446744073709551615 4444055 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=578564 CPUtime=12.68 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 24067 0 0 0 1263 5 0 0 25 0 4 0 519605765 592449536 83883 33554432000 4194304 4650419 140735214205392 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=578564 CPUtime=12.68 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 28663 0 0 0 1261 7 0 0 25 0 4 0 519605765 592449536 83883 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 578564

[startup+25.5006 s]
/proc/loadavg: 7.61 7.92 7.98 9/184 31994
/proc/meminfo: memFree=23826472/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=582052 CPUtime=101.82 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 166622 0 0 0 10140 42 0 0 25 0 4 0 519605765 596021248 92520 33554432000 4194304 4650419 140735214205392 18446744073709551615 4439648 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 145513 92520 395 112 0 140478 0
[pid=31977/tid=31978] ppid=31975 vsize=582052 CPUtime=25.34 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 43149 0 0 0 2526 8 0 0 25 0 4 0 519605765 596021248 92520 33554432000 4194304 4650419 140735214205392 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=582052 CPUtime=25.48 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 41527 0 0 0 2537 11 0 0 25 0 4 0 519605765 596021248 92520 33554432000 4194304 4650419 140735214205392 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=582052 CPUtime=25.48 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 36975 0 0 0 2539 9 0 0 25 0 4 0 519605765 596021248 92520 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 582052

[startup+51.1009 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 31995
/proc/meminfo: memFree=23654904/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=819056 CPUtime=204.08 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 257137 0 0 0 20342 66 0 0 25 0 4 0 519605765 838713344 121586 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 204764 121586 395 112 0 199729 0
[pid=31977/tid=31978] ppid=31975 vsize=819056 CPUtime=50.8 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 51595 0 0 0 5070 10 0 0 25 0 4 0 519605765 838713344 121586 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=819056 CPUtime=51.09 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 58644 0 0 0 5092 17 0 0 25 0 4 0 519605765 838713344 121586 33554432000 4194304 4650419 140735214205392 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=819056 CPUtime=51.08 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 55728 0 0 0 5092 16 0 0 25 0 4 0 519605765 838713344 121586 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 819056

[startup+102.301 s]
/proc/loadavg: 7.94 7.95 7.98 9/184 31996
/proc/meminfo: memFree=23521576/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=815588 CPUtime=408.63 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 499118 0 0 0 40744 119 0 0 25 0 4 0 519605765 835162112 139952 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 203897 139952 395 112 0 198862 0
[pid=31977/tid=31978] ppid=31975 vsize=815588 CPUtime=101.73 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 68851 0 0 0 10156 17 0 0 25 0 4 0 519605765 835162112 139952 33554432000 4194304 4650419 140735214205392 18446744073709551615 4314710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=815588 CPUtime=102.29 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 89809 0 0 0 10202 27 0 0 25 0 4 0 519605765 835162112 139952 33554432000 4194304 4650419 140735214205392 18446744073709551615 4328292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=815588 CPUtime=102.3 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 87729 0 0 0 10202 28 0 0 25 0 4 0 519605765 835162112 139952 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 815588

[startup+162.301 s]

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

[pid=31977] ppid=31975 vsize=1300004 CPUtime=2565.66 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 2209720 0 0 0 256003 563 0 0 25 0 4 0 519605765 1331204096 227476 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 325001 227476 395 112 0 319966 0
[pid=31977/tid=31978] ppid=31975 vsize=1300004 CPUtime=638.78 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 214327 0 0 0 63800 78 0 0 25 0 4 0 519605765 1331204096 227476 33554432000 4194304 4650419 140735214205392 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1300004 CPUtime=642.28 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 597855 0 0 0 64074 154 0 0 25 0 4 0 519605765 1331204096 227476 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1300004 CPUtime=642.28 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 658456 0 0 0 64065 163 0 0 25 0 4 0 519605765 1331204096 227476 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 1300004

[startup+702.3 s]
/proc/loadavg: 8.18 8.12 8.04 9/184 32012
/proc/meminfo: memFree=22861240/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1236312 CPUtime=2805.33 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 2305700 0 0 0 279933 600 0 0 25 0 4 0 519605765 1265983488 221627 33554432000 4194304 4650419 140735214205392 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 309078 221627 395 112 0 304043 0
[pid=31977/tid=31978] ppid=31975 vsize=1236312 CPUtime=698.45 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 237565 0 0 0 69757 88 0 0 25 0 4 0 519605765 1265983488 221627 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1236312 CPUtime=702.28 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 624030 0 0 0 70066 162 0 0 25 0 4 0 519605765 1265983488 221627 33554432000 4194304 4650419 140735214205392 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1236312 CPUtime=702.28 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 691144 0 0 0 70052 176 0 0 25 0 4 0 519605765 1265983488 221627 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 1236312

[startup+762.3 s]
/proc/loadavg: 8.21 8.14 8.05 9/184 32014
/proc/meminfo: memFree=22864796/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1145252 CPUtime=3045.02 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 2419661 0 0 0 303861 641 0 0 25 0 4 0 519605765 1172738048 224174 33554432000 4194304 4650419 140735214205392 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 286313 224174 395 112 0 281278 0
[pid=31977/tid=31978] ppid=31975 vsize=1145252 CPUtime=758.13 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 261817 0 0 0 75716 97 0 0 25 0 4 0 519605765 1172738048 224174 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1145252 CPUtime=762.28 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 653274 0 0 0 76055 173 0 0 25 0 4 0 519605765 1172738048 224174 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1145252 CPUtime=762.29 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 720907 0 0 0 76042 187 0 0 25 0 4 0 519605765 1172738048 224174 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1145252

[startup+822.3 s]
/proc/loadavg: 8.17 8.14 8.05 9/184 32016
/proc/meminfo: memFree=22798420/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1199144 CPUtime=3284.67 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 2632073 0 0 0 327772 695 0 0 25 0 4 0 519605765 1227923456 236158 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 299786 236158 395 112 0 294751 0
[pid=31977/tid=31978] ppid=31975 vsize=1199144 CPUtime=817.79 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 281539 0 0 0 81675 104 0 0 25 0 4 0 519605765 1227923456 236158 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1199144 CPUtime=822.28 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 786756 0 0 0 82035 193 0 0 25 0 4 0 519605765 1227923456 236158 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1199144 CPUtime=822.27 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 751664 0 0 0 82027 200 0 0 25 0 4 0 519605765 1227923456 236158 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 1199144

[startup+882.306 s]
/proc/loadavg: 8.22 8.16 8.06 9/184 32017
/proc/meminfo: memFree=22772840/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1253656 CPUtime=3524.37 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 2851099 0 0 0 351686 751 0 0 25 0 4 0 519605765 1283743744 238550 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 313414 238550 395 112 0 308379 0
[pid=31977/tid=31978] ppid=31975 vsize=1253656 CPUtime=877.47 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 284623 0 0 0 87642 105 0 0 25 0 4 0 519605765 1283743744 238550 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1253656 CPUtime=882.29 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 951027 0 0 0 88011 218 0 0 25 0 4 0 519605765 1283743744 238550 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1253656 CPUtime=882.28 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 779632 0 0 0 88012 216 0 0 25 0 4 0 519605765 1283743744 238550 33554432000 4194304 4650419 140735214205392 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 1253656

[startup+942.301 s]
/proc/loadavg: 8.15 8.14 8.06 9/184 32019
/proc/meminfo: memFree=22586912/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1346576 CPUtime=3764.03 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 3169548 0 0 0 375582 821 0 0 25 0 4 0 519605765 1378893824 286126 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 336644 286126 405 112 0 331609 0
[pid=31977/tid=31978] ppid=31975 vsize=1346576 CPUtime=937.15 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 313093 0 0 0 93598 117 0 0 25 0 4 0 519605765 1378893824 286126 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1346576 CPUtime=942.29 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1114295 0 0 0 93988 241 0 0 25 0 4 0 519605765 1378893824 286126 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1346576 CPUtime=942.28 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 877526 0 0 0 93991 237 0 0 25 0 4 0 519605765 1378893824 286126 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 1346576

[startup+1002.3 s]
/proc/loadavg: 8.12 8.13 8.06 9/184 32020
/proc/meminfo: memFree=22556728/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1347136 CPUtime=4003.7 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 3645494 0 0 0 399455 915 0 0 25 0 4 0 519605765 1379467264 285305 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 336784 285305 411 112 0 331749 0
[pid=31977/tid=31978] ppid=31975 vsize=1347136 CPUtime=996.82 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 333310 0 0 0 99552 130 0 0 25 0 4 0 519605765 1379467264 285305 33554432000 4194304 4650419 140735214205392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1347136 CPUtime=1002.29 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1301025 0 0 0 99961 268 0 0 25 0 4 0 519605765 1379467264 285305 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1347136 CPUtime=1002.28 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1122608 0 0 0 99955 273 0 0 25 0 4 0 519605765 1379467264 285305 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 1347136

[startup+1062.3 s]
/proc/loadavg: 8.04 8.10 8.06 9/184 32022
/proc/meminfo: memFree=22453232/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1400732 CPUtime=4243.38 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 4020572 0 0 0 423347 991 0 0 25 0 4 0 519605765 1434349568 275307 33554432000 4194304 4650419 140735214205392 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 350183 275307 395 112 0 345148 0
[pid=31977/tid=31978] ppid=31975 vsize=1400732 CPUtime=1056.49 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 357515 0 0 0 105507 142 0 0 25 0 4 0 519605765 1434349568 275307 33554432000 4194304 4650419 140735214205392 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1400732 CPUtime=1062.29 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1374905 0 0 0 105946 283 0 0 25 0 4 0 519605765 1434349568 275307 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1400732 CPUtime=1062.29 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1375019 0 0 0 105919 310 0 0 25 0 4 0 519605765 1434349568 275307 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 1400732

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 8.06 9/184 32024
/proc/meminfo: memFree=22201360/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1564728 CPUtime=4483.05 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 4510888 0 0 0 447214 1091 0 0 25 0 4 0 519605765 1602281472 323495 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 391182 323496 395 112 0 386147 0
[pid=31977/tid=31978] ppid=31975 vsize=1564728 CPUtime=1116.16 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 394470 0 0 0 111463 153 0 0 25 0 4 0 519605765 1602281472 323496 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1564728 CPUtime=1122.29 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1402015 0 0 0 111927 302 0 0 25 0 4 0 519605765 1602281472 323496 33554432000 4194304 4650419 140735214205392 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1564728 CPUtime=1122.29 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1636230 0 0 0 111878 351 0 0 25 0 4 0 519605765 1602281472 323496 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 1564728

[startup+1182.3 s]
/proc/loadavg: 8.02 8.08 8.05 9/184 32025
/proc/meminfo: memFree=22252040/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1458800 CPUtime=4722.73 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 5054148 0 0 0 471089 1184 0 0 25 0 4 0 519605765 1493811200 314145 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 364700 314145 395 112 0 359665 0
[pid=31977/tid=31978] ppid=31975 vsize=1458800 CPUtime=1175.84 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 394473 0 0 0 117431 153 0 0 25 0 4 0 519605765 1493811200 314145 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1458800 CPUtime=1182.3 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1423749 0 0 0 117913 317 0 0 25 0 4 0 519605765 1493811200 314145 33554432000 4194304 4650419 140735214205392 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1458800 CPUtime=1182.29 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1919072 0 0 0 117835 394 0 0 25 0 4 0 519605765 1493811200 314145 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 1458800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 8.07 8.05 9/184 32026
/proc/meminfo: memFree=22232696/32951124 swapFree=67111524/67111528
[pid=31977] ppid=31975 vsize=1513168 CPUtime=4800.24 cores=1,3,5,7
/proc/31977/stat : 31977 (strangenight1-m) R 31975 31977 31855 0 -1 4202496 5250313 0 0 0 478806 1218 0 0 25 0 4 0 519605765 1549484032 322035 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31977/statm: 378292 322035 398 112 0 373257 0
[pid=31977/tid=31978] ppid=31975 vsize=1513168 CPUtime=1195.13 cores=1,3,5,7
/proc/31977/task/31978/stat : 31978 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 394473 0 0 0 119360 153 0 0 25 0 4 0 519605765 1549484032 322035 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31977/tid=31979] ppid=31975 vsize=1513168 CPUtime=1201.7 cores=1,3,5,7
/proc/31977/task/31979/stat : 31979 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 1431586 0 0 0 119848 322 0 0 25 0 4 0 519605765 1549484032 322035 33554432000 4194304 4650419 140735214205392 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31977/tid=31980] ppid=31975 vsize=1513168 CPUtime=1201.69 cores=1,3,5,7
/proc/31977/task/31980/stat : 31980 (strangenight1-m) R 31975 31977 31855 0 -1 4202560 2027091 0 0 0 119760 409 0 0 25 0 4 0 519605765 1549484032 322035 33554432000 4194304 4650419 140735214205392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1513168

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.33
CPU user time (s): 4788.09
CPU system time (s): 12.2411
CPU usage (%): 399.438
Max. virtual memory (cumulated for all children) (KiB): 1564912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.09
system time used= 12.2411
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5250313
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= 1811
involuntary context switches= 32566

runsolver used 1.80373 second user time and 4.77527 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 14:28:00
IDJOB=3175055
IDBENCH=82673
IDSOLVER=1588
FILE ID=node139/3175055-1304080080
RUNJOBID= node139-1304078876-31874
PBS_JOBID= 13170525
Free space on /tmp= 72552 MiB

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

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

MD5SUM BENCH= 0a98d6d9a7bdb797305aed69a94f9a69
RANDOM SEED=108394086

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24406872 kB
Buffers:       2039000 kB
Cached:        5923636 kB
SwapCached:          4 kB
Active:         911192 kB
Inactive:      7114392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24406872 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7432 kB
Writeback:           0 kB
AnonPages:       63360 kB
Mapped:          14744 kB
Slab:           453140 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72540 MiB
End job on node139 at 2011-04-29 14:48:04