Trace number 3173878

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? (TO) 4800.34 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
MD5SUMdd49a0090ce99bfddfd58615449391d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.1482
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173878-1304072280.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.35/0.13	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.35/0.13	c -- vars added      25000
0.35/0.13	c Parsing time:  0.08 s
1.00/0.30	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
1.00/0.30	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
1.00/0.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.10/0.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.10/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.10/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.10/0.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.10/0.38	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
2.29/0.65	c lits-rem:         0  cl-subs:        0  v-elim:    613  v-fix:    0  time:  0.17 s
2.29/0.65	c Finding binary XORs  T:     0.01 s  found:       0
2.29/0.65	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
2.29/0.65	c calculated reachability. Time: 0.00
2.29/0.65	c Calc default polars -  time:   0.01 s pos:   11240 undec:    2731 neg:   11029
2.29/0.65	c =========================================================================================
2.29/0.65	c types(t): F = full restart, N = normal restart
2.29/0.65	c types(t): S = simplification begin/end, E = solution found
2.29/0.65	c restart types(rt): st = static, dy = dynamic
2.29/0.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.29/0.65	c  B st     0         0     24387    104354         0         0    316853         0   no data   no data
8.70/2.21	c  N dy    18      4422     24387    104354         0      4421    316853   1281945    157.31    183.49
14.27/3.64	c  N dy    41      8479     24387    104354         0      8478    316853   2215129    148.18    161.13
20.27/5.11	c  N dy    67     12533     24387    104354         0     12531    316853   3122868    146.47    171.92
26.29/6.62	c  N dy    94     16584     24387    104354         0     16582    316853   4031113    145.63    154.36
32.65/8.21	c  N dy   119     20751     24387    104354         0     10753    316853    760368    144.44    152.88
38.65/9.73	c  N dy   147     24820     24387    104354         0     14822    316853   1669829    144.48    154.08
38.65/9.80	c  F st   149     25000     24387    104354         0     15002    316853   1708425    144.46   no data
46.64/11.79	c  N dy   155     30000     24387    104354         0     20001    316853   3166217    144.46   no data
46.64/11.79	c  S st   155     30000     24387    104354         0     20001    316853   3166217    144.46   no data
47.44/11.98	c  S st   155     30501     24387    104354         0     20502    316853   3244232    144.46   no data
47.44/12.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.25/12.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
48.25/12.15	c blocked clauses removed:      458 vars:     76 tried:       24387 T: 0.01 s
48.25/12.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.25/12.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
48.25/12.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24311 time:  0.01 s
48.25/12.18	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
49.03/12.30	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.12 s
49.82/12.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.43/13.47	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.84 s
53.83/13.59	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.12
54.23/13.60	c calculated reachability. Time: 0.00
54.23/13.60	c  N dy   155     30501     24301    103886         0     20315    315509   3142366    144.46   no data
60.62/15.29	c  N dy   187     34565     24301    103886         0     24378    315509   4077976    145.14    153.25
67.80/17.01	c  N dy   214     38669     24301    103886         0     28482    315509   4993718    144.89    157.73
74.62/18.71	c  N dy   240     42775     24301    103886         0     17188    315509   1096306    144.61    153.63
79.01/19.87	c  S st   260     45751     24301    103886         0     20164    315509   1778124    144.60   no data
79.78/20.07	c  S st   260     46252     24301    103886         0     20665    315509   1865948    144.60   no data
79.78/20.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.59/20.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
80.59/20.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.59/20.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.59/20.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.59/20.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
80.59/20.26	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
80.98/20.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
81.38/20.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.59/20.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.27 s
82.59/20.80	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
83.00/20.83	c vivif2 --  cl tried    20665 cl shrink        0 lits rem          0 time: 0.03
83.40/20.96	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.12
83.40/20.96	c calculated reachability. Time: 0.00
83.40/20.96	c  N dy   260     46252     24301    103886         0     20665    315509   1865948    144.60   no data
89.77/22.60	c  N dy   286     50441     24301    103886         0     24853    315509   2814954    144.44    156.69
96.59/24.27	c  N dy   315     54483     24301    103886         0     28895    315509   3746671    144.90    155.20
103.36/25.99	c  N dy   341     58587     24301    103886         0     32999    315509   4701882    144.90    159.06
110.54/27.70	c  N dy   365     62674     24301    103886         0     37086    315509   5665555    144.93    158.57
116.94/29.33	c  N dy   392     66757     24301    103886         0     22465    315509   1532072    144.75    176.89
120.93/30.38	c  S st   409     69378     24301    103886         0     25086    315509   2100740    144.57    105.40
121.73/30.59	c  S st   409     69883     24301    103886         0     25591    315509   2179467    144.57   no data
122.13/30.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
122.54/30.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
122.54/30.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.54/30.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
122.54/30.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.54/30.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
122.54/30.78	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
122.95/30.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
123.73/31.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
125.32/31.43	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.39 s
125.32/31.44	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
125.32/31.48	c vivif2 --  cl tried    25590 cl shrink        0 lits rem          0 time: 0.04
126.12/31.61	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.13
126.12/31.62	c calculated reachability. Time: 0.00
126.12/31.62	c  N dy   409     69883     24301    103886         0     25590    315509   2178764    144.57   no data
133.31/33.46	c  N dy   441     74375     24301    103886         0     30082    315509   3205770    144.79    181.05
141.30/35.46	c  N dy   471     79162     24301    103886         0     34869    315509   4297500    144.79    154.82
150.08/37.66	c  N dy   504     84301     24301    103886         0     40008    315509   5435598    144.76    176.69
155.68/39.01	c  F st   524     87500     24301    103886         0     22357    315509    977440    144.56   no data
161.27/40.42	c  N st   529     90801     24301    103886         0     25658    315509   1950118    144.56   no data
170.87/42.80	c  N dy   557     96618     24301    103886         0     31475    315509   3296383    144.62    152.49
181.25/45.43	c  N dy   596    102785     24301    103886         0     37642    315509   4686594    144.49    155.25
184.84/46.32	c  S st   612    104824     24301    103886         0     39681    315509   5147537    144.46   no data
185.64/46.54	c  S st   612    105326     24301    103886         0     40183    315509   5226939    144.46   no data
185.64/46.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
186.04/46.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
186.44/46.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
186.44/46.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
186.44/46.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
186.44/46.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
186.44/46.75	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
187.23/46.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
188.46/47.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
194.82/48.84	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.59 s
194.82/48.86	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
195.22/48.94	c vivif2 --  cl tried    40177 cl shrink        0 lits rem          0 time: 0.09
196.02/49.10	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.16
196.02/49.11	c calculated reachability. Time: 0.00
196.02/49.11	c  N dy   612    105326     24301    103886         0     40177    315509   5223520    144.46   no data
208.01/52.13	c  N dy   659    112136     24301    103886         0     24561    315509   1095393    144.59    220.51
219.98/55.17	c  N dy   709    119379     24301    103886         0     31804    315509   2721998    144.76    152.90
233.17/58.48	c  N dy   756    127049     24301    103886         0     39474    315509   4448545    144.68    156.77
247.96/62.18	c  N dy   814    135236     24301    103886         0     23948    315509    636663    144.76    154.43
262.33/65.77	c  N dy   872    143902     24301    103886         0     32614    315509   2590914    144.73    152.77
278.71/69.83	c  N dy   938    153273     24301    103886         0     41985    315509   4751911    144.85    157.09
287.11/71.92	c  S st   972    157989     24301    103886         0     46701    315509   5793386    144.85   no data
287.91/72.16	c  S st   972    158490     24301    103886         0     47202    315509   5870278    144.85   no data
287.91/72.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
288.71/72.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
288.71/72.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
288.71/72.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
288.71/72.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
288.71/72.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
288.71/72.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
289.52/72.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
290.70/72.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
299.88/75.16	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.28 s
299.88/75.17	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
300.28/75.27	c vivif2 --  cl tried    47198 cl shrink        0 lits rem          0 time: 0.10
301.08/75.44	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
301.08/75.45	c calculated reachability. Time: 0.00
301.08/75.45	c  N dy   972    158490     24301    103886         0     47198    315509   5869033    144.85   no data
318.26/79.76	c  N dy  1038    168683     24301    103886         0     32535    315509   2285690    144.79    153.22
337.03/84.49	c  N dy  1105    179801     24301    103886         0     43652    315509   4699417    144.51    152.85
357.81/89.66	c  N dy  1181    191325     24301    103886         0     29246    315509   1256304    144.42    154.70
378.99/94.95	c  N dy  1264    203614     24301    103886         0     41535    315509   4039889    144.52    152.66
402.96/100.93	c  N dy  1357    216611     24301    103886         0     27566    315509    638793    144.67    152.77
426.93/106.97	c  N dy  1450    230834     24301    103886         0     41788    315509   3821760    144.54    153.66
439.71/110.14	c  S st  1501    237735     24301    103886         0     48688    315509   5398110    144.65   no data
440.51/110.38	c  S st  1501    238237     24301    103886         0     49190    315509   5483148    144.65   no data
440.91/110.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
441.31/110.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
441.31/110.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
441.31/110.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
441.31/110.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
441.31/110.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
441.71/110.60	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
442.11/110.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
443.32/111.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
452.52/113.33	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.27 s
452.52/113.35	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
452.90/113.44	c vivif2 --  cl tried    49187 cl shrink        0 lits rem          0 time: 0.09
453.69/113.61	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
453.69/113.62	c calculated reachability. Time: 0.00
453.69/113.62	c  N dy  1501    238237     24301    103886         0     49187    315509   5481109    144.65   no data
480.86/120.40	c  N dy  1604    253471     24301    103886         0     36438    315509   2398268    144.78    156.30
509.65/127.61	c  N dy  1708    269664     24301    103886         0     52631    315509   6102158    144.84    169.66
540.79/135.41	c  N dy  1823    286967     24301    103886         0     40945    315509   3224464    144.91    153.41
574.34/143.84	c  N dy  1945    305392     24301    103886         0     59369    315509   7425807    145.00    161.18
575.94/144.29	c  F st  1952    306250     24301    103886         0     30235    315509    531871    144.99   no data
609.91/152.80	c  N dy  2051    324950     24301    103886         0     48935    315509   5442611    145.06    153.25
647.05/162.02	c  N dy  2192    345020     24301    103886         0     38007    315509   2067331    145.18    154.11
669.43/167.61	c  S st  2281    357355     24301    103886         0     50341    315509   4941484    145.28    132.88
670.23/167.84	c  S st  2281    357858     24301    103886         0     50844    315509   5019961    145.28   no data
670.23/167.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
671.03/168.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
671.03/168.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
671.03/168.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
671.03/168.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
671.03/168.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
671.03/168.06	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
671.84/168.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
672.62/168.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
681.81/170.70	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.21 s
681.81/170.72	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
682.21/170.80	c vivif2 --  cl tried    50843 cl shrink        0 lits rem          0 time: 0.09
682.61/170.98	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
682.61/170.98	c calculated reachability. Time: 0.00
682.61/170.98	c  N dy  2281    357858     24301    103886         0     50843    315509   5019055    145.28   no data
720.58/180.44	c  N dy  2425    378023     24301    103886         0     39012    315509   2030185    145.39    153.95
758.11/189.80	c  N dy  2558    398043     24301    103886         0     59032    315509   6620546    145.46    156.44
794.88/199.02	c  N dy  2694    418069     24301    103886         0     46061    315509   3406676    145.49    154.46
832.82/208.55	c  N dy  2831    438082     24301    103886         0     66072    315509   7998779    145.47    169.05
869.59/217.73	c  N dy  2970    458122     24301    103886         0     52113    315509   4633909    145.53    155.57
907.92/227.35	c  N dy  3095    478190     24301    103886         0     37182    315509    933484    145.49    153.21
944.69/236.51	c  N dy  3225    498352     24301    103886         0     57343    315509   5512420    145.46    155.95
982.62/246.03	c  N dy  3353    518387     24301    103886         0     41376    315509   1674659    145.38    163.50
1016.98/254.60	c  S st  3479    536787     24301    103886         0     59776    315509   5783272    145.35   no data
1017.78/254.85	c  S st  3479    537291     24301    103886         0     60280    315509   5863484    145.35   no data
1017.78/254.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1018.58/255.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1018.58/255.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1018.58/255.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1018.58/255.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1018.58/255.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
1018.58/255.09	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1019.39/255.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1020.56/255.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1032.58/258.59	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.01 s
1032.96/258.60	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
1033.36/258.70	c vivif2 --  cl tried    60278 cl shrink        0 lits rem          0 time: 0.10
1033.76/258.89	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.19
1034.15/258.90	c calculated reachability. Time: 0.00
1034.15/258.90	c  N dy  3479    537291     24301    103886         0     60278    315509   5862586    145.35   no data
1072.49/268.54	c  N dy  3607    557322     24301    103886         0     43310    315509   1921474    145.37    155.77
1110.05/277.98	c  N dy  3741    577381     24301    103886         0     63369    315509   6533789    145.41    154.36
1149.20/287.73	c  N dy  3877    597418     24301    103886         0     45403    315509   2141326    145.51    153.86
1187.14/297.25	c  N dy  4011    617428     24301    103886         0     65412    315509   6668209    145.54    156.53
1226.70/307.15	c  N dy  4154    637657     24301    103886         0     46643    315509   2235587    145.63    154.01
1265.47/316.83	c  N dy  4297    657704     24301    103886         0     66689    315509   6932060    145.74    158.12
1305.39/326.82	c  N dy  4431    677832     24301    103886         0     46820    315509   2041210    145.74    157.12
1344.55/336.68	c  N dy  4561    697906     24301    103886         0     66894    315509   6630259    145.75    156.43
1384.88/346.74	c  N dy  4691    718031     24301    103886         0     46019    315509   1645042    145.77    171.72
1422.82/356.27	c  N dy  4819    738109     24301    103886         0     66094    315509   6167385    145.75    156.77
1463.97/366.53	c  N dy  4950    758132     24301    103886         0     44119    315509    948426    145.77    159.53
1501.93/376.07	c  N dy  5082    778286     24301    103886         0     64271    315509   5482934    145.78    153.78
1544.27/386.62	c  N dy  5226    798396     24301    103886         0     84378    315509  10096175    145.84    156.25
1558.66/390.28	c  S st  5283    805937     24301    103886         0     48927    315509   1874494    145.86    137.29
1559.88/390.52	c  S st  5283    806440     24301    103886         0     49430    315509   1960350    145.86   no data
1559.88/390.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1560.25/390.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1560.65/390.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1560.65/390.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1560.65/390.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1560.65/390.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
1560.65/390.74	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1561.05/390.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1561.45/390.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1564.65/391.70	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.73 s
1564.65/391.72	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
1564.65/391.75	c vivif2 --  cl tried    49430 cl shrink        0 lits rem          0 time: 0.04
1565.45/391.92	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
1565.45/391.93	c calculated reachability. Time: 0.00
1565.45/391.93	c  N dy  5283    806440     24301    103886         0     49430    315509   1960347    145.86   no data
1604.59/401.70	c  N dy  5422    826511     24301    103886         0     69499    315509   6606189    145.87    153.72
1645.74/412.07	c  N dy  5551    846542     24301    103886         0     45530    315509    815807    145.83    156.36
1684.49/421.71	c  N dy  5680    866636     24301    103886         0     65623    315509   5446843    145.82    160.31
1725.64/432.04	c  N dy  5801    886695     24301    103886         0     85681    315509   9975705    145.78    154.70
1764.78/441.89	c  N dy  5935    906870     24301    103886         0     60859    315509   4070571    145.76    153.72
1806.32/452.21	c  N dy  6065    927046     24301    103886         0     81033    315509   8642358    145.74    154.03
1847.06/462.48	c  N dy  6208    947117     24301    103886         0     55104    315509   2617241    145.80    153.89
1887.81/472.62	c  N dy  6347    967296     24301    103886         0     75283    315509   7161488    145.79    156.22
1930.96/483.42	c  N dy  6490    987374     24301    103886         0     48362    315509    812400    145.85    157.04
1969.70/493.18	c  N dy  6632   1007410     24301    103886         0     68396    315509   5468062    145.92    153.77
2011.64/503.67	c  N dy  6764   1027413     24301    103886         0     88395    315509  10032776    145.91    160.48
2052.39/513.80	c  N dy  6900   1047462     24301    103886         0     60448    315509   3325480    145.94    154.62
2092.74/523.92	c  N dy  7037   1067522     24301    103886         0     80506    315509   7944854    145.95    170.96
2101.93/526.29	c  F st  7065   1071878     24301    103886         0     84860    315509   8948177    145.95    146.80
2137.08/535.00	c  N dy  7145   1087625     24301    103886         0     51609    315509   1124502    145.99    153.85
2176.63/544.91	c  N dy  7284   1107698     24301    103886         0     71681    315509   5709109    146.00    155.81
2219.37/555.66	c  N dy  7418   1127825     24301    103886         0     91807    315509  10224605    145.98    154.79
2260.12/565.89	c  N dy  7557   1147894     24301    103886         0     61882    315509   3178601    145.98    162.34
2301.27/576.16	c  N dy  7694   1167966     24301    103886         0     81953    315509   7759580    145.99    155.07
2346.79/587.51	c  N dy  7830   1188282     24301    103886         0     51273    315509    573141    145.98    158.25
2386.35/597.40	c  N dy  7967   1208449     24301    103886         0     71440    315509   5180136    145.99    157.77
2388.74/598.03	c  S st  7976   1209661     24301    103886         0     72652    315509   5455348    145.99   no data
2389.54/598.30	c  S st  7976   1210163     24301    103886         0     73154    315509   5535495    145.99   no data
2389.96/598.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2390.36/598.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2390.73/598.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2390.73/598.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2390.73/598.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2390.73/598.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
2390.73/598.55	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2391.53/598.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2392.74/599.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2405.52/602.28	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.26 s
2405.52/602.29	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
2405.92/602.39	c vivif2 --  cl tried    73148 cl shrink        0 lits rem          0 time: 0.10
2407.12/602.60	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.21
2407.12/602.61	c calculated reachability. Time: 0.00
2407.12/602.61	c  N dy  7976   1210163     24301    103886         0     73148    315509   5532221    145.99   no data
2450.26/613.46	c  N dy  8112   1230199     24301    103886         0     93183    315509  10158175    146.01    155.02
2492.20/623.99	c  N dy  8245   1250279     24301    103886         0     61261    315509   2642139    146.01    185.37
2533.34/634.24	c  N dy  8387   1270299     24301    103886         0     81278    315509   7284816    146.05    179.68
2577.28/645.23	c  N dy  8513   1290303     24301    103886         0    101280    315509  11822653    146.02    175.94
2617.63/655.36	c  N dy  8636   1310458     24301    103886         0     68436    315509   4057525    146.01    157.92
2659.96/665.97	c  N dy  8769   1330529     24301    103886         0     88504    315509   8714388    146.03    154.26
2705.49/677.32	c  N dy  8895   1350674     24301    103886         0     54650    315509    676489    146.02    157.98
2745.45/687.33	c  N dy  9034   1370748     24301    103886         0     74724    315509   5244452    146.02    156.92
2788.99/698.24	c  N dy  9174   1390834     24301    103886         0     94808    315509   9837047    146.04    156.16
2833.74/709.46	c  N dy  9309   1410880     24301    103886         0     59860    315509   1654153    146.06    223.45
2874.07/719.54	c  N dy  9437   1430891     24301    103886         0     79871    315509   6208272    146.05    157.02
2919.21/730.82	c  N dy  9582   1451006     24301    103886         0     99986    315509  10815993    146.07    154.45
2962.75/741.79	c  N dy  9713   1471094     24301    103886         0     64083    315509   2444257    146.06    160.27
3004.30/752.16	c  N dy  9851   1491142     24301    103886         0     84130    315509   7041295    146.08    165.39
3049.47/763.43	c  N dy  9990   1511144     24301    103886         0    104132    315509  11639186    146.08    153.97
3093.00/774.40	c  N dy 10129   1531197     24301    103886         0     67182    315509   2846348    146.09    169.64
3135.33/784.95	c  N dy 10271   1551304     24301    103886         0     87287    315509   7439989    146.11    154.11
3181.30/796.46	c  N dy 10408   1571345     24301    103886         0    107327    315509  12059980    146.13    153.87
3224.83/807.38	c  N dy 10551   1591573     24301    103886         0     69551    315509   3144236    146.14    156.66
3267.55/818.05	c  N dy 10698   1611674     24301    103886         0     89652    315509   7819646    146.18    161.10
3314.29/829.75	c  N dy 10834   1631841     24301    103886         0    109819    315509  12480810    146.17    163.38
3357.83/840.61	c  N dy 10964   1651909     24301    103886         0     70891    315509   3305830    146.17    169.63
3400.59/851.35	c  N dy 11101   1672014     24301    103886         0     90995    315509   7921543    146.19    155.78
3446.91/862.96	c  N dy 11236   1692106     24301    103886         0    111085    315509  12482840    146.19    179.10
3487.26/873.03	c  S st 11352   1710163     24301    103886         0     69146    315509   2605300    146.17   no data
3488.05/873.29	c  S st 11352   1710666     24301    103886         0     69649    315509   2685883    146.17   no data
3488.47/873.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3488.87/873.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3488.87/873.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3489.24/873.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3489.24/873.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3489.24/873.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
3489.24/873.53	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3489.64/873.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3490.44/873.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3497.26/875.52	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.69 s
3497.26/875.53	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
3497.26/875.58	c vivif2 --  cl tried    69648 cl shrink        0 lits rem          0 time: 0.05
3498.04/875.78	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.20
3498.04/875.79	c calculated reachability. Time: 0.00
3498.04/875.79	c  N dy 11352   1710666     24301    103886         0     69648    315509   2685869    146.17   no data
3540.38/886.39	c  N dy 11485   1730680     24301    103886         0     89660    315509   7322475    146.18    157.95
3586.72/897.92	c  N dy 11616   1750770     24301    103886         0    109749    315509  11875394    146.17    163.54
3632.26/909.33	c  N dy 11745   1770962     24301    103886         0     68942    315509   2380998    146.16    158.72
3674.61/919.94	c  N dy 11883   1791051     24301    103886         0     89031    315509   6979768    146.17    158.67
3720.54/931.46	c  N dy 12015   1811171     24301    103886         0    109148    315509  11546689    146.16    163.15
3767.26/943.19	c  N dy 12153   1831343     24301    103886         0     67325    315509   1754721    146.16    154.31
3809.23/953.61	c  N dy 12290   1851350     24301    103886         0     87330    315509   6332861    146.17    175.08
3855.55/965.27	c  N dy 12434   1871656     24301    103886         0    107636    315509  11034148    146.19    164.07
3905.48/977.72	c  N dy 12572   1891664     24301    103886         0     64640    315509    944888    146.22    155.60
3946.62/988.09	c  N dy 12711   1911719     24301    103886         0     84692    315509   5581831    146.22    175.57
3991.36/999.22	c  N dy 12838   1931798     24301    103886         0    104771    315509  10087020    146.21    157.57
4040.09/1011.47	c  N dy 12969   1951954     24301    103886         0    124925    315509  14715339    146.22    159.86
4083.22/1022.20	c  N dy 13103   1972005     24301    103886         0     80978    315509   4511326    146.24    205.85
4127.16/1033.29	c  N dy 13234   1992124     24301    103886         0    101094    315509   9134210    146.24    157.87
4175.90/1045.43	c  N dy 13370   2012185     24301    103886         0    121153    315509  13789215    146.27    156.09
4221.04/1056.70	c  N dy 13497   2032283     24301    103886         0     76260    315509   3155459    146.26    163.26
4264.58/1067.67	c  N dy 13630   2052534     24301    103886         0     96510    315509   7803111    146.26    155.38
4312.11/1079.51	c  N dy 13762   2072694     24301    103886         0    116668    315509  12408568    146.26    166.80
4360.44/1091.68	c  N dy 13898   2092850     24301    103886         0     70831    315509   1679830    146.25    160.05
4402.80/1102.27	c  N dy 14029   2113021     24301    103886         0     91002    315509   6320321    146.26    161.32
4449.13/1113.84	c  N dy 14170   2133089     24301    103886         0    111069    315509  10931649    146.29    236.29
4499.07/1126.35	c  N dy 14302   2153109     24301    103886         0    131087    315509  15495559    146.29    156.12
4542.60/1137.20	c  N dy 14441   2173153     24301    103886         0     84131    315509   4548234    146.31    171.62
4587.35/1148.45	c  N dy 14581   2193289     24301    103886         0    104267    315509   9194540    146.32    160.55
4629.68/1159.09	c  S st 14702   2210666     24301    103886         0    121644    315509  13196047    146.33    109.67
4631.30/1159.45	c  S st 14702   2211169     24301    103886         0    122147    315509  13270452    146.33   no data
4631.30/1159.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4632.07/1159.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.21
4632.47/1159.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4632.47/1159.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4632.47/1159.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4632.47/1159.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
4632.47/1159.76	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4633.67/1160.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4637.26/1160.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4667.21/1168.42	c lits-rem:         2  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.47 s
4667.21/1168.43	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
4668.01/1168.66	c vivif2 --  cl tried   122139 cl shrink        0 lits rem          0 time: 0.23
4669.21/1168.96	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.30
4669.21/1168.97	c calculated reachability. Time: 0.00
4669.21/1168.97	c  N dy 14702   2211169     24301    103886         0    122139    315509  13266608    146.33   no data
4720.33/1181.75	c  N dy 14833   2231264     24301    103886         0     74243    315509   1993100    146.32    156.43
4763.48/1192.50	c  N dy 14964   2251366     24301    103886         0     94342    315509   6637556    146.33    160.27

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-3173878-1304072280/watcher-3173878-1304072280 -o /tmp/evaluation-result-3173878-1304072280/solver-3173878-1304072280 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173878-1304072280.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: 6.62 7.72 6.98 6/180 15546
/proc/meminfo: memFree=15114252/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 499643587 52441088 347 33554432000 4194304 4627427 140736794504128 18446744073709551615 47407506991026 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 12803 347 299 106 0 7774 0
[pid=15546/tid=15547] ppid=15544 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 499643587 52441088 347 33554432000 4194304 4627427 140736794504128 18446744073709551615 47407506991024 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 499643587 52441088 347 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 499643587 52441088 347 33554432000 4194304 4627427 140736794504128 18446744073709551615 47407506991026 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0886951 s]
/proc/loadavg: 6.62 7.72 6.98 6/180 15546
/proc/meminfo: memFree=15114252/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=370504 CPUtime=0.29 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 15409 0 0 0 22 7 0 0 17 0 4 0 499643587 379396096 13396 33554432000 4194304 4627427 140736794504128 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 92626 13403 339 106 0 87597 0
[pid=15546/tid=15547] ppid=15544 vsize=370504 CPUtime=0.07 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 3864 0 0 0 5 2 0 0 17 0 4 0 499643587 379396096 13410 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=370504 CPUtime=0.06 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) S 15544 15546 13667 0 -1 4202560 4057 0 0 0 5 1 0 0 17 0 4 0 499643587 379396096 13432 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510062 0 0 4096 2 18446604453970911424 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=370504 CPUtime=0.06 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 3163 0 0 0 5 1 0 0 17 0 4 0 499643587 379396096 13452 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 370504

