Trace number 3173769

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.42 1201.78

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.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-3173769-1304031133.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.09/0.07	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.09/0.07	c -- vars added      20000
0.09/0.07	c Parsing time:  0.06 s
0.09/0.07	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.40/0.14	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.40/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.76/0.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.76/0.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.76/0.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.76/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.76/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
1.16/0.38	c lits-rem:         0  cl-subs:        0  v-elim:    487  v-fix:    0  time:  0.13 s
1.16/0.38	c Finding binary XORs  T:     0.00 s  found:       0
1.56/0.41	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.56/0.41	c calculated reachability. Time: 0.00
1.56/0.42	c Calc default polars -  time:   0.01 s pos:    8763 undec:    2164 neg:    9073
1.56/0.42	c =========================================================================================
1.56/0.42	c types(t): F = full restart, N = normal restart
1.56/0.42	c types(t): S = simplification begin/end, E = solution found
1.56/0.42	c restart types(rt): st = static, dy = dynamic
1.56/0.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.56/0.42	c  B st     0         0     19513     83511         0         0    253515         0   no data   no data
5.95/1.58	c  N dy    21      4305     19513     83511         0      4303    253515    908215    132.08    139.37
10.75/2.75	c  N dy    48      8416     19513     83511         0      8414    253515   1768251    132.85    140.23
15.54/3.96	c  N dy    76     12514     19513     83511         0     12512    253515   2612039    132.82    140.92
20.33/5.18	c  N dy   100     16573     19513     83511         0     16571    253515   3420932    130.82    146.55
25.94/6.54	c  N dy   127     20821     19513     83511         0     10822    253515    723539    130.58    138.83
30.74/7.77	c  N dy   153     24880     19513     83511         0     14881    253515   1567898    130.15    137.12
31.12/7.81	c  F st   154     25000     19513     83511         0     15001    253515   1593212    130.12    129.45
37.51/9.47	c  N dy   160     30003     19513     83511         0     20003    253515   2929830    130.12   no data
37.51/9.47	c  S st   160     30003     19513     83511         0     20003    253515   2929830    130.12   no data
38.31/9.64	c  S st   160     30506     19513     83511         0     20506    253515   3003513    130.12   no data
38.31/9.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.71/9.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
38.71/9.76	c blocked clauses removed:      477 vars:     74 tried:       19513 T: 0.01 s
38.71/9.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
38.71/9.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.71/9.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
38.71/9.78	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.12/9.88	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.09 s
40.31/10.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.94	c lits-rem:         8  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.79 s
43.92/11.04	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.10
43.92/11.04	c calculated reachability. Time: 0.00
43.92/11.04	c  N dy   160     30506     19423     83021         0     20280    252124   2928735    130.12   no data
49.10/12.37	c  N dy   185     34565     19423     83021         0     24337    252124   3732075    129.61    149.36
55.09/13.84	c  N dy   210     38723     19423     83021         0     28495    252124   4598922    129.37    136.60
60.69/15.27	c  N dy   235     42879     19423     83021         0     17266    252124   1041825    129.10    139.11
64.29/16.17	c  S st   253     45760     19423     83021         0     20147    252124   1624412    129.13    125.87
65.07/16.34	c  S st   253     46263     19423     83021         0     20650    252124   1694192    129.13   no data
65.07/16.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.49/16.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
65.49/16.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.49/16.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.49/16.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.49/16.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
65.49/16.48	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
65.89/16.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
66.27/16.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.47/16.92	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.24 s
67.47/16.93	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
67.47/16.95	c vivif2 --  cl tried    20649 cl shrink        0 lits rem          0 time: 0.03
67.87/17.05	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.10
67.87/17.06	c calculated reachability. Time: 0.00
67.87/17.06	c  N dy   253     46263     19423     83021         0     20649    252124   1693638    129.13   no data
73.06/18.34	c  N dy   278     50271     19423     83021         0     24657    252124   2493710    128.96    137.66
78.67/19.71	c  N dy   307     54422     19423     83021         0     28808    252124   3329258    128.94    137.97
84.25/21.19	c  N dy   337     58632     19423     83021         0     33018    252124   4228422    129.48    140.70
89.84/22.59	c  N dy   365     62658     19423     83021         0     37044    252124   5040754    129.42    137.99
95.43/23.95	c  N dy   392     66734     19423     83021         0     22429    252124   1412153    129.50    139.14
99.03/24.84	c  S st   412     69394     19423     83021         0     25089    252124   1944521    129.56   no data
99.83/25.02	c  S st   412     69899     19423     83021         0     25594    252124   2017525    129.56   no data
99.83/25.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.23/25.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
100.23/25.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.23/25.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
100.23/25.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
100.23/25.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
100.23/25.16	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
100.64/25.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
101.04/25.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.62/25.73	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.36 s
102.62/25.74	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
102.62/25.77	c vivif2 --  cl tried    25593 cl shrink        0 lits rem          0 time: 0.03
103.02/25.88	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.11
103.02/25.88	c calculated reachability. Time: 0.00
103.02/25.89	c  N dy   412     69899     19423     83021         0     25593    252124   2017497    129.56   no data
109.43/27.45	c  N dy   444     74491     19423     83021         0     30184    252124   2971223    129.71    142.42
116.20/29.13	c  N dy   475     79306     19423     83021         0     34998    252124   3962691    129.57    154.60
123.39/30.97	c  N dy   514     84454     19423     83021         0     40146    252124   5021979    129.76    164.65
127.79/32.06	c  F st   532     87500     19423     83021         0     22347    252124    919164    129.55   no data
132.58/33.25	c  N st   537     90796     19423     83021         0     25643    252124   1837444    129.55   no data
140.59/35.26	c  N dy   563     96638     19423     83021         0     31483    252124   3171489    129.52    146.18
149.76/37.54	c  N dy   606    103005     19423     83021         0     37850    252124   4489572    129.63    138.93
152.57/38.22	c  S st   620    104848     19423     83021         0     39693    252124   4849755    129.64   no data
153.38/38.40	c  S st   620    105355     19423     83021         0     40200    252124   4921660    129.64   no data
153.38/38.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
153.78/38.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
153.78/38.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.78/38.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
153.78/38.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
153.78/38.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
153.78/38.56	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
154.16/38.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
155.35/38.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.35/40.45	c lits-rem:        23  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.47 s
161.35/40.46	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
161.75/40.54	c vivif2 --  cl tried    40195 cl shrink        0 lits rem          0 time: 0.08
162.16/40.67	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.13
162.16/40.67	c calculated reachability. Time: 0.00
162.16/40.67	c  N dy   620    105355     19423     83021         0     40195    252124   4917429    129.64   no data
172.53/43.21	c  N dy   668    112095     19423     83021         0     24516    252124   1015085    129.67    140.43
182.52/45.78	c  N dy   714    119346     19423     83021         0     31767    252124   2503950    129.66    141.30
194.10/48.62	c  N dy   766    127175     19423     83021         0     39595    252124   4146056    129.94    138.06
206.11/51.68	c  N dy   817    135339     19423     83021         0     24047    252124    608209    129.79    137.87
218.08/54.69	c  N dy   874    144032     19423     83021         0     32740    252124   2401388    129.81    137.75
232.06/58.15	c  N dy   944    153321     19423     83021         0     42028    252124   4355728    130.13    157.47
239.25/59.95	c  S st   977    158033     19423     83021         0     46739    252124   5349354    130.20    110.88
240.05/60.14	c  S st   977    158537     19423     83021         0     47243    252124   5425503    130.20   no data
240.05/60.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
240.45/60.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
240.45/60.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.45/60.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.45/60.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.85/60.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
240.85/60.31	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
241.26/60.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
242.44/60.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
251.22/62.90	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.16 s
251.22/62.91	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
251.62/63.00	c vivif2 --  cl tried    47238 cl shrink        0 lits rem          0 time: 0.09
252.02/63.14	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
252.02/63.15	c calculated reachability. Time: 0.00
252.02/63.15	c  N dy   977    158537     19423     83021         0     47238    252124   5423760    130.20   no data
266.81/66.81	c  N dy  1042    168681     19423     83021         0     32527    252124   2099845    130.13    139.05
282.79/70.84	c  N dy  1114    179540     19423     83021         0     43385    252124   4376951    130.23    162.82
300.36/75.21	c  N dy  1193    191014     19423     83021         0     28934    252124   1120705    130.29    137.47
317.94/79.63	c  N dy  1278    203278     19423     83021         0     41198    252124   3658504    130.36    137.92
338.34/84.73	c  N dy  1367    216334     19423     83021         0     27294    252124    551236    130.60    137.82
358.30/89.75	c  N dy  1465    230285     19423     83021         0     41244    252124   3433829    130.66    137.61
369.88/92.61	c  S st  1517    237807     19423     83021         0     48766    252124   4955791    130.59    122.14
370.68/92.83	c  S st  1517    238310     19423     83021         0     49269    252124   5045713    130.59   no data
370.68/92.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
371.08/92.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
371.08/92.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
371.08/92.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
371.08/92.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
371.08/92.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
371.48/93.00	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
371.88/93.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
372.68/93.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.46/95.54	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.16 s
381.46/95.55	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
381.88/95.63	c vivif2 --  cl tried    49263 cl shrink        0 lits rem          0 time: 0.08
382.28/95.77	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
382.28/95.78	c calculated reachability. Time: 0.00
382.28/95.78	c  N dy  1517    238310     19423     83021         0     49263    252124   5042844    130.59   no data
405.43/101.53	c  N dy  1619    253565     19423     83021         0     36532    252124   2237728    130.60    137.50
430.22/107.79	c  N dy  1733    269845     19423     83021         0     52811    252124   5652816    130.82    138.81
456.59/114.34	c  N dy  1839    287131     19423     83021         0     41109    252124   2912014    130.72    137.83
485.73/121.65	c  N dy  1965    305689     19423     83021         0     59667    252124   6779287    130.84    146.98
486.93/121.91	c  F st  1970    306250     19423     83021         0     30235    252124    498495    130.83   no data
515.29/129.08	c  N dy  2067    325434     19423     83021         0     49418    252124   4822272    130.81    138.37
546.86/136.93	c  N dy  2202    345464     19423     83021         0     38449    252124   1985265    130.86    137.90
565.23/141.50	c  S st  2279    357467     19423     83021         0     50451    252124   4472225    130.87   no data
566.03/141.71	c  S st  2279    357973     19423     83021         0     50957    252124   4547321    130.87   no data
566.03/141.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
566.45/141.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
566.45/141.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
566.45/141.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
566.45/141.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
566.45/141.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
566.45/141.88	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
567.23/142.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
568.03/142.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
580.03/145.26	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.03 s
580.03/145.27	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
580.41/145.34	c vivif2 --  cl tried    50954 cl shrink        0 lits rem          0 time: 0.07
580.81/145.49	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
580.81/145.50	c calculated reachability. Time: 0.00
581.21/145.50	c  N dy  2279    357973     19423     83021         0     50954    252124   4546447    130.87   no data
612.77/153.42	c  N dy  2409    378041     19423     83021         0     39022    252124   1862641    130.87    154.67
645.13/161.54	c  N dy  2551    398143     19423     83021         0     59118    252124   6044279    130.91    138.93
676.31/169.31	c  N dy  2677    418167     19423     83021         0     46145    252124   3153831    130.89    144.56
709.05/177.50	c  N dy  2811    438293     19423     83021         0     66270    252124   7278175    130.88    138.55
739.80/185.28	c  N dy  2946    458305     19423     83021         0     52290    252124   4248679    130.92    147.47
773.38/193.62	c  N dy  3081    478518     19423     83021         0     37504    252124    976770    131.02    147.56
804.52/201.40	c  N dy  3208    498530     19423     83021         0     57514    252124   5110486    130.99    140.71
837.68/209.71	c  N dy  3343    518625     19423     83021         0     41611    252124   1583280    130.99    138.32
866.45/216.96	c  S st  3466    536959     19423     83021         0     59945    252124   5368593    130.99    107.70
867.25/217.18	c  S st  3466    537459     19423     83021         0     60445    252124   5443172    130.99   no data
867.25/217.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
868.05/217.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
868.05/217.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
868.05/217.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
868.05/217.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
868.05/217.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
868.05/217.36	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
868.45/217.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
869.67/217.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
880.83/220.59	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.83 s
881.23/220.60	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
881.23/220.69	c vivif2 --  cl tried    60442 cl shrink        0 lits rem          0 time: 0.09
882.03/220.85	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.16
882.03/220.86	c calculated reachability. Time: 0.00
882.03/220.86	c  N dy  3466    537459     19423     83021         0     60442    252124   5442711    130.99   no data
915.19/229.17	c  N dy  3603    557468     19423     83021         0     43451    252124   1812191    131.00    184.42
947.54/237.28	c  N dy  3743    577731     19423     83021         0     63713    252124   6012164    131.07    139.48
981.10/245.66	c  N dy  3882    597827     19423     83021         0     45812    252124   2056216    131.10    138.28
1013.86/253.80	c  N dy  4015    617835     19423     83021         0     65819    252124   6208140    131.11    141.76
1047.42/262.25	c  N dy  4154    637851     19423     83021         0     46831    252124   2116141    131.23    149.46
1079.78/270.34	c  N dy  4276    657857     19423     83021         0     66836    252124   6252391    131.20    138.60
1113.73/278.85	c  N dy  4409    677905     19423     83021         0     46887    252124   1877453    131.24    141.38
1147.69/287.33	c  N dy  4540    697932     19423     83021         0     66914    252124   5971907    131.21    140.00
1182.44/296.03	c  N dy  4671    718006     19423     83021         0     45988    252124   1456160    131.24    138.42
1215.61/304.38	c  N dy  4814    738250     19423     83021         0     66232    252124   5728277    131.32    140.21
1251.16/313.21	c  N dy  4937    758320     19423     83021         0     44303    252124    947779    131.29    139.29
1283.92/321.40	c  N dy  5076    778362     19423     83021         0     64345    252124   5215432    131.37    145.17
1319.46/330.37	c  N dy  5205    798399     19423     83021         0     84380    252124   9361066    131.35    138.73
1332.64/333.61	c  S st  5261    806188     19423     83021         0     49172    252124   1722867    131.37   no data
1333.44/333.81	c  S st  5261    806688     19423     83021         0     49672    252124   1797535    131.37   no data
1333.44/333.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1333.84/333.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1333.84/333.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1333.84/333.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1333.84/333.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1333.84/333.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
1333.84/333.98	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1334.24/334.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1334.64/334.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1337.44/334.83	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.66 s
1337.44/334.84	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
1337.44/334.87	c vivif2 --  cl tried    49670 cl shrink        0 lits rem          0 time: 0.03
1338.24/335.01	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.14
1338.24/335.01	c calculated reachability. Time: 0.00
1338.24/335.01	c  N dy  5261    806688     19423     83021         0     49670    252124   1796946    131.37   no data
1371.79/343.49	c  N dy  5403    826754     19423     83021         0     69734    252124   6003188    131.43    139.44
1409.34/352.84	c  N dy  5551    846874     19423     83021         0     45855    252124    862979    131.49    145.33
1442.11/361.08	c  N dy  5679    866999     19423     83021         0     65979    252124   5037096    131.47    139.17
1478.06/370.03	c  N dy  5804    887070     19423     83021         0     86046    252124   9297936    131.51    139.66
1511.62/378.41	c  N dy  5934    907107     19423     83021         0     61090    252124   3810209    131.50    145.16
1547.16/387.38	c  N dy  6078    927137     19423     83021         0     81118    252124   8004704    131.54    171.76
1582.71/396.21	c  N dy  6215    947181     19423     83021         0     55159    252124   2415231    131.60    139.64
1617.09/404.82	c  N dy  6351    967258     19423     83021         0     75236    252124   6621078    131.61    138.88
1654.61/414.24	c  N dy  6493    987383     19423     83021         0     48359    252124    754284    131.64    141.84
1687.76/422.50	c  N dy  6620   1007465     19423     83021         0     68439    252124   4898696    131.63    141.30
1724.12/431.68	c  N dy  6755   1027535     19423     83021         0     88508    252124   9105753    131.65    144.10
1758.88/440.39	c  N dy  6891   1047582     19423     83021         0     60557    252124   3077609    131.67    139.53
1794.43/449.29	c  N dy  7039   1067656     19423     83021         0     80625    252124   7338296    131.74    158.71
1802.82/451.31	c  F st  7070   1071876     19423     83021         0     84845    252124   8207817    131.74   no data
1832.40/458.76	c  N dy  7150   1087718     19423     83021         0     51694    252124   1044304    131.75    139.77
1865.94/467.18	c  N dy  7281   1107750     19423     83021         0     71725    252124   5248467    131.76    141.96
1904.28/476.72	c  N dy  7432   1127996     19423     83021         0     91971    252124   9472940    131.80    140.31
1940.23/485.70	c  N dy  7572   1148097     19423     83021         0     62076    252124   3017891    131.81    139.04
1975.79/494.63	c  N dy  7711   1168227     19423     83021         0     82205    252124   7227224    131.84    139.68
2015.74/504.62	c  N dy  7852   1188502     19423     83021         0     51488    252124    593275    131.86    149.24
2049.69/513.13	c  N dy  7976   1208591     19423     83021         0     71576    252124   4753196    131.85    143.91
2052.48/513.84	c  S st  7986   1210032     19423     83021         0     73017    252124   5044383    131.85   no data
2053.68/514.11	c  S st  7986   1210537     19423     83021         0     73522    252124   5112438    131.85   no data
2053.68/514.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2054.08/514.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
2054.08/514.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2054.08/514.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2054.48/514.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2054.48/514.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
2054.48/514.32	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2054.88/514.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2056.09/514.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2067.66/517.66	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.93 s
2067.66/517.67	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
2068.06/517.76	c vivif2 --  cl tried    73521 cl shrink        0 lits rem          0 time: 0.09
2068.86/517.93	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.18
2068.86/517.94	c calculated reachability. Time: 0.00
2068.86/517.94	c  N dy  7986   1210537     19423     83021         0     73521    252124   5112308    131.85   no data
2107.22/527.54	c  N dy  8130   1230728     19423     83021         0     93712    252124   9344357    131.88    140.35
2144.35/536.84	c  N dy  8262   1250884     19423     83021         0     61868    252124   2555025    131.89    139.38
2179.89/545.77	c  N dy  8402   1270908     19423     83021         0     81892    252124   6796506    131.93    139.70
2219.05/555.55	c  N dy  8542   1290972     19423     83021         0    101954    252124  10959719    131.96    139.39
2254.58/564.46	c  N dy  8679   1311236     19423     83021         0     69218    252124   3893330    131.97    141.67
2292.13/573.86	c  N dy  8817   1331320     19423     83021         0     89300    252124   8224069    132.03    163.55
2332.47/583.92	c  N dy  8953   1351377     19423     83021         0     55365    252124    799993    132.07    140.59
2366.83/592.53	c  N dy  9088   1371466     19423     83021         0     75452    252124   5010817    132.08    163.44
2404.37/601.93	c  N dy  9216   1391494     19423     83021         0     95477    252124   9161052    132.07    140.05
2443.92/611.82	c  N dy  9359   1411931     19423     83021         0     60916    252124   1770338    132.09    159.49
2479.07/620.63	c  N dy  9490   1432032     19423     83021         0     81016    252124   5954135    132.09    142.33
2517.84/630.38	c  N dy  9633   1452084     19423     83021         0    101067    252124  10144955    132.12    148.39
2555.77/639.86	c  N dy  9762   1472126     19423     83021         0     65106    252124   2450578    132.13    227.81
2591.73/648.80	c  N dy  9892   1492161     19423     83021         0     85141    252124   6600617    132.11    140.46
2630.87/658.67	c  N dy 10027   1512163     19423     83021         0    105143    252124  10834362    132.13    139.96
2668.81/668.16	c  N dy 10171   1532262     19423     83021         0     68247    252124   2879520    132.15    143.13
2705.97/677.41	c  N dy 10314   1552339     19423     83021         0     88324    252124   7125645    132.17    140.62
2746.34/687.59	c  N dy 10455   1572434     19423     83021         0    108416    252124  11356463    132.19    147.95
2784.27/697.01	c  N dy 10587   1592634     19423     83021         0     70612    252124   3180586    132.19    139.19
2821.81/706.42	c  N dy 10730   1612802     19423     83021         0     90779    252124   7511983    132.24    146.95
2861.77/716.47	c  N dy 10856   1632822     19423     83021         0    110797    252124  11643361    132.22    151.17
2899.73/725.96	c  N dy 10996   1652900     19423     83021         0     71877    252124   3204062    132.23    158.79
2937.26/735.32	c  N dy 11134   1673089     19423     83021         0     92063    252124   7452804    132.25    139.24
2978.00/745.55	c  N dy 11268   1693148     19423     83021         0    112114    252124  11642397    132.26    144.93
3011.15/753.84	c  S st 11375   1710537     19423     83021         0     69507    252124   2537212    132.26   no data
3011.95/754.08	c  S st 11375   1711040     19423     83021         0     70010    252124   2623570    132.26   no data
3012.35/754.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3012.75/754.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3012.75/754.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3012.75/754.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3012.75/754.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3012.75/754.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
3012.75/754.27	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3013.15/754.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3013.96/754.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3020.34/756.18	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.66 s
3020.34/756.19	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
3020.74/756.24	c vivif2 --  cl tried    70010 cl shrink        0 lits rem          0 time: 0.05
3021.54/756.41	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.17
3021.54/756.42	c calculated reachability. Time: 0.00
3021.54/756.42	c  N dy 11375   1711040     19423     83021         0     70010    252124   2623567    132.26   no data
3058.69/765.75	c  N dy 11510   1731144     19423     83021         0     90114    252124   6851331    132.27    147.20
3099.44/775.96	c  N dy 11639   1751148     19423     83021         0    110117    252124  11044482    132.26    148.15
3139.77/786.08	c  N dy 11781   1771223     19423     83021         0     69199    252124   2267825    132.27    143.33
3177.32/795.41	c  N dy 11924   1791402     19423     83021         0     89376    252124   6564001    132.31    139.74
3217.67/805.56	c  N dy 12060   1811516     19423     83021         0    109487    252124  10783264    132.33    143.27
3260.03/816.13	c  N dy 12198   1831588     19423     83021         0     67564    252124   1722168    132.34    145.29
3297.16/825.43	c  N dy 12323   1851674     19423     83021         0     87649    252124   5959969    132.34    209.97
3337.11/835.47	c  N dy 12460   1871741     19423     83021         0    107713    252124  10179330    132.34    140.32
3379.84/846.13	c  N dy 12597   1891801     19423     83021         0     64775    252124    916451    132.34    141.86
3415.39/855.07	c  N dy 12729   1911860     19423     83021         0     84834    252124   5111887    132.33    150.23
3455.34/865.09	c  N dy 12861   1932129     19423     83021         0    105102    252124   9306951    132.33    140.24
3498.07/875.78	c  N dy 12987   1952133     19423     83021         0    125104    252124  13433349    132.31    150.53
3535.23/885.07	c  N dy 13127   1972148     19423     83021         0     81121    252124   4145266    132.33    149.79
3574.38/894.83	c  N dy 13261   1992168     19423     83021         0    101140    252124   8350041    132.32    144.56
3616.73/905.41	c  N dy 13397   2012270     19423     83021         0    121239    252124  12525212    132.31    142.49
3656.67/915.40	c  N dy 13541   2032325     19423     83021         0     76302    252124   2944056    132.36    151.06
3694.21/924.89	c  N dy 13676   2052353     19423     83021         0     96329    252124   7145770    132.36    150.18
3736.15/935.31	c  N dy 13807   2072467     19423     83021         0    116442    252124  11328931    132.36    139.94
3778.91/946.08	c  N dy 13944   2092590     19423     83021         0     70574    252124   1555347    132.38    139.87
3816.05/955.35	c  N dy 14082   2112645     19423     83021         0     90628    252124   5719747    132.40    144.95
3856.79/965.50	c  N dy 14218   2132683     19423     83021         0    110663    252124   9946464    132.41    139.69
3901.13/976.65	c  N dy 14362   2152865     19423     83021         0    130844    252124  14176397    132.43    144.54
3939.08/986.12	c  N dy 14495   2173058     19423     83021         0     84039    252124   4144340    132.43    140.87
3978.23/995.94	c  N dy 14633   2193071     19423     83021         0    104048    252124   8410559    132.45    140.15
4016.97/1005.63	c  S st 14752   2211041     19423     83021         0    122017    252124  12157141    132.45   no data
4018.17/1005.95	c  S st 14752   2211545     19423     83021         0    122521    252124  12228888    132.45   no data
4018.17/1005.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4018.97/1006.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4018.97/1006.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4018.97/1006.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4018.97/1006.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4019.37/1006.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
4019.37/1006.21	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4020.18/1006.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4022.96/1007.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4051.72/1014.33	c lits-rem:         6  cl-subs:       11  v-elim:      0  v-fix:    0  time:  7.17 s
4051.72/1014.34	c vivif2 --  cl tried    83021 cl shrink        0 lits rem          0 time: 0.01
4052.52/1014.56	c vivif2 --  cl tried   122510 cl shrink        0 lits rem          0 time: 0.22
4053.72/1014.84	c asymm  cl-useful: 0/83021/83021 lits-rem:0 time: 0.28
4053.72/1014.85	c calculated reachability. Time: 0.00
4053.72/1014.85	c  N dy 14752   2211545     19423     83021         0    122510    252124  12223389    132.45   no data
4096.86/1025.68	c  N dy 14883   2231578     19423     83021         0     74546    252124   1967924    132.45    143.60
4134.83/1035.18	c  N dy 15018   2251600     19423     83021         0     94565    252124   6238012    132.46    170.76
4175.96/1045.44	c  N dy 15145   2271616     19423     83021         0    114581    252124  10425636    132.47    146.10
4221.50/1056.81	c  N dy 15285   2291643     19423     83021         0    134607    252124  14639916    132.49    142.49
4259.84/1066.45	c  N dy 15421   2311713     19423     83021         0     85678    252124   4062533    132.51    139.72
4299.79/1076.49	c  N dy 15563   2331844     19423     83021         0    105808    252124   8334637    132.53    140.36
4343.73/1087.45	c  N dy 15703   2351918     19423     83021         0    125879    252124  12566867    132.55    145.13
4387.27/1098.38	c  N dy 15834   2372032     19423     83021         0     75995    252124   1853162    132.55    141.35
4425.21/1107.84	c  N dy 15964   2392155     19423     83021         0     96116    252124   6017169    132.54    139.98
4466.36/1118.19	c  N dy 16088   2412371     19423     83021         0    116330    252124  10220951    132.54    139.79
4511.90/1129.57	c  N dy 16222   2432408     19423     83021         0    136366    252124  14523159    132.54    144.45
4551.44/1139.50	c  N dy 16350   2452425     19423     83021         0     85391    252124   3616471    132.55    142.25
4591.40/1149.41	c  N dy 16486   2472489     19423     83021         0    105454    252124   7822600    132.55    142.98
4634.52/1160.26	c  N dy 16619   2492583     19423     83021         0    125548    252124  12083914    132.57    140.19
4681.26/1171.95	c  N dy 16754   2512677     19423     83021         0     73647    252124    939881    132.57    141.07
4718.41/1181.27	c  N dy 16889   2532697     19423     83021         0     93662    252124   5153856    132.58    140.50
4759.95/1191.64	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: 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-3173769-1304031133/watcher-3173769-1304031133 -o /tmp/evaluation-result-3173769-1304031133/solver-3173769-1304031133 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173769-1304031133.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.77 8.01 7.46 5/180 24954
/proc/meminfo: memFree=25838708/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 495528819 52441088 347 33554432000 4194304 4627427 140736683599952 18446744073709551615 228095507441 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 12803 347 299 106 0 7774 0
[pid=24954/tid=24955] ppid=24952 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495528820 52441088 347 33554432000 4194304 4627427 140736683599952 18446744073709551615 47932094482354 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495528820 52441088 347 33554432000 4194304 4627427 140736683599952 18446744073709551615 47932094482344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495528820 52441088 347 33554432000 4194304 4627427 140736683599952 18446744073709551615 228107248694 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0329051 s]
/proc/loadavg: 7.77 8.01 7.46 5/180 24954
/proc/meminfo: memFree=25838708/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=300476 CPUtime=0.09 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) D 24952 24954 24690 0 -1 4202496 10888 0 0 0 8 1 0 0 18 0 4 0 495528819 307687424 8878 33554432000 4194304 4627427 140736683599952 18446744073709551615 228095148151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 75119 8878 339 106 0 70090 0
[pid=24954/tid=24955] ppid=24952 vsize=300476 CPUtime=0.02 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 2630 0 0 0 2 0 0 0 25 0 4 0 495528820 307687424 8882 33554432000 4194304 4627427 140736683599952 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=300476 CPUtime=0.01 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 2533 0 0 0 1 0 0 0 18 0 4 0 495528820 307687424 8894 33554432000 4194304 4627427 140736683599952 18446744073709551615 4303405 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=300476 CPUtime=0.01 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 2694 0 0 0 1 0 0 0 25 0 4 0 495528820 307687424 8906 33554432000 4194304 4627427 140736683599952 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 300476

