Trace number 3173830

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.27 1201.77

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.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-3173830-1304031465.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.76/0.21	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.76/0.21	c -- vars added      20000
0.76/0.21	c Parsing time:  0.05 s
0.76/0.21	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.76/0.21	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.76/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.76/0.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.76/0.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.76/0.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.76/0.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
1.13/0.35	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
3.53/0.96	c lits-rem:         0  cl-subs:        0  v-elim:    504  v-fix:    0  time:  0.14 s
3.53/0.96	c Finding binary XORs  T:     0.00 s  found:       0
3.53/0.96	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.53/0.96	c calculated reachability. Time: 0.00
3.53/0.96	c Calc default polars -  time:   0.01 s pos:    8894 undec:    2215 neg:    8891
3.53/0.96	c =========================================================================================
3.53/0.96	c types(t): F = full restart, N = normal restart
3.53/0.96	c types(t): S = simplification begin/end, E = solution found
3.53/0.96	c restart types(rt): st = static, dy = dynamic
3.53/0.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.53/0.96	c  B st     0         0     19496     83430         0         0    253438         0   no data   no data
6.32/1.62	c  N dy    21      4058     19496     83430         0      4058    253438    924768    129.23    172.51
11.12/2.82	c  N dy    48      8059     19496     83430         0      8059    253438   1780726    133.08    140.10
15.91/4.06	c  N dy    74     12169     19496     83430         0     12169    253438   2610443    131.90    146.56
21.11/5.32	c  N dy   101     16238     19496     83430         0     16237    253438   3437478    130.70    141.39
26.32/6.63	c  N dy   127     20257     19496     83430         0     10258    253438    607815    130.32    140.78
31.09/7.85	c  N dy   153     24262     19496     83430         0     14263    253438   1404433    129.69    145.67
31.88/8.07	c  F st   157     25001     19496     83430         0     15002    253438   1550419    129.30    108.95
36.28/9.16	c  N st   162     28302     19496     83430         0     18303    253438   2398169    129.30   no data
38.68/9.78	c  S st   163     30000     19496     83430         0     20001    253438   2891408    129.30   no data
39.50/9.94	c  S st   163     30505     19496     83430         0     20506    253438   2960291    129.30   no data
39.50/9.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.87/10.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
39.87/10.06	c blocked clauses removed:      396 vars:     61 tried:       19496 T: 0.01 s
39.87/10.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.87/10.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.87/10.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19435 time:  0.00 s
39.87/10.09	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
40.27/10.18	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.09 s
41.07/10.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
44.27/11.14	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.73 s
44.67/11.24	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
44.67/11.25	c calculated reachability. Time: 0.00
44.67/11.25	c  N dy   163     30505     19424     83024         0     20232    252290   2869964    129.30   no data
50.26/12.66	c  N dy   191     34536     19424     83024         0     24263    252290   3727734    130.16    137.31
56.26/14.11	c  N dy   216     38629     19424     83024         0     28356    252290   4579808    130.07    142.62
61.85/15.52	c  N dy   238     42742     19424     83024         0     17106    252290   1004775    129.38    141.20
65.86/16.51	c  S st   260     45758     19424     83024         0     20122    252290   1634455    129.80    106.90
66.24/16.67	c  S st   260     46263     19424     83024         0     20627    252290   1704893    129.80   no data
66.24/16.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.64/16.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
66.64/16.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.64/16.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
67.04/16.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.04/16.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
67.04/16.81	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
67.43/16.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
67.82/17.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
68.61/17.26	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.23 s
68.61/17.27	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
69.01/17.30	c vivif2 --  cl tried    20626 cl shrink        0 lits rem          0 time: 0.03
69.41/17.40	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
69.41/17.41	c calculated reachability. Time: 0.00
69.41/17.41	c  N dy   260     46263     19424     83024         0     20626    252290   1703850    129.80   no data
75.00/18.80	c  N dy   289     50322     19424     83024         0     24685    252290   2557783    130.10    137.53
80.20/20.19	c  N dy   316     54392     19424     83024         0     28754    252290   3397752    130.11    137.25
86.19/21.63	c  N dy   342     58487     19424     83024         0     32849    252290   4250151    130.23    137.37
91.80/23.10	c  N dy   366     62556     19424     83024         0     36918    252290   5059894    130.08    140.28
97.37/24.47	c  N dy   390     66659     19424     83024         0     22335    252290   1381864    129.93    138.60
101.37/25.43	c  S st   410     69394     19424     83024         0     25070    252290   1967114    130.19    105.66
102.17/25.61	c  S st   410     69900     19424     83024         0     25576    252290   2044987    130.19   no data
102.17/25.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
102.57/25.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
102.57/25.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.57/25.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
102.57/25.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
102.57/25.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
102.57/25.76	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
102.97/25.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
103.37/25.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.99/26.33	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.37 s
104.99/26.34	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
104.99/26.37	c vivif2 --  cl tried    25575 cl shrink        0 lits rem          0 time: 0.03
105.39/26.48	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.11
105.39/26.48	c calculated reachability. Time: 0.00
105.39/26.48	c  N dy   410     69900     19424     83024         0     25575    252290   2044279    130.19   no data
111.76/28.03	c  N dy   437     74366     19424     83024         0     30041    252290   2979565    130.33    144.99
118.57/29.76	c  N dy   472     79154     19424     83024         0     34829    252290   3991592    130.60    140.97
126.13/31.64	c  N dy   506     84329     19424     83024         0     40004    252290   5013713    130.41    138.47
130.93/32.83	c  F st   530     87500     19424     83024         0     22337    252290    925827    130.42    105.98
135.74/34.02	c  N st   535     90798     19424     83024         0     25634    252290   1828445    130.42   no data
144.11/36.10	c  N dy   565     96669     19424     83024         0     31505    252290   3175969    130.50    137.96
152.90/38.33	c  N dy   601    102909     19424     83024         0     37745    252290   4472899    130.45    138.23
155.70/39.04	c  S st   615    104850     19424     83024         0     39686    252290   4863122    130.44   no data
156.50/39.24	c  S st   615    105357     19424     83024         0     40193    252290   4934134    130.44   no data
156.50/39.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.90/39.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
156.90/39.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.90/39.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
156.90/39.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
156.90/39.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
157.30/39.40	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
157.71/39.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
158.49/39.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
164.88/41.33	c lits-rem:        45  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.53 s
164.88/41.34	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
165.28/41.42	c vivif2 --  cl tried    40187 cl shrink        0 lits rem          0 time: 0.08
165.68/41.55	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.13
165.68/41.55	c calculated reachability. Time: 0.00
165.68/41.55	c  N dy   615    105357     19424     83024         0     40187    252290   4932531    130.44   no data
176.06/44.12	c  N dy   659    112174     19424     83024         0     24586    252290   1019971    130.39    140.98
186.45/46.75	c  N dy   705    119580     19424     83024         0     31991    252290   2514116    130.26    140.78
197.66/49.58	c  N dy   755    127270     19424     83024         0     39681    252290   4083172    130.38    147.82
210.44/52.73	c  N dy   814    135453     19424     83024         0     24157    252290    640716    130.43    138.27
222.40/55.73	c  N dy   872    144102     19424     83024         0     32805    252290   2424211    130.51    138.46
236.39/59.24	c  N dy   932    153577     19424     83024         0     42280    252290   4364111    130.50    137.95
243.17/60.92	c  S st   962    158038     19424     83024         0     46741    252290   5284105    130.51    111.28
243.97/61.12	c  S st   962    158539     19424     83024         0     47242    252290   5367583    130.51   no data
243.97/61.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
244.37/61.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
244.37/61.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.37/61.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
244.37/61.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
244.37/61.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
244.37/61.29	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
245.18/61.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
246.37/61.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
254.77/63.81	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.09 s
254.77/63.82	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
255.16/63.90	c vivif2 --  cl tried    47238 cl shrink        0 lits rem          0 time: 0.09
255.56/64.04	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
255.56/64.05	c calculated reachability. Time: 0.00
255.56/64.05	c  N dy   962    158539     19424     83024         0     47238    252290   5366052    130.51   no data
270.34/67.76	c  N dy  1027    168769     19424     83024         0     32612    252290   2103649    130.48    139.40
286.32/71.78	c  N dy  1098    179555     19424     83024         0     43398    252290   4326243    130.43    137.47
303.89/76.16	c  N dy  1178    191035     19424     83024         0     28946    252290   1098335    130.46    138.57
321.87/80.69	c  N dy  1266    203343     19424     83024         0     41254    252290   3665687    130.52    141.37
342.26/85.77	c  N dy  1354    216343     19424     83024         0     27292    252290    558343    130.60    137.85
362.62/90.82	c  N dy  1448    230166     19424     83024         0     41114    252290   3454573    130.65    142.61
374.19/93.76	c  S st  1500    237811     19424     83024         0     48758    252290   5024623    130.67   no data
374.99/93.98	c  S st  1500    238316     19424     83024         0     49263    252290   5104679    130.67   no data
375.39/94.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
375.79/94.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
375.79/94.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
375.79/94.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
375.79/94.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
375.79/94.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
375.79/94.15	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
376.20/94.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
377.41/94.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
385.78/96.68	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.14 s
385.78/96.69	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
386.20/96.78	c vivif2 --  cl tried    49257 cl shrink        0 lits rem          0 time: 0.08
386.98/96.92	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
386.98/96.93	c calculated reachability. Time: 0.00
386.98/96.93	c  N dy  1500    238316     19424     83024         0     49257    252290   5102739    130.67   no data
409.75/102.69	c  N dy  1598    253575     19424     83024         0     36537    252290   2221703    130.59    138.85
434.94/108.93	c  N dy  1704    269839     19424     83024         0     52801    252290   5600460    130.64    140.85
461.68/115.61	c  N dy  1807    287191     19424     83024         0     41159    252290   2945348    130.45    138.15
490.84/122.91	c  N dy  1929    305636     19424     83024         0     59604    252290   6760770    130.45    137.38
491.65/123.18	c  F st  1934    306250     19424     83024         0     30227    252290    499950    130.45   no data
520.40/130.31	c  N dy  2034    325145     19424     83024         0     49119    252290   4703663    130.50    142.96
551.97/138.27	c  N dy  2174    345195     19424     83024         0     38170    252290   1937453    130.68    143.60
571.16/143.01	c  S st  2259    357474     19424     83024         0     50448    252290   4512500    130.72   no data
571.93/143.22	c  S st  2259    357976     19424     83024         0     50950    252290   4582102    130.72   no data
571.93/143.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
572.33/143.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
572.33/143.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
572.33/143.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
572.33/143.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
572.33/143.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
572.33/143.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
573.13/143.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
573.93/143.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
585.91/146.78	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.04 s
585.91/146.79	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
586.31/146.87	c vivif2 --  cl tried    50946 cl shrink        0 lits rem          0 time: 0.07
587.11/147.01	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
587.11/147.02	c calculated reachability. Time: 0.00
587.11/147.02	c  N dy  2259    357976     19424     83024         0     50946    252290   4580671    130.72   no data
619.09/155.06	c  N dy  2401    378037     19424     83024         0     39009    252290   1892727    130.77    137.74
651.82/163.27	c  N dy  2547    398068     19424     83024         0     59039    252290   6125634    130.97    146.58
683.38/171.18	c  N dy  2685    418227     19424     83024         0     46205    252290   3212426    131.07    143.33
716.53/179.47	c  N dy  2819    438474     19424     83024         0     66452    252290   7451802    131.13    141.61
748.09/187.33	c  N dy  2956    458556     19424     83024         0     52532    252290   4277536    131.19    156.68
782.05/195.80	c  N dy  3089    478807     19424     83024         0     37787    252290   1036807    131.19    141.27
813.59/203.72	c  N dy  3224    498999     19424     83024         0     57978    252290   5213748    131.16    139.48
846.74/212.01	c  N dy  3357    519083     19424     83024         0     42065    252290   1706818    131.22    139.17
875.10/219.15	c  S st  3478    536965     19424     83024         0     59947    252290   5446887    131.27   no data
875.90/219.38	c  S st  3478    537466     19424     83024         0     60448    252290   5522467    131.27   no data
875.90/219.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
876.70/219.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.12
876.70/219.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
876.70/219.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
876.70/219.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
876.70/219.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
876.70/219.56	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
877.10/219.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
878.32/219.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
889.89/222.83	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.85 s
889.89/222.84	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
890.29/222.93	c vivif2 --  cl tried    60443 cl shrink        0 lits rem          0 time: 0.09
890.69/223.09	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.16
890.69/223.10	c calculated reachability. Time: 0.00
891.09/223.10	c  N dy  3478    537466     19424     83024         0     60443    252290   5520338    131.27   no data
924.64/231.51	c  N dy  3609    557474     19424     83024         0     43451    252290   1778112    131.27    138.39
957.41/239.72	c  N dy  3751    577482     19424     83024         0     63456    252290   6004231    131.39    138.79
990.95/248.10	c  N dy  3884    597566     19424     83024         0     45542    252290   2004698    131.43    140.46
1023.31/256.29	c  N dy  4023    617622     19424     83024         0     65597    252290   6108320    131.45    138.49
1057.65/264.87	c  N dy  4168    637686     19424     83024         0     46660    252290   2065482    131.53    150.20
1090.41/273.06	c  N dy  4297    657702     19424     83024         0     66674    252290   6245906    131.54    139.36
1124.78/281.61	c  N dy  4435    677729     19424     83024         0     46700    252290   1861836    131.54    138.47
1159.11/290.20	c  N dy  4577    697846     19424     83024         0     66817    252290   6049704    131.56    149.10
1194.27/299.08	c  N dy  4715    717929     19424     83024         0     45904    252290   1486359    131.58    141.10
1227.42/307.36	c  N dy  4850    738057     19424     83024         0     66031    252290   5649304    131.59    147.88
1263.37/316.39	c  N dy  4991    758130     19424     83024         0     44102    252290    903460    131.63    155.25
1295.74/324.43	c  N dy  5120    778193     19424     83024         0     64164    252290   5054325    131.60    141.74
1331.68/333.40	c  N dy  5253    798198     19424     83024         0     84168    252290   9207991    131.60    138.84
1344.85/336.76	c  S st  5310    806200     19424     83024         0     49174    252290   1754506    131.61   no data
1345.65/336.98	c  S st  5310    806703     19424     83024         0     49677    252290   1836559    131.61   no data
1345.65/336.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1346.45/337.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1346.45/337.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1346.45/337.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1346.45/337.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1346.45/337.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
1346.45/337.15	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1346.85/337.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1347.24/337.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1350.04/338.05	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.71 s
1350.04/338.06	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
1350.04/338.09	c vivif2 --  cl tried    49675 cl shrink        0 lits rem          0 time: 0.03
1350.84/338.24	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
1350.84/338.24	c calculated reachability. Time: 0.00
1350.84/338.24	c  N dy  5310    806703     19424     83024         0     49675    252290   1836261    131.61   no data
1384.02/346.53	c  N dy  5439    826742     19424     83024         0     69714    252290   5956085    131.60    138.98
1421.14/355.80	c  N dy  5566    846830     19424     83024         0     45802    252290    847913    131.60    139.98
1453.92/364.03	c  N dy  5702    866903     19424     83024         0     65874    252290   5031074    131.58    160.99
1490.65/373.20	c  N dy  5836    887058     19424     83024         0     86029    252290   9243581    131.61    138.72
1524.23/381.64	c  N dy  5966    907138     19424     83024         0     61110    252290   3833562    131.60    140.86
1559.78/390.50	c  N dy  6103    927222     19424     83024         0     81193    252290   8002487    131.62    140.42
1595.70/399.53	c  N dy  6241    947373     19424     83024         0     55346    252290   2383777    131.63    141.89
1630.45/408.25	c  N dy  6379    967443     19424     83024         0     75413    252290   6667522    131.67    144.87
1668.40/417.73	c  N dy  6512    987532     19424     83024         0     48504    252290    771341    131.68    142.46
1701.15/425.98	c  N dy  6636   1007573     19424     83024         0     68541    252290   4971788    131.68    144.28
1737.51/435.09	c  N dy  6764   1027667     19424     83024         0     88634    252290   9192032    131.68    171.76
1772.65/443.88	c  N dy  6893   1047744     19424     83024         0     60720    252290   3114175    131.66    142.58
1808.21/452.74	c  N dy  7022   1067759     19424     83024         0     80734    252290   7303900    131.66    138.63
1815.79/454.64	c  F st  7045   1071875     19424     83024         0     84850    252290   8142437    131.65    121.60
1845.75/462.12	c  N dy  7120   1087775     19424     83024         0     51751    252290   1040685    131.65    143.45
1879.31/470.55	c  N dy  7257   1107884     19424     83024         0     71858    252290   5174943    131.64    140.17
1917.25/480.07	c  N dy  7404   1127963     19424     83024         0     91936    252290   9383441    131.68    138.82
1953.21/489.06	c  N dy  7533   1147980     19424     83024         0     61954    252290   2961748    131.68    163.26
1989.16/498.03	c  N dy  7676   1167987     19424     83024         0     81961    252290   7118608    131.70    166.64
2028.30/507.87	c  N dy  7811   1188020     19424     83024         0    101992    252290  11316366    131.72    139.37
2062.25/516.38	c  N dy  7940   1208071     19424     83024         0     71042    252290   4655822    131.69    139.88
2066.24/517.33	c  S st  7952   1210055     19424     83024         0     73026    252290   5048583    131.68   no data
2067.44/517.61	c  S st  7952   1210558     19424     83024         0     73529    252290   5124593    131.68   no data
2067.44/517.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2067.84/517.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
2067.84/517.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2067.84/517.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2068.24/517.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2068.24/517.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
2068.24/517.82	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2068.64/517.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2069.83/518.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2081.82/521.28	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.03 s
2081.82/521.29	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
2082.23/521.38	c vivif2 --  cl tried    73528 cl shrink        0 lits rem          0 time: 0.09
2083.01/521.57	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.19
2083.01/521.58	c calculated reachability. Time: 0.00
2083.01/521.58	c  N dy  7952   1210558     19424     83024         0     73528    252290   5124436    131.68   no data
2120.97/531.07	c  N dy  8084   1230626     19424     83024         0     93595    252290   9311916    131.69    144.70
2158.12/540.32	c  N dy  8222   1250681     19424     83024         0     61648    252290   2484297    131.69    140.24
2194.07/549.34	c  N dy  8361   1270888     19424     83024         0     81854    252290   6734025    131.71    141.06
2233.61/559.21	c  N dy  8499   1290969     19424     83024         0    101933    252290  10957554    131.75    139.37
2269.16/568.17	c  N dy  8639   1311045     19424     83024         0     69014    252290   3914844    131.77    171.24
2306.32/577.41	c  N dy  8770   1331094     19424     83024         0     89062    252290   8101787    131.80    142.24
2347.05/587.66	c  N dy  8909   1351110     19424     83024         0     55079    252290    729307    131.81    138.89
2381.42/596.26	c  N dy  9040   1371159     19424     83024         0     75128    252290   4829650    131.79    141.21
2419.75/605.81	c  N dy  9178   1391162     19424     83024         0     95128    252290   8990886    131.80    139.40
2459.30/615.74	c  N dy  9316   1411214     19424     83024         0     60182    252290   1557455    131.81    143.26
2494.85/624.65	c  N dy  9454   1431307     19424     83024         0     80275    252290   5829972    131.88    141.34
2533.59/634.39	c  N dy  9597   1451404     19424     83024         0    100371    252290  10043571    131.90    149.16
2572.33/644.05	c  N dy  9734   1471424     19424     83024         0     64397    252290   2296788    131.93    140.76
2608.69/653.10	c  N dy  9872   1491539     19424     83024         0     84511    252290   6456019    131.93    142.07
2648.23/663.00	c  N dy 10007   1511579     19424     83024         0    104550    252290  10713403    131.95    140.67
2686.58/672.64	c  N dy 10149   1531613     19424     83024         0     67596    252290   2757199    131.98    144.78
2723.32/681.81	c  N dy 10283   1551707     19424     83024         0     87686    252290   6930078    131.99    138.94
2763.69/691.90	c  N dy 10417   1571789     19424     83024         0    107768    252290  11146459    132.00    143.73
2801.61/701.42	c  N dy 10557   1591796     19424     83024         0     69772    252290   3042095    132.03    143.94
2838.76/710.73	c  N dy 10694   1611880     19424     83024         0     89855    252290   7213410    132.04    147.88
2879.11/720.88	c  N dy 10822   1631943     19424     83024         0    109918    252290  11478537    132.06    156.78
2917.48/730.48	c  N dy 10959   1652014     19424     83024         0     70991    252290   3081736    132.07    139.47
2955.00/739.80	c  N dy 11095   1672094     19424     83024         0     91068    252290   7304679    132.09    141.74
2995.74/750.04	c  N dy 11229   1692230     19424     83024         0    111202    252290  11528575    132.09    149.87
3031.32/758.96	c  S st 11349   1710559     19424     83024         0     69529    252290   2561574    132.10   no data
3032.49/759.20	c  S st 11349   1711060     19424     83024         0     70030    252290   2639247    132.10   no data
3032.49/759.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3032.89/759.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3032.89/759.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3032.89/759.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3032.89/759.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3032.89/759.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
3032.89/759.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3033.29/759.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3034.09/759.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3040.88/761.35	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.72 s
3040.88/761.37	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
3041.28/761.42	c vivif2 --  cl tried    70028 cl shrink        0 lits rem          0 time: 0.05
3042.08/761.60	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.18
3042.08/761.61	c calculated reachability. Time: 0.00
3042.08/761.61	c  N dy 11349   1711060     19424     83024         0     70028    252290   2638731    132.10   no data
3080.05/771.14	c  N dy 11484   1731382     19424     83024         0     90349    252290   6845561    132.08    144.81
3120.77/781.39	c  N dy 11621   1751507     19424     83024         0    110471    252290  11125979    132.11    144.90
3161.11/791.48	c  N dy 11755   1771525     19424     83024         0     69489    252290   2343208    132.14    162.16
3198.28/800.72	c  N dy 11886   1791617     19424     83024         0     89579    252290   6525537    132.14    139.80
3239.00/810.93	c  N dy 12033   1811656     19424     83024         0    109616    252290  10706714    132.16    140.68
3280.95/821.47	c  N dy 12175   1831826     19424     83024         0     67790    252290   1746672    132.18    139.75
3318.89/830.94	c  N dy 12309   1851855     19424     83024         0     87818    252290   6010548    132.20    141.27
3359.23/841.02	c  N dy 12447   1871946     19424     83024         0    107908    252290  10199734    132.21    152.22
3402.37/851.83	c  N dy 12584   1891972     19424     83024         0     64934    252290    956407    132.21    139.42
3438.32/860.89	c  N dy 12722   1912080     19424     83024         0     85041    252290   5202115    132.23    140.58
3478.66/870.90	c  N dy 12861   1932294     19424     83024         0    105253    252290   9442512    132.25    143.27
3521.80/881.72	c  N dy 12989   1952382     19424     83024         0    125341    252290  13663632    132.25    140.16
3559.75/891.26	c  N dy 13134   1972569     19424     83024         0     81537    252290   4268905    132.27    142.96
3599.30/901.14	c  N dy 13277   1992623     19424     83024         0    101591    252290   8515674    132.28    155.70
3642.46/911.94	c  N dy 13415   2012884     19424     83024         0    121851    252290  12728800    132.28    139.81
3682.00/921.85	c  N dy 13550   2032924     19424     83024         0     76890    252290   3006107    132.28    149.85
3720.33/931.43	c  N dy 13682   2053051     19424     83024         0     97016    252290   7211377    132.28    140.63
3761.47/941.75	c  N dy 13808   2073069     19424     83024         0    117034    252290  11367819    132.27    139.46
3804.21/952.48	c  N dy 13935   2093157     19424     83024         0     71127    252290   1648888    132.27    145.59
3841.76/961.81	c  N dy 14060   2113161     19424     83024         0     91130    252290   5749595    132.25    139.90
3882.49/972.07	c  N dy 14196   2133355     19424     83024         0    111321    252290   9977175    132.27    140.42
3926.83/983.16	c  N dy 14331   2153362     19424     83024         0    131325    252290  14135964    132.28    143.97
3964.78/992.69	c  N dy 14474   2173391     19424     83024         0     84357    252290   4280854    132.30    142.63
4004.73/1002.62	c  N dy 14604   2193489     19424     83024         0    104454    252290   8543097    132.30    141.63
4042.30/1012.04	c  S st 14722   2211061     19424     83024         0    122026    252290  12273452    132.31   no data
4043.47/1012.36	c  S st 14722   2211563     19424     83024         0    122528    252290  12342166    132.31   no data
4043.47/1012.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4044.27/1012.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4044.27/1012.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4044.27/1012.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4044.67/1012.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4044.67/1012.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19424 time:  0.01 s
4044.67/1012.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4045.48/1012.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4048.27/1013.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4077.05/1020.73	c lits-rem:         5  cl-subs:       16  v-elim:      0  v-fix:    0  time:  7.20 s
4077.05/1020.74	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
4077.83/1020.97	c vivif2 --  cl tried   122512 cl shrink        0 lits rem          0 time: 0.22
4079.03/1021.26	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.29
4079.03/1021.26	c calculated reachability. Time: 0.00
4079.03/1021.27	c  N dy 14722   2211563     19424     83024         0    122512    252290  12334868    132.31   no data
4125.39/1032.84	c  N dy 14857   2231642     19424     83024         0     74600    252290   1957598    132.32    141.10
4164.14/1042.59	c  N dy 14999   2251872     19424     83024         0     94829    252290   6288199    132.35    140.47
4206.49/1053.10	c  N dy 15141   2272003     19424     83024         0    114956    252290  10546379    132.38    141.76
4252.03/1064.54	c  N dy 15275   2292290     19424     83024         0    135242    252290  14777883    132.37    139.56
4290.79/1074.26	c  N dy 15422   2312365     19424     83024         0     86312    252290   4264273    132.41    143.17
4330.33/1084.18	c  N dy 15553   2332440     19424     83024         0    106385    252290   8404481    132.40    182.76
4374.68/1095.22	c  N dy 15697   2352539     19424     83024         0    126484    252290  12612917    132.42    143.36
4419.03/1106.33	c  N dy 15846   2372643     19424     83024         0     76592    252290   1994199    132.44    141.05
4457.38/1115.95	c  N dy 15982   2392796     19424     83024         0     96742    252290   6242552    132.46    139.63
4498.53/1126.30	c  N dy 16111   2412820     19424     83024         0    116766    252290  10532762    132.48    142.57
4544.47/1137.74	c  N dy 16246   2432877     19424     83024         0    136820    252290  14760104    132.49    141.01
4584.83/1147.86	c  N dy 16387   2452888     19424     83024         0     85837    252290   3738735    132.52    140.75
4625.18/1157.94	c  N dy 16530   2473039     19424     83024         0    105988    252290   7977136    132.53    146.64
4668.72/1168.83	c  N dy 16666   2493139     19424     83024         0    126088    252290  12165539    132.53    140.05
4715.07/1180.44	c  N dy 16798   2513175     19424     83024         0     74127    252290   1054995    132.53    141.49
4753.03/1189.91	c  N dy 16938   2533216     19424     83024         0     94168    252290   5315931    132.56    150.18
4794.17/1200.27	c  N dy 17070   2553254     19424     83024         0    114206    252290   9538612    132.55    139.61

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-3173830-1304031465/watcher-3173830-1304031465 -o /tmp/evaluation-result-3173830-1304031465/solver-3173830-1304031465 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173830-1304031465.cnf 