[startup+0.105682 s]
/proc/loadavg: 6.62 7.72 6.98 6/180 15546
/proc/meminfo: memFree=15114252/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=370504 CPUtime=0.35 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 15998 0 0 0 26 9 0 0 17 0 4 0 499643587 379396096 13985 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 92626 14013 339 106 0 87597 0
[pid=15546/tid=15547] ppid=15544 vsize=370504 CPUtime=0.08 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 4008 0 0 0 6 2 0 0 17 0 4 0 499643587 379396096 14022 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=370504 CPUtime=0.08 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) S 15544 15546 13667 0 -1 4202560 4208 0 0 0 7 1 0 0 17 0 4 0 499643587 379396096 14036 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510062 0 0 4096 2 18446604453970911424 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=370504 CPUtime=0.08 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 3313 0 0 0 6 2 0 0 17 0 4 0 499643587 379396096 14071 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 370504

[startup+0.300583 s]
/proc/loadavg: 6.62 7.72 6.98 6/180 15546
/proc/meminfo: memFree=15114252/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=381504 CPUtime=1.1 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 21050 0 0 0 98 12 0 0 18 0 4 0 499643587 390660096 19037 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726061063 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 95376 19040 371 106 0 90347 0
[pid=15546/tid=15547] ppid=15544 vsize=381504 CPUtime=0.27 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 5242 0 0 0 24 3 0 0 18 0 4 0 499643587 390660096 19041 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=381504 CPUtime=0.26 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 5745 0 0 0 24 2 0 0 18 0 4 0 499643587 390660096 19044 33554432000 4194304 4627427 140736794504128 18446744073709551615 264726073585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=381504 CPUtime=0.27 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 3880 0 0 0 24 3 0 0 18 0 4 0 499643587 390660096 19044 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 381504