[startup+0.111006 s]
/proc/loadavg: 7.77 8.01 7.46 5/180 24954
/proc/meminfo: memFree=25838708/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=303324 CPUtime=0.4 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 15035 0 0 0 38 2 0 0 18 0 4 0 495528819 310603776 13025 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308787 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 75831 13025 364 106 0 70802 0
[pid=24954/tid=24955] ppid=24952 vsize=303324 CPUtime=0.09 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 3656 0 0 0 9 0 0 0 25 0 4 0 495528820 310603776 13025 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=303324 CPUtime=0.09 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 3572 0 0 0 9 0 0 0 18 0 4 0 495528820 310603776 13025 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=303324 CPUtime=0.09 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 3763 0 0 0 9 0 0 0 25 0 4 0 495528820 310603776 13025 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 303324

[startup+0.300977 s]
/proc/loadavg: 7.77 8.01 7.46 5/180 24954
/proc/meminfo: memFree=25838708/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=330808 CPUtime=1.16 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 27889 0 0 0 111 5 0 0 18 0 4 0 495528819 338747392 24769 33554432000 4194304 4627427 140736683599952 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 82702 24769 379 106 0 77673 0
[pid=24954/tid=24955] ppid=24952 vsize=330808 CPUtime=0.28 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 8046 0 0 0 27 1 0 0 25 0 4 0 495528820 338747392 24769 33554432000 4194304 4627427 140736683599952 18446744073709551615 4427838 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=330808 CPUtime=0.28 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 7532 0 0 0 27 1 0 0 18 0 4 0 495528820 338747392 24769 33554432000 4194304 4627427 140736683599952 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=330808 CPUtime=0.28 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 3933 0 0 0 28 0 0 0 25 0 4 0 495528820 338747392 24769 33554432000 4194304 4627427 140736683599952 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 330808

