Trace number 3366136

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.31 1202.38

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf
MD5SUM33c09da85657b6bbed23989098d6baf7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.0704
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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-3366136-1305396632.cnf'
0.00/0.01	c -- header says num vars:          30000
0.00/0.01	c -- header says num clauses:      126000
0.00/0.10	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.00/0.10	c -- vars added      30000
0.00/0.10	c Parsing time:  0.09 s
0.00/0.10	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.00/0.22	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.12
0.00/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.00/0.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
0.00/0.38	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.12/0.60	c lits-rem:         0  cl-subs:        0  v-elim:    774  v-fix:    0  time:  0.21 s
1.12/0.60	c Finding binary XORs  T:     0.01 s  found:       0
1.12/0.70	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.12/0.70	c calculated reachability. Time: 0.00
1.12/0.70	c Calc default polars -  time:   0.01 s pos:   13091 undec:    3369 neg:   13540
1.12/0.70	c =========================================================================================
1.12/0.70	c types(t): F = full restart, N = normal restart
1.12/0.70	c types(t): S = simplification begin/end, E = solution found
1.12/0.70	c restart types(rt): st = static, dy = dynamic
1.12/0.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.12/0.70	c  B st     0         0     29226    125173         0         0    380290         0   no data   no data
9.15/2.33	c  N dy    20      4187     29226    125173         0      4187    380290   1139600    148.01    158.65
15.56/3.95	c  N dy    50      8194     29226    125173         0      8194    380290   2112950    153.72    181.06
22.32/5.66	c  N dy    78     12347     29226    125173         0     12347    380290   3071548    152.96    163.78
29.51/7.47	c  N dy   105     16606     29226    125173         0     16605    380290   4032211    151.73    161.36
37.10/9.36	c  N dy   134     20910     29226    125173         0     10911    380290    816437    151.87    160.29
43.88/11.02	c  N dy   162     24942     29226    125173         0     14942    380290   1776762    152.16    167.72
43.88/11.05	c  F st   163     25000     29226    125173         0     15000    380290   1791913    152.23   no data
53.07/13.38	c  N dy   169     30000     29226    125173         0     20000    380290   3470195    152.23   no data
53.07/13.38	c  S st   169     30000     29226    125173         0     20000    380290   3470195    152.23   no data
54.27/13.60	c  S st   169     30504     29226    125173         0     20504    380290   3557038    152.23   no data
54.27/13.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
54.27/13.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
54.67/13.74	c blocked clauses removed:      701 vars:    108 tried:       29226 T: 0.02 s
54.67/13.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
54.67/13.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
54.67/13.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29118 time:  0.01 s
54.67/13.78	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
55.49/13.91	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.13 s
56.27/14.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
59.89/15.01	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.80 s
60.25/15.16	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.15
60.25/15.17	c calculated reachability. Time: 0.00
60.25/15.17	c  N dy   169     30504     29098    124455         0     19874    378273   3180310    152.23   no data
67.44/16.98	c  N dy   198     34514     29098    124455         0     23884    378273   4159392    152.93    161.25
75.43/18.97	c  N dy   232     38583     29098    124455         0     27953    378273   5170785    153.90    164.64
83.01/20.84	c  N dy   257     42595     29098    124455         0     16778    378273   1082393    153.71    165.77
88.20/22.19	c  S st   277     45757     29098    124455         0     19940    378273   1848421    153.44   no data
89.40/22.41	c  S st   277     46257     29098    124455         0     20440    378273   1937069    153.44   no data
89.40/22.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
89.80/22.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
89.80/22.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.80/22.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
89.80/22.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
89.80/22.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
89.80/22.57	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
90.21/22.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
90.99/22.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.20/23.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.27 s
92.20/23.12	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
92.20/23.15	c vivif2 --  cl tried    20440 cl shrink        0 lits rem          0 time: 0.03
93.00/23.31	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.15
93.00/23.31	c calculated reachability. Time: 0.00
93.00/23.31	c  N dy   277     46257     29098    124455         0     20440    378273   1937069    153.44   no data
100.17/25.15	c  N dy   307     50353     29098    124455         0     24535    378273   2907538    153.77    163.74
107.79/27.01	c  N dy   336     54364     29098    124455         0     28546    378273   3891279    154.25    169.95
115.35/28.94	c  N dy   365     58444     29098    124455         0     32626    378273   4883841    154.54    221.44
122.94/30.87	c  N dy   390     62525     29098    124455         0     36707    378273   5847231    154.45    173.36
130.51/32.74	c  N dy   420     66574     29098    124455         0     22165    378273   1579421    154.92    164.23
135.71/34.04	c  S st   439     69386     29098    124455         0     24976    378273   2245022    154.89   no data
136.50/34.27	c  S st   439     69889     29098    124455         0     25479    378273   2338605    154.89   no data
136.50/34.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
136.90/34.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
137.30/34.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.30/34.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
137.30/34.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
137.30/34.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
137.30/34.44	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
137.70/34.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
138.10/34.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
140.09/35.12	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.40 s
140.09/35.13	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
140.09/35.18	c vivif2 --  cl tried    25479 cl shrink        0 lits rem          0 time: 0.04
140.89/35.33	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.16
140.89/35.34	c calculated reachability. Time: 0.00
140.89/35.34	c  N dy   439     69889     29098    124455         0     25479    378273   2338602    154.89   no data
149.28/37.47	c  N dy   473     74481     29098    124455         0     30071    378273   3466981    155.24    165.37
158.87/39.80	c  N dy   508     79366     29098    124455         0     34955    378273   4646466    155.37    163.91
168.45/42.28	c  N dy   541     84610     29098    124455         0     40196    378273   5884969    155.11    164.04
174.07/43.68	c  F st   560     87503     29098    124455         0     22300    378273   1011006    155.15   no data
180.83/45.32	c  N st   565     90803     29098    124455         0     25599    378273   2110251    155.15   no data
191.99/48.15	c  N dy   593     96637     29098    124455         0     31433    378273   3945466    155.22    178.64
203.98/51.14	c  N dy   637    102831     29098    124455         0     37627    378273   5477643    155.64    178.30
207.98/52.15	c  S st   652    104833     29098    124455         0     39629    378273   5959137    155.68   no data
208.79/52.40	c  S st   652    105335     29098    124455         0     40131    378273   6035162    155.68   no data
209.20/52.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
209.57/52.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
209.57/52.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
209.57/52.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
209.57/52.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
209.57/52.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
209.57/52.59	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
210.37/52.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
211.57/53.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
218.75/54.81	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.69 s
218.75/54.83	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
219.15/54.93	c vivif2 --  cl tried    40126 cl shrink        0 lits rem          0 time: 0.10
219.95/55.12	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.18
219.95/55.12	c calculated reachability. Time: 0.00
219.95/55.12	c  N dy   652    105335     29098    124455         0     40126    378273   6032157    155.68   no data
233.52/58.59	c  N dy   706    112122     29098    124455         0     24518    378273   1185581    156.14    170.03
247.50/62.00	c  N dy   756    119357     29098    124455         0     31753    378273   2898654    156.06    190.18
261.91/65.66	c  N dy   806    126988     29098    124455         0     39383    378273   4749802    156.18    195.96
278.64/69.80	c  N dy   857    135259     29098    124455         0     23952    378273    653579    156.11    165.23
294.62/73.86	c  N dy   919    143896     29098    124455         0     32589    378273   2707668    156.16    165.80
312.58/78.38	c  N dy   981    153196     29098    124455         0     41888    378273   4945024    156.12    165.20
322.16/80.78	c  S st  1016    158005     29098    124455         0     46695    378273   6113404    156.21   no data
323.38/81.03	c  S st  1016    158510     29098    124455         0     47200    378273   6201629    156.21   no data
323.38/81.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
323.75/81.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
323.75/81.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
323.75/81.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
324.15/81.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
324.15/81.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
324.15/81.23	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
324.55/81.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
326.15/81.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
334.94/83.99	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.23 s
335.34/84.01	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
335.74/84.12	c vivif2 --  cl tried    47197 cl shrink        0 lits rem          0 time: 0.11
336.56/84.32	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.19
336.56/84.32	c calculated reachability. Time: 0.00
336.56/84.33	c  N dy  1016    158510     29098    124455         0     47197    378273   6198712    156.21   no data
356.10/89.26	c  N dy  1085    168689     29098    124455         0     32533    378273   2459926    156.38    164.78
377.26/94.51	c  N dy  1157    179490     29098    124455         0     43334    378273   5041364    156.31    165.48
400.42/100.37	c  N dy  1238    191050     29098    124455         0     28970    378273   1264047    156.39    173.65
424.40/106.37	c  N dy  1318    203396     29098    124455         0     41316    378273   4227482    156.28    174.19
451.52/113.12	c  N dy  1407    216669     29098    124455         0     27631    378273    678813    156.24    172.93
478.27/119.88	c  N dy  1508    230503     29098    124455         0     41465    378273   4104686    156.49    165.52
493.45/123.61	c  S st  1562    237765     29098    124455         0     48727    378273   5873135    156.61   no data
494.26/123.89	c  S st  1562    238266     29098    124455         0     49228    378273   5978234    156.61   no data
494.67/123.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
495.04/124.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
495.04/124.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
495.04/124.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
495.04/124.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
495.04/124.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
495.04/124.09	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
495.83/124.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
497.03/124.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
506.62/126.94	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.34 s
506.62/126.96	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
507.02/127.06	c vivif2 --  cl tried    49222 cl shrink        0 lits rem          0 time: 0.10
507.85/127.26	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.20
507.85/127.27	c calculated reachability. Time: 0.00
507.85/127.27	c  N dy  1562    238266     29098    124455         0     49222    378273   5973220    156.61   no data
538.59/134.94	c  N dy  1664    253570     29098    124455         0     36544    378273   2557571    156.57    169.62
571.30/143.18	c  N dy  1788    269756     29098    124455         0     52730    378273   6448293    156.69    165.70
606.04/151.83	c  N dy  1899    287020     29098    124455         0     41000    378273   3376988    156.58    165.95
643.99/161.37	c  N dy  2022    305400     29098    124455         0     59380    378273   7881137    156.58    177.55
645.96/161.87	c  F st  2028    306250     29098    124455         0     30237    378273    542622    156.59    144.09
683.88/171.31	c  N dy  2129    325008     29098    124455         0     48992    378273   5523960    156.65    178.54
724.61/181.56	c  N dy  2262    345120     29098    124455         0     38105    378273   2177909    156.61    164.91
749.40/187.79	c  S st  2348    357399     29098    124455         0     50382    378273   5166078    156.65   no data
750.57/188.07	c  S st  2348    357905     29098    124455         0     50888    378273   5269697    156.65   no data
750.57/188.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
751.37/188.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
751.37/188.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
751.37/188.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
751.37/188.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
751.37/188.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
751.37/188.28	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
752.16/188.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
753.38/188.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
761.74/190.89	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.15 s
761.74/190.90	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
762.16/191.00	c vivif2 --  cl tried    50887 cl shrink        0 lits rem          0 time: 0.09
763.34/191.20	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.20
763.34/191.21	c calculated reachability. Time: 0.00
763.34/191.21	c  N dy  2348    357905     29098    124455         0     50887    378273   5269487    156.65   no data
804.86/201.63	c  N dy  2480    377919     29098    124455         0     38904    378273   2162559    156.61    182.35
846.79/212.15	c  N dy  2621    397937     29098    124455         0     58922    378273   7068128    156.74    166.62
888.71/222.60	c  N dy  2765    418051     29098    124455         0     46038    378273   3660291    156.83    167.25
930.63/233.18	c  N dy  2902    438137     29098    124455         0     66123    378273   8481163    156.79    180.62
971.36/243.31	c  N dy  3033    458195     29098    124455         0     52182    378273   4847272    156.74    207.16
1014.88/254.28	c  N dy  3176    478286     29098    124455         0     37271    378273   1056418    156.86    165.87
1056.41/264.63	c  N dy  3311    498360     29098    124455         0     57343    378273   5986693    156.90    168.62
1099.52/275.40	c  N dy  3452    518383     29098    124455         0     41367    378273   1799931    157.00    172.04
1138.25/285.10	c  S st  3578    536858     29098    124455         0     59842    378273   6355459    157.07   no data
1139.05/285.39	c  S st  3578    537364     29098    124455         0     60348    378273   6447016    157.07   no data
1139.45/285.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1139.87/285.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1139.87/285.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1139.87/285.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1139.87/285.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1139.87/285.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
1139.87/285.60	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1140.64/285.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1142.24/286.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1155.01/289.35	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.21 s
1155.01/289.37	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
1155.41/289.48	c vivif2 --  cl tried    60342 cl shrink        0 lits rem          0 time: 0.11
1156.61/289.70	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.22
1156.61/289.71	c calculated reachability. Time: 0.00
1156.61/289.71	c  N dy  3578    537364     29098    124455         0     60342    378273   6444387    157.07   no data
1199.33/300.49	c  N dy  3716    557418     29098    124455         0     43398    378273   2059359    157.12    197.18
1242.04/311.18	c  N dy  3851    577509     29098    124455         0     63488    378273   7005482    157.20    200.46
1285.97/322.15	c  N dy  3993    597776     29098    124455         0     45752    378273   2387594    157.24    170.98
1328.29/332.77	c  N dy  4130    617838     29098    124455         0     65814    378273   7280435    157.23    165.70
1372.22/343.79	c  N dy  4268    638084     29098    124455         0     47062    378273   2435134    157.26    166.31
1415.33/354.50	c  N dy  4407    658111     29098    124455         0     67088    378273   7336935    157.25    168.48
1458.85/365.44	c  N dy  4535    678150     29098    124455         0     47129    378273   2183590    157.17    172.85
1503.17/376.53	c  N dy  4683    698171     29098    124455         0     67150    378273   7036387    157.20    166.02
1547.89/387.76	c  N dy  4820    718247     29098    124455         0     46236    378273   1780686    157.23    166.47
1590.60/398.47	c  N dy  4957    738314     29098    124455         0     66303    378273   6677078    157.26    169.53
1636.55/409.98	c  N dy  5098    758375     29098    124455         0     44369    378273   1062512    157.29    166.13
1679.24/420.65	c  N dy  5233    778495     29098    124455         0     64487    378273   5961508    157.31    166.95
1725.56/432.26	c  N dy  5376    798577     29098    124455         0     84569    378273  10855944    157.37    176.72
1741.95/436.31	c  S st  5431    806046     29098    124455         0     49034    378273   1971784    157.40   no data
1742.72/436.59	c  S st  5431    806547     29098    124455         0     49535    378273   2050832    157.40   no data
1743.12/436.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1743.52/436.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1743.52/436.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1743.52/436.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1743.52/436.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1743.52/436.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
1743.52/436.78	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1744.33/436.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1744.73/437.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1747.52/437.78	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.73 s
1747.92/437.80	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
1747.92/437.84	c vivif2 --  cl tried    49533 cl shrink        0 lits rem          0 time: 0.04
1748.71/438.04	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.20
1748.71/438.05	c calculated reachability. Time: 0.00
1748.71/438.05	c  N dy  5431    806547     29098    124455         0     49533    378273   2050502    157.40   no data
1791.83/448.87	c  N dy  5564    826594     29098    124455         0     69579    378273   6985948    157.41    167.71
1838.94/460.60	c  N dy  5704    846598     29098    124455         0     45579    378273    858730    157.48    178.48
1882.09/471.49	c  N dy  5840    866913     29098    124455         0     65892    378273   5824292    157.48    168.40
1928.78/483.16	c  N dy  5976    886999     29098    124455         0     85976    378273  10766146    157.50    170.25
1973.49/494.39	c  N dy  6126    907132     29098    124455         0     61110    378273   4506174    157.59    171.65
2019.40/505.87	c  N dy  6259    927476     29098    124455         0     81452    378273   9547707    157.57    165.98
2064.92/517.24	c  N dy  6402    947514     29098    124455         0     55493    378273   2904975    157.65    168.02
2110.04/528.51	c  N dy  6543    967642     29098    124455         0     75621    378273   7842133    157.68    167.38
2157.55/540.40	c  N dy  6684    987719     29098    124455         0     48702    378273    924244    157.73    169.42
2200.66/551.28	c  N dy  6824   1007757     29098    124455         0     68740    378273   5877616    157.77    166.42
2247.37/562.91	c  N dy  6957   1027792     29098    124455         0     88775    378273  10776665    157.75    169.06
2292.49/574.21	c  N dy  7094   1047812     29098    124455         0     60797    378273   3604121    157.76    172.83
2338.01/585.64	c  N dy  7230   1067901     29098    124455         0     80885    378273   8613939    157.80    184.55
2347.62/588.00	c  F st  7258   1071878     29098    124455         0     84861    378273   9595391    157.82   no data
2385.52/597.53	c  N dy  7340   1087995     29098    124455         0     51978    378273   1241079    157.82    172.55
2428.64/608.36	c  N dy  7470   1108136     29098    124455         0     72119    378273   6134679    157.80    169.78
2476.55/620.39	c  N dy  7612   1128180     29098    124455         0     92163    378273  11118695    157.84    179.88
2522.47/631.88	c  N dy  7753   1148268     29098    124455         0     62251    378273   3527093    157.90    172.79
2568.79/643.45	c  N dy  7887   1168344     29098    124455         0     82327    378273   8470679    157.91    167.18
2618.29/655.86	c  N dy  8022   1188434     29098    124455         0     51414    378273    633859    157.93    232.09
2663.40/667.15	c  N dy  8165   1208517     29098    124455         0     71496    378273   5548867    157.95    209.01
2666.20/667.88	c  S st  8172   1209820     29098    124455         0     72799    378273   5857025    157.95    145.82
2667.40/668.18	c  S st  8172   1210322     29098    124455         0     73301    378273   5950536    157.95   no data
2667.80/668.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2668.22/668.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
2668.22/668.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2668.22/668.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2668.22/668.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2668.22/668.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
2668.22/668.40	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2668.99/668.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2670.19/668.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2683.77/672.24	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.32 s
2683.77/672.25	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
2684.17/672.36	c vivif2 --  cl tried    73295 cl shrink        0 lits rem          0 time: 0.11
2685.36/672.60	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.24
2685.36/672.61	c calculated reachability. Time: 0.00
2685.36/672.61	c  N dy  8172   1210322     29098    124455         0     73295    378273   5946716    157.95   no data
2732.48/684.50	c  N dy  8310   1230333     29098    124455         0     93306    378273  10940129    157.98    166.45
2779.99/696.36	c  N dy  8453   1250423     29098    124455         0     61394    378273   2882835    158.01    167.27
2825.90/707.84	c  N dy  8596   1270481     29098    124455         0     81450    378273   7803809    158.06    170.16
2875.40/720.23	c  N dy  8733   1290537     29098    124455         0    101504    378273  12741316    158.07    168.16
2920.92/731.68	c  N dy  8873   1310643     29098    124455         0     68613    378273   4394624    158.11    166.53
2968.03/743.46	c  N dy  9016   1330742     29098    124455         0     88712    378273   9338172    158.14    184.78
3018.33/756.08	c  N dy  9153   1350821     29098    124455         0     54790    378273    722228    158.11    167.14
3062.65/767.18	c  N dy  9284   1370974     29098    124455         0     74943    378273   5574413    158.09    167.47
3111.36/779.32	c  N dy  9425   1391054     29098    124455         0     95022    378273  10534798    158.12    167.25
3160.08/791.53	c  N dy  9552   1411085     29098    124455         0     60064    378273   1737755    158.10    169.76
3205.58/802.94	c  N dy  9686   1431208     29098    124455         0     80185    378273   6640635    158.08    169.16
3255.09/815.37	c  N dy  9830   1451287     29098    124455         0    100262    378273  11633094    158.11    167.02
3303.40/827.42	c  N dy  9960   1471294     29098    124455         0     64266    378273   2583526    158.11    168.19
3350.12/839.12	c  N dy 10103   1491377     29098    124455         0     84349    378273   7548116    158.14    191.24
3400.42/851.73	c  N dy 10248   1511517     29098    124455         0    104488    378273  12492153    158.17    171.39
3448.73/863.82	c  N dy 10383   1531664     29098    124455         0     67638    378273   3146609    158.16    167.19
3495.44/875.58	c  N dy 10519   1551721     29098    124455         0     87694    378273   8050669    158.19    179.76
3545.36/888.03	c  N dy 10649   1571855     29098    124455         0    107827    378273  12989927    158.17    170.33
3592.86/899.95	c  N dy 10779   1591940     29098    124455         0     69912    378273   3470687    158.17    168.72
3640.38/911.82	c  N dy 10920   1612053     29098    124455         0     90024    378273   8392939    158.18    166.90
3692.27/924.84	c  N dy 11068   1632118     29098    124455         0    110088    378273  13391640    158.24    171.33
3740.98/937.08	c  N dy 11211   1652309     29098    124455         0     71279    378273   3633887    158.30    170.62
3788.89/949.05	c  N dy 11346   1672409     29098    124455         0     91378    378273   8567255    158.31    170.79
3840.39/961.99	c  N dy 11487   1692499     29098    124455         0    111468    378273  13577279    158.33    168.27
3885.13/973.14	c  S st 11614   1710322     29098    124455         0     69291    378273   2855011    158.34   no data
3886.29/973.44	c  S st 11614   1710826     29098    124455         0     69795    378273   2955638    158.34   no data
3886.29/973.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3886.69/973.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
3887.09/973.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3887.09/973.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3887.09/973.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3887.09/973.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
3887.09/973.65	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3887.50/973.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3888.30/973.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3895.89/975.89	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.90 s
3896.29/975.91	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
3896.29/975.97	c vivif2 --  cl tried    69793 cl shrink        0 lits rem          0 time: 0.06
3897.49/976.20	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.23
3897.49/976.21	c calculated reachability. Time: 0.00
3897.49/976.21	c  N dy 11614   1710826     29098    124455         0     69793    378273   2954597    158.34   no data
3944.60/988.08	c  N dy 11745   1730963     29098    124455         0     89929    378273   7954846    158.35    170.25
3995.69/1000.88	c  N dy 11884   1751015     29098    124455         0    109981    378273  12982297    158.37    224.15
4045.60/1013.32	c  N dy 12019   1771094     29098    124455         0     69063    378273   2509676    158.37    172.50
4092.31/1025.07	c  N dy 12150   1791100     29098    124455         0     89068    378273   7498959    158.38    172.77
4143.02/1037.77	c  N dy 12283   1811142     29098    124455         0    109106    378273  12442218    158.39    167.51
4194.91/1050.77	c  N dy 12422   1831232     29098    124455         0     67200    378273   1871844    158.41    166.99
4243.23/1062.82	c  N dy 12570   1851353     29098    124455         0     87319    378273   6909213    158.47    174.28
4294.33/1075.61	c  N dy 12706   1871443     29098    124455         0    107408    378273  11886754    158.49    167.94
4347.83/1089.05	c  N dy 12843   1891640     29098    124455         0     64612    378273    962858    158.51    167.92
4394.16/1100.65	c  N dy 12983   1911700     29098    124455         0     84669    378273   5976560    158.53    169.76
4443.66/1113.07	c  N dy 13120   1931725     29098    124455         0    104691    378273  10869738    158.53    175.49
4497.95/1126.62	c  N dy 13254   1951915     29098    124455         0    124880    378273  15853441    158.52    167.54
4545.46/1138.51	c  N dy 13388   1972038     29098    124455         0     81006    378273   4752783    158.52    176.58
4594.58/1150.86	c  N dy 13529   1992054     29098    124455         0    101022    378273   9818184    158.57    253.43
4648.07/1164.20	c  N dy 13672   2012128     29098    124455         0    121094    378273  14783242    158.59    195.80
4697.97/1176.74	c  N dy 13817   2032204     29098    124455         0     76170    378273   3359242    158.61    167.17
4746.29/1188.82	c  N dy 13950   2052264     29098    124455         0     96230    378273   8272260    158.61    168.09
4798.22/1201.89	c  N dy 14080   2072275     29098    124455         0    116241    378273  13270077    158.62    167.27

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366136-1305396632/watcher-3366136-1305396632 -o /tmp/evaluation-result-3366136-1305396632/solver-3366136-1305396632 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366136-1305396632.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.90 8.10 7.89 5/241 7819
/proc/meminfo: memFree=24304704/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 651264002 52396032 348 33554432000 4194304 4580107 140735148212192 18446744073709551615 47145949562802 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 12792 348 299 95 0 7774 0
[pid=7819/tid=7820] ppid=7817 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651264002 52396032 348 33554432000 4194304 4580107 140735148212192 18446744073709551615 47145949562802 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651264002 52396032 348 33554432000 4194304 4580107 140735148212192 18446744073709551615 47145949562802 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651264002 52396032 348 33554432000 4194304 4580107 140735148212192 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0763141 s]
/proc/loadavg: 7.90 8.10 7.89 5/241 7819
/proc/meminfo: memFree=24304704/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=313824 CPUtime=1.12 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 25107 0 0 0 108 4 0 0 18 0 4 0 651264002 321355776 23015 33554432000 4194304 4580107 140735148212192 18446744073709551615 4472830 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 88741 34122 371 95 0 83723 0
[pid=7819/tid=7820] ppid=7817 vsize=354964 CPUtime=0.38 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 10782 0 0 0 36 2 0 0 18 0 4 0 651264002 363483136 34122 33554432000 4194304 4580107 140735148212192 18446744073709551615 222921834922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=354964 CPUtime=0.38 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 11095 0 0 0 36 2 0 0 18 0 4 0 651264002 363483136 34122 33554432000 4194304 4580107 140735148212192 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=354964 CPUtime=0.38 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) D 7817 7819 6866 0 -1 4202560 5273 0 0 0 38 0 0 0 18 0 4 0 651264002 363483136 34122 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 313824