running on 4 cores: 1,3,5,7

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.72 7.98 7.60 5/180 28171
/proc/meminfo: memFree=27004932/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 514745025 52441088 348 33554432000 4194304 4627427 140736265056416 18446744073709551615 47297784432556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 12803 348 299 106 0 7774 0
[pid=28171/tid=28172] ppid=28169 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514745025 52441088 348 33554432000 4194304 4627427 140736265056416 18446744073709551615 47297784432552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514745025 52441088 348 33554432000 4194304 4627427 140736265056416 18446744073709551615 47297784432556 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514745025 52441088 348 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.07299 s]
/proc/loadavg: 7.72 7.98 7.60 5/180 28171
/proc/meminfo: memFree=27004932/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=367036 CPUtime=0.23 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) S 28169 28171 27869 0 -1 4202496 13207 0 0 0 16 7 0 0 18 0 4 0 514745025 375844864 11127 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 91759 11153 339 106 0 86730 0
[pid=28171/tid=28172] ppid=28169 vsize=367036 CPUtime=0.06 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 3188 0 0 0 5 1 0 0 18 0 4 0 514745025 375844864 11164 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204344520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=367036 CPUtime=0.05 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) S 28169 28171 27869 0 -1 4202560 3288 0 0 0 3 2 0 0 18 0 4 0 514745025 375844864 11179 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204752366 0 0 4096 2 18446604460157421760 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=367036 CPUtime=0.05 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) S 28169 28171 27869 0 -1 4202560 3238 0 0 0 4 1 0 0 18 0 4 0 514745025 375844864 11187 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204752366 0 0 4096 2 18446604460157421760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 367036