[startup+0.70051 s]
/proc/loadavg: 6.62 7.72 6.98 6/180 15546
/proc/meminfo: memFree=15114252/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=396584 CPUtime=2.69 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 37262 0 0 0 255 14 0 0 18 0 4 0 499643587 406102016 26870 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 99146 26870 385 106 0 94117 0
[pid=15546/tid=15547] ppid=15544 vsize=396584 CPUtime=0.66 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 10778 0 0 0 63 3 0 0 18 0 4 0 499643587 406102016 26870 33554432000 4194304 4627427 140736794504128 18446744073709551615 4332922 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=396584 CPUtime=0.66 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 10910 0 0 0 63 3 0 0 18 0 4 0 499643587 406102016 26870 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=396584 CPUtime=0.67 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 4181 0 0 0 64 3 0 0 18 0 4 0 499643587 406102016 26870 33554432000 4194304 4627427 140736794504128 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 396584

[startup+1.50036 s]
/proc/loadavg: 6.62 7.72 6.98 9/184 15550
/proc/meminfo: memFree=14978688/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=396584 CPUtime=5.89 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 40006 0 0 0 574 15 0 0 19 0 4 0 499643587 406102016 29566 33554432000 4194304 4627427 140736794504128 18446744073709551615 4324754 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 99146 29566 385 106 0 94117 0
[pid=15546/tid=15547] ppid=15544 vsize=396584 CPUtime=1.46 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 11533 0 0 0 143 3 0 0 19 0 4 0 499643587 406102016 29566 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=396584 CPUtime=1.46 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 11561 0 0 0 143 3 0 0 19 0 4 0 499643587 406102016 29566 33554432000 4194304 4627427 140736794504128 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=396584 CPUtime=1.46 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 4758 0 0 0 143 3 0 0 19 0 4 0 499643587 406102016 29566 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 396584

