Trace number 3173799

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
MD5SUMc0e1e71ade06eb64bd0f5dbaf6b892a1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.192
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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-3173799-1304031250.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.34/0.17	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.34/0.17	c -- vars added      40000
0.34/0.17	c Parsing time:  0.13 s
0.34/0.17	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.34/0.44	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.34/0.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
1.71/0.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.71/0.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.71/0.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.71/0.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
1.71/0.60	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
1.71/0.92	c lits-rem:         0  cl-subs:        0  v-elim:    968  v-fix:    0  time:  0.30 s
1.71/0.92	c Finding binary XORs  T:     0.01 s  found:       0
1.71/0.99	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
1.71/0.99	c calculated reachability. Time: 0.00
1.71/1.00	c Calc default polars -  time:   0.02 s pos:   17771 undec:    4428 neg:   17801
1.71/1.00	c =========================================================================================
1.71/1.00	c types(t): F = full restart, N = normal restart
1.71/1.00	c types(t): S = simplification begin/end, E = solution found
1.71/1.00	c restart types(rt): st = static, dy = dynamic
1.71/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.71/1.00	c  B st     0         0     39032    166897         0         0    506628         0   no data   no data
12.28/3.16	c  N dy    20      4047     39032    166897         0      4047    506628   1286137    180.64    213.75
21.06/5.30	c  N dy    48      8156     39032    166897         0      8156    506628   2351589    177.54    187.33
29.48/7.43	c  N dy    75     12172     39032    166897         0     12172    506628   3395126    177.10    196.90
38.26/9.68	c  N dy   104     16277     39032    166897         0     16274    506628   4469883    176.89    186.78
47.43/11.99	c  N dy   131     20355     39032    166897         0     10356    506628    766737    177.23    190.92
56.22/14.14	c  N dy   155     24503     39032    166897         0     14504    506628   1835074    175.31    187.11
57.41/14.42	c  F st   159     25000     39032    166897         0     15001    506628   1969956    175.45    161.64
69.03/17.36	c  N dy   165     30000     39032    166897         0     20001    506628   3840798    175.45   no data
69.03/17.36	c  S st   165     30000     39032    166897         0     20001    506628   3840798    175.45   no data
70.20/17.64	c  S st   165     30504     39032    166897         0     20505    506628   3954420    175.45   no data
70.20/17.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
71.00/17.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
71.40/17.96	c blocked clauses removed:      799 vars:    132 tried:       39032 T: 0.02 s
71.40/17.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
71.40/17.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.40/17.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38900 time:  0.01 s
71.80/18.01	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
72.61/18.25	c lits-rem:         0  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.24 s
74.20/18.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.19/19.63	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.93 s
78.99/19.83	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.20
78.99/19.84	c calculated reachability. Time: 0.00
78.99/19.84	c  N dy   165     30504     38874    166076         0     20111    504337   3675931    175.45   no data
88.18/22.12	c  N dy   192     34593     38874    166076         0     24200    504337   4762782    175.13    187.75
98.17/24.61	c  N dy   220     38764     38874    166076         0     28371    504337   5851065    175.04    187.37
107.35/26.97	c  N dy   250     42807     38874    166076         0     17114    504337   1276088    175.67    193.33
114.14/28.62	c  S st   273     45756     38874    166076         0     20063    504337   2067162    175.93   no data
115.34/28.91	c  S st   273     46258     38874    166076         0     20565    504337   2181909    175.93   no data
115.34/28.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
116.14/29.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
116.54/29.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.54/29.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
116.54/29.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
116.54/29.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
116.54/29.26	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
117.36/29.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
118.13/29.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.34/29.97	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.33 s
119.74/30.00	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
119.74/30.04	c vivif2 --  cl tried    20564 cl shrink        0 lits rem          0 time: 0.04
120.54/30.24	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.20
120.54/30.25	c calculated reachability. Time: 0.00
120.54/30.25	c  N dy   273     46258     38874    166076         0     20564    504337   2181574    175.93   no data
129.72/32.58	c  N dy   305     50289     38874    166076         0     24595    504337   3263838    176.58    188.19
139.33/34.96	c  N dy   336     54379     38874    166076         0     28685    504337   4380261    176.79    187.42
148.90/37.33	c  N dy   362     58419     38874    166076         0     32725    504337   5466514    176.82    189.16
158.88/39.82	c  N dy   392     62569     38874    166076         0     36875    504337   6597188    177.29    189.77
168.07/42.10	c  N dy   418     66580     38874    166076         0     22234    504337   1708172    177.08    187.96
174.49/43.76	c  S st   437     69392     38874    166076         0     25046    504337   2497526    177.37   no data
175.66/44.04	c  S st   437     69894     38874    166076         0     25548    504337   2611777    177.37   no data
175.66/44.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
176.46/44.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
176.86/44.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.86/44.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
176.86/44.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
176.86/44.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
176.86/44.39	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
177.66/44.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
178.47/44.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
180.46/45.24	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.45 s
180.46/45.27	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
180.86/45.32	c vivif2 --  cl tried    25546 cl shrink        0 lits rem          0 time: 0.05
181.66/45.53	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.21
181.66/45.54	c calculated reachability. Time: 0.00
181.66/45.54	c  N dy   437     69894     38874    166076         0     25546    504337   2610040    177.37   no data
192.44/48.25	c  N dy   468     74478     38874    166076         0     30130    504337   3874858    177.64    193.86
204.03/51.14	c  N dy   500     79359     38874    166076         0     35011    504337   5186605    177.68    190.77
216.41/54.21	c  N dy   535     84500     38874    166076         0     40152    504337   6584821    177.69    190.95
223.60/56.03	c  F st   558     87501     38874    166076         0     22328    504337   1158372    177.74   no data
231.61/58.06	c  N st   563     90799     38874    166076         0     25626    504337   2321933    177.74   no data
245.97/61.63	c  N dy   594     96591     38874    166076         0     31418    504337   4227800    178.19    188.31
260.36/65.28	c  N dy   637    102759     38874    166076         0     37586    504337   5892318    178.20    192.82
265.55/66.58	c  S st   653    104842     38874    166076         0     39669    504337   6450751    178.31   no data
266.76/66.89	c  S st   653    105350     38874    166076         0     40177    504337   6546691    178.31   no data
267.14/66.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
267.95/67.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
268.35/67.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
268.35/67.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
268.35/67.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
268.35/67.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
268.35/67.27	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
269.14/67.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
271.16/67.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
278.33/69.79	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.75 s
278.73/69.81	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
279.13/69.94	c vivif2 --  cl tried    40171 cl shrink        0 lits rem          0 time: 0.13
279.95/70.18	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.24
279.95/70.19	c calculated reachability. Time: 0.00
279.95/70.19	c  N dy   653    105350     38874    166076         0     40171    504337   6544519    178.31   no data
297.11/74.41	c  N dy   702    112211     38874    166076         0     24618    504337   1327831    178.85    189.44
314.28/78.70	c  N dy   751    119439     38874    166076         0     31846    504337   3294528    178.88    262.20
332.68/83.32	c  N dy   801    127159     38874    166076         0     39566    504337   5397808    178.89    190.62
353.03/88.46	c  N dy   861    135287     38874    166076         0     23989    504337    723439    179.35    189.10
373.81/93.62	c  N dy   923    144079     38874    166076         0     32780    504337   3068748    179.31    189.82
396.18/99.22	c  N dy   978    153298     38874    166076         0     41998    504337   5515427    178.92    230.00
408.17/102.23	c  S st  1012    158025     38874    166076         0     46725    504337   6825078    179.03   no data
409.37/102.55	c  S st  1012    158528     38874    166076         0     47228    504337   6923736    179.03   no data
409.37/102.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
410.57/102.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
410.57/102.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
410.97/102.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
410.97/102.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
410.97/102.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
410.97/102.94	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
411.78/103.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
413.76/103.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
423.35/106.04	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.32 s
423.35/106.07	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
424.15/106.20	c vivif2 --  cl tried    47223 cl shrink        0 lits rem          0 time: 0.14
424.97/106.46	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.25
424.97/106.47	c calculated reachability. Time: 0.00
424.97/106.47	c  N dy  1012    158528     38874    166076         0     47223    504337   6922352    179.03   no data
450.12/112.74	c  N dy  1082    168793     38874    166076         0     32636    504337   2717532    179.00    192.68
476.88/119.46	c  N dy  1158    179604     38874    166076         0     43446    504337   5693974    179.09    230.80
506.04/126.79	c  N dy  1237    191165     38874    166076         0     29083    504337   1466704    179.23    211.44
536.00/134.23	c  N dy  1323    203376     38874    166076         0     41294    504337   4784095    179.23    191.35
569.16/142.54	c  N dy  1412    216452     38874    166076         0     27401    504337    671898    179.22    194.93
603.11/151.01	c  N dy  1509    230382     38874    166076         0     41331    504337   4473125    179.33    189.81
621.50/155.68	c  S st  1559    237792     38874    166076         0     48741    504337   6459854    179.30   no data
623.09/156.01	c  S st  1559    238295     38874    166076         0     49244    504337   6557045    179.30   no data
623.09/156.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
623.89/156.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
624.29/156.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
624.29/156.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
624.29/156.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
624.29/156.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
624.69/156.40	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
625.49/156.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
627.10/157.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
636.67/159.43	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.33 s
636.67/159.46	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
637.07/159.59	c vivif2 --  cl tried    49241 cl shrink        0 lits rem          0 time: 0.13
638.27/159.84	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.25
638.27/159.85	c calculated reachability. Time: 0.00
638.27/159.85	c  N dy  1559    238295     38874    166076         0     49241    504337   6554075    179.30   no data
676.22/169.32	c  N dy  1659    253547     38874    166076         0     36510    504337   2826110    179.16    193.59
716.97/179.59	c  N dy  1770    269820     38874    166076         0     52783    504337   7220081    179.20    193.77
760.50/190.45	c  N dy  1890    287073     38874    166076         0     41048    504337   3752896    179.31    215.40
807.27/202.19	c  N dy  2018    305474     38874    166076         0     59448    504337   8794929    179.40    198.13
809.65/202.75	c  F st  2024    306250     38874    166076         0     30229    504337    585563    179.40   no data
857.98/214.80	c  N dy  2129    325069     38874    166076         0     49046    504337   6387992    179.61    192.32
908.71/227.53	c  N dy  2263    345134     38874    166076         0     38115    504337   2441842    179.59    189.51
939.47/235.29	c  S st  2343    357443     38874    166076         0     50422    504337   5846383    179.59   no data
941.07/235.63	c  S st  2343    357945     38874    166076         0     50924    504337   5957349    179.59   no data
941.07/235.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
942.26/235.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
942.26/235.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
942.26/235.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
942.26/235.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
942.66/236.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.02 s
942.66/236.03	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
943.49/236.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
945.06/236.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
953.85/238.88	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.19 s
954.25/238.91	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
954.65/239.03	c vivif2 --  cl tried    50920 cl shrink        0 lits rem          0 time: 0.12
955.45/239.29	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.26
955.84/239.30	c calculated reachability. Time: 0.00
955.84/239.30	c  N dy  2343    357945     38874    166076         0     50920    504337   5956389    179.59   no data
1007.38/252.23	c  N dy  2475    378027     38874    166076         0     39004    504337   2420100    179.56    193.48
1059.31/265.23	c  N dy  2609    398129     38874    166076         0     59106    504337   7878122    179.51    189.03
1111.24/278.22	c  N dy  2748    418238     38874    166076         0     46216    504337   4110447    179.53    190.18
1164.78/291.62	c  N dy  2891    438460     38874    166076         0     66435    504337   9647337    179.67    191.57
1216.30/304.56	c  N dy  3030    458639     38874    166076         0     52616    504337   5570047    179.68    190.66
1269.43/317.84	c  N dy  3168    478674     38874    166076         0     37656    504337   1243975    179.75    192.81
1320.57/330.69	c  N dy  3305    498720     38874    166076         0     57701    504337   6680014    179.75    189.54
1374.11/344.01	c  N dy  3443    518736     38874    166076         0     41724    504337   2069815    179.80    241.07
1420.83/355.79	c  S st  3569    536917     38874    166076         0     59904    504337   7031829    179.83   no data
1422.45/356.14	c  S st  3569    537420     38874    166076         0     60407    504337   7122207    179.83   no data
1422.45/356.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1423.62/356.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
1423.62/356.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1424.02/356.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1424.02/356.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1424.02/356.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
1424.02/356.55	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1424.82/356.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
1426.84/357.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1439.61/360.48	c lits-rem:        14  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.18 s
1440.02/360.51	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
1440.40/360.65	c vivif2 --  cl tried    60401 cl shrink        0 lits rem          0 time: 0.14
1441.59/360.92	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.28
1441.59/360.94	c calculated reachability. Time: 0.00
1441.59/360.94	c  N dy  3569    537420     38874    166076         0     60401    504337   7119252    179.83   no data
1495.93/374.56	c  N dy  3715    557601     38874    166076         0     43583    504337   2369557    179.97    207.35
1548.26/387.69	c  N dy  3854    577667     38874    166076         0     63649    504337   7834149    180.00    194.58
1602.20/401.19	c  N dy  3995    597757     38874    166076         0     45736    504337   2619396    180.10    190.09
1655.32/414.44	c  N dy  4128    617813     38874    166076         0     65792    504337   8144334    180.14    192.00
1709.23/427.91	c  N dy  4263    637958     38874    166076         0     46938    504337   2690580    180.09    193.07
1762.75/441.31	c  N dy  4407    658119     38874    166076         0     67095    504337   8258521    180.18    194.46
1816.69/454.87	c  N dy  4541    678168     38874    166076         0     47145    504337   2460947    180.18    192.08
1870.63/468.37	c  N dy  4675    698261     38874    166076         0     67237    504337   7991674    180.20    194.98
1925.73/482.13	c  N dy  4815    718343     38874    166076         0     46321    504337   1967924    180.27    192.47
1978.86/495.41	c  N dy  4957    738388     38874    166076         0     66361    504337   7457698    180.36    249.04
2034.78/509.42	c  N dy  5098    758416     38874    166076         0     44391    504337   1163945    180.38    196.42
2087.51/522.60	c  N dy  5235    778591     38874    166076         0     64563    504337   6715131    180.41    196.07
2143.43/536.63	c  N dy  5378    798635     38874    166076         0     84607    504337  12198635    180.46    204.64
2163.41/541.65	c  S st  5430    806132     38874    166076         0     49107    504337   2203495    180.50    162.04
2164.62/541.97	c  S st  5430    806640     38874    166076         0     49615    504337   2304619    180.50   no data
2164.62/541.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2165.80/542.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2166.20/542.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2166.20/542.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2166.20/542.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2166.20/542.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
2166.20/542.36	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2167.00/542.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
2167.80/542.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2170.99/543.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.77 s
2170.99/543.55	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
2170.99/543.59	c vivif2 --  cl tried    49615 cl shrink        0 lits rem          0 time: 0.05
2172.19/543.85	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.25
2172.19/543.86	c calculated reachability. Time: 0.00
2172.19/543.86	c  N dy  5430    806640     38874    166076         0     49615    504337   2304619    180.50   no data
2225.32/557.17	c  N dy  5563    826675     38874    166076         0     69648    504337   7810848    180.54    194.11
2282.84/571.52	c  N dy  5697    846761     38874    166076         0     45737    504337    983802    180.60    190.57
2335.99/584.87	c  N dy  5842    866895     38874    166076         0     65870    504337   6506985    180.64    205.08
2393.11/599.13	c  N dy  5976    887155     38874    166076         0     86127    504337  12115671    180.65    190.47
2447.41/612.70	c  N dy  6116    907189     38874    166076         0     61164    504337   4988662    180.72    195.32
2503.73/626.80	c  N dy  6262    927259     38874    166076         0     81232    504337  10647785    180.85    198.00
2559.66/640.89	c  N dy  6404    947460     38874    166076         0     55434    504337   3139773    180.91    191.22
2613.99/654.48	c  N dy  6537    967484     38874    166076         0     75458    504337   8718460    180.95    193.00
2671.90/668.91	c  N dy  6669    987536     38874    166076         0     48510    504337    948766    180.91    190.81
2725.03/682.28	c  N dy  6813   1007559     38874    166076         0     68531    504337   6468605    180.94    195.47
2781.35/696.39	c  N dy  6940   1027626     38874    166076         0     88598    504337  11967864    180.93    232.75
2836.48/710.18	c  N dy  7068   1047806     38874    166076         0     60783    504337   3972156    180.87    197.07
2891.61/723.96	c  N dy  7201   1067871     38874    166076         0     80845    504337   9482468    180.86    217.24
2903.21/726.82	c  F st  7232   1071875     38874    166076         0     84849    504337  10622523    180.89   no data
2949.53/738.40	c  N dy  7311   1087873     38874    166076         0     51849    504337   1327308    180.85    191.02
3003.05/751.89	c  N dy  7457   1107939     38874    166076         0     71915    504337   6846208    180.89    223.81
3060.57/766.21	c  N dy  7593   1127942     38874    166076         0     91916    504337  12332774    180.90    230.69
3116.89/780.34	c  N dy  7734   1148090     38874    166076         0     62067    504337   3879565    180.94    192.89
3172.81/794.35	c  N dy  7874   1168248     38874    166076         0     82223    504337   9446079    180.96    191.25
3232.34/809.25	c  N dy  8013   1188444     38874    166076         0     51420    504337    644066    180.96    196.21
3287.06/822.97	c  N dy  8146   1208523     38874    166076         0     71498    504337   6179452    180.93    195.54
3291.05/823.92	c  S st  8156   1209960     38874    166076         0     72935    504337   6574616    180.94    186.64
3292.65/824.30	c  S st  8156   1210462     38874    166076         0     73437    504337   6674342    180.94   no data
3292.65/824.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3293.86/824.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3293.86/824.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3293.86/824.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3293.86/824.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3294.27/824.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
3294.27/824.73	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3295.05/824.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
3297.05/825.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3310.64/828.88	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.41 s
3311.03/828.91	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
3311.44/829.05	c vivif2 --  cl tried    73435 cl shrink        0 lits rem          0 time: 0.14
3312.63/829.35	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.30
3312.63/829.36	c calculated reachability. Time: 0.00
3312.63/829.37	c  N dy  8156   1210462     38874    166076         0     73435    504337   6673553    180.94   no data
3370.54/843.90	c  N dy  8299   1230547     38874    166076         0     93520    504337  12205962    180.99    194.48
3428.06/858.29	c  N dy  8441   1250637     38874    166076         0     61610    504337   3184521    181.01    196.24
3483.98/872.28	c  N dy  8583   1270750     38874    166076         0     81721    504337   8713126    181.01    191.51
3543.50/887.15	c  N dy  8719   1290890     38874    166076         0    101859    504337  14232669    181.00    190.92
3599.42/901.13	c  N dy  8856   1310939     38874    166076         0     68905    504337   4877518    180.98    209.55
3656.14/915.39	c  N dy  8994   1331019     38874    166076         0     88984    504337  10323208    180.96    192.39
3717.25/930.63	c  N dy  9133   1351062     38874    166076         0     55032    504337    843177    180.98    193.21
3771.97/944.37	c  N dy  9274   1371293     38874    166076         0     75263    504337   6437861    181.00    194.37
3830.68/959.08	c  N dy  9419   1391393     38874    166076         0     95362    504337  11954846    181.03    196.35
3889.81/973.84	c  N dy  9553   1411482     38874    166076         0     60453    504337   2103150    181.04    191.01
3944.93/987.69	c  N dy  9689   1431561     38874    166076         0     80530    504337   7590859    181.04    192.94
4004.45/1002.50	c  N dy  9828   1451620     38874    166076         0    100588    504337  13084619    181.05    190.63
4062.37/1017.04	c  N dy  9952   1471809     38874    166076         0     64782    504337   2970720    181.02    203.52
4118.69/1031.17	c  N dy 10093   1491812     38874    166076         0     84784    504337   8460188    181.06    193.88
4178.20/1046.08	c  N dy 10229   1511878     38874    166076         0    104848    504337  13923306    181.05    191.16
4236.12/1060.57	c  N dy 10365   1531989     38874    166076         0     67963    504337   3610098    181.04    192.86
4292.84/1074.78	c  N dy 10499   1552062     38874    166076         0     88034    504337   9155467    181.07    219.37
4353.18/1089.89	c  N dy 10637   1572102     38874    166076         0    108073    504337  14740224    181.09    225.04
4411.07/1104.32	c  N dy 10769   1592236     38874    166076         0     70210    504337   3902346    181.07    190.66
4467.79/1118.54	c  N dy 10900   1612262     38874    166076         0     90235    504337   9375020    181.06    222.00
4528.52/1133.75	c  N dy 11033   1632276     38874    166076         0    110247    504337  14856458    181.06    192.73
4586.05/1148.16	c  N dy 11163   1652367     38874    166076         0     71338    504337   3939996    181.04    205.55
4643.19/1162.46	c  N dy 11296   1672387     38874    166076         0     91358    504337   9365091    181.03    200.21
4704.31/1177.72	c  N dy 11430   1692390     38874    166076         0    111361    504337  14816723    181.03    191.13
4757.47/1191.07	c  S st 11555   1710462     38874    166076         0     69437    504337   3179116    181.01    171.14
4759.04/1191.46	c  S st 11555   1710966     38874    166076         0     69941    504337   3281637    181.01   no data
4759.04/1191.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4760.24/1191.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4760.64/1191.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4760.64/1191.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4760.64/1191.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4760.64/1191.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
4760.64/1191.87	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4761.44/1192.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4762.63/1192.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4770.24/1194.26	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.91 s
4770.24/1194.28	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
4770.65/1194.35	c vivif2 --  cl tried    69940 cl shrink        0 lits rem          0 time: 0.07
4771.83/1194.64	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.29
4771.83/1194.65	c calculated reachability. Time: 0.00
4771.83/1194.65	c  N dy 11555   1710966     38874    166076         0     69940    504337   3281046    181.01   no data

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-3173799-1304031250/watcher-3173799-1304031250 -o /tmp/evaluation-result-3173799-1304031250/solver-3173799-1304031250 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173799-1304031250.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.84 8.04 7.53 5/180 1131
/proc/meminfo: memFree=31517236/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 495540710 52441088 347 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338440177 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 12803 347 299 106 0 7774 0
[pid=1131/tid=1132] ppid=1129 vsize=117716 CPUtime=0 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 4 0 495540710 120541184 516 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338383675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=117716 CPUtime=0 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 21 0 0 0 0 0 0 0 25 0 4 0 495540710 120541184 549 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338383675 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=117716 CPUtime=0 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 67 0 0 0 0 0 0 0 25 0 4 0 495540710 120541184 578 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338383675 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0703081 s]
/proc/loadavg: 7.84 8.04 7.53 5/180 1131
/proc/meminfo: memFree=31517236/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=389072 CPUtime=0.24 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 20709 0 0 0 21 3 0 0 18 0 4 0 495540710 398409728 16568 33554432000 4194304 4627427 140736450249296 18446744073709551615 4361048 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 97268 16569 339 106 0 92239 0
[pid=1131/tid=1132] ppid=1129 vsize=389072 CPUtime=0.05 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 5235 0 0 0 5 0 0 0 18 0 4 0 495540710 398409728 16569 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=389072 CPUtime=0.05 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 5448 0 0 0 4 1 0 0 25 0 4 0 495540710 398409728 16571 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488814 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=389072 CPUtime=0.05 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 4388 0 0 0 5 0 0 0 18 0 4 0 495540710 398409728 16571 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 389072

