Trace number 3366178

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-2-mt (fixed)? (TO) 4800.36 1203.59

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf
MD5SUMd523f5efa43fecaa5caf604137870a4e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark139.522
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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.29/0.10	c This is CryptoMiniSat 3.0.0
0.29/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.29/0.10	c Reading file 'HOME/instance-3366178-1305398150.cnf'
0.29/0.10	c -- header says num vars:          20000
0.29/0.10	c -- header says num clauses:       84000
0.29/0.17	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.29/0.17	c -- vars added      20000
0.29/0.17	c Parsing time:  0.05 s
0.29/0.17	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.29/0.33	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.29/0.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.29/0.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.29/0.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.29/0.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.29/0.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.29/0.33	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.29/0.99	c lits-rem:         0  cl-subs:        0  v-elim:    487  v-fix:    0  time:  0.13 s
0.29/0.99	c Finding binary XORs  T:     0.00 s  found:       0
0.29/0.99	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.29/0.99	c calculated reachability. Time: 0.00
0.29/0.99	c Calc default polars -  time:   0.01 s pos:    8763 undec:    2164 neg:    9073
0.29/0.99	c =========================================================================================
0.29/0.99	c types(t): F = full restart, N = normal restart
0.29/0.99	c types(t): S = simplification begin/end, E = solution found
0.29/0.99	c restart types(rt): st = static, dy = dynamic
0.29/0.99	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.29/0.99	c  B st     0         0     19513     83511         0         0    253515         0   no data   no data
6.18/1.66	c  N dy    21      4305     19513     83511         0      4303    253515    908215    132.08    139.37
10.97/2.83	c  N dy    48      8416     19513     83511         0      8414    253515   1768251    132.85    140.23
15.76/4.03	c  N dy    76     12514     19513     83511         0     12512    253515   2612039    132.82    140.92
20.57/5.25	c  N dy   100     16573     19513     83511         0     16571    253515   3420932    130.82    146.55
26.12/6.60	c  N dy   127     20821     19513     83511         0     10822    253515    723539    130.58    138.83
30.90/7.83	c  N dy   153     24880     19513     83511         0     14881    253515   1567898    130.15    137.12
30.90/7.87	c  F st   154     25000     19513     83511         0     15001    253515   1593212    130.12    129.45
37.70/9.53	c  N dy   160     30003     19513     83511         0     20003    253515   2929830    130.12   no data
37.70/9.53	c  S st   160     30003     19513     83511         0     20003    253515   2929830    130.12   no data
38.12/9.69	c  S st   160     30506     19513     83511         0     20506    253515   3003513    130.12   no data
38.12/9.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.53/9.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.53/9.78	c blocked clauses removed:      477 vars:     74 tried:       19513 T: 0.01 s
38.53/9.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.53/9.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.87/9.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
38.87/9.81	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
38.87/9.89	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.08 s
40.07/10.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.25/10.94	c lits-rem:         8  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.77 s
43.65/11.04	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.10
43.65/11.04	c calculated reachability. Time: 0.00
43.65/11.04	c  N dy   160     30506     19423     83021         0     20280    252124   2928735    130.12   no data
48.84/12.35	c  N dy   185     34565     19423     83021         0     24337    252124   3732075    129.61    149.36
54.83/13.83	c  N dy   210     38723     19423     83021         0     28495    252124   4598922    129.37    136.60
60.45/15.27	c  N dy   235     42879     19423     83021         0     17266    252124   1041825    129.10    139.11
64.00/16.17	c  S st   253     45760     19423     83021         0     20147    252124   1624412    129.13    125.87
64.84/16.33	c  S st   253     46263     19423     83021         0     20650    252124   1694192    129.13   no data
64.84/16.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.84/16.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
65.19/16.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.19/16.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.19/16.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.19/16.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
65.19/16.44	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
65.59/16.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
65.99/16.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.79/16.86	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.23 s
66.79/16.87	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
66.79/16.90	c vivif2 --  cl tried    20649 cl shrink        0 lits rem          0 time: 0.03
67.58/17.00	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.10
67.58/17.00	c calculated reachability. Time: 0.00
67.58/17.00	c  N dy   253     46263     19423     83021         0     20649    252124   1693638    129.13   no data
72.37/18.29	c  N dy   278     50271     19423     83021         0     24657    252124   2493710    128.96    137.66
78.00/19.66	c  N dy   307     54422     19423     83021         0     28808    252124   3329258    128.94    137.97
83.94/21.15	c  N dy   337     58632     19423     83021         0     33018    252124   4228422    129.48    140.70
89.53/22.55	c  N dy   365     62658     19423     83021         0     37044    252124   5040754    129.42    137.99
95.15/23.91	c  N dy   392     66734     19423     83021         0     22429    252124   1412153    129.50    139.14
98.71/24.80	c  S st   412     69394     19423     83021         0     25089    252124   1944521    129.56   no data
99.11/24.97	c  S st   412     69899     19423     83021         0     25594    252124   2017525    129.56   no data
99.11/24.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.54/25.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
99.54/25.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
99.54/25.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.54/25.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
99.54/25.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
99.54/25.08	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
99.94/25.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
100.29/25.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.89/25.63	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.34 s
101.89/25.64	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
101.89/25.67	c vivif2 --  cl tried    25593 cl shrink        0 lits rem          0 time: 0.03
102.29/25.78	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.11
102.29/25.78	c calculated reachability. Time: 0.00
102.29/25.78	c  N dy   412     69899     19423     83021         0     25593    252124   2017497    129.56   no data
108.72/27.34	c  N dy   444     74491     19423     83021         0     30184    252124   2971223    129.71    142.42
115.45/29.01	c  N dy   475     79306     19423     83021         0     34998    252124   3962691    129.57    154.60
122.63/30.87	c  N dy   514     84454     19423     83021         0     40146    252124   5021979    129.76    164.65
127.02/31.93	c  F st   532     87500     19423     83021         0     22347    252124    919164    129.55   no data
131.81/33.15	c  N st   537     90796     19423     83021         0     25643    252124   1837444    129.55   no data
139.79/35.15	c  N dy   563     96638     19423     83021         0     31483    252124   3171489    129.52    146.18
148.95/37.41	c  N dy   606    103005     19423     83021         0     37850    252124   4489572    129.63    138.93
151.36/38.09	c  S st   620    104848     19423     83021         0     39693    252124   4849755    129.64   no data
152.18/38.27	c  S st   620    105355     19423     83021         0     40200    252124   4921660    129.64   no data
152.18/38.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
152.59/38.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
152.59/38.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.59/38.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.59/38.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
152.59/38.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
152.94/38.40	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
153.34/38.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
154.15/38.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.13/40.24	c lits-rem:        23  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.44 s
160.13/40.25	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
160.53/40.32	c vivif2 --  cl tried    40195 cl shrink        0 lits rem          0 time: 0.08
160.96/40.45	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.13
160.96/40.46	c calculated reachability. Time: 0.00
160.96/40.46	c  N dy   620    105355     19423     83021         0     40195    252124   4917429    129.64   no data
170.90/42.98	c  N dy   668    112095     19423     83021         0     24516    252124   1015085    129.67    140.43
181.27/45.50	c  N dy   714    119346     19423     83021         0     31767    252124   2503950    129.66    141.30
192.44/48.36	c  N dy   766    127175     19423     83021         0     39595    252124   4146056    129.94    138.06
204.83/51.42	c  N dy   817    135339     19423     83021         0     24047    252124    608209    129.79    137.87
216.77/54.41	c  N dy   874    144032     19423     83021         0     32740    252124   2401388    129.81    137.75
230.33/57.86	c  N dy   944    153321     19423     83021         0     42028    252124   4355728    130.13    157.47
237.51/59.65	c  S st   977    158033     19423     83021         0     46739    252124   5349354    130.20    110.88
238.31/59.85	c  S st   977    158537     19423     83021         0     47243    252124   5425503    130.20   no data
238.31/59.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
238.71/59.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
238.71/59.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.71/59.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.71/59.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
238.71/59.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
238.71/59.98	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
239.11/60.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
240.34/60.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
248.71/62.50	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.12 s
249.12/62.51	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
249.47/62.60	c vivif2 --  cl tried    47238 cl shrink        0 lits rem          0 time: 0.09
249.87/62.74	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
249.87/62.74	c calculated reachability. Time: 0.00
249.87/62.75	c  N dy   977    158537     19423     83021         0     47238    252124   5423760    130.20   no data
264.23/66.38	c  N dy  1042    168681     19423     83021         0     32527    252124   2099845    130.13    139.05
280.18/70.38	c  N dy  1114    179540     19423     83021         0     43385    252124   4376951    130.23    162.82
297.74/74.76	c  N dy  1193    191014     19423     83021         0     28934    252124   1120705    130.29    137.47
315.29/79.17	c  N dy  1278    203278     19423     83021         0     41198    252124   3658504    130.36    137.92
335.64/84.22	c  N dy  1367    216334     19423     83021         0     27294    252124    551236    130.60    137.82
355.58/89.23	c  N dy  1465    230285     19423     83021         0     41244    252124   3433829    130.66    137.61
366.76/92.10	c  S st  1517    237807     19423     83021         0     48766    252124   4955791    130.59    122.14
367.94/92.31	c  S st  1517    238310     19423     83021         0     49269    252124   5045713    130.59   no data
367.94/92.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
368.34/92.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
368.34/92.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.34/92.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
368.34/92.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
368.34/92.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
368.34/92.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
368.74/92.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
369.95/92.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
378.32/94.95	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.13 s
378.32/94.96	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
378.72/95.05	c vivif2 --  cl tried    49263 cl shrink        0 lits rem          0 time: 0.08
379.12/95.19	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
379.52/95.20	c calculated reachability. Time: 0.00
379.52/95.20	c  N dy  1517    238310     19423     83021         0     49263    252124   5042844    130.59   no data
402.29/100.92	c  N dy  1619    253565     19423     83021         0     36532    252124   2237728    130.60    137.50
426.98/107.17	c  N dy  1733    269845     19423     83021         0     52811    252124   5652816    130.82    138.81
453.31/113.72	c  N dy  1839    287131     19423     83021         0     41109    252124   2912014    130.72    137.83
482.43/121.00	c  N dy  1965    305689     19423     83021         0     59667    252124   6779287    130.84    146.98
483.23/121.25	c  F st  1970    306250     19423     83021         0     30235    252124    498495    130.83   no data
511.98/128.41	c  N dy  2067    325434     19423     83021         0     49418    252124   4822272    130.81    138.37
542.70/136.21	c  N dy  2202    345464     19423     83021         0     38449    252124   1985265    130.86    137.90
561.01/140.77	c  S st  2279    357467     19423     83021         0     50451    252124   4472225    130.87   no data
561.81/140.98	c  S st  2279    357973     19423     83021         0     50957    252124   4547321    130.87   no data
561.81/140.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
562.21/141.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
562.21/141.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
562.21/141.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
562.61/141.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
562.61/141.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
562.61/141.12	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
563.01/141.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
563.81/141.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
575.77/144.44	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.99 s
575.77/144.45	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
576.17/144.52	c vivif2 --  cl tried    50954 cl shrink        0 lits rem          0 time: 0.07
576.57/144.67	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.15
576.57/144.67	c calculated reachability. Time: 0.00
576.57/144.67	c  N dy  2279    357973     19423     83021         0     50954    252124   4546447    130.87   no data
608.08/152.53	c  N dy  2409    378041     19423     83021         0     39022    252124   1862641    130.87    154.67
640.39/160.68	c  N dy  2551    398143     19423     83021         0     59118    252124   6044279    130.91    138.93
671.51/168.41	c  N dy  2677    418167     19423     83021         0     46145    252124   3153831    130.89    144.56
703.81/176.56	c  N dy  2811    438293     19423     83021         0     66270    252124   7278175    130.88    138.55
734.93/184.32	c  N dy  2946    458305     19423     83021         0     52290    252124   4248679    130.92    147.47
768.02/192.62	c  N dy  3081    478518     19423     83021         0     37504    252124    976770    131.02    147.56
798.74/200.37	c  N dy  3208    498530     19423     83021         0     57514    252124   5110486    130.99    140.71
831.86/208.62	c  N dy  3343    518625     19423     83021         0     41611    252124   1583280    130.99    138.32
860.57/215.86	c  S st  3466    536959     19423     83021         0     59945    252124   5368593    130.99    107.70
861.37/216.08	c  S st  3466    537459     19423     83021         0     60445    252124   5443172    130.99   no data
861.77/216.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
861.77/216.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
862.17/216.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.17/216.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
862.17/216.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
862.17/216.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
862.17/216.23	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
862.57/216.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
863.76/216.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
874.94/219.41	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.80 s
874.94/219.42	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
875.34/219.51	c vivif2 --  cl tried    60442 cl shrink        0 lits rem          0 time: 0.09
875.73/219.67	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.16
875.73/219.67	c calculated reachability. Time: 0.00
875.73/219.67	c  N dy  3466    537459     19423     83021         0     60442    252124   5442711    130.99   no data
908.84/227.94	c  N dy  3603    557468     19423     83021         0     43451    252124   1812191    131.00    184.42
941.15/236.01	c  N dy  3743    577731     19423     83021         0     63713    252124   6012164    131.07    139.48
974.25/244.34	c  N dy  3882    597827     19423     83021         0     45812    252124   2056216    131.10    138.28
1006.97/252.50	c  N dy  4015    617835     19423     83021         0     65819    252124   6208140    131.11    141.76
1040.47/260.92	c  N dy  4154    637851     19423     83021         0     46831    252124   2116141    131.23    149.46
1072.78/269.01	c  N dy  4276    657857     19423     83021         0     66836    252124   6252391    131.20    138.60
1106.28/277.47	c  N dy  4409    677905     19423     83021         0     46887    252124   1877453    131.24    141.38
1140.18/285.96	c  N dy  4540    697932     19423     83021         0     66914    252124   5971907    131.21    140.00
1174.93/294.63	c  N dy  4671    718006     19423     83021         0     45988    252124   1456160    131.24    138.42
1208.00/302.97	c  N dy  4814    738250     19423     83021         0     66232    252124   5728277    131.32    140.21
1243.10/311.76	c  N dy  4937    758320     19423     83021         0     44303    252124    947779    131.29    139.29
1275.85/319.95	c  N dy  5076    778362     19423     83021         0     64345    252124   5215432    131.37    145.17
1311.30/328.88	c  N dy  5205    798399     19423     83021         0     84380    252124   9361066    131.35    138.73
1324.11/332.08	c  S st  5261    806188     19423     83021         0     49172    252124   1722867    131.37   no data
1324.86/332.28	c  S st  5261    806688     19423     83021         0     49672    252124   1797535    131.37   no data
1324.86/332.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1325.26/332.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1325.26/332.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1325.26/332.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1325.66/332.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1325.66/332.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
1325.66/332.42	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1326.06/332.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1326.06/332.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1328.85/333.23	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.63 s
1328.85/333.24	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
1328.85/333.28	c vivif2 --  cl tried    49670 cl shrink        0 lits rem          0 time: 0.03
1329.65/333.42	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
1329.65/333.43	c calculated reachability. Time: 0.00
1329.65/333.43	c  N dy  5261    806688     19423     83021         0     49670    252124   1796946    131.37   no data
1363.20/341.90	c  N dy  5403    826754     19423     83021         0     69734    252124   6003188    131.43    139.44
1400.25/351.11	c  N dy  5551    846874     19423     83021         0     45855    252124    862979    131.49    145.33
1433.40/359.48	c  N dy  5679    866999     19423     83021         0     65979    252124   5037096    131.47    139.17
1469.26/368.47	c  N dy  5804    887070     19423     83021         0     86046    252124   9297936    131.51    139.66
1502.37/376.76	c  N dy  5934    907107     19423     83021         0     61090    252124   3810209    131.50    145.16
1538.27/385.76	c  N dy  6078    927137     19423     83021         0     81118    252124   8004704    131.54    171.76
1573.37/394.53	c  N dy  6215    947181     19423     83021         0     55159    252124   2415231    131.60    139.64
1607.68/403.13	c  N dy  6351    967258     19423     83021         0     75236    252124   6621078    131.61    138.88
1645.16/412.56	c  N dy  6493    987383     19423     83021         0     48359    252124    754284    131.64    141.84
1677.87/420.76	c  N dy  6620   1007465     19423     83021         0     68439    252124   4898696    131.63    141.30
1714.96/430.00	c  N dy  6755   1027535     19423     83021         0     88508    252124   9105753    131.65    144.10
1749.31/438.65	c  N dy  6891   1047582     19423     83021         0     60557    252124   3077609    131.67    139.53
1784.81/447.52	c  N dy  7039   1067656     19423     83021         0     80625    252124   7338296    131.74    158.71
1792.75/449.52	c  F st  7070   1071876     19423     83021         0     84845    252124   8207817    131.74   no data
1822.26/456.94	c  N dy  7150   1087718     19423     83021         0     51694    252124   1044304    131.75    139.77
1855.76/465.32	c  N dy  7281   1107750     19423     83021         0     71725    252124   5248467    131.76    141.96
1893.66/474.91	c  N dy  7432   1127996     19423     83021         0     91971    252124   9472940    131.80    140.31
1929.60/483.81	c  N dy  7572   1148097     19423     83021         0     62076    252124   3017891    131.81    139.04
1965.06/492.74	c  N dy  7711   1168227     19423     83021         0     82205    252124   7227224    131.84    139.68
2004.94/502.75	c  N dy  7852   1188502     19423     83021         0     51488    252124    593275    131.86    149.24
2038.44/511.14	c  N dy  7976   1208591     19423     83021         0     71576    252124   4753196    131.85    143.91
2041.24/511.80	c  S st  7986   1210032     19423     83021         0     73017    252124   5044383    131.85   no data
2042.04/512.04	c  S st  7986   1210537     19423     83021         0     73522    252124   5112438    131.85   no data
2042.04/512.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2042.44/512.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2042.44/512.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2042.44/512.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2042.44/512.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2042.44/512.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
2042.83/512.20	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2043.26/512.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2044.02/512.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2056.00/515.50	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.92 s
2056.00/515.51	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
2056.00/515.60	c vivif2 --  cl tried    73521 cl shrink        0 lits rem          0 time: 0.09
2057.19/515.80	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.20
2057.19/515.81	c calculated reachability. Time: 0.00
2057.19/515.81	c  N dy  7986   1210537     19423     83021         0     73521    252124   5112308    131.85   no data
2095.92/525.56	c  N dy  8130   1230728     19423     83021         0     93712    252124   9344357    131.88    140.35
2132.58/534.79	c  N dy  8262   1250884     19423     83021         0     61868    252124   2555025    131.89    139.38
2168.49/543.75	c  N dy  8402   1270908     19423     83021         0     81892    252124   6796506    131.93    139.70
2207.57/553.59	c  N dy  8542   1290972     19423     83021         0    101954    252124  10959719    131.96    139.39
2243.07/562.43	c  N dy  8679   1311236     19423     83021         0     69218    252124   3893330    131.97    141.67
2280.20/571.74	c  N dy  8817   1331320     19423     83021         0     89300    252124   8224069    132.03    163.55
2320.45/581.81	c  N dy  8953   1351377     19423     83021         0     55365    252124    799993    132.07    140.59
2354.79/590.50	c  N dy  9088   1371466     19423     83021         0     75452    252124   5010817    132.08    163.44
2392.65/599.94	c  N dy  9216   1391494     19423     83021         0     95477    252124   9161052    132.07    140.05
2432.13/609.86	c  N dy  9359   1411931     19423     83021         0     60916    252124   1770338    132.09    159.49
2466.84/618.59	c  N dy  9490   1432032     19423     83021         0     81016    252124   5954135    132.09    142.33
2505.93/628.32	c  N dy  9633   1452084     19423     83021         0    101067    252124  10144955    132.12    148.39
2543.87/637.82	c  N dy  9762   1472126     19423     83021         0     65106    252124   2450578    132.13    227.81
2579.32/646.72	c  N dy  9892   1492161     19423     83021         0     85141    252124   6600617    132.11    140.46
2618.81/656.62	c  N dy 10027   1512163     19423     83021         0    105143    252124  10834362    132.13    139.96
2656.70/666.10	c  N dy 10171   1532262     19423     83021         0     68247    252124   2879520    132.15    143.13
2693.05/675.29	c  N dy 10314   1552339     19423     83021         0     88324    252124   7125645    132.17    140.62
2733.68/685.49	c  N dy 10455   1572434     19423     83021         0    108416    252124  11356463    132.19    147.95
2771.18/694.90	c  N dy 10587   1592634     19423     83021         0     70612    252124   3180586    132.19    139.19
2808.68/704.25	c  N dy 10730   1612802     19423     83021         0     90779    252124   7511983    132.24    146.95
2848.97/714.30	c  N dy 10856   1632822     19423     83021         0    110797    252124  11643361    132.22    151.17
2886.46/723.80	c  N dy 10996   1652900     19423     83021         0     71877    252124   3204062    132.23    158.79
2923.95/733.12	c  N dy 11134   1673089     19423     83021         0     92063    252124   7452804    132.25    139.24
2964.67/743.39	c  N dy 11268   1693148     19423     83021         0    112114    252124  11642397    132.26    144.93
2998.15/751.70	c  S st 11375   1710537     19423     83021         0     69507    252124   2537212    132.26   no data
2998.94/751.94	c  S st 11375   1711040     19423     83021         0     70010    252124   2623570    132.26   no data
2998.94/751.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2999.34/752.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2999.34/752.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2999.34/752.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2999.34/752.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2999.34/752.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
2999.34/752.09	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2999.77/752.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3000.53/752.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3006.93/753.95	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.62 s
3006.93/753.96	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
3007.32/754.00	c vivif2 --  cl tried    70010 cl shrink        0 lits rem          0 time: 0.04
3007.72/754.18	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.17
3007.72/754.18	c calculated reachability. Time: 0.00
3007.72/754.18	c  N dy 11375   1711040     19423     83021         0     70010    252124   2623567    132.26   no data
3045.21/763.59	c  N dy 11510   1731144     19423     83021         0     90114    252124   6851331    132.27    147.20
3085.90/773.79	c  N dy 11639   1751148     19423     83021         0    110117    252124  11044482    132.26    148.15
3127.00/784.02	c  N dy 11781   1771223     19423     83021         0     69199    252124   2267825    132.27    143.33
3164.07/793.39	c  N dy 11924   1791402     19423     83021         0     89376    252124   6564001    132.31    139.74
3205.16/803.67	c  N dy 12060   1811516     19423     83021         0    109487    252124  10783264    132.33    143.27
3247.43/814.24	c  N dy 12198   1831588     19423     83021         0     67564    252124   1722168    132.34    145.29
3283.73/823.39	c  N dy 12323   1851674     19423     83021         0     87649    252124   5959969    132.34    209.97
3324.45/833.55	c  N dy 12460   1871741     19423     83021         0    107713    252124  10179330    132.34    140.32
3369.09/844.77	c  N dy 12597   1891801     19423     83021         0     64775    252124    916451    132.34    141.86
3405.39/853.81	c  N dy 12729   1911860     19423     83021         0     84834    252124   5111887    132.33    150.23
3445.28/863.89	c  N dy 12861   1932129     19423     83021         0    105102    252124   9306951    132.33    140.24
3488.75/874.73	c  N dy 12987   1952133     19423     83021         0    125104    252124  13433349    132.31    150.53
3526.28/884.12	c  N dy 13127   1972148     19423     83021         0     81121    252124   4145266    132.33    149.79
3565.34/893.93	c  N dy 13261   1992168     19423     83021         0    101140    252124   8350041    132.32    144.56
3608.02/904.67	c  N dy 13397   2012270     19423     83021         0    121239    252124  12525212    132.31    142.49
3648.30/914.76	c  N dy 13541   2032325     19423     83021         0     76302    252124   2944056    132.36    151.06
3686.60/924.34	c  N dy 13676   2052353     19423     83021         0     96329    252124   7145770    132.36    150.18
3728.88/934.90	c  N dy 13807   2072467     19423     83021         0    116442    252124  11328931    132.36    139.94
3772.40/945.83	c  N dy 13944   2092590     19423     83021         0     70574    252124   1555347    132.38    139.87
3809.83/955.23	c  N dy 14082   2112645     19423     83021         0     90628    252124   5719747    132.40    144.95
3850.53/965.47	c  N dy 14218   2132683     19423     83021         0    110663    252124   9946464    132.41    139.69
3896.00/976.81	c  N dy 14362   2152865     19423     83021         0    130844    252124  14176397    132.43    144.54
3934.33/986.43	c  N dy 14495   2173058     19423     83021         0     84039    252124   4144340    132.43    140.87
3973.82/996.36	c  N dy 14633   2193071     19423     83021         0    104048    252124   8410559    132.45    140.15
4014.46/1006.59	c  S st 14752   2211041     19423     83021         0    122017    252124  12157141    132.45   no data
4016.06/1006.95	c  S st 14752   2211545     19423     83021         0    122521    252124  12228888    132.45   no data
4016.06/1006.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4016.86/1007.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.15
4016.86/1007.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4016.86/1007.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4016.86/1007.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4016.86/1007.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
4016.86/1007.18	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4017.69/1007.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4020.85/1008.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4049.16/1015.21	c lits-rem:         6  cl-subs:       11  v-elim:      0  v-fix:    0  time:  6.99 s
4049.16/1015.22	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
4049.96/1015.44	c vivif2 --  cl tried   122510 cl shrink        0 lits rem          0 time: 0.22
4051.17/1015.73	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.29
4051.17/1015.73	c calculated reachability. Time: 0.00
4051.17/1015.74	c  N dy 14752   2211545     19423     83021         0    122510    252124  12223389    132.45   no data
4095.43/1026.80	c  N dy 14883   2231578     19423     83021         0     74546    252124   1967924    132.45    143.60
4133.32/1036.39	c  N dy 15018   2251600     19423     83021         0     94565    252124   6238012    132.46    170.76
4175.21/1046.85	c  N dy 15145   2271616     19423     83021         0    114581    252124  10425636    132.47    146.10
4221.47/1058.41	c  N dy 15285   2291643     19423     83021         0    134607    252124  14639916    132.49    142.49
4260.15/1068.13	c  N dy 15421   2311713     19423     83021         0     85678    252124   4062533    132.51    139.72
4300.45/1078.25	c  N dy 15563   2331844     19423     83021         0    105808    252124   8334637    132.53    140.36
4344.73/1089.37	c  N dy 15703   2351918     19423     83021         0    125879    252124  12566867    132.55    145.13
4388.59/1100.38	c  N dy 15834   2372032     19423     83021         0     75995    252124   1853162    132.55    141.35
4426.87/1109.98	c  N dy 15964   2392155     19423     83021         0     96116    252124   6017169    132.54    139.98
4468.77/1120.46	c  N dy 16088   2412371     19423     83021         0    116330    252124  10220951    132.54    139.79
4515.04/1132.01	c  N dy 16222   2432408     19423     83021         0    136366    252124  14523159    132.54    144.45
4554.91/1142.06	c  N dy 16350   2452425     19423     83021         0     85391    252124   3616471    132.55    142.25
4594.81/1152.07	c  N dy 16486   2472489     19423     83021         0    105454    252124   7822600    132.55    142.98
4639.09/1163.12	c  N dy 16619   2492583     19423     83021         0    125548    252124  12083914    132.57    140.19
4685.75/1174.89	c  N dy 16754   2512677     19423     83021         0     73647    252124    939881    132.57    141.07
4723.63/1184.31	c  N dy 16889   2532697     19423     83021         0     93662    252124   5153856    132.58    140.50
4765.52/1194.81	c  N dy 17029   2552768     19423     83021         0    113733    252124   9438750    132.61    146.55

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-3366178-1305398150/watcher-3366178-1305398150 -o /tmp/evaluation-result-3366178-1305398150/solver-3366178-1305398150 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366178-1305398150.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: 1.91 2.74 3.03 6/352 26137
/proc/meminfo: memFree=21564324/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 632231132 52396032 347 33554432000 4194304 4580107 140735979434560 18446744073709551615 47752394098610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26137/statm: 12792 347 299 95 0 7774 0
[pid=26137/tid=26138] ppid=26135 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632231132 52396032 351 33554432000 4194304 4580107 140735979434560 18446744073709551615 47752394098201 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632231132 52396032 351 33554432000 4194304 4580107 140735979434560 18446744073709551615 47752394098610 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 632231132 52396032 351 33554432000 4194304 4580107 140735979434560 18446744073709551615 47752394098201 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.108938 s]
/proc/loadavg: 1.91 2.74 3.03 6/352 26137
/proc/meminfo: memFree=21564324/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=182240 CPUtime=0.29 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) S 26135 26137 26096 0 -1 4202496 429 0 0 0 29 0 0 0 24 0 4 0 632231132 186613760 361 33554432000 4194304 4580107 140735979434560 18446744073709551615 255106873838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 45560 361 309 95 0 40542 0
[pid=26137/tid=26138] ppid=26135 vsize=182240 CPUtime=0.1 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) D 26135 26137 26096 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 4 0 632231132 186613760 361 33554432000 4194304 4580107 140735979434560 18446744073709551615 4218478 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=182240 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) D 26135 26137 26096 0 -1 4202560 6 0 0 0 0 0 0 0 24 0 4 0 632231132 186613760 361 33554432000 4194304 4580107 140735979434560 18446744073709551615 255106812039 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=182240 CPUtime=0.09 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 11 0 0 0 9 0 0 0 25 0 4 0 632231132 186613760 361 33554432000 4194304 4580107 140735979434560 18446744073709551615 255106429637 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 182240