[startup+0.700899 s]
/proc/loadavg: 7.77 8.01 7.46 5/180 24954
/proc/meminfo: memFree=25838708/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=323060 CPUtime=2.76 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 30350 0 0 0 271 5 0 0 18 0 4 0 495528819 330813440 22396 33554432000 4194304 4627427 140736683599952 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 80765 22396 385 106 0 75736 0
[pid=24954/tid=24955] ppid=24952 vsize=323060 CPUtime=0.68 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 8903 0 0 0 67 1 0 0 25 0 4 0 495528820 330813440 22396 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=323060 CPUtime=0.68 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 7870 0 0 0 67 1 0 0 18 0 4 0 495528820 330813440 22396 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=323060 CPUtime=0.68 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 4339 0 0 0 68 0 0 0 25 0 4 0 495528820 330813440 22396 33554432000 4194304 4627427 140736683599952 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 323060

[startup+1.50075 s]
/proc/loadavg: 7.77 8.01 7.46 9/184 24958
/proc/meminfo: memFree=25739724/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=323060 CPUtime=5.95 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 32924 0 0 0 590 5 0 0 19 0 4 0 495528819 330813440 24949 33554432000 4194304 4627427 140736683599952 18446744073709551615 4310423 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 80765 24949 385 106 0 75736 0
[pid=24954/tid=24955] ppid=24952 vsize=323060 CPUtime=1.48 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 9553 0 0 0 147 1 0 0 25 0 4 0 495528820 330813440 24950 33554432000 4194304 4627427 140736683599952 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=323060 CPUtime=1.48 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 8518 0 0 0 147 1 0 0 19 0 4 0 495528820 330813440 24950 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=323060 CPUtime=1.47 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 4982 0 0 0 147 0 0 0 25 0 4 0 495528820 330813440 24950 33554432000 4194304 4627427 140736683599952 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 323060

