Trace number 3366239

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.24 1202.9

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf
MD5SUMfa8f767b93a18fbf678b4d0ea0994bed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.11761
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366239-1305399525.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.33/0.21	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.33/0.21	c -- vars added      20000
0.33/0.21	c Parsing time:  0.05 s
0.33/0.21	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.33/0.21	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.33/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.81/0.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.81/0.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.81/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.81/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.81/0.31	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
1.13/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    504  v-fix:    0  time:  0.13 s
1.13/1.02	c Finding binary XORs  T:     0.00 s  found:       0
1.13/1.02	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.13/1.02	c calculated reachability. Time: 0.00
1.13/1.02	c Calc default polars -  time:   0.01 s pos:    8894 undec:    2215 neg:    8891
1.13/1.02	c =========================================================================================
1.13/1.02	c types(t): F = full restart, N = normal restart
1.13/1.02	c types(t): S = simplification begin/end, E = solution found
1.13/1.02	c restart types(rt): st = static, dy = dynamic
1.13/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.13/1.02	c  B st     0         0     19496     83430         0         0    253438         0   no data   no data
6.31/1.62	c  N dy    21      4058     19496     83430         0      4058    253438    924768    129.23    172.51
11.11/2.81	c  N dy    48      8059     19496     83430         0      8059    253438   1780726    133.08    140.10
15.85/4.05	c  N dy    74     12169     19496     83430         0     12169    253438   2610443    131.90    146.56
21.05/5.31	c  N dy   101     16238     19496     83430         0     16237    253438   3437478    130.70    141.39
26.23/6.62	c  N dy   127     20257     19496     83430         0     10258    253438    607815    130.32    140.78
31.02/7.83	c  N dy   153     24262     19496     83430         0     14263    253438   1404433    129.69    145.67
31.82/8.05	c  F st   157     25001     19496     83430         0     15002    253438   1550419    129.30    108.95
36.22/9.13	c  N st   162     28302     19496     83430         0     18303    253438   2398169    129.30   no data
38.61/9.74	c  S st   163     30000     19496     83430         0     20001    253438   2891408    129.30   no data
39.41/9.90	c  S st   163     30505     19496     83430         0     20506    253438   2960291    129.30   no data
39.41/9.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.41/9.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
39.41/9.99	c blocked clauses removed:      396 vars:     61 tried:       19496 T: 0.01 s
39.41/9.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.80/10.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.80/10.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19435 time:  0.01 s
39.80/10.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.80/10.10	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.08 s
41.00/10.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
43.80/11.06	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.70 s
44.20/11.17	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
44.20/11.17	c calculated reachability. Time: 0.00
44.20/11.17	c  N dy   163     30505     19424     83024         0     20232    252290   2869964    129.30   no data
49.78/12.56	c  N dy   191     34536     19424     83024         0     24263    252290   3727734    130.16    137.31
55.77/14.02	c  N dy   216     38629     19424     83024         0     28356    252290   4579808    130.07    142.62
61.36/15.44	c  N dy   238     42742     19424     83024         0     17106    252290   1004775    129.38    141.20
65.36/16.42	c  S st   260     45758     19424     83024         0     20122    252290   1634455    129.80    106.90
65.76/16.58	c  S st   260     46263     19424     83024         0     20627    252290   1704893    129.80   no data
65.76/16.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.15/16.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
66.15/16.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.15/16.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.15/16.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.15/16.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
66.15/16.69	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.55/16.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
66.95/16.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.77/17.10	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.22 s
68.17/17.11	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
68.17/17.14	c vivif2 --  cl tried    20626 cl shrink        0 lits rem          0 time: 0.03
68.54/17.25	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.11
68.54/17.25	c calculated reachability. Time: 0.00
68.54/17.25	c  N dy   260     46263     19424     83024         0     20626    252290   1703850    129.80   no data
74.12/18.64	c  N dy   289     50322     19424     83024         0     24685    252290   2557783    130.10    137.53
79.72/20.04	c  N dy   316     54392     19424     83024         0     28754    252290   3397752    130.11    137.25
85.34/21.46	c  N dy   342     58487     19424     83024         0     32849    252290   4250151    130.23    137.37
91.29/22.93	c  N dy   366     62556     19424     83024         0     36918    252290   5059894    130.08    140.28
96.87/24.30	c  N dy   390     66659     19424     83024         0     22335    252290   1381864    129.93    138.60
100.47/25.24	c  S st   410     69394     19424     83024         0     25070    252290   1967114    130.19    105.66
101.27/25.42	c  S st   410     69900     19424     83024         0     25576    252290   2044987    130.19   no data
101.27/25.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.27/25.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
101.67/25.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.67/25.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.67/25.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.67/25.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
101.67/25.53	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
102.07/25.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
102.47/25.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.06/26.10	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.35 s
104.06/26.11	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
104.06/26.14	c vivif2 --  cl tried    25575 cl shrink        0 lits rem          0 time: 0.03
104.45/26.25	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.11
104.45/26.26	c calculated reachability. Time: 0.00
104.45/26.26	c  N dy   410     69900     19424     83024         0     25575    252290   2044279    130.19   no data
110.85/27.80	c  N dy   437     74366     19424     83024         0     30041    252290   2979565    130.33    144.99
117.63/29.52	c  N dy   472     79154     19424     83024         0     34829    252290   3991592    130.60    140.97
125.25/31.41	c  N dy   506     84329     19424     83024         0     40004    252290   5013713    130.41    138.47
129.64/32.58	c  F st   530     87500     19424     83024         0     22337    252290    925827    130.42    105.98
134.39/33.79	c  N st   535     90798     19424     83024         0     25634    252290   1828445    130.42   no data
142.81/35.86	c  N dy   565     96669     19424     83024         0     31505    252290   3175969    130.50    137.96
151.96/38.10	c  N dy   601    102909     19424     83024         0     37745    252290   4472899    130.45    138.23
154.75/38.81	c  S st   615    104850     19424     83024         0     39686    252290   4863122    130.44   no data
155.16/39.01	c  S st   615    105357     19424     83024         0     40193    252290   4934134    130.44   no data
155.59/39.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
155.59/39.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
155.99/39.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.99/39.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
155.99/39.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.99/39.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
155.99/39.14	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
156.35/39.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
157.54/39.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
163.54/41.03	c lits-rem:        45  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.48 s
163.54/41.03	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
163.94/41.11	c vivif2 --  cl tried    40187 cl shrink        0 lits rem          0 time: 0.07
164.36/41.24	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.13
164.36/41.25	c calculated reachability. Time: 0.00
164.36/41.25	c  N dy   615    105357     19424     83024         0     40187    252290   4932531    130.44   no data
174.71/43.81	c  N dy   659    112174     19424     83024         0     24586    252290   1019971    130.39    140.98
185.09/46.40	c  N dy   705    119580     19424     83024         0     31991    252290   2514116    130.26    140.78
196.26/49.27	c  N dy   755    127270     19424     83024         0     39681    252290   4083172    130.38    147.82
209.04/52.42	c  N dy   814    135453     19424     83024         0     24157    252290    640716    130.43    138.27
221.02/55.42	c  N dy   872    144102     19424     83024         0     32805    252290   2424211    130.51    138.46
235.02/58.92	c  N dy   932    153577     19424     83024         0     42280    252290   4364111    130.50    137.95
241.78/60.60	c  S st   962    158038     19424     83024         0     46741    252290   5284105    130.51    111.28
242.58/60.81	c  S st   962    158539     19424     83024         0     47242    252290   5367583    130.51   no data
242.58/60.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.58/60.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
242.98/60.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.98/60.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.98/60.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.98/60.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
242.98/60.94	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
243.40/61.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
244.56/61.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.94/63.41	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.05 s
252.94/63.41	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
253.34/63.50	c vivif2 --  cl tried    47238 cl shrink        0 lits rem          0 time: 0.08
253.75/63.64	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
253.75/63.65	c calculated reachability. Time: 0.00
253.75/63.65	c  N dy   962    158539     19424     83024         0     47238    252290   5366052    130.51   no data
268.52/67.35	c  N dy  1027    168769     19424     83024         0     32612    252290   2103649    130.48    139.40
284.48/71.35	c  N dy  1098    179555     19424     83024         0     43398    252290   4326243    130.43    137.47
302.05/75.75	c  N dy  1178    191035     19424     83024         0     28946    252290   1098335    130.46    138.57
320.00/80.29	c  N dy  1266    203343     19424     83024         0     41254    252290   3665687    130.52    141.37
340.40/85.35	c  N dy  1354    216343     19424     83024         0     27292    252290    558343    130.60    137.85
360.73/90.41	c  N dy  1448    230166     19424     83024         0     41114    252290   3454573    130.65    142.61
372.30/93.36	c  S st  1500    237811     19424     83024         0     48758    252290   5024623    130.67   no data
373.10/93.58	c  S st  1500    238316     19424     83024         0     49263    252290   5104679    130.67   no data
373.10/93.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
373.50/93.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
373.50/93.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
373.50/93.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
373.90/93.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
373.90/93.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
373.90/93.72	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
374.30/93.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
375.13/94.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
383.48/96.18	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.10 s
383.48/96.19	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
383.91/96.27	c vivif2 --  cl tried    49257 cl shrink        0 lits rem          0 time: 0.08
384.67/96.42	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
384.67/96.43	c calculated reachability. Time: 0.00
384.67/96.43	c  N dy  1500    238316     19424     83024         0     49257    252290   5102739    130.67   no data
407.42/102.17	c  N dy  1598    253575     19424     83024         0     36537    252290   2221703    130.59    138.85
432.21/108.40	c  N dy  1704    269839     19424     83024         0     52801    252290   5600460    130.64    140.85
458.96/115.08	c  N dy  1807    287191     19424     83024         0     41159    252290   2945348    130.45    138.15
488.05/122.38	c  N dy  1929    305636     19424     83024         0     59604    252290   6760770    130.45    137.38
489.28/122.64	c  F st  1934    306250     19424     83024         0     30227    252290    499950    130.45   no data
517.99/129.80	c  N dy  2034    325145     19424     83024         0     49119    252290   4703663    130.50    142.96
549.50/137.76	c  N dy  2174    345195     19424     83024         0     38170    252290   1937453    130.68    143.60
568.70/142.51	c  S st  2259    357474     19424     83024         0     50448    252290   4512500    130.72   no data
569.46/142.72	c  S st  2259    357976     19424     83024         0     50950    252290   4582102    130.72   no data
569.46/142.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
569.86/142.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
569.86/142.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
569.86/142.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
569.86/142.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
569.86/142.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
569.86/142.86	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
570.26/142.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
571.06/143.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
583.03/146.19	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.99 s
583.43/146.20	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
583.43/146.27	c vivif2 --  cl tried    50946 cl shrink        0 lits rem          0 time: 0.07
584.23/146.42	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.15
584.23/146.43	c calculated reachability. Time: 0.00
584.23/146.43	c  N dy  2259    357976     19424     83024         0     50946    252290   4580671    130.72   no data
616.17/154.48	c  N dy  2401    378037     19424     83024         0     39009    252290   1892727    130.77    137.74
649.29/162.74	c  N dy  2547    398068     19424     83024         0     59039    252290   6125634    130.97    146.58
680.82/170.69	c  N dy  2685    418227     19424     83024         0     46205    252290   3212426    131.07    143.33
714.36/179.00	c  N dy  2819    438474     19424     83024         0     66452    252290   7451802    131.13    141.61
745.49/186.86	c  N dy  2956    458556     19424     83024         0     52532    252290   4277536    131.19    156.68
779.46/195.32	c  N dy  3089    478807     19424     83024         0     37787    252290   1036807    131.19    141.27
810.95/203.21	c  N dy  3224    498999     19424     83024         0     57978    252290   5213748    131.16    139.48
844.09/211.51	c  N dy  3357    519083     19424     83024         0     42065    252290   1706818    131.22    139.17
872.42/218.67	c  S st  3478    536965     19424     83024         0     59947    252290   5446887    131.27   no data
873.62/218.90	c  S st  3478    537466     19424     83024         0     60448    252290   5522467    131.27   no data
873.62/218.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
874.02/219.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
874.02/219.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.02/219.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
874.02/219.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
874.02/219.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
874.02/219.05	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
874.42/219.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
875.64/219.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
886.79/222.24	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.81 s
886.79/222.25	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
887.19/222.34	c vivif2 --  cl tried    60443 cl shrink        0 lits rem          0 time: 0.09
888.00/222.51	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.16
888.00/222.51	c calculated reachability. Time: 0.00
888.00/222.51	c  N dy  3478    537466     19424     83024         0     60443    252290   5520338    131.27   no data
921.51/230.96	c  N dy  3609    557474     19424     83024         0     43451    252290   1778112    131.27    138.39
954.25/239.18	c  N dy  3751    577482     19424     83024         0     63456    252290   6004231    131.39    138.79
987.78/247.56	c  N dy  3884    597566     19424     83024         0     45542    252290   2004698    131.43    140.46
1020.54/255.75	c  N dy  4023    617622     19424     83024         0     65597    252290   6108320    131.45    138.49
1054.84/264.35	c  N dy  4168    637686     19424     83024         0     46660    252290   2065482    131.53    150.20
1087.57/272.55	c  N dy  4297    657702     19424     83024         0     66674    252290   6245906    131.54    139.36
1121.93/281.12	c  N dy  4435    677729     19424     83024         0     46700    252290   1861836    131.54    138.47
1156.24/289.79	c  N dy  4577    697846     19424     83024         0     66817    252290   6049704    131.56    149.10
1191.78/298.67	c  N dy  4715    717929     19424     83024         0     45904    252290   1486359    131.58    141.10
1224.88/306.97	c  N dy  4850    738057     19424     83024         0     66031    252290   5649304    131.59    147.88
1260.81/315.98	c  N dy  4991    758130     19424     83024         0     44102    252290    903460    131.63    155.25
1293.10/324.06	c  N dy  5120    778193     19424     83024         0     64164    252290   5054325    131.60    141.74
1328.64/333.04	c  N dy  5253    798198     19424     83024         0     84168    252290   9207991    131.60    138.84
1341.66/336.37	c  S st  5310    806200     19424     83024         0     49174    252290   1754506    131.61   no data
1342.45/336.58	c  S st  5310    806703     19424     83024         0     49677    252290   1836559    131.61   no data
1342.85/336.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1342.85/336.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1342.85/336.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1343.24/336.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1343.24/336.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1343.24/336.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
1343.24/336.72	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1343.64/336.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1343.64/336.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1346.39/337.59	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.69 s
1346.78/337.60	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
1346.78/337.64	c vivif2 --  cl tried    49675 cl shrink        0 lits rem          0 time: 0.03
1347.18/337.78	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
1347.18/337.79	c calculated reachability. Time: 0.00
1347.18/337.79	c  N dy  5310    806703     19424     83024         0     49675    252290   1836261    131.61   no data
1380.53/346.10	c  N dy  5439    826742     19424     83024         0     69714    252290   5956085    131.60    138.98
1417.66/355.41	c  N dy  5566    846830     19424     83024         0     45802    252290    847913    131.60    139.98
1450.43/363.66	c  N dy  5702    866903     19424     83024         0     65874    252290   5031074    131.58    160.99
1487.11/372.88	c  N dy  5836    887058     19424     83024         0     86029    252290   9243581    131.61    138.72
1520.67/381.29	c  N dy  5966    907138     19424     83024         0     61110    252290   3833562    131.60    140.86
1556.56/390.26	c  N dy  6103    927222     19424     83024         0     81193    252290   8002487    131.62    140.42
1592.49/399.26	c  N dy  6241    947373     19424     83024         0     55346    252290   2383777    131.63    141.89
1627.61/408.03	c  N dy  6379    967443     19424     83024         0     75413    252290   6667522    131.67    144.87
1665.57/417.51	c  N dy  6512    987532     19424     83024         0     48504    252290    771341    131.68    142.46
1698.27/425.79	c  N dy  6636   1007573     19424     83024         0     68541    252290   4971788    131.68    144.28
1734.98/434.99	c  N dy  6764   1027667     19424     83024         0     88634    252290   9192032    131.68    171.76
1770.11/443.75	c  N dy  6893   1047744     19424     83024         0     60720    252290   3114175    131.66    142.58
1805.67/452.65	c  N dy  7022   1067759     19424     83024         0     80734    252290   7303900    131.66    138.63
1813.23/454.55	c  F st  7045   1071875     19424     83024         0     84850    252290   8142437    131.65    121.60
1843.16/462.03	c  N dy  7120   1087775     19424     83024         0     51751    252290   1040685    131.65    143.45
1876.69/470.47	c  N dy  7257   1107884     19424     83024         0     71858    252290   5174943    131.64    140.17
1915.01/480.05	c  N dy  7404   1127963     19424     83024         0     91936    252290   9383441    131.68    138.82
1950.97/489.01	c  N dy  7533   1147980     19424     83024         0     61954    252290   2961748    131.68    163.26
1986.86/498.01	c  N dy  7676   1167987     19424     83024         0     81961    252290   7118608    131.70    166.64
2025.97/507.88	c  N dy  7811   1188020     19424     83024         0    101992    252290  11316366    131.72    139.37
2060.33/516.47	c  N dy  7940   1208071     19424     83024         0     71042    252290   4655822    131.69    139.88
2063.90/517.35	c  S st  7952   1210055     19424     83024         0     73026    252290   5048583    131.68   no data
2065.13/517.61	c  S st  7952   1210558     19424     83024         0     73529    252290   5124593    131.68   no data
2065.13/517.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2065.49/517.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2065.49/517.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2065.49/517.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2065.49/517.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2065.49/517.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
2065.49/517.77	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2065.89/517.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
2067.09/518.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2079.05/521.15	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.98 s
2079.05/521.16	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
2079.45/521.24	c vivif2 --  cl tried    73528 cl shrink        0 lits rem          0 time: 0.08
2080.25/521.42	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.18
2080.25/521.43	c calculated reachability. Time: 0.00
2080.25/521.43	c  N dy  7952   1210558     19424     83024         0     73528    252290   5124436    131.68   no data
2118.97/531.18	c  N dy  8084   1230626     19424     83024         0     93595    252290   9311916    131.69    144.70
2156.10/540.46	c  N dy  8222   1250681     19424     83024         0     61648    252290   2484297    131.69    140.24
2192.46/549.54	c  N dy  8361   1270888     19424     83024         0     81854    252290   6734025    131.71    141.06
2231.58/559.40	c  N dy  8499   1290969     19424     83024         0    101933    252290  10957554    131.75    139.37
2267.46/568.36	c  N dy  8639   1311045     19424     83024         0     69014    252290   3914844    131.77    171.24
2304.59/577.62	c  N dy  8770   1331094     19424     83024         0     89062    252290   8101787    131.80    142.24
2345.73/587.93	c  N dy  8909   1351110     19424     83024         0     55079    252290    729307    131.81    138.89
2380.04/596.53	c  N dy  9040   1371159     19424     83024         0     75128    252290   4829650    131.79    141.21
2418.35/606.16	c  N dy  9178   1391162     19424     83024         0     95128    252290   8990886    131.80    139.40
2458.26/616.11	c  N dy  9316   1411214     19424     83024         0     60182    252290   1557455    131.81    143.26
2493.79/625.01	c  N dy  9454   1431307     19424     83024         0     80275    252290   5829972    131.88    141.34
2532.91/634.83	c  N dy  9597   1451404     19424     83024         0    100371    252290  10043571    131.90    149.16
2571.23/644.49	c  N dy  9734   1471424     19424     83024         0     64397    252290   2296788    131.93    140.76
2607.56/653.55	c  N dy  9872   1491539     19424     83024         0     84511    252290   6456019    131.93    142.07
2647.46/663.53	c  N dy 10007   1511579     19424     83024         0    104550    252290  10713403    131.95    140.67
2686.18/673.20	c  N dy 10149   1531613     19424     83024         0     67596    252290   2757199    131.98    144.78
2722.51/682.39	c  N dy 10283   1551707     19424     83024         0     87686    252290   6930078    131.99    138.94
2763.26/692.55	c  N dy 10417   1571789     19424     83024         0    107768    252290  11146459    132.00    143.73
2801.14/702.09	c  N dy 10557   1591796     19424     83024         0     69772    252290   3042095    132.03    143.94
2838.25/711.39	c  N dy 10694   1611880     19424     83024         0     89855    252290   7213410    132.04    147.88
2878.97/721.59	c  N dy 10822   1631943     19424     83024         0    109918    252290  11478537    132.06    156.78
2917.68/731.20	c  N dy 10959   1652014     19424     83024         0     70991    252290   3081736    132.07    139.47
2954.81/740.59	c  N dy 11095   1672094     19424     83024         0     91068    252290   7304679    132.09    141.74
2996.32/750.93	c  N dy 11229   1692230     19424     83024         0    111202    252290  11528575    132.09    149.87
3032.24/759.93	c  S st 11349   1710559     19424     83024         0     69529    252290   2561574    132.10   no data
3033.04/760.17	c  S st 11349   1711060     19424     83024         0     70030    252290   2639247    132.10   no data
3033.04/760.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3033.44/760.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3033.84/760.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3033.84/760.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3033.84/760.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3033.84/760.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
3033.84/760.33	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3034.24/760.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3034.64/760.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3041.43/762.24	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.67 s
3041.43/762.25	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
3041.43/762.30	c vivif2 --  cl tried    70028 cl shrink        0 lits rem          0 time: 0.04
3042.23/762.47	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.18
3042.23/762.48	c calculated reachability. Time: 0.00
3042.23/762.48	c  N dy 11349   1711060     19424     83024         0     70028    252290   2638731    132.10   no data
3080.14/771.92	c  N dy 11484   1731382     19424     83024         0     90349    252290   6845561    132.08    144.81
3121.66/782.38	c  N dy 11621   1751507     19424     83024         0    110471    252290  11125979    132.11    144.90
3161.97/792.49	c  N dy 11755   1771525     19424     83024         0     69489    252290   2343208    132.14    162.16
3199.09/801.76	c  N dy 11886   1791617     19424     83024         0     89579    252290   6525537    132.14    139.80
3240.20/812.04	c  N dy 12033   1811656     19424     83024         0    109616    252290  10706714    132.16    140.68
3282.11/822.50	c  N dy 12175   1831826     19424     83024         0     67790    252290   1746672    132.18    139.75
3318.44/831.69	c  N dy 12309   1851855     19424     83024         0     87818    252290   6010548    132.20    141.27
3360.74/842.27	c  N dy 12447   1871946     19424     83024         0    107908    252290  10199734    132.21    152.22
3404.65/853.20	c  N dy 12584   1891972     19424     83024         0     64934    252290    956407    132.21    139.42
3440.58/862.25	c  N dy 12722   1912080     19424     83024         0     85041    252290   5202115    132.23    140.58
3480.49/872.29	c  N dy 12861   1932294     19424     83024         0    105253    252290   9442512    132.25    143.27
3524.40/883.22	c  N dy 12989   1952382     19424     83024         0    125341    252290  13663632    132.25    140.16
3562.35/892.76	c  N dy 13134   1972569     19424     83024         0     81537    252290   4268905    132.27    142.96
3601.87/902.65	c  N dy 13277   1992623     19424     83024         0    101591    252290   8515674    132.28    155.70
3645.37/913.60	c  N dy 13415   2012884     19424     83024         0    121851    252290  12728800    132.28    139.81
3685.29/923.55	c  N dy 13550   2032924     19424     83024         0     76890    252290   3006107    132.28    149.85
3723.58/933.14	c  N dy 13682   2053051     19424     83024         0     97016    252290   7211377    132.28    140.63
3765.08/943.52	c  N dy 13808   2073069     19424     83024         0    117034    252290  11367819    132.27    139.46
3808.22/954.31	c  N dy 13935   2093157     19424     83024         0     71127    252290   1648888    132.27    145.59
3845.31/963.62	c  N dy 14060   2113161     19424     83024         0     91130    252290   5749595    132.25    139.90
3886.43/973.91	c  N dy 14196   2133355     19424     83024         0    111321    252290   9977175    132.27    140.42
3930.77/985.09	c  N dy 14331   2153362     19424     83024         0    131325    252290  14135964    132.28    143.97
3969.05/994.60	c  N dy 14474   2173391     19424     83024         0     84357    252290   4280854    132.30    142.63
4008.57/1004.52	c  N dy 14604   2193489     19424     83024         0    104454    252290   8543097    132.30    141.63
4046.49/1014.02	c  S st 14722   2211061     19424     83024         0    122026    252290  12273452    132.31   no data
4047.68/1014.35	c  S st 14722   2211563     19424     83024         0    122528    252290  12342166    132.31   no data
4047.68/1014.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4048.49/1014.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.14
4048.49/1014.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4048.49/1014.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4048.49/1014.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4048.49/1014.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
4048.49/1014.57	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4049.31/1014.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4052.08/1015.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4080.81/1022.61	c lits-rem:         5  cl-subs:       16  v-elim:      0  v-fix:    0  time:  7.13 s
4080.81/1022.62	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
4081.61/1022.82	c vivif2 --  cl tried   122512 cl shrink        0 lits rem          0 time: 0.20
4082.41/1023.08	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.26
4082.41/1023.09	c calculated reachability. Time: 0.00
4082.41/1023.09	c  N dy 14722   2211563     19424     83024         0    122512    252290  12334868    132.31   no data
4125.92/1033.91	c  N dy 14857   2231642     19424     83024         0     74600    252290   1957598    132.32    141.10
4167.04/1044.29	c  N dy 14999   2251872     19424     83024         0     94829    252290   6288199    132.35    140.47
4209.74/1054.92	c  N dy 15141   2272003     19424     83024         0    114956    252290  10546379    132.38    141.76
4255.24/1066.38	c  N dy 15275   2292290     19424     83024         0    135242    252290  14777883    132.37    139.56
4294.35/1076.13	c  N dy 15422   2312365     19424     83024         0     86312    252290   4264273    132.41    143.17
4334.28/1086.11	c  N dy 15553   2332440     19424     83024         0    106385    252290   8404481    132.40    182.76
4378.61/1097.29	c  N dy 15697   2352539     19424     83024         0    126484    252290  12612917    132.42    143.36
4423.27/1108.49	c  N dy 15846   2372643     19424     83024         0     76592    252290   1994199    132.44    141.05
4462.03/1118.11	c  N dy 15982   2392796     19424     83024         0     96742    252290   6242552    132.46    139.63
4503.51/1128.56	c  N dy 16111   2412820     19424     83024         0    116766    252290  10532762    132.48    142.57
4549.42/1140.10	c  N dy 16246   2432877     19424     83024         0    136820    252290  14760104    132.49    141.01
4590.12/1150.23	c  N dy 16387   2452888     19424     83024         0     85837    252290   3738735    132.52    140.75
4630.43/1160.36	c  N dy 16530   2473039     19424     83024         0    105988    252290   7977136    132.53    146.64
4674.34/1171.38	c  N dy 16666   2493139     19424     83024         0    126088    252290  12165539    132.53    140.05
4721.07/1183.02	c  N dy 16798   2513175     19424     83024         0     74127    252290   1054995    132.53    141.49
4758.96/1192.50	c  N dy 16938   2533216     19424     83024         0     94168    252290   5315931    132.56    150.18

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366239-1305399525/watcher-3366239-1305399525 -o /tmp/evaluation-result-3366239-1305399525/solver-3366239-1305399525 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366239-1305399525.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: 8.14 8.04 6.89 5/275 26084
/proc/meminfo: memFree=20951644/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 411 0 0 0 1 0 0 0 25 0 4 0 651552242 52396032 351 33554432000 4194304 4580107 140736320337664 18446744073709551615 47438737872400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 12792 351 302 95 0 7774 0
[pid=26084/tid=26086] ppid=26082 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651552242 52396032 351 33554432000 4194304 4580107 140736320337664 18446744073709551615 47438737872409 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651552242 52396032 351 33554432000 4194304 4580107 140736320337664 18446744073709551615 47438737872409 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651552242 52396032 351 33554432000 4194304 4580107 140736320337664 18446744073709551615 47438737872812 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0387771 s]
/proc/loadavg: 8.14 8.04 6.89 5/275 26084
/proc/meminfo: memFree=20951644/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=365836 CPUtime=0.12 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 10873 0 0 0 9 3 0 0 18 0 4 0 651552242 374616064 8828 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984735 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 91459 8865 337 95 0 86441 0
[pid=26084/tid=26086] ppid=26082 vsize=365836 CPUtime=0.03 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) S 26082 26084 25944 0 -1 4202560 2556 0 0 0 2 1 0 0 25 0 4 0 651552242 374616064 8885 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984686 0 0 4096 2 18446604453960970368 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=365836 CPUtime=0.02 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 2646 0 0 0 2 0 0 0 18 0 4 0 651552242 374616064 8898 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=365836 CPUtime=0.01 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) S 26082 26084 25944 0 -1 4202560 2799 0 0 0 1 0 0 0 18 0 4 0 651552242 374616064 9002 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984686 0 0 4096 2 18446604453960970368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 365836