[startup+0.274073 s]
/proc/loadavg: 1.91 2.74 3.03 6/352 26137
/proc/meminfo: memFree=21564324/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=379880 CPUtime=1.04 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 19418 0 0 0 99 5 0 0 18 0 4 0 632231132 388997120 17835 33554432000 4194304 4580107 140735979434560 18446744073709551615 4443383 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 94970 19920 371 95 0 89952 0
[pid=26137/tid=26138] ppid=26135 vsize=379880 CPUtime=0.31 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) D 26135 26137 26096 0 -1 4202560 6893 0 0 0 31 0 0 0 18 0 4 0 632231132 388997120 20870 33554432000 4194304 4580107 140735979434560 18446744073709551615 4421592 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=382768 CPUtime=0.2 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 4453 0 0 0 18 2 0 0 18 0 4 0 632231132 391954432 21583 33554432000 4194304 4580107 140735979434560 18446744073709551615 255106812087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=385788 CPUtime=0.3 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 3857 0 0 0 28 2 0 0 18 0 4 0 632231132 395046912 22449 33554432000 4194304 4580107 140735979434560 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 379880

[startup+1.12512 s]
/proc/loadavg: 1.91 2.74 3.03 6/352 26137
/proc/meminfo: memFree=21564324/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=387308 CPUtime=4.28 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 31103 0 0 0 420 8 0 0 19 0 4 0 632231132 396603392 24080 33554432000 4194304 4580107 140735979434560 18446744073709551615 4295863 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 96827 24080 377 95 0 91809 0
[pid=26137/tid=26138] ppid=26135 vsize=387308 CPUtime=1.1 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 8899 0 0 0 109 1 0 0 19 0 4 0 632231132 396603392 24081 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=387308 CPUtime=0.97 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 8378 0 0 0 95 2 0 0 19 0 4 0 632231132 396603392 24081 33554432000 4194304 4580107 140735979434560 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=387308 CPUtime=1.08 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 4510 0 0 0 106 2 0 0 19 0 4 0 632231132 396603392 24081 33554432000 4194304 4580107 140735979434560 18446744073709551615 4299003 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 387308