[startup+3.10106 s]
/proc/loadavg: 6.62 7.72 6.98 9/184 15550
/proc/meminfo: memFree=14957736/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=527848 CPUtime=12.28 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 44543 0 0 0 1212 16 0 0 23 0 4 0 499643587 540516352 34103 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 131962 34103 385 106 0 126933 0
[pid=15546/tid=15547] ppid=15544 vsize=527848 CPUtime=3.07 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 12578 0 0 0 303 4 0 0 24 0 4 0 499643587 540516352 34104 33554432000 4194304 4627427 140736794504128 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=527848 CPUtime=3.05 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 12592 0 0 0 302 3 0 0 25 0 4 0 499643587 540516352 34104 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=527848 CPUtime=3.07 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 6095 0 0 0 303 4 0 0 24 0 4 0 499643587 540516352 34105 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 527848

[startup+6.30045 s]
/proc/loadavg: 6.73 7.72 6.98 9/184 15550
/proc/meminfo: memFree=14861144/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=527848 CPUtime=25.06 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 52565 0 0 0 2489 17 0 0 25 0 4 0 499643587 540516352 42125 33554432000 4194304 4627427 140736794504128 18446744073709551615 4332767 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 131962 42125 385 106 0 126933 0
[pid=15546/tid=15547] ppid=15544 vsize=527848 CPUtime=6.27 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 14633 0 0 0 623 4 0 0 25 0 4 0 499643587 540516352 42125 33554432000 4194304 4627427 140736794504128 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=527848 CPUtime=6.24 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 14565 0 0 0 620 4 0 0 25 0 4 0 499643587 540516352 42125 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=527848 CPUtime=6.27 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 8077 0 0 0 623 4 0 0 25 0 4 0 499643587 540516352 42125 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 527848