[startup+0.101298 s]
/proc/loadavg: 7.84 8.04 7.53 5/180 1131
/proc/meminfo: memFree=31517236/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=390332 CPUtime=0.34 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 23004 0 0 0 30 4 0 0 18 0 4 0 495540710 399699968 18863 33554432000 4194304 4627427 140736450249296 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 97583 18864 339 106 0 92554 0
[pid=1131/tid=1132] ppid=1129 vsize=390332 CPUtime=0.09 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) S 1129 1131 815 0 -1 4202560 5878 0 0 0 8 1 0 0 18 0 4 0 495540710 399699968 18864 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488814 0 0 4096 2 18446604440626651264 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=390332 CPUtime=0.08 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) S 1129 1131 815 0 -1 4202560 5921 0 0 0 7 1 0 0 17 0 4 0 495540710 399699968 18864 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488814 0 0 4096 2 18446604440626651264 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=390332 CPUtime=0.07 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 4913 0 0 0 7 0 0 0 17 0 4 0 495540710 399699968 18864 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 390332

[startup+0.453925 s]
/proc/loadavg: 7.84 8.04 7.53 5/180 1131
/proc/meminfo: memFree=31517236/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=400384 CPUtime=1.71 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 31263 0 0 0 162 9 0 0 18 0 4 0 495540710 409993216 26999 33554432000 4194304 4627427 140736450249296 18446744073709551615 4415723 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 100096 27021 371 106 0 95067 0
[pid=1131/tid=1132] ppid=1129 vsize=400384 CPUtime=0.42 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 8196 0 0 0 41 1 0 0 18 0 4 0 495540710 409993216 27032 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338081217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=400384 CPUtime=0.42 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) S 1129 1131 815 0 -1 4202560 7705 0 0 0 39 3 0 0 18 0 4 0 495540710 409993216 27042 33554432000 4194304 4627427 140736450249296 18446744073709551615 270338488814 0 0 4096 2 18446604440626651264 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=412844 CPUtime=0.47 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 6625 0 0 0 45 2 0 0 18 0 4 0 495540710 422752256 32019 33554432000 4194304 4627427 140736450249296 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 400384