[startup+1.2251 s]
/proc/loadavg: 1.91 2.74 3.03 6/352 26137
/proc/meminfo: memFree=21564324/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=387308 CPUtime=4.68 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 31397 0 0 0 460 8 0 0 19 0 4 0 632231132 396603392 24374 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 96827 24375 377 95 0 91809 0
[pid=26137/tid=26138] ppid=26135 vsize=387308 CPUtime=1.2 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 8969 0 0 0 119 1 0 0 19 0 4 0 632231132 396603392 24375 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=387308 CPUtime=1.07 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 8450 0 0 0 105 2 0 0 19 0 4 0 632231132 396603392 24375 33554432000 4194304 4580107 140735979434560 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=387308 CPUtime=1.18 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 4587 0 0 0 116 2 0 0 19 0 4 0 632231132 396603392 24375 33554432000 4194304 4580107 140735979434560 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 387308

[startup+1.50105 s]
/proc/loadavg: 1.91 2.74 3.03 6/352 26137
/proc/meminfo: memFree=21564324/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=387308 CPUtime=5.78 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 32208 0 0 0 570 8 0 0 19 0 4 0 632231132 396603392 25185 33554432000 4194304 4580107 140735979434560 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 96827 25185 377 95 0 91809 0
[pid=26137/tid=26138] ppid=26135 vsize=387308 CPUtime=1.47 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 9162 0 0 0 146 1 0 0 19 0 4 0 632231132 396603392 25185 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=387308 CPUtime=1.34 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 8652 0 0 0 132 2 0 0 19 0 4 0 632231132 396603392 25185 33554432000 4194304 4580107 140735979434560 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=387308 CPUtime=1.45 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 4782 0 0 0 143 2 0 0 19 0 4 0 632231132 396603392 25185 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 387308