[startup+0.103633 s]
/proc/loadavg: 8.14 8.04 6.89 5/275 26084
/proc/meminfo: memFree=20951644/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=368508 CPUtime=0.33 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) S 26082 26084 25944 0 -1 4202496 14645 0 0 0 22 11 0 0 17 0 4 0 651552242 377352192 12600 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984686 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 92127 12617 337 95 0 87109 0
[pid=26084/tid=26086] ppid=26082 vsize=368508 CPUtime=0.07 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 3431 0 0 0 5 2 0 0 17 0 4 0 651552242 377352192 12627 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=368508 CPUtime=0.08 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 3517 0 0 0 6 2 0 0 17 0 4 0 651552242 377352192 12642 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=368508 CPUtime=0.07 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) S 26082 26084 25944 0 -1 4202560 3693 0 0 0 5 2 0 0 17 0 4 0 651552242 377352192 12657 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984686 0 0 4096 2 18446604453960970368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 368508

[startup+0.313938 s]
/proc/loadavg: 8.14 8.04 6.89 5/275 26084
/proc/meminfo: memFree=20951644/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=392440 CPUtime=1.13 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 27015 0 0 0 96 17 0 0 18 0 4 0 651552242 401858560 23884 33554432000 4194304 4580107 140736320337664 18446744073709551615 4423666 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 98110 23892 372 95 0 93092 0
[pid=26084/tid=26086] ppid=26082 vsize=392440 CPUtime=0.27 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 6973 0 0 0 22 5 0 0 18 0 4 0 651552242 401858560 23896 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=392440 CPUtime=0.28 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 8158 0 0 0 25 3 0 0 18 0 4 0 651552242 401858560 23901 33554432000 4194304 4580107 140736320337664 18446744073709551615 4415763 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=392440 CPUtime=0.27 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) S 26082 26084 25944 0 -1 4202560 3976 0 0 0 25 2 0 0 18 0 4 0 651552242 401858560 23905 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278984686 0 0 4096 2 18446604453960970368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 392440