[startup+0.102367 s]
/proc/loadavg: 7.72 7.98 7.60 5/180 28171
/proc/meminfo: memFree=27004932/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=368316 CPUtime=0.34 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) S 28169 28171 27869 0 -1 4202496 15001 0 0 0 23 11 0 0 17 0 4 0 514745025 377155584 12921 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 92079 12921 353 106 0 87050 0
[pid=28171/tid=28172] ppid=28169 vsize=368316 CPUtime=0.07 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 3562 0 0 0 6 1 0 0 17 0 4 0 514745025 377155584 12921 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=368316 CPUtime=0.08 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 3782 0 0 0 5 3 0 0 17 0 4 0 514745025 377155584 12921 33554432000 4194304 4627427 140736265056416 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=368316 CPUtime=0.08 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) S 28169 28171 27869 0 -1 4202560 3708 0 0 0 6 2 0 0 17 0 4 0 514745025 377155584 12921 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204752366 0 0 4096 2 18446604460157421760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 368316

[startup+0.300958 s]
/proc/loadavg: 7.72 7.98 7.60 5/180 28171
/proc/meminfo: memFree=27004932/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=388696 CPUtime=1.13 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 27465 0 0 0 100 13 0 0 18 0 4 0 514745025 398024704 24448 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204344390 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 97174 24448 379 106 0 92145 0
[pid=28171/tid=28172] ppid=28169 vsize=388696 CPUtime=0.28 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 7796 0 0 0 26 2 0 0 18 0 4 0 514745025 398024704 24448 33554432000 4194304 4627427 140736265056416 18446744073709551615 4467828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=388696 CPUtime=0.27 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 7758 0 0 0 24 3 0 0 18 0 4 0 514745025 398024704 24448 33554432000 4194304 4627427 140736265056416 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=390140 CPUtime=0.27 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 3920 0 0 0 25 2 0 0 18 0 4 0 514745025 399503360 24448 33554432000 4194304 4627427 140736265056416 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 388696