[startup+3.11277 s]
/proc/loadavg: 1.91 2.74 3.03 9/356 26141
/proc/meminfo: memFree=21387104/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=518572 CPUtime=12.21 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 37077 0 0 0 1211 10 0 0 24 0 4 0 632231132 531017728 30054 33554432000 4194304 4580107 140735979434560 18446744073709551615 4295838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 129643 30054 377 95 0 124625 0
[pid=26137/tid=26138] ppid=26135 vsize=518572 CPUtime=3.06 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 10283 0 0 0 305 1 0 0 24 0 4 0 632231132 531017728 30054 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=518572 CPUtime=2.96 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 9777 0 0 0 293 3 0 0 24 0 4 0 632231132 531017728 30054 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=518572 CPUtime=3.06 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 6107 0 0 0 304 2 0 0 24 0 4 0 632231132 531017728 30054 33554432000 4194304 4580107 140735979434560 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 518572

[startup+6.30121 s]
/proc/loadavg: 2.40 2.83 3.06 9/356 26142
/proc/meminfo: memFree=21286164/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=490836 CPUtime=24.96 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 46993 0 0 0 2484 12 0 0 25 0 4 0 632231132 502616064 35392 33554432000 4194304 4580107 140735979434560 18446744073709551615 4320708 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 122709 35392 377 95 0 117691 0
[pid=26137/tid=26138] ppid=26135 vsize=490836 CPUtime=6.22 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 12359 0 0 0 621 1 0 0 25 0 4 0 632231132 502616064 35398 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=490836 CPUtime=6.16 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 12011 0 0 0 613 3 0 0 25 0 4 0 632231132 502616064 35398 33554432000 4194304 4580107 140735979434560 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=490836 CPUtime=6.27 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 9437 0 0 0 623 4 0 0 25 0 4 0 632231132 502616064 35398 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 490836