[startup+1.13444 s]
/proc/loadavg: 8.14 8.04 6.89 5/275 26084
/proc/meminfo: memFree=20951644/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=388148 CPUtime=4.41 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 31820 0 0 0 423 18 0 0 19 0 4 0 651552242 397463552 24857 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 97037 24857 377 95 0 92019 0
[pid=26084/tid=26086] ppid=26082 vsize=388148 CPUtime=1.09 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 8675 0 0 0 104 5 0 0 19 0 4 0 651552242 397463552 24857 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=388148 CPUtime=1.1 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 9407 0 0 0 107 3 0 0 19 0 4 0 651552242 397463552 24857 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=388148 CPUtime=1.09 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 4629 0 0 0 106 3 0 0 19 0 4 0 651552242 397463552 24857 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 388148

[startup+1.50038 s]
/proc/loadavg: 8.14 8.04 6.89 5/275 26084
/proc/meminfo: memFree=20951644/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=388148 CPUtime=5.88 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 32864 0 0 0 569 19 0 0 19 0 4 0 651552242 397463552 25901 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 97037 25901 377 95 0 92019 0
[pid=26084/tid=26086] ppid=26082 vsize=388148 CPUtime=1.46 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 8951 0 0 0 141 5 0 0 19 0 4 0 651552242 397463552 25901 33554432000 4194304 4580107 140736320337664 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=388148 CPUtime=1.48 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 9661 0 0 0 144 4 0 0 19 0 4 0 651552242 397463552 25901 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=388148 CPUtime=1.46 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 4882 0 0 0 143 3 0 0 19 0 4 0 651552242 397463552 25901 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 388148