[startup+0.700889 s]
/proc/loadavg: 7.72 7.98 7.60 5/180 28171
/proc/meminfo: memFree=27004932/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=386744 CPUtime=2.73 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 30334 0 0 0 259 14 0 0 18 0 4 0 514745025 396025856 23228 33554432000 4194304 4627427 140736265056416 18446744073709551615 4333268 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 96686 23228 385 106 0 91657 0
[pid=28171/tid=28172] ppid=28169 vsize=386744 CPUtime=0.67 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 8555 0 0 0 65 2 0 0 18 0 4 0 514745025 396025856 23228 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=386744 CPUtime=0.67 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 8221 0 0 0 64 3 0 0 18 0 4 0 514745025 396025856 23228 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=386744 CPUtime=0.67 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 4263 0 0 0 65 2 0 0 18 0 4 0 514745025 396025856 23228 33554432000 4194304 4627427 140736265056416 18446744073709551615 4321340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 386744

[startup+1.50075 s]
/proc/loadavg: 7.72 7.98 7.60 9/184 28175
/proc/meminfo: memFree=26919836/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=386744 CPUtime=5.92 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 32880 0 0 0 578 14 0 0 19 0 4 0 514745025 396025856 25754 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 96686 25755 385 106 0 91657 0
[pid=28171/tid=28172] ppid=28169 vsize=386744 CPUtime=1.47 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 9196 0 0 0 145 2 0 0 19 0 4 0 514745025 396025856 25755 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=386744 CPUtime=1.47 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 8898 0 0 0 144 3 0 0 19 0 4 0 514745025 396025856 25755 33554432000 4194304 4627427 140736265056416 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=386744 CPUtime=1.46 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 4827 0 0 0 144 2 0 0 19 0 4 0 514745025 396025856 25755 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 386744