[startup+0.85919 s]
/proc/loadavg: 7.90 8.10 7.89 5/241 7819
/proc/meminfo: memFree=24304704/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=342816 CPUtime=3.4 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 42002 0 0 0 332 8 0 0 18 0 4 0 651264002 351043584 31578 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 85704 31578 377 95 0 80686 0
[pid=7819/tid=7820] ppid=7817 vsize=342816 CPUtime=0.84 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12303 0 0 0 82 2 0 0 18 0 4 0 651264002 351043584 31578 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=342816 CPUtime=0.84 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12546 0 0 0 82 2 0 0 18 0 4 0 651264002 351043584 31578 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=342816 CPUtime=0.84 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 5678 0 0 0 84 0 0 0 19 0 4 0 651264002 351043584 31578 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 342816

[startup+0.901183 s]
/proc/loadavg: 7.90 8.10 7.89 5/241 7819
/proc/meminfo: memFree=24304704/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=342816 CPUtime=3.57 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 42125 0 0 0 349 8 0 0 18 0 4 0 651264002 351043584 31701 33554432000 4194304 4580107 140735148212192 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 85704 31701 377 95 0 80686 0
[pid=7819/tid=7820] ppid=7817 vsize=342816 CPUtime=0.88 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12332 0 0 0 86 2 0 0 18 0 4 0 651264002 351043584 31701 33554432000 4194304 4580107 140735148212192 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=342816 CPUtime=0.88 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12574 0 0 0 86 2 0 0 18 0 4 0 651264002 351043584 31702 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=342816 CPUtime=0.88 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 5714 0 0 0 88 0 0 0 19 0 4 0 651264002 351043584 31702 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 342816