[startup+12.7002 s]
/proc/loadavg: 6.83 7.72 6.99 9/184 15550
/proc/meminfo: memFree=14807824/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=711092 CPUtime=50.63 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 94845 0 0 0 5035 28 0 0 25 0 4 0 499643587 728158208 58847 33554432000 4194304 4627427 140736794504128 18446744073709551615 4467635 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 177773 58847 390 106 0 172744 0
[pid=15546/tid=15547] ppid=15544 vsize=711092 CPUtime=12.67 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 20174 0 0 0 1262 5 0 0 25 0 4 0 499643587 728158208 58847 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=711092 CPUtime=12.6 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 19726 0 0 0 1255 5 0 0 25 0 4 0 499643587 728158208 58847 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=711092 CPUtime=12.66 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 17515 0 0 0 1260 6 0 0 25 0 4 0 499643587 728158208 58847 33554432000 4194304 4627427 140736794504128 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 711092

[startup+25.5008 s]
/proc/loadavg: 7.09 7.74 7.00 9/184 15551
/proc/meminfo: memFree=14501304/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=766764 CPUtime=101.75 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 171281 0 0 0 10129 46 0 0 25 0 4 0 499643587 785166336 105079 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 191691 105079 390 106 0 186662 0
[pid=15546/tid=15547] ppid=15544 vsize=766764 CPUtime=25.47 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 51738 0 0 0 2534 13 0 0 25 0 4 0 499643587 785166336 105079 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=766764 CPUtime=25.33 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 34552 0 0 0 2524 9 0 0 25 0 4 0 499643587 785166336 105079 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=766764 CPUtime=25.47 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 37308 0 0 0 2536 11 0 0 25 0 4 0 499643587 785166336 105079 33554432000 4194304 4627427 140736794504128 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 766764