[startup+3.10049 s]
/proc/loadavg: 7.72 7.98 7.60 9/184 28175
/proc/meminfo: memFree=26897516/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=518960 CPUtime=12.31 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 37797 0 0 0 1216 15 0 0 25 0 4 0 514745025 531415040 30671 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 129740 30671 385 106 0 124711 0
[pid=28171/tid=28172] ppid=28169 vsize=518960 CPUtime=3.08 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 10355 0 0 0 305 3 0 0 24 0 4 0 514745025 531415040 30671 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=518960 CPUtime=3.07 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 10041 0 0 0 304 3 0 0 23 0 4 0 514745025 531415040 30671 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=518960 CPUtime=3.06 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 6171 0 0 0 303 3 0 0 25 0 4 0 514745025 531415040 30671 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308213 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 518960

[startup+6.30095 s]
/proc/loadavg: 7.74 7.98 7.60 9/184 28175
/proc/meminfo: memFree=26873708/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=492572 CPUtime=25.1 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 47499 0 0 0 2492 18 0 0 25 0 4 0 514745025 504393728 35721 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 123143 35721 386 106 0 118114 0
[pid=28171/tid=28172] ppid=28169 vsize=492572 CPUtime=6.28 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 12530 0 0 0 625 3 0 0 25 0 4 0 514745025 504393728 35721 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204315855 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=492572 CPUtime=6.27 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 12126 0 0 0 623 4 0 0 25 0 4 0 514745025 504393728 35721 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=492572 CPUtime=6.24 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 9415 0 0 0 621 3 0 0 25 0 4 0 514745025 504393728 35721 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 492572