[startup+1.00117 s]
/proc/loadavg: 7.90 8.10 7.89 5/241 7819
/proc/meminfo: memFree=24304704/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=342816 CPUtime=3.96 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 42476 0 0 0 388 8 0 0 18 0 4 0 651264002 351043584 32026 33554432000 4194304 4580107 140735148212192 18446744073709551615 4318990 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 85704 32026 377 95 0 80686 0
[pid=7819/tid=7820] ppid=7817 vsize=342816 CPUtime=0.98 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12445 0 0 0 96 2 0 0 18 0 4 0 651264002 351043584 32026 33554432000 4194304 4580107 140735148212192 18446744073709551615 4321013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=342816 CPUtime=0.98 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12649 0 0 0 96 2 0 0 18 0 4 0 651264002 351043584 32026 33554432000 4194304 4580107 140735148212192 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=342816 CPUtime=0.98 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 5792 0 0 0 98 0 0 0 19 0 4 0 651264002 351043584 32026 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 342816

[startup+1.50107 s]
/proc/loadavg: 7.90 8.10 7.89 5/241 7819
/proc/meminfo: memFree=24304704/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=342816 CPUtime=5.96 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 44007 0 0 0 587 9 0 0 19 0 4 0 651264002 351043584 33478 33554432000 4194304 4580107 140735148212192 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 85704 33478 377 95 0 80686 0
[pid=7819/tid=7820] ppid=7817 vsize=342816 CPUtime=1.48 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 12849 0 0 0 145 3 0 0 19 0 4 0 651264002 351043584 33478 33554432000 4194304 4580107 140735148212192 18446744073709551615 4390419 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=342816 CPUtime=1.49 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 13038 0 0 0 146 3 0 0 19 0 4 0 651264002 351043584 33478 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=342816 CPUtime=1.48 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 6136 0 0 0 148 0 0 0 20 0 4 0 651264002 351043584 33478 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 342816