[startup+12.7011 s]
/proc/loadavg: 2.85 2.92 3.08 9/356 26142
/proc/meminfo: memFree=21149996/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=773252 CPUtime=50.44 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 104484 0 0 0 5020 24 0 0 25 0 4 0 632231132 791810048 77482 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 193313 77482 379 95 0 188295 0
[pid=26137/tid=26138] ppid=26135 vsize=773252 CPUtime=12.55 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 39456 0 0 0 1249 6 0 0 25 0 4 0 632231132 791810048 77482 33554432000 4194304 4580107 140735979434560 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=773252 CPUtime=12.55 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 17452 0 0 0 1251 4 0 0 25 0 4 0 632231132 791810048 77482 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=773252 CPUtime=12.63 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 13765 0 0 0 1259 4 0 0 25 0 4 0 632231132 791810048 77482 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 773252

[startup+25.5008 s]
/proc/loadavg: 4.06 3.18 3.17 9/356 26142
/proc/meminfo: memFree=20929560/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=656648 CPUtime=101.49 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 163214 0 0 0 10106 43 0 0 25 0 4 0 632231132 672407552 87896 33554432000 4194304 4580107 140735979434560 18446744073709551615 4416018 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 164162 87896 379 95 0 159144 0
[pid=26137/tid=26138] ppid=26135 vsize=656648 CPUtime=25.21 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 49164 0 0 0 2512 9 0 0 25 0 4 0 632231132 672407552 87896 33554432000 4194304 4580107 140735979434560 18446744073709551615 4502081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=656648 CPUtime=25.34 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 32525 0 0 0 2524 10 0 0 25 0 4 0 632231132 672407552 87896 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=656648 CPUtime=25.44 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 33332 0 0 0 2534 10 0 0 25 0 4 0 632231132 672407552 87896 33554432000 4194304 4580107 140735979434560 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 656648