[startup+12.7009 s]
/proc/loadavg: 7.76 7.98 7.60 9/184 28175
/proc/meminfo: memFree=26803080/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=746140 CPUtime=50.67 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 96994 0 0 0 5038 29 0 0 25 0 4 0 514745025 764047360 70910 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 186535 70914 390 106 0 181506 0
[pid=28171/tid=28172] ppid=28169 vsize=746140 CPUtime=12.68 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 32879 0 0 0 1261 7 0 0 25 0 4 0 514745025 764047360 70915 33554432000 4194304 4627427 140736265056416 18446744073709551615 210204344075 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=746140 CPUtime=12.67 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 17580 0 0 0 1262 5 0 0 25 0 4 0 514745025 764047360 70915 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=746140 CPUtime=12.61 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 13679 0 0 0 1256 5 0 0 25 0 4 0 514745025 764047360 70916 33554432000 4194304 4627427 140736265056416 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 746140

[startup+25.5007 s]
/proc/loadavg: 7.88 8.00 7.62 9/184 28175
/proc/meminfo: memFree=26578276/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=545508 CPUtime=101.77 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 159398 0 0 0 10131 46 0 0 25 0 4 0 514745025 558600192 85341 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 136377 85341 390 106 0 131348 0
[pid=28171/tid=28172] ppid=28169 vsize=545508 CPUtime=25.48 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 48543 0 0 0 2537 11 0 0 25 0 4 0 514745025 558600192 85341 33554432000 4194304 4627427 140736265056416 18446744073709551615 4415593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=545508 CPUtime=25.47 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 33687 0 0 0 2538 9 0 0 25 0 4 0 514745025 558600192 85341 33554432000 4194304 4627427 140736265056416 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=545508 CPUtime=25.32 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 32076 0 0 0 2521 11 0 0 25 0 4 0 514745025 558600192 85341 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 545508