[startup+1.23283 s]
/proc/loadavg: 7.84 8.04 7.53 5/180 1131
/proc/meminfo: memFree=31517236/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=430268 CPUtime=4.82 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 57476 0 0 0 468 14 0 0 19 0 4 0 495540710 440594432 41661 33554432000 4194304 4627427 140736450249296 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 107567 41661 385 106 0 102538 0
[pid=1131/tid=1132] ppid=1129 vsize=430268 CPUtime=1.2 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 16112 0 0 0 118 2 0 0 19 0 4 0 495540710 440594432 41661 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=430268 CPUtime=1.19 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 17127 0 0 0 114 5 0 0 19 0 4 0 495540710 440594432 41661 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=430268 CPUtime=1.2 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 7110 0 0 0 118 2 0 0 19 0 4 0 495540710 440594432 41661 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 430268

[startup+1.50078 s]
/proc/loadavg: 7.84 8.04 7.53 5/180 1131
/proc/meminfo: memFree=31517236/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=430268 CPUtime=5.89 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 58287 0 0 0 575 14 0 0 19 0 4 0 495540710 440594432 42278 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308755 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 107567 42278 385 106 0 102538 0
[pid=1131/tid=1132] ppid=1129 vsize=430268 CPUtime=1.47 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 16278 0 0 0 145 2 0 0 19 0 4 0 495540710 440594432 42278 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=430268 CPUtime=1.46 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 17378 0 0 0 141 5 0 0 19 0 4 0 495540710 440594432 42278 33554432000 4194304 4627427 140736450249296 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=430268 CPUtime=1.46 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 7252 0 0 0 144 2 0 0 19 0 4 0 495540710 440594432 42278 33554432000 4194304 4627427 140736450249296 18446744073709551615 4327410 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) 430268