[startup+3.10046 s]
/proc/loadavg: 7.77 8.01 7.46 9/184 24958
/proc/meminfo: memFree=25717280/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=454324 CPUtime=12.34 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 37967 0 0 0 1228 6 0 0 23 0 4 0 495528819 465227776 29992 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 113581 29992 385 106 0 108552 0
[pid=24954/tid=24955] ppid=24952 vsize=454324 CPUtime=3.08 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 10787 0 0 0 307 1 0 0 25 0 4 0 495528820 465227776 29992 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=454324 CPUtime=3.07 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 9622 0 0 0 306 1 0 0 25 0 4 0 495528820 465227776 29992 33554432000 4194304 4627427 140736683599952 18446744073709551615 4327635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=454324 CPUtime=3.07 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 6410 0 0 0 306 1 0 0 25 0 4 0 495528820 465227776 29992 33554432000 4194304 4627427 140736683599952 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 454324

[startup+6.30087 s]
/proc/loadavg: 7.79 8.01 7.46 9/184 24958
/proc/meminfo: memFree=25659004/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=439864 CPUtime=25.13 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 49139 0 0 0 2504 9 0 0 25 0 4 0 495528819 450420736 35559 33554432000 4194304 4627427 140736683599952 18446744073709551615 228095494279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 109966 35196 386 106 0 104937 0
[pid=24954/tid=24955] ppid=24952 vsize=439864 CPUtime=6.29 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 13058 0 0 0 627 2 0 0 25 0 4 0 495528820 450420736 35196 33554432000 4194304 4627427 140736683599952 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=439864 CPUtime=6.28 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 11752 0 0 0 626 2 0 0 25 0 4 0 495528820 450420736 35196 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=439864 CPUtime=6.25 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 9779 0 0 0 624 1 0 0 25 0 4 0 495528820 450420736 35196 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 439864