[startup+51.1004 s]
/proc/loadavg: 7.92 8.00 7.63 9/184 28176
/proc/meminfo: memFree=26367768/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=812108 CPUtime=204.03 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 244752 0 0 0 20334 69 0 0 25 0 4 0 514745025 831598592 135486 33554432000 4194304 4627427 140736265056416 18446744073709551615 4322548 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 203027 135486 390 106 0 197998 0
[pid=28171/tid=28172] ppid=28169 vsize=812108 CPUtime=51.07 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 69233 0 0 0 5090 17 0 0 25 0 4 0 514745025 831598592 135486 33554432000 4194304 4627427 140736265056416 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=812108 CPUtime=51.07 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 52183 0 0 0 5094 13 0 0 25 0 4 0 514745025 831598592 135486 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=812108 CPUtime=50.78 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 54241 0 0 0 5061 17 0 0 25 0 4 0 514745025 831598592 135486 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 812108

[startup+102.307 s]
/proc/loadavg: 8.01 8.01 7.65 9/184 28177
/proc/meminfo: memFree=26244108/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=851740 CPUtime=408.57 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 349084 0 0 0 40754 103 0 0 25 0 4 0 514745025 872181760 159739 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 212935 159740 390 106 0 207906 0
[pid=28171/tid=28172] ppid=28169 vsize=851740 CPUtime=102.29 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 99532 0 0 0 10201 28 0 0 25 0 4 0 514745025 872181760 159740 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=851740 CPUtime=102.28 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 82026 0 0 0 10206 22 0 0 25 0 4 0 514745025 872181760 159740 33554432000 4194304 4627427 140736265056416 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=851740 CPUtime=101.7 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 76086 0 0 0 10146 24 0 0 25 0 4 0 514745025 872181760 159740 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308668 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 851740

[startup+162.301 s]

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

[pid=28171] ppid=28169 vsize=1341964 CPUtime=2805.21 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 1431528 0 0 0 280057 464 0 0 25 0 4 0 514745025 1374171136 270707 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 335491 270707 390 106 0 330462 0
[pid=28171/tid=28172] ppid=28169 vsize=1341964 CPUtime=702.26 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 375135 0 0 0 70104 122 0 0 25 0 4 0 514745025 1374171136 270707 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1341964 CPUtime=702.24 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 343225 0 0 0 70114 110 0 0 25 0 4 0 514745025 1374171136 270707 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1341964 CPUtime=698.42 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 360099 0 0 0 69729 113 0 0 25 0 4 0 514745025 1374171136 270707 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.21
Current children cumulated vsize (KiB) 1341964

[startup+762.306 s]
/proc/loadavg: 8.14 8.08 7.86 9/184 28207
/proc/meminfo: memFree=25440468/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1343000 CPUtime=3044.89 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 1517788 0 0 0 303990 499 0 0 25 0 4 0 514745025 1375232000 274367 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 335750 274367 390 106 0 330721 0
[pid=28171/tid=28172] ppid=28169 vsize=1343000 CPUtime=762.26 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 397061 0 0 0 76096 130 0 0 25 0 4 0 514745025 1375232000 274367 33554432000 4194304 4627427 140736265056416 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1343000 CPUtime=762.25 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 364636 0 0 0 76105 120 0 0 25 0 4 0 514745025 1375232000 274367 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1343000 CPUtime=758.09 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 382861 0 0 0 75686 123 0 0 25 0 4 0 514745025 1375232000 274367 33554432000 4194304 4627427 140736265056416 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.89
Current children cumulated vsize (KiB) 1343000

[startup+822.3 s]
/proc/loadavg: 8.22 8.11 7.88 9/184 28209
/proc/meminfo: memFree=25401252/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1461560 CPUtime=3284.53 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 1628871 0 0 0 327916 537 0 0 25 0 4 0 514745025 1496637440 296255 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 365390 296255 390 106 0 360361 0
[pid=28171/tid=28172] ppid=28169 vsize=1461560 CPUtime=822.26 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 420286 0 0 0 82087 139 0 0 25 0 4 0 514745025 1496637440 296255 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1461560 CPUtime=822.24 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 408229 0 0 0 82091 133 0 0 25 0 4 0 514745025 1496637440 296255 33554432000 4194304 4627427 140736265056416 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1461560 CPUtime=817.76 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 402342 0 0 0 81645 131 0 0 25 0 4 0 514745025 1496637440 296255 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.53
Current children cumulated vsize (KiB) 1461560

[startup+882.3 s]
/proc/loadavg: 8.16 8.12 7.89 9/184 28210
/proc/meminfo: memFree=25317016/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1462568 CPUtime=3524.2 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 1725317 0 0 0 351848 572 0 0 25 0 4 0 514745025 1497669632 300206 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 365642 300206 390 106 0 360613 0
[pid=28171/tid=28172] ppid=28169 vsize=1462568 CPUtime=882.26 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 445735 0 0 0 88077 149 0 0 25 0 4 0 514745025 1497669632 300206 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1462568 CPUtime=882.24 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 433649 0 0 0 88084 140 0 0 25 0 4 0 514745025 1497669632 300206 33554432000 4194304 4627427 140736265056416 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1462568 CPUtime=877.42 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 426003 0 0 0 87602 140 0 0 25 0 4 0 514745025 1497669632 300206 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.2
Current children cumulated vsize (KiB) 1462568

[startup+942.3 s]
/proc/loadavg: 8.13 8.12 7.91 9/184 28212
/proc/meminfo: memFree=25318216/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1534520 CPUtime=3763.86 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 1825179 0 0 0 375780 606 0 0 25 0 4 0 514745025 1571348480 305890 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 383630 305890 390 106 0 378601 0
[pid=28171/tid=28172] ppid=28169 vsize=1534520 CPUtime=942.25 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 466982 0 0 0 94069 156 0 0 25 0 4 0 514745025 1571348480 305890 33554432000 4194304 4627427 140736265056416 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1534520 CPUtime=942.23 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 461160 0 0 0 94075 148 0 0 25 0 4 0 514745025 1571348480 305890 33554432000 4194304 4627427 140736265056416 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1534520 CPUtime=937.11 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 449610 0 0 0 93562 149 0 0 25 0 4 0 514745025 1571348480 305890 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.86
Current children cumulated vsize (KiB) 1534520