[startup+51.101 s]
/proc/loadavg: 7.47 7.77 7.03 9/184 15551
/proc/meminfo: memFree=14314268/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=826844 CPUtime=204.02 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 255590 0 0 0 20332 70 0 0 25 0 4 0 499643587 846688256 133838 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 206711 133838 390 106 0 201682 0
[pid=15546/tid=15547] ppid=15544 vsize=826844 CPUtime=51.07 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 67403 0 0 0 5089 18 0 0 25 0 4 0 499643587 846688256 133838 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=826844 CPUtime=50.79 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 53152 0 0 0 5065 14 0 0 25 0 4 0 499643587 846688256 133838 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=826844 CPUtime=51.06 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 57540 0 0 0 5089 17 0 0 25 0 4 0 499643587 846688256 133838 33554432000 4194304 4627427 140736794504128 18446744073709551615 4408477 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 826844

[startup+102.306 s]
/proc/loadavg: 7.92 7.84 7.09 9/184 15553
/proc/meminfo: memFree=14140152/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=967216 CPUtime=408.57 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 371744 0 0 0 40759 98 0 0 25 0 4 0 499643587 990429184 172176 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 241804 172176 390 106 0 236775 0
[pid=15546/tid=15547] ppid=15544 vsize=967216 CPUtime=102.27 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 89567 0 0 0 10202 25 0 0 25 0 4 0 499643587 990429184 172176 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=967216 CPUtime=101.73 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 79416 0 0 0 10152 21 0 0 25 0 4 0 499643587 990429184 172176 33554432000 4194304 4627427 140736794504128 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=967216 CPUtime=102.27 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 94737 0 0 0 10202 25 0 0 25 0 4 0 499643587 990429184 172176 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 967216