[startup+3.10109 s]
/proc/loadavg: 8.13 8.04 6.89 9/279 26089
/proc/meminfo: memFree=20814220/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=519412 CPUtime=12.27 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 37630 0 0 0 1207 20 0 0 23 0 4 0 651552242 531877888 30667 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 129853 30667 377 95 0 124835 0
[pid=26084/tid=26086] ppid=26082 vsize=519412 CPUtime=3.07 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 10181 0 0 0 301 6 0 0 25 0 4 0 651552242 531877888 30667 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=519412 CPUtime=3.07 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 10900 0 0 0 303 4 0 0 24 0 4 0 651552242 531877888 30668 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=519412 CPUtime=3.04 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 5995 0 0 0 301 3 0 0 24 0 4 0 651552242 531877888 30668 33554432000 4194304 4580107 140736320337664 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 519412

[startup+6.30052 s]
/proc/loadavg: 8.13 8.04 6.89 9/279 26089
/proc/meminfo: memFree=20732012/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=519412 CPUtime=25.03 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 46211 0 0 0 2481 22 0 0 25 0 4 0 651552242 531877888 39248 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 129853 39248 377 95 0 124835 0
[pid=26084/tid=26086] ppid=26082 vsize=519412 CPUtime=6.26 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 12335 0 0 0 620 6 0 0 25 0 4 0 651552242 531877888 39248 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=519412 CPUtime=6.27 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 13015 0 0 0 622 5 0 0 25 0 4 0 651552242 531877888 39248 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=519412 CPUtime=6.21 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 8080 0 0 0 618 3 0 0 25 0 4 0 651552242 531877888 39249 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 519412