[startup+12.7007 s]
/proc/loadavg: 7.81 8.01 7.47 9/184 24958
/proc/meminfo: memFree=25687280/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=687648 CPUtime=50.7 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 105568 0 0 0 5048 22 0 0 25 0 4 0 495528819 704151552 77544 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 171912 77544 390 106 0 166883 0
[pid=24954/tid=24955] ppid=24952 vsize=687648 CPUtime=12.69 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 40310 0 0 0 1260 9 0 0 25 0 4 0 495528820 704151552 77544 33554432000 4194304 4627427 140736683599952 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=687648 CPUtime=12.68 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 17143 0 0 0 1265 3 0 0 25 0 4 0 495528820 704151552 77544 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=687648 CPUtime=12.62 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 14114 0 0 0 1260 2 0 0 25 0 4 0 495528820 704151552 77544 33554432000 4194304 4627427 140736683599952 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 687648

[startup+25.5003 s]
/proc/loadavg: 7.85 8.01 7.47 9/184 24959
/proc/meminfo: memFree=25473536/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=565412 CPUtime=101.82 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 163690 0 0 0 10147 35 0 0 18 0 4 0 495528819 578981888 88127 33554432000 4194304 4627427 140736683599952 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 141353 88127 390 106 0 136324 0
[pid=24954/tid=24955] ppid=24952 vsize=565412 CPUtime=25.48 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 50144 0 0 0 2537 11 0 0 25 0 4 0 495528820 578981888 88127 33554432000 4194304 4627427 140736683599952 18446744073709551615 4328697 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=565412 CPUtime=25.47 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 32184 0 0 0 2542 5 0 0 25 0 4 0 495528820 578981888 88127 33554432000 4194304 4627427 140736683599952 18446744073709551615 4332852 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=565412 CPUtime=25.35 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 32948 0 0 0 2529 6 0 0 25 0 4 0 495528820 578981888 88127 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 565412