[startup+3.10046 s]
/proc/loadavg: 7.84 8.04 7.53 9/184 1135
/proc/meminfo: memFree=31334676/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=561532 CPUtime=12.28 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 61907 0 0 0 1213 15 0 0 24 0 4 0 495540710 575008768 45787 33554432000 4194304 4627427 140736450249296 18446744073709551615 4328792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 140383 45789 385 106 0 135354 0
[pid=1131/tid=1132] ppid=1129 vsize=561532 CPUtime=3.07 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 17161 0 0 0 305 2 0 0 24 0 4 0 495540710 575008768 45789 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=561532 CPUtime=3.04 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 18270 0 0 0 299 5 0 0 24 0 4 0 495540710 575008768 45789 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=561532 CPUtime=3.06 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 8000 0 0 0 304 2 0 0 24 0 4 0 495540710 575008768 45789 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308329 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) 561532

[startup+6.30682 s]
/proc/loadavg: 7.85 8.04 7.53 10/184 1135
/proc/meminfo: memFree=31309628/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=561532 CPUtime=25.09 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 68636 0 0 0 2492 17 0 0 25 0 4 0 495540710 575008768 52516 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 140383 52516 385 106 0 135354 0
[pid=1131/tid=1132] ppid=1129 vsize=561532 CPUtime=6.28 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 18829 0 0 0 625 3 0 0 25 0 4 0 495540710 575008768 52516 33554432000 4194304 4627427 140736450249296 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=561532 CPUtime=6.24 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 19926 0 0 0 618 6 0 0 25 0 4 0 495540710 575008768 52516 33554432000 4194304 4627427 140736450249296 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=561532 CPUtime=6.27 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 9675 0 0 0 625 2 0 0 25 0 4 0 495540710 575008768 52516 33554432000 4194304 4627427 140736450249296 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 561532