[startup+12.7104 s]
/proc/loadavg: 8.11 8.03 6.90 9/279 26090
/proc/meminfo: memFree=20606748/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=648684 CPUtime=50.61 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 92798 0 0 0 5028 33 0 0 22 0 4 0 651552242 664252416 66201 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 162171 66203 379 95 0 157153 0
[pid=26084/tid=26086] ppid=26082 vsize=648684 CPUtime=12.66 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 28884 0 0 0 1256 10 0 0 25 0 4 0 651552242 664252416 66206 33554432000 4194304 4580107 140736320337664 18446744073709551615 237278540485 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=648684 CPUtime=12.68 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 18470 0 0 0 1262 6 0 0 25 0 4 0 651552242 664252416 66211 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=648684 CPUtime=12.56 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 13381 0 0 0 1252 4 0 0 25 0 4 0 651552242 664252416 66215 33554432000 4194304 4580107 140736320337664 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 648684

[startup+25.5011 s]
/proc/loadavg: 8.09 8.03 6.91 9/279 26090
/proc/meminfo: memFree=20485604/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=498420 CPUtime=101.67 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 158746 0 0 0 10118 49 0 0 25 0 4 0 651552242 510382080 83350 33554432000 4194304 4580107 140736320337664 18446744073709551615 4401345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 124605 83350 379 95 0 119587 0
[pid=26084/tid=26086] ppid=26082 vsize=498420 CPUtime=25.39 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 48505 0 0 0 2524 15 0 0 25 0 4 0 651552242 510382080 83350 33554432000 4194304 4580107 140736320337664 18446744073709551615 4414485 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=498420 CPUtime=25.47 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 34150 0 0 0 2536 11 0 0 25 0 4 0 651552242 510382080 83350 33554432000 4194304 4580107 140736320337664 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=498420 CPUtime=25.33 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 32588 0 0 0 2524 9 0 0 25 0 4 0 651552242 510382080 83350 33554432000 4194304 4580107 140736320337664 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 498420