[startup+3.10078 s]
/proc/loadavg: 7.91 8.10 7.89 9/245 7823
/proc/meminfo: memFree=24125372/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=474080 CPUtime=12.34 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 48322 0 0 0 1225 9 0 0 23 0 4 0 651264002 485457920 37767 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 118520 37767 377 95 0 113502 0
[pid=7819/tid=7820] ppid=7817 vsize=474080 CPUtime=3.08 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 13858 0 0 0 305 3 0 0 23 0 4 0 651264002 485457920 37767 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=474080 CPUtime=3.09 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 14014 0 0 0 306 3 0 0 23 0 4 0 651264002 485457920 37767 33554432000 4194304 4580107 140735148212192 18446744073709551615 222921445780 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=474080 CPUtime=3.07 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 7523 0 0 0 306 1 0 0 25 0 4 0 651264002 485457920 37768 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 474080

[startup+6.3012 s]
/proc/loadavg: 7.91 8.10 7.89 9/245 7823
/proc/meminfo: memFree=24027788/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=474080 CPUtime=25.12 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 56078 0 0 0 2501 11 0 0 25 0 4 0 651264002 485457920 45523 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 118520 45523 377 95 0 113502 0
[pid=7819/tid=7820] ppid=7817 vsize=474080 CPUtime=6.27 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 15898 0 0 0 624 3 0 0 25 0 4 0 651264002 485457920 45523 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=474080 CPUtime=6.28 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 15957 0 0 0 625 3 0 0 25 0 4 0 651264002 485457920 45523 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=474080 CPUtime=6.25 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 9504 0 0 0 624 1 0 0 25 0 4 0 651264002 485457920 45523 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 474080