[startup+162.301 s]

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

[pid=15546] ppid=15544 vsize=1393408 CPUtime=2805.37 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 1490071 0 0 0 280108 429 0 0 25 0 4 0 499643587 1426849792 294955 33554432000 4194304 4627427 140736794504128 18446744073709551615 4321741 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 348352 294955 390 106 0 343323 0
[pid=15546/tid=15547] ppid=15544 vsize=1393408 CPUtime=702.24 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 370060 0 0 0 70114 110 0 0 25 0 4 0 499643587 1426849792 294955 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1393408 CPUtime=698.58 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 365150 0 0 0 69750 108 0 0 25 0 4 0 499643587 1426849792 294955 33554432000 4194304 4627427 140736794504128 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1393408 CPUtime=702.26 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 379947 0 0 0 70122 104 0 0 25 0 4 0 499643587 1426849792 294956 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 1393408

[startup+762.307 s]
/proc/loadavg: 8.14 8.11 7.61 9/184 15573
/proc/meminfo: memFree=13305340/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1517444 CPUtime=3045.07 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 1591025 0 0 0 304045 462 0 0 25 0 4 0 499643587 1553862656 315263 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 379361 315263 390 106 0 374332 0
[pid=15546/tid=15547] ppid=15544 vsize=1517444 CPUtime=762.25 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 394374 0 0 0 76107 118 0 0 25 0 4 0 499643587 1553862656 315263 33554432000 4194304 4627427 140736794504128 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1517444 CPUtime=758.27 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 389164 0 0 0 75710 117 0 0 25 0 4 0 499643587 1553862656 315263 33554432000 4194304 4627427 140736794504128 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1517444 CPUtime=762.27 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 404700 0 0 0 76116 111 0 0 25 0 4 0 499643587 1553862656 315263 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 1517444

[startup+822.3 s]
/proc/loadavg: 8.05 8.09 7.64 9/184 15575
/proc/meminfo: memFree=13390888/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1453172 CPUtime=3284.73 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 1683428 0 0 0 327979 494 0 0 25 0 4 0 499643587 1488048128 305439 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308231 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 363293 305439 390 106 0 358264 0
[pid=15546/tid=15547] ppid=15544 vsize=1453172 CPUtime=822.24 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 418311 0 0 0 82098 126 0 0 25 0 4 0 499643587 1488048128 305439 33554432000 4194304 4627427 140736794504128 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1453172 CPUtime=817.95 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 413080 0 0 0 81670 125 0 0 25 0 4 0 499643587 1488048128 305439 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1453172 CPUtime=822.26 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 425289 0 0 0 82108 118 0 0 25 0 4 0 499643587 1488048128 305439 33554432000 4194304 4627427 140736794504128 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 1453172

[startup+882.301 s]
/proc/loadavg: 8.11 8.10 7.66 9/184 15577
/proc/meminfo: memFree=13413812/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1585616 CPUtime=3524.41 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 1774599 0 0 0 351916 525 0 0 25 0 4 0 499643587 1623670784 293901 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 396404 293901 390 106 0 391375 0
[pid=15546/tid=15547] ppid=15544 vsize=1585616 CPUtime=882.24 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 441079 0 0 0 88091 133 0 0 25 0 4 0 499643587 1623670784 293901 33554432000 4194304 4627427 140736794504128 18446744073709551615 4427688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1585616 CPUtime=877.63 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 436577 0 0 0 87630 133 0 0 25 0 4 0 499643587 1623670784 293901 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1585616 CPUtime=882.26 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 447596 0 0 0 88101 125 0 0 25 0 4 0 499643587 1623670784 293901 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 1585616

[startup+942.301 s]
/proc/loadavg: 8.04 8.08 7.68 9/184 15578
/proc/meminfo: memFree=13272936/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1389716 CPUtime=3764.07 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 1868708 0 0 0 375849 558 0 0 25 0 4 0 499643587 1423069184 264078 33554432000 4194304 4627427 140736794504128 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 347429 264078 390 106 0 342400 0
[pid=15546/tid=15547] ppid=15544 vsize=1389716 CPUtime=942.24 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 465554 0 0 0 94081 143 0 0 25 0 4 0 499643587 1423069184 264078 33554432000 4194304 4627427 140736794504128 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1389716 CPUtime=937.3 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 455950 0 0 0 93592 138 0 0 25 0 4 0 499643587 1423069184 264078 33554432000 4194304 4627427 140736794504128 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1389716 CPUtime=942.26 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 470967 0 0 0 94093 133 0 0 25 0 4 0 499643587 1423069184 264078 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 1389716