[startup+51.1006 s]
/proc/loadavg: 8.06 8.03 6.94 9/279 26091
/proc/meminfo: memFree=20265400/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=828592 CPUtime=203.88 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 238485 0 0 0 20320 68 0 0 25 0 4 0 651552242 848478208 130756 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 207148 130756 379 95 0 202130 0
[pid=26084/tid=26086] ppid=26082 vsize=828592 CPUtime=50.78 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 64817 0 0 0 5059 19 0 0 25 0 4 0 651552242 848478208 130757 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=828592 CPUtime=51.08 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 55794 0 0 0 5092 16 0 0 25 0 4 0 651552242 848478208 130757 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=828592 CPUtime=50.94 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 49550 0 0 0 5081 13 0 0 25 0 4 0 651552242 848478208 130757 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 828592

[startup+102.3 s]
/proc/loadavg: 8.10 8.04 7.01 9/279 26092
/proc/meminfo: memFree=20106284/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1021028 CPUtime=408.22 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 350523 0 0 0 40725 97 0 0 25 0 4 0 651552242 1045532672 165674 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 255257 165674 379 95 0 250239 0
[pid=26084/tid=26086] ppid=26082 vsize=1021028 CPUtime=101.55 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 94292 0 0 0 10129 26 0 0 25 0 4 0 651552242 1045532672 165674 33554432000 4194304 4580107 140736320337664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1021028 CPUtime=102.27 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 85081 0 0 0 10203 24 0 0 25 0 4 0 651552242 1045532672 165674 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1021028 CPUtime=102.12 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 71593 0 0 0 10193 19 0 0 25 0 4 0 651552242 1045532672 165674 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 1021028