[startup+12.701 s]
/proc/loadavg: 7.92 8.10 7.89 9/245 7823
/proc/meminfo: memFree=23978424/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=546692 CPUtime=50.69 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 77405 0 0 0 5053 16 0 0 25 0 4 0 651264002 559812608 44412 33554432000 4194304 4580107 140735148212192 18446744073709551615 222921439590 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 136673 44412 378 95 0 131655 0
[pid=7819/tid=7820] ppid=7817 vsize=546692 CPUtime=12.69 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 21335 0 0 0 1264 5 0 0 25 0 4 0 651264002 559812608 44418 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=546692 CPUtime=12.69 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 21280 0 0 0 1265 4 0 0 25 0 4 0 651264002 559812608 44418 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=546692 CPUtime=12.6 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 14981 0 0 0 1258 2 0 0 25 0 4 0 651264002 559812608 44418 33554432000 4194304 4580107 140735148212192 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 546692

[startup+25.5007 s]
/proc/loadavg: 7.93 8.09 7.89 9/245 7823
/proc/meminfo: memFree=23709828/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=759936 CPUtime=101.78 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 173461 0 0 0 10141 37 0 0 25 0 4 0 651264002 778174464 106589 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 189984 106589 379 95 0 184966 0
[pid=7819/tid=7820] ppid=7817 vsize=759936 CPUtime=25.48 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 55478 0 0 0 2534 14 0 0 25 0 4 0 651264002 778174464 106589 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=759936 CPUtime=25.48 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 37387 0 0 0 2540 8 0 0 25 0 4 0 651264002 778174464 106589 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=759936 CPUtime=25.3 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 34638 0 0 0 2524 6 0 0 25 0 4 0 651264002 778174464 106589 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 759936