[startup+51.1003 s]
/proc/loadavg: 5.46 3.58 3.30 9/356 26143
/proc/meminfo: memFree=20658896/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=883476 CPUtime=203.61 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 245632 0 0 0 20297 64 0 0 25 0 4 0 632231132 904679424 142059 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 220869 142060 379 95 0 215851 0
[pid=26137/tid=26138] ppid=26135 vsize=883476 CPUtime=50.53 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 61616 0 0 0 5041 12 0 0 25 0 4 0 632231132 904679424 142060 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=883476 CPUtime=50.94 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 56510 0 0 0 5077 17 0 0 25 0 4 0 632231132 904679424 142060 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=883476 CPUtime=51.04 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 57818 0 0 0 5086 18 0 0 25 0 4 0 632231132 904679424 142060 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 883476

[startup+102.3 s]
/proc/loadavg: 7.02 4.29 3.56 9/356 26144
/proc/meminfo: memFree=20566240/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=998244 CPUtime=407.83 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 342696 0 0 0 40689 94 0 0 25 0 4 0 632231132 1022201856 157937 33554432000 4194304 4580107 140735979434560 18446744073709551615 4321871 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 249561 157937 379 95 0 244543 0
[pid=26137/tid=26138] ppid=26135 vsize=998244 CPUtime=101.16 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 77615 0 0 0 10100 16 0 0 25 0 4 0 632231132 1022201856 157937 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=998244 CPUtime=102.15 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 78885 0 0 0 10191 24 0 0 25 0 4 0 632231132 1022201856 157937 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=998244 CPUtime=102.22 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 91239 0 0 0 10194 28 0 0 25 0 4 0 632231132 1022201856 157937 33554432000 4194304 4580107 140735979434560 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.83
Current children cumulated vsize (KiB) 998244