[startup+162.31 s]

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

[pid=26084] ppid=26082 vsize=1241752 CPUtime=2562.84 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1341655 0 0 0 255876 408 0 0 25 0 4 0 651552242 1271554048 245417 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 310438 245417 379 95 0 305420 0
[pid=26084/tid=26086] ppid=26082 vsize=1241752 CPUtime=636.96 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 353610 0 0 0 63590 106 0 0 25 0 4 0 651552242 1271554048 245417 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1241752 CPUtime=641.76 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 326166 0 0 0 64070 106 0 0 25 0 4 0 651552242 1271554048 245417 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1241752 CPUtime=641.92 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 324469 0 0 0 64098 94 0 0 25 0 4 0 651552242 1271554048 245417 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.84
Current children cumulated vsize (KiB) 1241752

[startup+702.301 s]
/proc/loadavg: 8.05 8.10 7.52 9/279 26120
/proc/meminfo: memFree=19492648/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1429000 CPUtime=2802.36 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1447776 0 0 0 279798 438 0 0 25 0 4 0 651552242 1463296000 255920 33554432000 4194304 4580107 140736320337664 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 357250 255920 379 95 0 352232 0
[pid=26084/tid=26086] ppid=26082 vsize=1429000 CPUtime=696.47 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 379372 0 0 0 69533 114 0 0 25 0 4 0 651552242 1463296000 255920 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1429000 CPUtime=701.77 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 351001 0 0 0 70063 114 0 0 25 0 4 0 651552242 1463296000 255920 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1429000 CPUtime=701.93 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 353015 0 0 0 70092 101 0 0 25 0 4 0 651552242 1463296000 255920 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.36
Current children cumulated vsize (KiB) 1429000

[startup+762.301 s]
/proc/loadavg: 8.12 8.11 7.56 9/279 26122
/proc/meminfo: memFree=19505160/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1243064 CPUtime=3041.83 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1546417 0 0 0 303712 471 0 0 25 0 4 0 651552242 1272897536 254089 33554432000 4194304 4580107 140736320337664 18446744073709551615 4501064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 310766 254089 379 95 0 305748 0
[pid=26084/tid=26086] ppid=26082 vsize=1243064 CPUtime=755.97 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 405665 0 0 0 75475 122 0 0 25 0 4 0 651552242 1272897536 254089 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1243064 CPUtime=761.76 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 379088 0 0 0 76053 123 0 0 25 0 4 0 651552242 1272897536 254089 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1243064 CPUtime=761.93 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 373309 0 0 0 76085 108 0 0 25 0 4 0 651552242 1272897536 254089 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.83
Current children cumulated vsize (KiB) 1243064

[startup+822.31 s]
/proc/loadavg: 8.12 8.10 7.59 9/279 26123
/proc/meminfo: memFree=19505016/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1257472 CPUtime=3281.35 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1640564 0 0 0 327628 507 0 0 25 0 4 0 651552242 1287651328 251372 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 314368 251372 379 95 0 309350 0
[pid=26084/tid=26086] ppid=26082 vsize=1257472 CPUtime=815.48 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 425974 0 0 0 81418 130 0 0 25 0 4 0 651552242 1287651328 251372 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1257472 CPUtime=821.76 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 403219 0 0 0 82044 132 0 0 25 0 4 0 651552242 1287651328 251372 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1257472 CPUtime=821.94 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 397911 0 0 0 82077 117 0 0 25 0 4 0 651552242 1287651328 251372 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.35
Current children cumulated vsize (KiB) 1257472

[startup+882.301 s]
/proc/loadavg: 8.17 8.11 7.62 9/279 26125
/proc/meminfo: memFree=19159252/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1478576 CPUtime=3520.8 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1762752 0 0 0 351541 539 0 0 25 0 4 0 651552242 1514061824 307253 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 369644 307253 379 95 0 364626 0
[pid=26084/tid=26086] ppid=26082 vsize=1478576 CPUtime=874.99 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 453432 0 0 0 87361 138 0 0 25 0 4 0 651552242 1514061824 307253 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1478576 CPUtime=881.75 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 447802 0 0 0 88033 142 0 0 25 0 4 0 651552242 1514061824 307253 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1478576 CPUtime=881.92 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 423198 0 0 0 88070 122 0 0 25 0 4 0 651552242 1514061824 307253 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293797 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.8
Current children cumulated vsize (KiB) 1478576