[startup+51.101 s]
/proc/loadavg: 8.02 8.10 7.90 9/245 7824
/proc/meminfo: memFree=23540636/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=895952 CPUtime=203.98 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 247317 0 0 0 20342 56 0 0 25 0 4 0 651264002 917454848 135396 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 223988 135396 379 95 0 218970 0
[pid=7819/tid=7820] ppid=7817 vsize=895952 CPUtime=51.08 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 73647 0 0 0 5089 19 0 0 25 0 4 0 651264002 917454848 135396 33554432000 4194304 4580107 140735148212192 18446744073709551615 4322784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=895952 CPUtime=51.08 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 61543 0 0 0 5094 14 0 0 25 0 4 0 651264002 917454848 135396 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=895952 CPUtime=50.72 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 50693 0 0 0 5061 11 0 0 25 0 4 0 651264002 917454848 135397 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 895952

[startup+102.301 s]
/proc/loadavg: 8.07 8.09 7.91 9/245 7825
/proc/meminfo: memFree=23302896/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1028984 CPUtime=408.4 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 373399 0 0 0 40752 88 0 0 25 0 4 0 651264002 1053679616 182008 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 257246 182008 379 95 0 252228 0
[pid=7819/tid=7820] ppid=7817 vsize=1028984 CPUtime=102.28 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 101217 0 0 0 10202 26 0 0 25 0 4 0 651264002 1053679616 182008 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1028984 CPUtime=102.28 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 90281 0 0 0 10207 21 0 0 25 0 4 0 651264002 1053679616 182008 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1028984 CPUtime=101.55 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 90197 0 0 0 10133 22 0 0 25 0 4 0 651264002 1053679616 182008 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 1028984