[startup+12.7006 s]
/proc/loadavg: 7.87 8.04 7.53 9/184 1135
/proc/meminfo: memFree=31269212/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=463172 CPUtime=50.63 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 88963 0 0 0 5041 22 0 0 25 0 4 0 495540710 474288128 47413 33554432000 4194304 4627427 140736450249296 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 115793 47413 386 106 0 110764 0
[pid=1131/tid=1132] ppid=1129 vsize=463172 CPUtime=12.67 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 23977 0 0 0 1263 4 0 0 25 0 4 0 495540710 474288128 47413 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=463172 CPUtime=12.6 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 24980 0 0 0 1253 7 0 0 25 0 4 0 495540710 474288128 47413 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=463172 CPUtime=12.67 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 14745 0 0 0 1263 4 0 0 25 0 4 0 495540710 474288128 47413 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308383 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) 463172

[startup+25.501 s]
/proc/loadavg: 7.89 8.04 7.54 10/184 1135
/proc/meminfo: memFree=31034824/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=791992 CPUtime=101.76 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 167322 0 0 0 10134 42 0 0 25 0 4 0 495540710 810999808 106044 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 197998 106044 390 106 0 192969 0
[pid=1131/tid=1132] ppid=1129 vsize=791992 CPUtime=25.47 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 59302 0 0 0 2533 14 0 0 25 0 4 0 495540710 810999808 106044 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=791992 CPUtime=25.33 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 33364 0 0 0 2524 9 0 0 25 0 4 0 495540710 810999808 106044 33554432000 4194304 4627427 140736450249296 18446744073709551615 4310423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=791992 CPUtime=25.46 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 23242 0 0 0 2540 6 0 0 25 0 4 0 495540710 810999808 106044 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 791992