[startup+1002.3 s]
/proc/loadavg: 8.18 8.11 7.72 9/184 15580
/proc/meminfo: memFree=13095476/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1589072 CPUtime=4003.73 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 1985390 0 0 0 399782 591 0 0 25 0 4 0 499643587 1627209728 323834 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 397268 323834 390 106 0 392239 0
[pid=15546/tid=15547] ppid=15544 vsize=1589072 CPUtime=1002.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 489388 0 0 0 100073 150 0 0 25 0 4 0 499643587 1627209728 323834 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1589072 CPUtime=996.97 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 497335 0 0 0 99550 147 0 0 25 0 4 0 499643587 1627209728 323834 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1589072 CPUtime=1002.26 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 496492 0 0 0 100085 141 0 0 25 0 4 0 499643587 1627209728 323834 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 1589072

[startup+1062.3 s]
/proc/loadavg: 8.19 8.12 7.74 9/184 15581
/proc/meminfo: memFree=13194536/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1636048 CPUtime=4243.41 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 2081639 0 0 0 423718 623 0 0 25 0 4 0 499643587 1675313152 300904 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 409012 300904 390 106 0 403983 0
[pid=15546/tid=15547] ppid=15544 vsize=1636048 CPUtime=1062.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 512581 0 0 0 106066 157 0 0 25 0 4 0 499643587 1675313152 300904 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1636048 CPUtime=1056.65 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 520250 0 0 0 105509 156 0 0 25 0 4 0 499643587 1675313152 300904 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1636048 CPUtime=1062.26 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 519884 0 0 0 106078 148 0 0 25 0 4 0 499643587 1675313152 300904 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 1636048

[startup+1122.3 s]
/proc/loadavg: 8.18 8.12 7.76 9/184 15583
/proc/meminfo: memFree=13048332/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1621892 CPUtime=4483.08 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 2174247 0 0 0 447653 655 0 0 25 0 4 0 499643587 1660817408 330764 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 405473 330764 390 106 0 400444 0
[pid=15546/tid=15547] ppid=15544 vsize=1621892 CPUtime=1122.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 537552 0 0 0 112056 167 0 0 25 0 4 0 499643587 1660817408 330764 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1621892 CPUtime=1116.31 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 541608 0 0 0 111468 163 0 0 25 0 4 0 499643587 1660817408 330764 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1621892 CPUtime=1122.25 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 540982 0 0 0 112071 154 0 0 25 0 4 0 499643587 1660817408 330764 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 1621892

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 7.79 9/184 15585
/proc/meminfo: memFree=12864796/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1825560 CPUtime=4722.73 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 2329688 0 0 0 471578 695 0 0 25 0 4 0 499643587 1869373440 381385 33554432000 4194304 4627427 140736794504128 18446744073709551615 4330056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 456390 381385 390 106 0 451361 0
[pid=15546/tid=15547] ppid=15544 vsize=1825560 CPUtime=1182.22 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 593221 0 0 0 118043 179 0 0 25 0 4 0 499643587 1869373440 381385 33554432000 4194304 4627427 140736794504128 18446744073709551615 4427693 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1825560 CPUtime=1175.99 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 563472 0 0 0 117427 172 0 0 25 0 4 0 499643587 1869373440 381385 33554432000 4194304 4627427 140736794504128 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1825560 CPUtime=1182.24 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 583931 0 0 0 118060 164 0 0 25 0 4 0 499643587 1869373440 381385 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 1825560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.14 7.79 9/184 15585
/proc/meminfo: memFree=12763108/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1885336 CPUtime=4800.24 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 2361341 0 0 0 479318 706 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 471334 394798 390 106 0 466305 0
[pid=15546/tid=15547] ppid=15544 vsize=1885336 CPUtime=1201.63 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 602005 0 0 0 119980 183 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1885336 CPUtime=1195.29 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 571238 0 0 0 119355 174 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1885336 CPUtime=1201.65 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 591752 0 0 0 119998 167 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4306579 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1885336

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

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

[startup+1201.7 s]
/proc/loadavg: 8.19 8.14 7.79 9/184 15585
/proc/meminfo: memFree=12763108/32951124 swapFree=67111528/67111528
[pid=15546] ppid=15544 vsize=1885336 CPUtime=4800.24 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 13667 0 -1 4202496 2361341 0 0 0 479318 706 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15546/statm: 471334 394798 390 106 0 466305 0
[pid=15546/tid=15547] ppid=15544 vsize=1885336 CPUtime=1201.63 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 602005 0 0 0 119980 183 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=1885336 CPUtime=1195.29 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 571238 0 0 0 119355 174 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=1885336 CPUtime=1201.65 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 13667 0 -1 4202560 591752 0 0 0 119998 167 0 0 25 0 4 0 499643587 1930584064 394798 33554432000 4194304 4627427 140736794504128 18446744073709551615 4306579 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1885336

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.34
CPU user time (s): 4793.21
CPU system time (s): 7.13592
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 1885336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.21
system time used= 7.13591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2361351
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= 15899
involuntary context switches= 20945

runsolver used 1.85572 second user time and 4.43633 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-29 12:18:00
IDJOB=3173878
IDBENCH=82696
IDSOLVER=1586
FILE ID=node141/3173878-1304072280
RUNJOBID= node141-1304072279-15523
PBS_JOBID= 13170418
Free space on /tmp= 71416 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173878-1304072280/watcher-3173878-1304072280 -o /tmp/evaluation-result-3173878-1304072280/solver-3173878-1304072280 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173878-1304072280.cnf

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

MD5SUM BENCH= dd49a0090ce99bfddfd58615449391d9
RANDOM SEED=1474526194

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15114408 kB
Buffers:       1625916 kB
Cached:       15553048 kB
SwapCached:          0 kB
Active:        8030176 kB
Inactive:      9223800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15114408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14564 kB
Writeback:           0 kB
AnonPages:       74704 kB
Mapped:          14868 kB
Slab:           519200 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273896 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= 71412 MiB
End job on node141 at 2011-04-29 12:38:03