[startup+162.301 s]

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

[pid=7819] ppid=7817 vsize=1475292 CPUtime=2564.39 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1301022 0 0 0 256070 369 0 0 25 0 4 0 651264002 1510699008 295650 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 368823 295650 379 95 0 363805 0
[pid=7819/tid=7820] ppid=7817 vsize=1475292 CPUtime=642.27 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 333306 0 0 0 64130 97 0 0 25 0 4 0 651264002 1510699008 295650 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1475292 CPUtime=641.32 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 343410 0 0 0 64032 100 0 0 25 0 4 0 651264002 1510699008 295650 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1475292 CPUtime=638.56 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 328070 0 0 0 63765 91 0 0 25 0 4 0 651264002 1510699008 295650 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2564.39
Current children cumulated vsize (KiB) 1475292

[startup+702.301 s]
/proc/loadavg: 8.07 8.09 7.98 9/245 7841
/proc/meminfo: memFree=22512744/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1542784 CPUtime=2803.94 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1406300 0 0 0 279997 397 0 0 25 0 4 0 651264002 1579810816 316517 33554432000 4194304 4580107 140735148212192 18446744073709551615 4306137 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 385696 316517 379 95 0 380678 0
[pid=7819/tid=7820] ppid=7817 vsize=1542784 CPUtime=702.27 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 367064 0 0 0 70121 106 0 0 25 0 4 0 651264002 1579810816 316517 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1542784 CPUtime=701.32 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 371213 0 0 0 70024 108 0 0 25 0 4 0 651264002 1579810816 316517 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1542784 CPUtime=698.12 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 353360 0 0 0 69716 96 0 0 25 0 4 0 651264002 1579810816 316517 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.94
Current children cumulated vsize (KiB) 1542784

[startup+762.301 s]
/proc/loadavg: 8.23 8.13 8.00 9/245 7843
/proc/meminfo: memFree=22572840/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1543848 CPUtime=3043.49 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1495546 0 0 0 303921 428 0 0 25 0 4 0 651264002 1580900352 299958 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293755 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 385962 299958 379 95 0 380944 0
[pid=7819/tid=7820] ppid=7817 vsize=1543848 CPUtime=762.27 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 391051 0 0 0 76113 114 0 0 25 0 4 0 651264002 1580900352 299958 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1543848 CPUtime=761.32 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 392977 0 0 0 76015 117 0 0 25 0 4 0 651264002 1580900352 299958 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1543848 CPUtime=757.68 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 376987 0 0 0 75664 104 0 0 25 0 4 0 651264002 1580900352 299958 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3043.49
Current children cumulated vsize (KiB) 1543848

[startup+822.301 s]
/proc/loadavg: 8.15 8.12 8.00 9/245 7845
/proc/meminfo: memFree=22534980/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1550320 CPUtime=3283.06 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1591875 0 0 0 327850 456 0 0 25 0 4 0 651264002 1587527680 307351 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 387580 307351 379 95 0 382562 0
[pid=7819/tid=7820] ppid=7817 vsize=1550320 CPUtime=822.28 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 414768 0 0 0 82106 122 0 0 25 0 4 0 651264002 1587527680 307356 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1550320 CPUtime=821.33 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 416661 0 0 0 82008 125 0 0 25 0 4 0 651264002 1587527680 307356 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1550320 CPUtime=817.25 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 404028 0 0 0 81615 110 0 0 25 0 4 0 651264002 1587527680 307356 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.06
Current children cumulated vsize (KiB) 1550320

[startup+882.301 s]
/proc/loadavg: 8.12 8.11 8.00 9/245 7846
/proc/meminfo: memFree=22466496/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1485516 CPUtime=3522.6 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1686217 0 0 0 351774 486 0 0 25 0 4 0 651264002 1521168384 323508 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 371379 323508 379 95 0 366361 0
[pid=7819/tid=7820] ppid=7817 vsize=1485516 CPUtime=882.26 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 440210 0 0 0 88097 129 0 0 25 0 4 0 651264002 1521168384 323508 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1485516 CPUtime=881.32 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 443703 0 0 0 87998 134 0 0 25 0 4 0 651264002 1521168384 323508 33554432000 4194304 4580107 140735148212192 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1485516 CPUtime=876.81 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 426080 0 0 0 87564 117 0 0 25 0 4 0 651264002 1521168384 323508 33554432000 4194304 4580107 140735148212192 18446744073709551615 4325660 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.6
Current children cumulated vsize (KiB) 1485516