[startup+51.1006 s]
/proc/loadavg: 7.90 8.01 7.49 9/184 24959
/proc/meminfo: memFree=25281748/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=816472 CPUtime=204.09 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 251742 0 0 0 20354 55 0 0 25 0 4 0 495528819 836067328 140838 33554432000 4194304 4627427 140736683599952 18446744073709551615 4329946 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 204118 140838 390 106 0 199089 0
[pid=24954/tid=24955] ppid=24952 vsize=816472 CPUtime=51.08 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 67449 0 0 0 5093 15 0 0 25 0 4 0 495528820 836067328 140838 33554432000 4194304 4627427 140736683599952 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=816472 CPUtime=51.08 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 50163 0 0 0 5099 9 0 0 25 0 4 0 495528820 836067328 140838 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=816472 CPUtime=50.82 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 60985 0 0 0 5069 13 0 0 25 0 4 0 495528820 836067328 140838 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 816472

[startup+102.306 s]
/proc/loadavg: 7.95 8.00 7.51 9/184 24961
/proc/meminfo: memFree=24979628/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=777712 CPUtime=408.65 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 347815 0 0 0 40781 84 0 0 25 0 4 0 495528819 796377088 147880 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 194428 147880 390 106 0 189399 0
[pid=24954/tid=24955] ppid=24952 vsize=777712 CPUtime=102.28 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 94889 0 0 0 10205 23 0 0 25 0 4 0 495528820 796377088 147880 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=777712 CPUtime=102.29 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 71712 0 0 0 10213 16 0 0 25 0 4 0 495528820 796377088 147880 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=777712 CPUtime=101.77 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 85893 0 0 0 10157 20 0 0 25 0 4 0 495528820 796377088 147880 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 777712