[startup+942.301 s]
/proc/loadavg: 8.13 8.11 7.65 9/279 26126
/proc/meminfo: memFree=19201400/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1466244 CPUtime=3760.3 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1865186 0 0 0 375460 570 0 0 25 0 4 0 651552242 1501433856 293746 33554432000 4194304 4580107 140736320337664 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 366561 293746 379 95 0 361543 0
[pid=26084/tid=26086] ppid=26082 vsize=1466244 CPUtime=934.49 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 476941 0 0 0 93304 145 0 0 25 0 4 0 651552242 1501433856 293746 33554432000 4194304 4580107 140736320337664 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1466244 CPUtime=941.75 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 471829 0 0 0 94025 150 0 0 25 0 4 0 651552242 1501433856 293746 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1466244 CPUtime=941.92 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 450703 0 0 0 94061 131 0 0 25 0 4 0 651552242 1501433856 293746 33554432000 4194304 4580107 140736320337664 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.3
Current children cumulated vsize (KiB) 1466244

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 7.67 9/279 26128
/proc/meminfo: memFree=19268200/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1453664 CPUtime=3999.78 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 1962955 0 0 0 399374 604 0 0 25 0 4 0 651552242 1488551936 276183 33554432000 4194304 4580107 140736320337664 18446744073709551615 4295888 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 363416 276183 379 95 0 358398 0
[pid=26084/tid=26086] ppid=26082 vsize=1453664 CPUtime=994.01 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 503671 0 0 0 99247 154 0 0 25 0 4 0 651552242 1488551936 276183 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1453664 CPUtime=1001.75 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 495643 0 0 0 100016 159 0 0 25 0 4 0 651552242 1488551936 276183 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1453664 CPUtime=1001.91 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 474264 0 0 0 100051 140 0 0 25 0 4 0 651552242 1488551936 276183 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.78
Current children cumulated vsize (KiB) 1453664

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 7.70 9/279 26130
/proc/meminfo: memFree=18904988/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1674156 CPUtime=4239.27 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 2114250 0 0 0 423280 647 0 0 25 0 4 0 651552242 1714335744 354168 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 418539 354168 379 95 0 413521 0
[pid=26084/tid=26086] ppid=26082 vsize=1674156 CPUtime=1053.51 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 548718 0 0 0 105186 165 0 0 25 0 4 0 651552242 1714335744 354168 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1674156 CPUtime=1061.74 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 521677 0 0 0 106006 168 0 0 25 0 4 0 651552242 1714335744 354169 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1674156 CPUtime=1061.91 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 517183 0 0 0 106041 150 0 0 25 0 4 0 651552242 1714335744 354170 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.27
Current children cumulated vsize (KiB) 1674156

[startup+1122.3 s]
/proc/loadavg: 8.13 8.10 7.72 9/279 26131
/proc/meminfo: memFree=18925540/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1679068 CPUtime=4478.77 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 2219840 0 0 0 447194 683 0 0 25 0 4 0 651552242 1719365632 346576 33554432000 4194304 4580107 140736320337664 18446744073709551615 4292956 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 419767 346576 379 95 0 414749 0
[pid=26084/tid=26086] ppid=26082 vsize=1679068 CPUtime=1113.01 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 575101 0 0 0 111125 176 0 0 25 0 4 0 651552242 1719365632 346576 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1679068 CPUtime=1121.74 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 546957 0 0 0 111998 176 0 0 25 0 4 0 651552242 1719365632 346576 33554432000 4194304 4580107 140736320337664 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1679068 CPUtime=1121.91 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 544043 0 0 0 112034 157 0 0 25 0 4 0 651552242 1719365632 346576 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.77
Current children cumulated vsize (KiB) 1679068

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 7.74 9/279 26133
/proc/meminfo: memFree=18867252/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1622468 CPUtime=4718.24 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 2322985 0 0 0 471109 715 0 0 25 0 4 0 651552242 1661407232 334593 33554432000 4194304 4580107 140736320337664 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 405617 334593 379 95 0 400599 0
[pid=26084/tid=26086] ppid=26082 vsize=1622468 CPUtime=1172.51 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 600298 0 0 0 117068 183 0 0 25 0 4 0 651552242 1661407232 334593 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1622468 CPUtime=1181.74 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 573212 0 0 0 117989 185 0 0 25 0 4 0 651552242 1661407232 334593 33554432000 4194304 4580107 140736320337664 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1622468 CPUtime=1181.9 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 569828 0 0 0 118024 166 0 0 25 0 4 0 651552242 1661407232 334593 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.24
Current children cumulated vsize (KiB) 1622468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.03 8.08 7.74 6/274 26135
/proc/meminfo: memFree=19548780/32950904 swapFree=67057400/67111528
[pid=26084] ppid=26082 vsize=1737924 CPUtime=4800.13 cores=0,2,4,6
/proc/26084/stat : 26084 (strangenight2-m) R 26082 26084 25944 0 -1 4202496 2357813 0 0 0 479287 726 0 0 25 0 4 0 651552242 1779634176 352890 33554432000 4194304 4580107 140736320337664 18446744073709551615 4306033 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26084/statm: 434481 352890 379 95 0 429463 0
[pid=26084/tid=26086] ppid=26082 vsize=1737924 CPUtime=1192.85 cores=0,2,4,6
/proc/26084/task/26086/stat : 26086 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 609609 0 0 0 119099 186 0 0 25 0 4 0 651552242 1779634176 352891 33554432000 4194304 4580107 140736320337664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26084/tid=26087] ppid=26082 vsize=1737924 CPUtime=1202.26 cores=0,2,4,6
/proc/26084/task/26087/stat : 26087 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 581419 0 0 0 120038 188 0 0 25 0 4 0 651552242 1779634176 352891 33554432000 4194304 4580107 140736320337664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26084/tid=26088] ppid=26082 vsize=1737924 CPUtime=1202.42 cores=0,2,4,6
/proc/26084/task/26088/stat : 26088 (strangenight2-m) R 26082 26084 25944 0 -1 4202560 578412 0 0 0 120073 169 0 0 25 0 4 0 651552242 1779634176 352891 33554432000 4194304 4580107 140736320337664 18446744073709551615 4321072 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1737924

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.9
CPU time (s): 4800.24
CPU user time (s): 4792.9
CPU system time (s): 7.34488
CPU usage (%): 399.056
Max. virtual memory (cumulated for all children) (KiB): 1748568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.9
system time used= 7.34488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2357819
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= 18604
involuntary context switches= 21480

runsolver used 2.85057 second user time and 7.02493 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-14 20:58:45
IDJOB=3366239
IDBENCH=82648
IDSOLVER=1844
FILE ID=node121/3366239-1305399525
RUNJOBID= node121-1305398320-25962
PBS_JOBID= 13324487
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= fa8f767b93a18fbf678b4d0ea0994bed
RANDOM SEED=705009002

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:     32950904 kB
MemFree:      20951924 kB
Buffers:        298840 kB
Cached:        5964400 kB
SwapCached:       7656 kB
Active:        6433804 kB
Inactive:      5213420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20951924 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           12476 kB
Writeback:           0 kB
AnonPages:     5381592 kB
Mapped:          21900 kB
Slab:           265232 kB
PageTables:      24176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30741064 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= 73420 MiB
End job on node121 at 2011-05-14 21:18:50