[startup+942.309 s]
/proc/loadavg: 8.10 8.11 8.00 9/245 7848
/proc/meminfo: memFree=22336508/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1612712 CPUtime=3762.17 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1778247 0 0 0 375703 514 0 0 25 0 4 0 651264002 1651417088 315071 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 403178 315071 379 95 0 398160 0
[pid=7819/tid=7820] ppid=7817 vsize=1612712 CPUtime=942.26 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 463784 0 0 0 94091 135 0 0 25 0 4 0 651264002 1651417088 315072 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1612712 CPUtime=941.32 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 465697 0 0 0 93992 140 0 0 25 0 4 0 651264002 1651417088 315072 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1612712 CPUtime=936.38 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 453120 0 0 0 93512 126 0 0 25 0 4 0 651264002 1651417088 315072 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3762.17
Current children cumulated vsize (KiB) 1612712

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.00 9/245 7849
/proc/meminfo: memFree=22335740/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1487008 CPUtime=4001.69 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1865485 0 0 0 399626 543 0 0 25 0 4 0 651264002 1522696192 318917 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 371752 318917 379 95 0 366734 0
[pid=7819/tid=7820] ppid=7817 vsize=1487008 CPUtime=1002.26 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 488305 0 0 0 100083 143 0 0 25 0 4 0 651264002 1522696192 318917 33554432000 4194304 4580107 140735148212192 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1487008 CPUtime=1001.31 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 488965 0 0 0 99983 148 0 0 25 0 4 0 651264002 1522696192 318917 33554432000 4194304 4580107 140735148212192 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1487008 CPUtime=995.93 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 472350 0 0 0 99460 133 0 0 25 0 4 0 651264002 1522696192 318917 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.69
Current children cumulated vsize (KiB) 1487008

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.00 9/245 7851
/proc/meminfo: memFree=22219628/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1746088 CPUtime=4241.23 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 1975252 0 0 0 423545 578 0 0 25 0 4 0 651264002 1787994112 343105 33554432000 4194304 4580107 140735148212192 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 436522 343105 379 95 0 431504 0
[pid=7819/tid=7820] ppid=7817 vsize=1746088 CPUtime=1062.25 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 510190 0 0 0 106076 149 0 0 25 0 4 0 651264002 1787994112 343105 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1746088 CPUtime=1061.31 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 531005 0 0 0 105971 160 0 0 25 0 4 0 651264002 1787994112 343105 33554432000 4194304 4580107 140735148212192 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1746088 CPUtime=1055.5 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 498976 0 0 0 105407 143 0 0 25 0 4 0 651264002 1787994112 343105 33554432000 4194304 4580107 140735148212192 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4241.23
Current children cumulated vsize (KiB) 1746088

[startup+1122.3 s]
/proc/loadavg: 8.03 8.07 8.00 9/245 7853
/proc/meminfo: memFree=22236712/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1558820 CPUtime=4480.78 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 2066796 0 0 0 447472 606 0 0 25 0 4 0 651264002 1596231680 346294 33554432000 4194304 4580107 140735148212192 18446744073709551615 4342192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 389705 346294 379 95 0 384687 0
[pid=7819/tid=7820] ppid=7817 vsize=1558820 CPUtime=1122.24 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 536259 0 0 0 112068 156 0 0 25 0 4 0 651264002 1596231680 346294 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1558820 CPUtime=1121.31 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 555070 0 0 0 111963 168 0 0 25 0 4 0 651264002 1596231680 346294 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1558820 CPUtime=1115.06 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 519469 0 0 0 111357 149 0 0 25 0 4 0 651264002 1596231680 346294 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.78
Current children cumulated vsize (KiB) 1558820

[startup+1182.3 s]
/proc/loadavg: 8.01 8.06 8.00 9/245 7854
/proc/meminfo: memFree=22204064/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1748352 CPUtime=4720.33 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 2155019 0 0 0 471398 635 0 0 25 0 4 0 651264002 1790312448 340795 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 437088 340795 379 95 0 432070 0
[pid=7819/tid=7820] ppid=7817 vsize=1748352 CPUtime=1182.24 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 557809 0 0 0 118060 164 0 0 25 0 4 0 651264002 1790312448 340795 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1748352 CPUtime=1181.3 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 576508 0 0 0 117956 174 0 0 25 0 4 0 651264002 1790312448 340795 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1748352 CPUtime=1174.62 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 545822 0 0 0 117305 157 0 0 25 0 4 0 651264002 1790312448 340795 33554432000 4194304 4580107 140735148212192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.33
Current children cumulated vsize (KiB) 1748352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.3 s]
/proc/loadavg: 8.00 8.05 8.00 5/240 7856
/proc/meminfo: memFree=22823844/32951124 swapFree=61559568/67111528
[pid=7819] ppid=7817 vsize=1686652 CPUtime=4800.21 cores=0,2,4,6
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 6866 0 -1 4202496 2186136 0 0 0 479375 646 0 0 25 0 4 0 651264002 1727131648 357819 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7819/statm: 421663 357819 379 95 0 416645 0
[pid=7819/tid=7820] ppid=7817 vsize=1686652 CPUtime=1202.25 cores=0,2,4,6
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 566539 0 0 0 120059 166 0 0 25 0 4 0 651264002 1727131648 357822 33554432000 4194304 4580107 140735148212192 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1686652 CPUtime=1201.31 cores=0,2,4,6
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 583779 0 0 0 119954 177 0 0 25 0 4 0 651264002 1727131648 357822 33554432000 4194304 4580107 140735148212192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1686652 CPUtime=1194.48 cores=0,2,4,6
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 6866 0 -1 4202560 553296 0 0 0 119288 160 0 0 25 0 4 0 651264002 1727131648 357822 33554432000 4194304 4580107 140735148212192 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1686652

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.38
CPU time (s): 4800.31
CPU user time (s): 4793.78
CPU system time (s): 6.52801
CPU usage (%): 399.233
Max. virtual memory (cumulated for all children) (KiB): 1748352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.79
system time used= 6.52801
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2186147
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= 2511
involuntary context switches= 23389

runsolver used 2.54761 second user time and 6.22405 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-14 20:10:33
IDJOB=3366136
IDBENCH=82545
IDSOLVER=1844
FILE ID=node109/3366136-1305396632
RUNJOBID= node109-1305396632-7796
PBS_JOBID= 13324441
Free space on /tmp= 73220 MiB

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

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

MD5SUM BENCH= 33c09da85657b6bbed23989098d6baf7
RANDOM SEED=1994921219

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24304860 kB
Buffers:        225656 kB
Cached:        2258536 kB
SwapCached:      28404 kB
Active:         110792 kB
Inactive:      8319808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24304860 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:           14384 kB
Writeback:           0 kB
AnonPages:     5923728 kB
Mapped:          17568 kB
Slab:           122352 kB
PageTables:      31284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17937900 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= 73220 MiB
End job on node109 at 2011-05-14 20:30:37