[startup+162.3 s]

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

[pid=24954] ppid=24952 vsize=1378404 CPUtime=2805.44 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 1441352 0 0 0 280104 440 0 0 25 0 4 0 495528819 1411485696 261909 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308213 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 344601 261909 390 106 0 339572 0
[pid=24954/tid=24955] ppid=24952 vsize=1378404 CPUtime=702.2 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 381247 0 0 0 70105 115 0 0 25 0 4 0 495528820 1411485696 261909 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1378404 CPUtime=702.25 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 315774 0 0 0 70124 101 0 0 25 0 4 0 495528820 1411485696 261909 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1378404 CPUtime=698.72 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 369639 0 0 0 69764 108 0 0 25 0 4 0 495528820 1411485696 261909 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 1378404

[startup+762.307 s]
/proc/loadavg: 8.08 8.04 7.76 9/184 25018
/proc/meminfo: memFree=24817640/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1379228 CPUtime=3045.14 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 1540755 0 0 0 304038 476 0 0 20 0 4 0 495528819 1412329472 271685 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 344807 271685 390 106 0 339778 0
[pid=24954/tid=24955] ppid=24952 vsize=1379228 CPUtime=762.2 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 407437 0 0 0 76096 124 0 0 20 0 4 0 495528820 1412329472 271685 33554432000 4194304 4627427 140736683599952 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1379228 CPUtime=762.26 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 338716 0 0 0 76115 111 0 0 25 0 4 0 495528820 1412329472 271685 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1379228 CPUtime=758.41 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 392711 0 0 0 75725 116 0 0 25 0 4 0 495528820 1412329472 271685 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 1379228

[startup+822.301 s]
/proc/loadavg: 8.21 8.08 7.79 9/184 25020
/proc/meminfo: memFree=24680924/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1410820 CPUtime=3284.78 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 1651022 0 0 0 327966 512 0 0 25 0 4 0 495528819 1444679680 272427 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 352705 272427 390 106 0 347676 0
[pid=24954/tid=24955] ppid=24952 vsize=1410820 CPUtime=822.18 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 431810 0 0 0 82085 133 0 0 25 0 4 0 495528820 1444679680 272427 33554432000 4194304 4627427 140736683599952 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1410820 CPUtime=822.25 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 372867 0 0 0 82106 119 0 0 25 0 4 0 495528820 1444679680 272427 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1410820 CPUtime=818.09 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 420345 0 0 0 81683 126 0 0 25 0 4 0 495528820 1444679680 272427 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 1410820

[startup+882.301 s]
/proc/loadavg: 8.21 8.10 7.81 9/184 25022
/proc/meminfo: memFree=24680628/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1426536 CPUtime=3524.44 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 1761468 0 0 0 351895 549 0 0 25 0 4 0 495528819 1460772864 269380 33554432000 4194304 4627427 140736683599952 18446744073709551615 4299724 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 356634 269380 390 106 0 351605 0
[pid=24954/tid=24955] ppid=24952 vsize=1426536 CPUtime=882.17 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 459388 0 0 0 88073 144 0 0 25 0 4 0 495528820 1460772864 269380 33554432000 4194304 4627427 140736683599952 18446744073709551615 4329663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1426536 CPUtime=882.24 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 400784 0 0 0 88095 129 0 0 25 0 4 0 495528820 1460772864 269380 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1426536 CPUtime=877.78 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 447815 0 0 0 87642 136 0 0 25 0 4 0 495528820 1460772864 269380 33554432000 4194304 4627427 140736683599952 18446744073709551615 4330061 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 1426536

[startup+942.301 s]
/proc/loadavg: 8.20 8.11 7.83 9/184 25023
/proc/meminfo: memFree=24531904/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1314708 CPUtime=3764.11 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 1869273 0 0 0 375829 582 0 0 25 0 4 0 495528819 1346260992 271767 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 328677 271767 390 106 0 323648 0
[pid=24954/tid=24955] ppid=24952 vsize=1314708 CPUtime=942.16 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 486534 0 0 0 94064 152 0 0 20 0 4 0 495528820 1346260992 271767 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1314708 CPUtime=942.24 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 428475 0 0 0 94087 137 0 0 25 0 4 0 495528820 1346260992 271767 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1314708 CPUtime=937.48 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 474816 0 0 0 93604 144 0 0 25 0 4 0 495528820 1346260992 271767 33554432000 4194304 4627427 140736683599952 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 1314708

[startup+1002.3 s]
/proc/loadavg: 8.13 8.10 7.84 9/184 25025
/proc/meminfo: memFree=24488588/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1429476 CPUtime=4003.79 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 1976059 0 0 0 399765 614 0 0 25 0 4 0 495528819 1463783424 286162 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 357369 286162 390 106 0 352340 0
[pid=24954/tid=24955] ppid=24952 vsize=1429476 CPUtime=1002.15 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 512655 0 0 0 100055 160 0 0 25 0 4 0 495528820 1463783424 286162 33554432000 4194304 4627427 140736683599952 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1429476 CPUtime=1002.23 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 455535 0 0 0 100078 145 0 0 25 0 4 0 495528820 1463783424 286162 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1429476 CPUtime=997.17 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 500920 0 0 0 99565 152 0 0 25 0 4 0 495528820 1463783424 286162 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 1429476