[startup+1002.3 s]
/proc/loadavg: 7.47 7.98 7.87 5/175 28231
/proc/meminfo: memFree=26195364/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1521712 CPUtime=4003.53 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 1922004 0 0 0 399713 640 0 0 25 0 4 0 514745025 1558233088 302474 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 380428 302474 390 106 0 375399 0
[pid=28171/tid=28172] ppid=28169 vsize=1521712 CPUtime=1002.25 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 490889 0 0 0 100060 165 0 0 25 0 4 0 514745025 1558233088 302474 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1521712 CPUtime=1002.23 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 487218 0 0 0 100066 157 0 0 25 0 4 0 514745025 1558233088 302474 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1521712 CPUtime=996.78 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 469108 0 0 0 99522 156 0 0 25 0 4 0 514745025 1558233088 302474 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.53
Current children cumulated vsize (KiB) 1521712

[startup+1062.3 s]
/proc/loadavg: 5.27 7.25 7.63 5/175 28233
/proc/meminfo: memFree=25874356/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1816888 CPUtime=4243.24 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 2072250 0 0 0 423638 686 0 0 25 0 4 0 514745025 1860493312 383420 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 454222 383420 390 106 0 449193 0
[pid=28171/tid=28172] ppid=28169 vsize=1816888 CPUtime=1062.25 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 543261 0 0 0 106043 182 0 0 25 0 4 0 514745025 1860493312 383420 33554432000 4194304 4627427 140736265056416 18446744073709551615 4507264 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1816888 CPUtime=1062.24 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 510584 0 0 0 106057 167 0 0 25 0 4 0 514745025 1860493312 383420 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1816888 CPUtime=1056.49 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 513938 0 0 0 105483 166 0 0 25 0 4 0 514745025 1860493312 383420 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 1816888

[startup+1122.3 s]
/proc/loadavg: 4.47 6.66 7.40 5/175 28235
/proc/meminfo: memFree=25972908/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1690840 CPUtime=4482.94 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 2168286 0 0 0 447571 723 0 0 25 0 4 0 514745025 1731420160 357855 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 422710 357855 390 106 0 417681 0
[pid=28171/tid=28172] ppid=28169 vsize=1690840 CPUtime=1122.24 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 570742 0 0 0 112032 192 0 0 25 0 4 0 514745025 1731420160 357855 33554432000 4194304 4627427 140736265056416 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1690840 CPUtime=1122.22 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 529487 0 0 0 112049 173 0 0 25 0 4 0 514745025 1731420160 357855 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1690840 CPUtime=1116.21 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 540275 0 0 0 111444 177 0 0 25 0 4 0 514745025 1731420160 357855 33554432000 4194304 4627427 140736265056416 18446744073709551615 4330110 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1690840

[startup+1182.3 s]
/proc/loadavg: 4.24 6.19 7.19 5/175 28236
/proc/meminfo: memFree=25961488/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1691564 CPUtime=4722.66 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 2263782 0 0 0 471508 758 0 0 25 0 4 0 514745025 1732161536 361969 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 422891 361969 390 106 0 417862 0
[pid=28171/tid=28172] ppid=28169 vsize=1691564 CPUtime=1182.24 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 596888 0 0 0 118021 203 0 0 25 0 4 0 514745025 1732161536 361969 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1691564 CPUtime=1182.22 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 551402 0 0 0 118040 182 0 0 25 0 4 0 514745025 1732161536 361969 33554432000 4194304 4627427 140736265056416 18446744073709551615 4330039 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1691564 CPUtime=1175.94 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 565274 0 0 0 117409 185 0 0 25 0 4 0 514745025 1732161536 361969 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.66
Current children cumulated vsize (KiB) 1691564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.17 6.04 7.12 5/175 28237
/proc/meminfo: memFree=25952060/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1807052 CPUtime=4800.18 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 2294142 0 0 0 479249 769 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 451763 362729 390 106 0 446734 0
[pid=28171/tid=28172] ppid=28169 vsize=1807052 CPUtime=1201.64 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 604954 0 0 0 119958 206 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1807052 CPUtime=1201.63 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 556816 0 0 0 119979 184 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1807052 CPUtime=1195.25 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 574046 0 0 0 119337 188 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1807052

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: 4.17 6.04 7.12 5/175 28237
/proc/meminfo: memFree=25952060/32951124 swapFree=67088964/67111528
[pid=28171] ppid=28169 vsize=1807052 CPUtime=4800.18 cores=1,3,5,7
/proc/28171/stat : 28171 (strangenight2-m) R 28169 28171 27869 0 -1 4202496 2294142 0 0 0 479249 769 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28171/statm: 451763 362729 390 106 0 446734 0
[pid=28171/tid=28172] ppid=28169 vsize=1807052 CPUtime=1201.64 cores=1,3,5,7
/proc/28171/task/28172/stat : 28172 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 604954 0 0 0 119958 206 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28171/tid=28173] ppid=28169 vsize=1807052 CPUtime=1201.63 cores=1,3,5,7
/proc/28171/task/28173/stat : 28173 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 556816 0 0 0 119979 184 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28171/tid=28174] ppid=28169 vsize=1807052 CPUtime=1195.25 cores=1,3,5,7
/proc/28171/task/28174/stat : 28174 (strangenight2-m) R 28169 28171 27869 0 -1 4202560 574046 0 0 0 119337 188 0 0 25 0 4 0 514745025 1850421248 362729 33554432000 4194304 4627427 140736265056416 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1807052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.27
CPU user time (s): 4792.52
CPU system time (s): 7.75782
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 1816888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.52
system time used= 7.75782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2294146
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= 17327
involuntary context switches= 31431

runsolver used 1.76673 second user time and 4.6213 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 00:57:45
IDJOB=3173830
IDBENCH=82648
IDSOLVER=1586
FILE ID=node130/3173830-1304031465
RUNJOBID= node130-1304028687-27889
PBS_JOBID= 13170322
Free space on /tmp= 71988 MiB

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

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

MD5SUM BENCH= fa8f767b93a18fbf678b4d0ea0994bed
RANDOM SEED=1593747427

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27005212 kB
Buffers:       1123624 kB
Cached:        3917472 kB
SwapCached:      22432 kB
Active:         668564 kB
Inactive:      4854748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27005212 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:            7088 kB
Writeback:          40 kB
AnonPages:      459828 kB
Mapped:          15692 kB
Slab:           358360 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   784608 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= 71988 MiB
End job on node130 at 2011-04-29 01:17:49