[startup+51.1009 s]
/proc/loadavg: 7.93 8.03 7.55 9/184 1136
/proc/meminfo: memFree=30889288/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1044988 CPUtime=204.03 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 253241 0 0 0 20338 65 0 0 25 0 4 0 495540710 1070067712 139600 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1131/statm: 261247 139600 390 106 0 256218 0
[pid=1131/tid=1132] ppid=1129 vsize=1044988 CPUtime=51.07 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 75525 0 0 0 5088 19 0 0 25 0 4 0 495540710 1070067712 139600 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1044988 CPUtime=50.81 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 54878 0 0 0 5067 14 0 0 25 0 4 0 495540710 1070067712 139600 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1044988 CPUtime=51.06 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 49793 0 0 0 5093 13 0 0 25 0 4 0 495540710 1070067712 139600 33554432000 4194304 4627427 140736450249296 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 1044988

[startup+102.301 s]
/proc/loadavg: 7.97 8.03 7.57 10/184 1137
/proc/meminfo: memFree=30590364/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1102204 CPUtime=408.57 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 380031 0 0 0 40758 99 0 0 25 0 4 0 495540710 1128656896 191959 33554432000 4194304 4627427 140736450249296 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 275551 191959 390 106 0 270522 0
[pid=1131/tid=1132] ppid=1129 vsize=1102204 CPUtime=102.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 101156 0 0 0 10201 26 0 0 25 0 4 0 495540710 1128656896 191959 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1102204 CPUtime=101.84 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 82820 0 0 0 10163 21 0 0 25 0 4 0 495540710 1128656896 191959 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1102204 CPUtime=102.25 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 82432 0 0 0 10204 21 0 0 25 0 4 0 495540710 1128656896 191959 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308265 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) 1102204

[startup+162.301 s]

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

[pid=1131] ppid=1129 vsize=1670184 CPUtime=2805.32 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1357297 0 0 0 280116 416 0 0 25 0 4 0 495540710 1710268416 340198 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 417546 340198 390 106 0 412517 0
[pid=1131/tid=1132] ppid=1129 vsize=1670184 CPUtime=702.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 358805 0 0 0 70116 111 0 0 25 0 4 0 495540710 1710268416 340198 33554432000 4194304 4627427 140736450249296 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1670184 CPUtime=701.83 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 311915 0 0 0 70084 99 0 0 25 0 4 0 495540710 1710268416 340198 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1670184 CPUtime=702.2 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 321126 0 0 0 70126 94 0 0 25 0 4 0 495540710 1710268416 340198 33554432000 4194304 4627427 140736450249296 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 1670184