[startup+162.301 s]

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

[pid=26137] ppid=26135 vsize=1433712 CPUtime=2561.76 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1374625 0 0 0 255774 402 0 0 25 0 4 0 632231132 1468121088 266212 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 358428 266212 379 95 0 353410 0
[pid=26137/tid=26138] ppid=26135 vsize=1433712 CPUtime=638.68 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 313809 0 0 0 63779 89 0 0 25 0 4 0 632231132 1468121088 266212 33554432000 4194304 4580107 140735979434560 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1433712 CPUtime=638.71 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 338946 0 0 0 63773 98 0 0 25 0 4 0 632231132 1468121088 266212 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1433712 CPUtime=642.08 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 377408 0 0 0 64101 107 0 0 25 0 4 0 632231132 1468121088 266212 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.76
Current children cumulated vsize (KiB) 1433712

[startup+702.301 s]
/proc/loadavg: 8.17 7.62 5.72 9/356 26160
/proc/meminfo: memFree=19732844/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1383436 CPUtime=2801.1 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1471374 0 0 0 279680 430 0 0 25 0 4 0 632231132 1416638464 263545 33554432000 4194304 4580107 140735979434560 18446744073709551615 4321636 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 345859 263545 379 95 0 340841 0
[pid=26137/tid=26138] ppid=26135 vsize=1383436 CPUtime=698.68 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 335725 0 0 0 69772 96 0 0 25 0 4 0 632231132 1416638464 263545 33554432000 4194304 4580107 140735979434560 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1383436 CPUtime=698.06 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 363391 0 0 0 69700 106 0 0 25 0 4 0 632231132 1416638464 263545 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1383436 CPUtime=702.07 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 402600 0 0 0 70094 113 0 0 25 0 4 0 632231132 1416638464 263545 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.1
Current children cumulated vsize (KiB) 1383436

[startup+762.3 s]
/proc/loadavg: 8.23 7.73 5.87 9/356 26162
/proc/meminfo: memFree=19752044/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1412348 CPUtime=3040.42 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1561715 0 0 0 303582 460 0 0 25 0 4 0 632231132 1446244352 264757 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26137/statm: 353087 264757 379 95 0 348069 0
[pid=26137/tid=26138] ppid=26135 vsize=1412348 CPUtime=758.67 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 362003 0 0 0 75763 104 0 0 25 0 4 0 632231132 1446244352 264757 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1412348 CPUtime=757.4 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 383961 0 0 0 75626 114 0 0 25 0 4 0 632231132 1446244352 264757 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1412348 CPUtime=762.05 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 422365 0 0 0 76087 118 0 0 25 0 4 0 632231132 1446244352 264757 33554432000 4194304 4580107 140735979434560 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.42
Current children cumulated vsize (KiB) 1412348

[startup+822.301 s]
/proc/loadavg: 8.16 7.79 6.01 9/356 26163
/proc/meminfo: memFree=19799528/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1372440 CPUtime=3279.75 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1665750 0 0 0 327482 493 0 0 25 0 4 0 632231132 1405378560 248567 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 343110 248567 379 95 0 338092 0
[pid=26137/tid=26138] ppid=26135 vsize=1372440 CPUtime=818.68 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 386627 0 0 0 81755 113 0 0 25 0 4 0 632231132 1405378560 248567 33554432000 4194304 4580107 140735979434560 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1372440 CPUtime=817.26 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 411385 0 0 0 81602 124 0 0 25 0 4 0 632231132 1405378560 248567 33554432000 4194304 4580107 140735979434560 18446744073709551615 4269840 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1372440 CPUtime=822.03 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 446785 0 0 0 82078 125 0 0 25 0 4 0 632231132 1405378560 248567 33554432000 4194304 4580107 140735979434560 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.75
Current children cumulated vsize (KiB) 1372440

[startup+882.3 s]
/proc/loadavg: 8.06 7.83 6.13 9/356 26165
/proc/meminfo: memFree=19703280/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1454052 CPUtime=3519.06 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1784831 0 0 0 351381 525 0 0 25 0 4 0 632231132 1488949248 267822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 363513 267822 379 95 0 358495 0
[pid=26137/tid=26138] ppid=26135 vsize=1454052 CPUtime=878.68 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 414055 0 0 0 87748 120 0 0 25 0 4 0 632231132 1488949248 267822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1454052 CPUtime=877.26 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 448543 0 0 0 87593 133 0 0 25 0 4 0 632231132 1488949248 267822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1454052 CPUtime=882.01 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 474263 0 0 0 88068 133 0 0 25 0 4 0 632231132 1488949248 267822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.06
Current children cumulated vsize (KiB) 1454052

[startup+942.301 s]
/proc/loadavg: 8.02 7.86 6.24 9/356 26167
/proc/meminfo: memFree=19609896/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1343060 CPUtime=3758.4 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1892632 0 0 0 375282 558 0 0 25 0 4 0 632231132 1375293440 270430 33554432000 4194304 4580107 140735979434560 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 335765 270430 379 95 0 330747 0
[pid=26137/tid=26138] ppid=26135 vsize=1343060 CPUtime=938.67 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 441362 0 0 0 93738 129 0 0 25 0 4 0 632231132 1375293440 270430 33554432000 4194304 4580107 140735979434560 18446744073709551615 4301465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1343060 CPUtime=937.25 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 475831 0 0 0 93585 140 0 0 25 0 4 0 632231132 1375293440 270430 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1343060 CPUtime=942 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 501836 0 0 0 94059 141 0 0 25 0 4 0 632231132 1375293440 270430 33554432000 4194304 4580107 140735979434560 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.4
Current children cumulated vsize (KiB) 1343060