[startup+1062.3 s]
/proc/loadavg: 8.05 8.08 7.85 9/184 25026
/proc/meminfo: memFree=24283448/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1518708 CPUtime=4243.46 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 2142962 0 0 0 423689 657 0 0 25 0 4 0 495528819 1555156992 339693 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 379677 339693 390 106 0 374648 0
[pid=24954/tid=24955] ppid=24952 vsize=1518708 CPUtime=1062.14 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 564990 0 0 0 106041 173 0 0 25 0 4 0 495528820 1555156992 339693 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1518708 CPUtime=1062.23 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 480892 0 0 0 106069 154 0 0 25 0 4 0 495528820 1555156992 339693 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1518708 CPUtime=1056.86 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 547679 0 0 0 105523 163 0 0 25 0 4 0 495528820 1555156992 339693 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 1518708

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.86 9/184 25028
/proc/meminfo: memFree=24135328/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1742132 CPUtime=4483.13 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 2242401 0 0 0 447624 689 0 0 25 0 4 0 495528819 1783943168 362392 33554432000 4194304 4627427 140736683599952 18446744073709551615 4330282 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 435533 362392 390 106 0 430504 0
[pid=24954/tid=24955] ppid=24952 vsize=1742132 CPUtime=1122.13 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 590758 0 0 0 112032 181 0 0 25 0 4 0 495528820 1783943168 362392 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1742132 CPUtime=1122.23 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 503063 0 0 0 112062 161 0 0 25 0 4 0 495528820 1783943168 362392 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1742132 CPUtime=1116.55 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 573353 0 0 0 111484 171 0 0 25 0 4 0 495528820 1783943168 362392 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 1742132

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 7.87 9/184 25030
/proc/meminfo: memFree=24163192/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1706696 CPUtime=4722.8 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 2347509 0 0 0 471559 721 0 0 25 0 4 0 495528819 1747656704 356522 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 426674 356522 390 106 0 421645 0
[pid=24954/tid=24955] ppid=24952 vsize=1706696 CPUtime=1182.12 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 617453 0 0 0 118023 189 0 0 25 0 4 0 495528820 1747656704 356522 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1706696 CPUtime=1182.22 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 528123 0 0 0 118053 169 0 0 25 0 4 0 495528820 1747656704 356522 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1706696 CPUtime=1176.23 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 599934 0 0 0 117444 179 0 0 25 0 4 0 495528820 1747656704 356522 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308123 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 1706696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.07 7.87 9/184 25030
/proc/meminfo: memFree=24026280/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1706920 CPUtime=4800.32 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 2379549 0 0 0 479302 730 0 0 25 0 4 0 495528819 1747886080 371898 33554432000 4194304 4627427 140736683599952 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 426730 371899 390 106 0 421701 0
[pid=24954/tid=24955] ppid=24952 vsize=1706920 CPUtime=1201.53 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 624977 0 0 0 119961 192 0 0 25 0 4 0 495528820 1747886080 371899 33554432000 4194304 4627427 140736683599952 18446744073709551615 4332166 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1706920 CPUtime=1201.63 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 537534 0 0 0 119992 171 0 0 25 0 4 0 495528820 1747886080 371900 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1706920 CPUtime=1195.53 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 607479 0 0 0 119371 182 0 0 25 0 4 0 495528820 1747886080 371900 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1706920

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.06 8.07 7.87 9/184 25030
/proc/meminfo: memFree=24026280/32951124 swapFree=67111524/67111528
[pid=24954] ppid=24952 vsize=1706920 CPUtime=4800.32 cores=0,2,4,6
/proc/24954/stat : 24954 (strangenight2-m) R 24952 24954 24690 0 -1 4202496 2379549 0 0 0 479302 730 0 0 25 0 4 0 495528819 1747886080 371898 33554432000 4194304 4627427 140736683599952 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24954/statm: 426730 371899 390 106 0 421701 0
[pid=24954/tid=24955] ppid=24952 vsize=1706920 CPUtime=1201.53 cores=0,2,4,6
/proc/24954/task/24955/stat : 24955 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 624977 0 0 0 119961 192 0 0 25 0 4 0 495528820 1747886080 371899 33554432000 4194304 4627427 140736683599952 18446744073709551615 4332166 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24954/tid=24956] ppid=24952 vsize=1706920 CPUtime=1201.63 cores=0,2,4,6
/proc/24954/task/24956/stat : 24956 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 537534 0 0 0 119992 171 0 0 25 0 4 0 495528820 1747886080 371900 33554432000 4194304 4627427 140736683599952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24954/tid=24957] ppid=24952 vsize=1706920 CPUtime=1195.53 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (strangenight2-m) R 24952 24954 24690 0 -1 4202560 607479 0 0 0 119371 182 0 0 25 0 4 0 495528820 1747886080 371900 33554432000 4194304 4627427 140736683599952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1706920

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.42
CPU user time (s): 4793.04
CPU system time (s): 7.37388
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 1756312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.04
system time used= 7.37388
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2379555
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= 2138
involuntary context switches= 20853

runsolver used 1.80373 second user time and 4.29435 second system time

The end

Launcher Data

Begin job on node142 at 2011-04-29 00:52:13
IDJOB=3173769
IDBENCH=82587
IDSOLVER=1586
FILE ID=node142/3173769-1304031133
RUNJOBID= node142-1304028687-24708
PBS_JOBID= 13170310
Free space on /tmp= 71304 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173769-1304031133/watcher-3173769-1304031133 -o /tmp/evaluation-result-3173769-1304031133/solver-3173769-1304031133 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173769-1304031133.cnf

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

MD5SUM BENCH= d523f5efa43fecaa5caf604137870a4e
RANDOM SEED=127918540

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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:      25838996 kB
Buffers:       1615072 kB
Cached:        3925308 kB
SwapCached:          4 kB
Active:        1550380 kB
Inactive:      5031836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25838996 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7428 kB
Writeback:           0 kB
AnonPages:     1041472 kB
Mapped:          15492 kB
Slab:           464364 kB
PageTables:       6452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1359604 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= 71300 MiB
End job on node142 at 2011-04-29 01:12:17