[startup+762.301 s]
/proc/loadavg: 8.22 8.10 7.81 9/184 1164
/proc/meminfo: memFree=29769104/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1540620 CPUtime=3044.99 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1442227 0 0 0 304055 444 0 0 25 0 4 0 495540710 1577594880 327002 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 385155 327002 390 106 0 380126 0
[pid=1131/tid=1132] ppid=1129 vsize=1540620 CPUtime=762.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 381833 0 0 0 76109 118 0 0 25 0 4 0 495540710 1577594880 327002 33554432000 4194304 4627427 140736450249296 18446744073709551615 4327413 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1540620 CPUtime=761.83 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 331172 0 0 0 76078 105 0 0 25 0 4 0 495540710 1577594880 327002 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1540620 CPUtime=762.19 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 342177 0 0 0 76119 100 0 0 25 0 4 0 495540710 1577594880 327002 33554432000 4194304 4627427 140736450249296 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 1540620

[startup+822.301 s]
/proc/loadavg: 8.21 8.11 7.83 9/184 1166
/proc/meminfo: memFree=29427548/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1703096 CPUtime=3284.67 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1537387 0 0 0 327991 476 0 0 25 0 4 0 495540710 1743970304 335183 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 425774 335183 390 106 0 420745 0
[pid=1131/tid=1132] ppid=1129 vsize=1703096 CPUtime=822.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 411000 0 0 0 82101 126 0 0 25 0 4 0 495540710 1743970304 335183 33554432000 4194304 4627427 140736450249296 18446744073709551615 4428116 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1703096 CPUtime=821.83 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 353787 0 0 0 82069 114 0 0 25 0 4 0 495540710 1743970304 335183 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1703096 CPUtime=822.19 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 362961 0 0 0 82112 107 0 0 25 0 4 0 495540710 1743970304 335183 33554432000 4194304 4627427 140736450249296 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 1703096

[startup+882.301 s]
/proc/loadavg: 8.20 8.12 7.85 10/184 1167
/proc/meminfo: memFree=29430588/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1558016 CPUtime=3524.32 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1632253 0 0 0 351926 506 0 0 25 0 4 0 495540710 1595408384 343658 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 389504 343658 390 106 0 384475 0
[pid=1131/tid=1132] ppid=1129 vsize=1558016 CPUtime=882.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 436567 0 0 0 88093 134 0 0 25 0 4 0 495540710 1595408384 343658 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1558016 CPUtime=881.83 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 374926 0 0 0 88062 121 0 0 25 0 4 0 495540710 1595408384 343658 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1558016 CPUtime=882.18 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 384924 0 0 0 88103 115 0 0 25 0 4 0 495540710 1595408384 343658 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 1558016

[startup+942.301 s]
/proc/loadavg: 8.19 8.12 7.87 10/184 1169
/proc/meminfo: memFree=29433032/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1595916 CPUtime=3763.99 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1721256 0 0 0 375861 538 0 0 25 0 4 0 495540710 1634217984 338354 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 398979 338354 390 106 0 393950 0
[pid=1131/tid=1132] ppid=1129 vsize=1595916 CPUtime=942.28 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 457310 0 0 0 94086 142 0 0 25 0 4 0 495540710 1634217984 338355 33554432000 4194304 4627427 140736450249296 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1595916 CPUtime=941.83 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 396309 0 0 0 94054 129 0 0 25 0 4 0 495540710 1634217984 338355 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1595916 CPUtime=942.17 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 405507 0 0 0 94095 122 0 0 25 0 4 0 495540710 1634217984 338355 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 1595916

[startup+1002.3 s]
/proc/loadavg: 8.23 8.14 7.89 9/184 1170
/proc/meminfo: memFree=29382872/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1646988 CPUtime=4003.65 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1817768 0 0 0 399793 572 0 0 25 0 4 0 495540710 1686515712 352910 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 411747 352910 390 106 0 406718 0
[pid=1131/tid=1132] ppid=1129 vsize=1646988 CPUtime=1002.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 483224 0 0 0 100076 151 0 0 25 0 4 0 495540710 1686515712 352910 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1646988 CPUtime=1001.82 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 421005 0 0 0 100047 135 0 0 25 0 4 0 495540710 1686515712 352910 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1646988 CPUtime=1002.16 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 431310 0 0 0 100085 131 0 0 25 0 4 0 495540710 1686515712 352910 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 1646988

[startup+1062.31 s]
/proc/loadavg: 8.14 8.13 7.90 9/184 1172
/proc/meminfo: memFree=29366316/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1695588 CPUtime=4243.33 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1904452 0 0 0 423731 602 0 0 25 0 4 0 495540710 1736282112 338831 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 423897 338831 390 106 0 418868 0
[pid=1131/tid=1132] ppid=1129 vsize=1695588 CPUtime=1062.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 503850 0 0 0 106069 158 0 0 25 0 4 0 495540710 1736282112 338831 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1695588 CPUtime=1061.83 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 440684 0 0 0 106040 143 0 0 25 0 4 0 495540710 1736282112 338831 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1695588 CPUtime=1062.16 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 451698 0 0 0 106078 138 0 0 25 0 4 0 495540710 1736282112 338831 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 1695588

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 7.91 9/184 1174
/proc/meminfo: memFree=29112672/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1778084 CPUtime=4482.97 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 1995759 0 0 0 447668 629 0 0 25 0 4 0 495540710 1820758016 375089 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 444521 375090 390 106 0 439492 0
[pid=1131/tid=1132] ppid=1129 vsize=1778084 CPUtime=1122.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 527870 0 0 0 112061 166 0 0 25 0 4 0 495540710 1820758016 375090 33554432000 4194304 4627427 140736450249296 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1778084 CPUtime=1121.82 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 459637 0 0 0 112033 149 0 0 25 0 4 0 495540710 1820758016 375090 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1778084 CPUtime=1122.14 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 475639 0 0 0 112070 144 0 0 25 0 4 0 495540710 1820758016 375090 33554432000 4194304 4627427 140736450249296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.97
Current children cumulated vsize (KiB) 1778084