[startup+1002.3 s]
/proc/loadavg: 8.05 7.89 6.36 9/356 26168
/proc/meminfo: memFree=19396204/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1457852 CPUtime=3997.71 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 1998676 0 0 0 399182 589 0 0 25 0 4 0 632231132 1492840448 284240 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 364463 284240 379 95 0 359445 0
[pid=26137/tid=26138] ppid=26135 vsize=1457852 CPUtime=998.67 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 467623 0 0 0 99731 136 0 0 25 0 4 0 632231132 1492840448 284240 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1457852 CPUtime=997.25 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 502787 0 0 0 99578 147 0 0 25 0 4 0 632231132 1492840448 284240 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1457852 CPUtime=1001.98 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 527474 0 0 0 100049 149 0 0 25 0 4 0 632231132 1492840448 284240 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.71
Current children cumulated vsize (KiB) 1457852

[startup+1062.3 s]
/proc/loadavg: 8.12 7.94 6.47 9/356 26170
/proc/meminfo: memFree=19143840/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1674040 CPUtime=4237.06 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 2167369 0 0 0 423073 633 0 0 25 0 4 0 632231132 1714216960 344687 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 418510 344687 379 95 0 413492 0
[pid=26137/tid=26138] ppid=26135 vsize=1674040 CPUtime=1058.68 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 521082 0 0 0 105720 148 0 0 25 0 4 0 632231132 1714216960 344691 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293812 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1674040 CPUtime=1057.26 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 527101 0 0 0 105569 157 0 0 25 0 4 0 632231132 1714216960 344691 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1674040 CPUtime=1061.97 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 575671 0 0 0 106036 161 0 0 25 0 4 0 632231132 1714216960 344691 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.06
Current children cumulated vsize (KiB) 1674040

[startup+1122.3 s]
/proc/loadavg: 8.14 7.98 6.57 9/356 26171
/proc/meminfo: memFree=19016720/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1843020 CPUtime=4476.35 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 2266928 0 0 0 446971 664 0 0 25 0 4 0 632231132 1887252480 367651 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 460755 367651 379 95 0 455737 0
[pid=26137/tid=26138] ppid=26135 vsize=1843020 CPUtime=1118.67 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 543375 0 0 0 111711 156 0 0 25 0 4 0 632231132 1887252480 367651 33554432000 4194304 4580107 140735979434560 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1843020 CPUtime=1117.25 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 553446 0 0 0 111560 165 0 0 25 0 4 0 632231132 1887252480 367651 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1843020 CPUtime=1121.95 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 600851 0 0 0 112026 169 0 0 25 0 4 0 632231132 1887252480 367651 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.35
Current children cumulated vsize (KiB) 1843020

[startup+1182.31 s]
/proc/loadavg: 8.09 8.00 6.66 9/356 26173
/proc/meminfo: memFree=19073488/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1801316 CPUtime=4715.7 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 2369059 0 0 0 470874 696 0 0 25 0 4 0 632231132 1844547584 342554 33554432000 4194304 4580107 140735979434560 18446744073709551615 4322431 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 450329 342554 379 95 0 445311 0
[pid=26137/tid=26138] ppid=26135 vsize=1801316 CPUtime=1178.67 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 569938 0 0 0 117703 164 0 0 25 0 4 0 632231132 1844547584 342554 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1801316 CPUtime=1177.25 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 579257 0 0 0 117553 172 0 0 20 0 4 0 632231132 1844547584 342554 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1801316 CPUtime=1181.94 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 627882 0 0 0 118018 176 0 0 25 0 4 0 632231132 1844547584 342554 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.7
Current children cumulated vsize (KiB) 1801316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.13 8.01 6.69 9/356 26174
/proc/meminfo: memFree=19034296/32951124 swapFree=67111348/67111528
[pid=26137] ppid=26135 vsize=1858864 CPUtime=4800.26 cores=0,2,4,6
/proc/26137/stat : 26137 (strangenight2-m) R 26135 26137 26096 0 -1 4202496 2402325 0 0 0 479321 705 0 0 25 0 4 0 632231132 1903476736 375820 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26137/statm: 464716 375820 379 95 0 459698 0
[pid=26137/tid=26138] ppid=26135 vsize=1858864 CPUtime=1199.87 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 578157 0 0 0 119820 167 0 0 25 0 4 0 632231132 1903476736 375822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26137/tid=26139] ppid=26135 vsize=1858864 CPUtime=1198.46 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 588033 0 0 0 119671 175 0 0 25 0 4 0 632231132 1903476736 375822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26137/tid=26140] ppid=26135 vsize=1858864 CPUtime=1203.14 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (strangenight2-m) R 26135 26137 26096 0 -1 4202560 635826 0 0 0 120135 179 0 0 25 0 4 0 632231132 1903476736 375822 33554432000 4194304 4580107 140735979434560 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1858864

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.59
CPU time (s): 4800.36
CPU user time (s): 4793.24
CPU system time (s): 7.11992
CPU usage (%): 398.838
Max. virtual memory (cumulated for all children) (KiB): 1872640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.24
system time used= 7.11992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2402336
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= 5130
involuntary context switches= 23191

runsolver used 3.90041 second user time and 9.26059 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-14 20:35:50
IDJOB=3366178
IDBENCH=82587
IDSOLVER=1844
FILE ID=node144/3366178-1305398150
RUNJOBID= node144-1305398150-26114
PBS_JOBID= 13324479
Free space on /tmp= 73236 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366178-1305398150/watcher-3366178-1305398150 -o /tmp/evaluation-result-3366178-1305398150/solver-3366178-1305398150 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366178-1305398150.cnf

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

MD5SUM BENCH= d523f5efa43fecaa5caf604137870a4e
RANDOM SEED=2041172651

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21564612 kB
Buffers:        287100 kB
Cached:        3622932 kB
SwapCached:          0 kB
Active:        8168488 kB
Inactive:      2870020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21564612 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12856 kB
Writeback:           0 kB
AnonPages:     7129020 kB
Mapped:          26740 kB
Slab:           245608 kB
PageTables:      37284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82022992 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= 73228 MiB
End job on node144 at 2011-05-14 20:55:56