[startup+1182.3 s]
/proc/loadavg: 5.92 7.54 7.72 5/175 1193
/proc/meminfo: memFree=30613900/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1732784 CPUtime=4722.68 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 2074224 0 0 0 471611 657 0 0 25 0 4 0 495540710 1774370816 355796 33554432000 4194304 4627427 140736450249296 18446744073709551615 4321739 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 433196 355796 390 106 0 428167 0
[pid=1131/tid=1132] ppid=1129 vsize=1732784 CPUtime=1182.27 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 544652 0 0 0 118054 173 0 0 25 0 4 0 495540710 1774370816 355796 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1732784 CPUtime=1181.82 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 480400 0 0 0 118025 157 0 0 25 0 4 0 495540710 1774370816 355796 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1732784 CPUtime=1182.14 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 497289 0 0 0 118063 151 0 0 25 0 4 0 495540710 1774370816 355796 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 1732784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 5.37 7.31 7.64 5/175 1194
/proc/meminfo: memFree=30625420/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1798632 CPUtime=4800.2 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 2101908 0 0 0 479354 666 0 0 25 0 4 0 495540710 1841799168 352717 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 449658 352717 390 106 0 444629 0
[pid=1131/tid=1132] ppid=1129 vsize=1798632 CPUtime=1201.68 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 552938 0 0 0 119992 176 0 0 25 0 4 0 495540710 1841799168 352719 33554432000 4194304 4627427 140736450249296 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1798632 CPUtime=1201.22 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 485417 0 0 0 119964 158 0 0 25 0 4 0 495540710 1841799168 352719 33554432000 4194304 4627427 140736450249296 18446744073709551615 4321768 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1798632 CPUtime=1201.55 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 502985 0 0 0 120002 153 0 0 25 0 4 0 495540710 1841799168 352719 33554432000 4194304 4627427 140736450249296 18446744073709551615 4325075 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1798632

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: 5.37 7.31 7.64 5/175 1194
/proc/meminfo: memFree=30625420/32951124 swapFree=67111356/67111528
[pid=1131] ppid=1129 vsize=1798632 CPUtime=4800.2 cores=0,2,4,6
/proc/1131/stat : 1131 (strangenight2-m) R 1129 1131 815 0 -1 4202496 2101908 0 0 0 479354 666 0 0 25 0 4 0 495540710 1841799168 352717 33554432000 4194304 4627427 140736450249296 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1131/statm: 449658 352717 390 106 0 444629 0
[pid=1131/tid=1132] ppid=1129 vsize=1798632 CPUtime=1201.68 cores=0,2,4,6
/proc/1131/task/1132/stat : 1132 (strangenight2-m) R 1129 1131 815 0 -1 4202560 552938 0 0 0 119992 176 0 0 25 0 4 0 495540710 1841799168 352719 33554432000 4194304 4627427 140736450249296 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1131/tid=1133] ppid=1129 vsize=1798632 CPUtime=1201.22 cores=0,2,4,6
/proc/1131/task/1133/stat : 1133 (strangenight2-m) R 1129 1131 815 0 -1 4202560 485417 0 0 0 119964 158 0 0 25 0 4 0 495540710 1841799168 352719 33554432000 4194304 4627427 140736450249296 18446744073709551615 4321768 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1131/tid=1134] ppid=1129 vsize=1798632 CPUtime=1201.55 cores=0,2,4,6
/proc/1131/task/1134/stat : 1134 (strangenight2-m) R 1129 1131 815 0 -1 4202560 502985 0 0 0 120002 153 0 0 25 0 4 0 495540710 1841799168 352719 33554432000 4194304 4627427 140736450249296 18446744073709551615 4325075 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1798632

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.3
CPU user time (s): 4793.58
CPU system time (s): 6.72498
CPU usage (%): 399.433
Max. virtual memory (cumulated for all children) (KiB): 1798632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.58
system time used= 6.72498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2101915
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= 8016
involuntary context switches= 20940

runsolver used 1.9537 second user time and 4.41533 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 00:54:11
IDJOB=3173799
IDBENCH=82617
IDSOLVER=1586
FILE ID=node143/3173799-1304031250
RUNJOBID= node143-1304028687-833
PBS_JOBID= 13170309
Free space on /tmp= 72916 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173799-1304031250/watcher-3173799-1304031250 -o /tmp/evaluation-result-3173799-1304031250/solver-3173799-1304031250 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173799-1304031250.cnf

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

MD5SUM BENCH= c0e1e71ade06eb64bd0f5dbaf6b892a1
RANDOM SEED=1131982993

node143.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	: 5226.15
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31517516 kB
Buffers:        133144 kB
Cached:         458148 kB
SwapCached:        168 kB
Active:         730824 kB
Inactive:       438200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31517516 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            8948 kB
Writeback:           0 kB
AnonPages:      576892 kB
Mapped:          15736 kB
Slab:           198496 kB
PageTables:       5868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   813884 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= 72916 MiB
End job on node143 at 2011-04-29 01:14:15