Trace number 3175062

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-1-mt? (TO) 4800.33 1201.76

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
MD5SUM745003317611baf9e79e91bc0ab8e275
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.2018
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175062-1304080712.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.15/0.09	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.15/0.09	c -- vars added      15000
0.15/0.09	c Parsing time:  0.14 s
0.15/0.09	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.15/0.09	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.15/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.15/0.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.15/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.15/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.01 s
0.51/0.21	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.01 s
0.51/0.90	c lits-rem:         0  cl-subs:        0  v-elim:    559  v-fix:    0  time:  0.56 s
0.51/0.90	c Finding binary XORs  T:     0.01 s  found:       0
0.51/0.90	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.51/0.90	c calculated reachability. Time: 0.00
0.51/0.90	c Calc default polars -  time:   0.02 s pos:    6495 undec:    1788 neg:    6717
0.51/0.90	c =========================================================================================
0.51/0.90	c types(t): F = full restart, N = normal restart
0.51/0.90	c types(t): S = simplification begin/end, E = solution found
0.51/0.90	c restart types(rt): st = static, dy = dynamic
0.51/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.51/0.90	c  B st     0         0     14441     62336         0         0    190214         0   no data   no data  --
4.75/1.20	c  N dy    20      4094     14441     62336         0      4094    190214    863958    113.48    131.17  --
7.57/1.97	c  N dy    47      8201     14441     62336         0      8201    190214   1630550    117.22    125.93  --
11.15/2.81	c  N dy    71     12327     14441     62336         0     12326    190214   2380406    116.61    124.92  --
14.34/3.68	c  N dy    95     16393     14441     62336         0     16392    190214   3142048    115.22    121.80  --
17.94/4.57	c  N dy   115     20444     14441     62336         0     10448    190214    597543    114.63    126.02  --
21.53/5.40	c  N dy   140     24457     14441     62336         0     14461    190214   1316561    114.40    139.33  --
21.93/5.52	c  F st   145     25000     14441     62336         0     15004    190214   1426121    114.80    106.50  --
26.33/6.67	c  N dy   151     30000     14441     62336         0     20004    190214   2554563    114.80   no data  --
26.33/6.67	c  S st   151     30000     14441     62336         0     20004    190214   2554563    114.80   no data  --
26.72/6.78	c  S st   151     30500     14441     62336         0     20504    190214   2619439    114.80   no data  --
26.72/6.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
26.72/6.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
27.93/7.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
27.93/7.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.33/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
28.33/7.10	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.50/11.43	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 17.22 s
45.90/11.52	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.36
45.90/11.53	c calculated reachability. Time: 0.00
45.90/11.53	c  N dy   151     30500     14441     62336         0     20502    190214   2619089    114.80   no data  --
50.29/12.60	c  N dy   176     34582     14441     62336         0     24584    190214   3343565    114.33    120.99  --
54.29/13.69	c  N dy   203     38657     14441     62336         0     28656    190214   4084001    114.26    120.27  --
58.68/14.78	c  N dy   228     42738     14441     62336         0     17236    190214    933513    114.48    145.92  --
61.88/15.56	c  S st   248     45751     14441     62336         0     20249    190214   1457296    114.21   no data  --
62.28/15.69	c  S st   248     46257     14441     62336         0     20755    190214   1522544    114.21   no data  --
62.68/15.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
62.68/15.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.68/15.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
63.07/15.87	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.07/15.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.07/15.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
63.07/15.88	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
73.86/18.58	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 10.74 s
73.86/18.58	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
74.26/18.60	c vivif2 --  cl tried    20754 cl shrink        0 lits rem          0 time: 0.08
74.26/18.68	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.33
74.26/18.69	c calculated reachability. Time: 0.00
74.26/18.69	c  N dy   248     46257     14441     62336         0     20754    190214   1522195    114.21   no data  --
78.25/19.64	c  N dy   279     50287     14441     62336         0     24783    190214   2287376    114.69    125.28  --
82.27/20.68	c  N dy   304     54594     14441     62336         0     29088    190214   3065615    114.57    124.97  --
86.27/21.68	c  N dy   328     58649     14441     62336         0     33143    190214   3805550    114.70    122.10  --
90.66/22.71	c  N dy   351     62676     14441     62336         0     37170    190214   4529692    114.50    124.09  --
94.23/23.68	c  N dy   377     66686     14441     62336         0     22437    190214   1277404    114.42    123.06  --
97.02/24.32	c  S st   396     69385     14441     62336         0     25136    190214   1764353    114.41     94.44  --
97.42/24.45	c  S st   396     69888     14441     62336         0     25639    190214   1825699    114.41   no data  --
97.42/24.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97.42/24.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.82/24.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
98.22/24.64	c bin-w-bin subsume rem            0 bins  time:  0.02 s
98.22/24.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
98.22/24.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
98.22/24.65	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.81/28.06	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.58 s
111.81/28.06	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
111.81/28.09	c vivif2 --  cl tried    25635 cl shrink        0 lits rem          0 time: 0.10
112.21/28.18	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.36
112.21/28.18	c calculated reachability. Time: 0.00
112.21/28.18	c  N dy   396     69888     14441     62336         0     25635    190214   1824356    114.41   no data  --
116.60/29.28	c  N dy   427     74425     14441     62336         0     30172    190214   2638066    114.38    128.93  --
121.41/30.48	c  N dy   453     79219     14441     62336         0     34965    190214   3490412    113.96    121.12  --
127.39/31.90	c  N dy   485     84647     14441     62336         0     40392    190214   4474303    113.98    120.12  --
130.20/32.65	c  F st   504     87500     14441     62336         0     22375    190214    841038    113.93   no data  --
133.38/33.44	c  N st   509     90798     14441     62336         0     25673    190214   1548277    113.93   no data  --
139.39/34.93	c  N dy   537     96667     14441     62336         0     31542    190214   2699389    113.90    120.53  --
145.76/36.55	c  N dy   576    102836     14441     62336         0     37711    190214   3796660    113.73    122.05  --
147.78/37.09	c  S st   590    104833     14441     62336         0     39708    190214   4144702    113.72    115.19  --
148.56/37.24	c  S st   590    105337     14441     62336         0     40212    190214   4218341    113.72   no data  --
148.56/37.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
148.56/37.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.96/37.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
149.76/37.59	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.76/37.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
150.15/37.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
150.15/37.61	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
250.41/62.76	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 100.33 s
250.41/62.77	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
250.81/62.82	c vivif2 --  cl tried    40210 cl shrink        0 lits rem          0 time: 0.22
251.21/62.94	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.48
251.21/62.95	c calculated reachability. Time: 0.00
251.21/62.95	c  N dy   590    105337     14441     62336         0     40210    190214   4217960    113.72   no data  --
258.80/64.80	c  N dy   634    112222     14441     62336         0     24661    190214    953748    113.71    119.99  --
266.00/66.64	c  N dy   689    119501     14441     62336         0     31937    190214   2297872    114.04    120.88  --
273.98/68.64	c  N dy   732    127305     14441     62336         0     39741    190214   3696795    113.82    123.82  --
283.18/70.93	c  N dy   782    135668     14441     62336         0     24383    190214    629236    113.68    119.84  --
291.97/73.11	c  N dy   833    144435     14441     62336         0     33149    190214   2214674    113.54    121.40  --
301.96/75.61	c  N dy   899    153752     14441     62336         0     42464    190214   3955844    113.84    124.34  --
306.74/76.83	c  S st   932    158006     14441     62336         0     46718    190214   4736179    113.92   no data  --
307.14/76.98	c  S st   932    158506     14441     62336         0     47218    190214   4795146    113.92   no data  --
307.14/76.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
307.14/76.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
307.54/77.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
308.74/77.36	c bin-w-bin subsume rem            0 bins  time:  0.02 s
308.74/77.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
308.74/77.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
308.74/77.37	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
497.28/124.52	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 187.84 s
497.28/124.52	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
497.28/124.58	c vivif2 --  cl tried    47212 cl shrink        0 lits rem          0 time: 0.25
498.08/124.72	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.54
498.08/124.73	c calculated reachability. Time: 0.00
498.08/124.73	c  N dy   932    158506     14441     62336         0     47212    190214   4793963    113.92   no data  --
509.26/127.51	c  N dy  1002    168625     14441     62336         0     32475    190214   1897538    114.14    121.95  --
521.27/130.51	c  N dy  1076    179570     14441     62336         0     43419    190214   3952071    114.40    121.48  --
534.03/133.73	c  N dy  1146    191063     14441     62336         0     28981    190214   1020218    114.27    143.18  --
547.22/137.10	c  N dy  1224    203378     14441     62336         0     41295    190214   3244843    114.17    120.98  --
563.19/141.01	c  N dy  1309    216369     14441     62336         0     27323    190214    523712    114.21    122.74  --
577.97/144.80	c  N dy  1403    230280     14441     62336         0     41233    190214   3079902    114.29    123.45  --
587.18/147.01	c  S st  1452    237759     14441     62336         0     48712    190214   4463588    114.33    103.39  --
587.58/147.18	c  S st  1452    238261     14441     62336         0     49214    190214   4525886    114.33   no data  --
587.58/147.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
587.58/147.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
587.96/147.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
589.15/147.53	c bin-w-bin subsume rem            0 bins  time:  0.02 s
589.15/147.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
589.15/147.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
589.15/147.54	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
769.32/192.64	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 179.76 s
769.32/192.64	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
769.71/192.70	c vivif2 --  cl tried    49212 cl shrink        0 lits rem          0 time: 0.24
770.11/192.85	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.57
770.11/192.85	c calculated reachability. Time: 0.00
770.11/192.85	c  N dy  1452    238261     14441     62336         0     49212    190214   4525361    114.33   no data  --
788.08/197.32	c  N dy  1559    253551     14441     62336         0     36521    190214   2053617    114.53    124.93  --
806.88/202.06	c  N dy  1661    269797     14441     62336         0     52764    190214   5057189    114.58    127.34  --
826.83/207.08	c  N dy  1776    287146     14441     62336         0     41122    190214   2658369    114.57    121.77  --
849.61/212.73	c  N dy  1894    305536     14441     62336         0     59510    190214   6046008    114.66    121.34  --
850.40/213.00	c  F st  1899    306251     14441     62336         0     30235    190214    475370    114.65    100.93  --
872.37/218.46	c  N dy  2001    325088     14441     62336         0     49069    190214   4174492    114.70    122.82  --
895.94/224.34	c  N dy  2128    345251     14441     62336         0     38241    190214   1778655    114.78    123.06  --
910.31/227.97	c  S st  2215    357391     14441     62336         0     50379    190214   4039454    114.89   no data  --
911.12/228.13	c  S st  2215    357896     14441     62336         0     50884    190214   4108994    114.89   no data  --
911.12/228.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
911.12/228.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
911.52/228.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
912.33/228.46	c bin-w-bin subsume rem            0 bins  time:  0.02 s
912.33/228.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
912.33/228.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
912.33/228.47	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1051.73/263.39	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 139.15 s
1051.73/263.39	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
1052.13/263.45	c vivif2 --  cl tried    50880 cl shrink        0 lits rem          0 time: 0.23
1052.53/263.60	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.58
1052.95/263.60	c calculated reachability. Time: 0.00
1052.95/263.60	c  N dy  2215    357896     14441     62336         0     50880    190214   4107909    114.89   no data  --
1077.29/269.77	c  N dy  2347    378047     14441     62336         0     39036    190214   1730734    114.94    122.41  --
1102.06/275.94	c  N dy  2481    398143     14441     62336         0     59130    190214   5455014    115.06    121.15  --
1127.22/282.21	c  N dy  2614    418202     14441     62336         0     46184    190214   2849901    115.12    124.53  --
1153.59/288.87	c  N dy  2741    438344     14441     62336         0     66323    190214   6573932    115.13    122.79  --
1178.36/295.09	c  N dy  2874    458416     14441     62336         0     52396    190214   3790190    115.14    121.38  --
1205.92/301.98	c  N dy  3004    478657     14441     62336         0     37643    190214    909495    115.11    121.55  --
1231.09/308.20	c  N dy  3136    498669     14441     62336         0     57654    190214   4598362    115.15    132.53  --
1257.85/314.96	c  N dy  3265    518718     14441     62336         0     41705    190214   1486400    115.17    124.51  --
1281.01/320.74	c  S st  3389    536844     14441     62336         0     59831    190214   4797927    115.20   no data  --
1281.84/320.93	c  S st  3389    537346     14441     62336         0     60333    190214   4861428    115.20   no data  --
1281.84/320.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1281.84/320.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1282.21/321.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1283.41/321.32	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1283.41/321.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1283.41/321.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
1283.41/321.34	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1528.28/382.67	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 244.62 s
1528.28/382.68	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
1528.68/382.74	c vivif2 --  cl tried    60331 cl shrink        0 lits rem          0 time: 0.26
1529.48/382.90	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.64
1529.48/382.91	c calculated reachability. Time: 0.00
1529.48/382.91	c  N dy  3389    537346     14441     62336         0     60331    190214   4861138    115.20   no data  --
1554.27/389.14	c  N dy  3522    557357     14441     62336         0     43341    190214   1583809    115.23    122.01  --
1578.21/395.17	c  N dy  3655    577652     14441     62336         0     63636    190214   5275145    115.24    121.53  --
1602.98/401.32	c  N dy  3770    597737     14441     62336         0     45725    190214   1833746    115.17    123.29  --
1627.75/407.50	c  N dy  3907    617897     14441     62336         0     65883    190214   5528214    115.21    121.70  --
1652.51/413.74	c  N dy  4033    638012     14441     62336         0     46998    190214   1867769    115.18    127.49  --
1676.90/419.85	c  N dy  4169    658074     14441     62336         0     67058    190214   5555633    115.22    128.50  --
1702.45/426.26	c  N dy  4300    678220     14441     62336         0     47202    190214   1783658    115.22    121.52  --
1726.81/432.38	c  N dy  4426    698245     14441     62336         0     67227    190214   5463406    115.19    121.69  --
1753.58/439.05	c  N dy  4563    718318     14441     62336         0     46304    190214   1404528    115.24    122.07  --
1777.96/445.17	c  N dy  4703    738346     14441     62336         0     66330    190214   5151507    115.30    137.12  --
1805.50/452.03	c  N dy  4846    758499     14441     62336         0     44480    190214    925230    115.33    122.75  --
1829.87/458.13	c  N dy  4986    778626     14441     62336         0     64604    190214   4617949    115.37    122.38  --
1857.46/465.03	c  N dy  5116    798730     14441     62336         0     84706    190214   8301028    115.37    128.44  --
1866.24/467.28	c  S st  5168    806020     14441     62336         0     48996    190214   1557319    115.37   no data  --
1867.02/467.43	c  S st  5168    806525     14441     62336         0     49501    190214   1621714    115.37   no data  --
1867.02/467.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1867.02/467.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1867.42/467.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1867.82/467.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1867.82/467.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1867.82/467.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
1867.82/467.64	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1883.00/471.41	c lits-rem:        21  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.05 s
1883.00/471.42	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
1883.00/471.44	c vivif2 --  cl tried    49501 cl shrink        0 lits rem          0 time: 0.10
1883.41/471.57	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.51
1883.41/471.58	c calculated reachability. Time: 0.00
1883.41/471.58	c  N dy  5168    806525     14441     62336         0     49501    190214   1621693    115.37   no data  --
1907.76/477.67	c  N dy  5296    826538     14441     62336         0     69514    190214   5280893    115.35    125.85  --
1935.32/484.60	c  N dy  5429    846626     14441     62336         0     45607    190214    729410    115.35    124.73  --
1959.69/490.69	c  N dy  5564    866712     14441     62336         0     65691    190214   4455952    115.39    122.40  --
1987.66/497.62	c  N dy  5707    886760     14441     62336         0     85738    190214   8190481    115.46    129.04  --
2014.41/504.35	c  N dy  5836    906930     14441     62336         0     60916    190214   3342602    115.46    124.01  --
2043.57/511.67	c  N dy  5964    926940     14441     62336         0     80926    190214   6999949    115.47    125.52  --
2073.13/519.08	c  N dy  6099    946991     14441     62336         0     54976    190214   2105890    115.52    122.19  --
2102.70/526.41	c  N dy  6233    967100     14441     62336         0     75084    190214   5816438    115.55    122.35  --
2135.05/534.55	c  N dy  6376    987143     14441     62336         0     48130    190214    662104    115.60    124.64  --
2162.22/541.30	c  N dy  6508   1007263     14441     62336         0     68247    190214   4414830    115.64    122.25  --
2192.57/548.99	c  N dy  6638   1027284     14441     62336         0     88268    190214   8069369    115.64    122.08  --
2222.15/556.31	c  N dy  6767   1047344     14441     62336         0     60325    190214   2726315    115.62    131.73  --
2251.29/563.61	c  N dy  6887   1067437     14441     62336         0     80418    190214   6379641    115.60    122.03  --
2258.08/565.34	c  F st  6918   1071877     14441     62336         0     84857    190214   7209196    115.61   no data  --
2282.85/571.53	c  N dy  6991   1087487     14441     62336         0     51470    190214    929193    115.62    122.15  --
2310.03/578.35	c  N dy  7118   1107499     14441     62336         0     71481    190214   4646372    115.61    123.54  --
2340.79/586.01	c  N dy  7249   1127506     14441     62336         0     91488    190214   8312954    115.59    122.00  --
2369.93/593.33	c  N dy  7392   1147675     14441     62336         0     61657    190214   2682027    115.64    123.01  --
2398.29/600.42	c  N dy  7531   1167806     14441     62336         0     81788    190214   6376395    115.64    127.61  --
2430.25/608.45	c  N dy  7664   1187846     14441     62336         0    101825    190214  10049578    115.64    125.28  --
2456.62/615.09	c  N dy  7795   1207889     14441     62336         0     70871    190214   4113689    115.63    127.12  --
2459.43/615.75	c  S st  7806   1209790     14441     62336         0     72772    190214   4467341    115.63    104.01  --
2460.21/615.96	c  S st  7806   1210292     14441     62336         0     73274    190214   4529719    115.63   no data  --
2460.21/615.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2460.21/615.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2460.61/616.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
2461.80/616.33	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2461.80/616.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2461.80/616.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
2461.80/616.34	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
2671.92/668.92	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 209.73 s
2671.92/668.92	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
2671.92/668.99	c vivif2 --  cl tried    73270 cl shrink        0 lits rem          0 time: 0.25
2672.72/669.17	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.72
2672.72/669.17	c calculated reachability. Time: 0.00
2672.72/669.18	c  N dy  7806   1210292     14441     62336         0     73270    190214   4529154    115.63   no data  --
2701.10/676.27	c  N dy  7923   1230343     14441     62336         0     93321    190214   8205654    115.60    122.94  --
2729.43/683.35	c  N dy  8057   1250508     14441     62336         0     61496    190214   2231462    115.61    122.87  --
2756.20/690.01	c  N dy  8186   1270551     14441     62336         0     81537    190214   5892252    115.60    122.98  --
2786.56/697.68	c  N dy  8321   1290711     14441     62336         0    101697    190214   9687026    115.63    122.70  --
2813.33/704.30	c  N dy  8440   1310826     14441     62336         0     68806    190214   3371000    115.60    124.49  --
2841.31/711.33	c  N dy  8577   1330898     14441     62336         0     88878    190214   7097956    115.63    126.98  --
2872.84/719.25	c  N dy  8710   1350953     14441     62336         0     54932    190214    666668    115.66    122.76  --
2898.82/725.74	c  N dy  8840   1371045     14441     62336         0     75021    190214   4387939    115.66    122.87  --
2927.96/733.07	c  N dy  8976   1391056     14441     62336         0     95032    190214   8125186    115.69    122.02  --
2958.72/740.70	c  N dy  9104   1411177     14441     62336         0     60155    190214   1459084    115.72    123.54  --
2984.68/747.24	c  N dy  9229   1431192     14441     62336         0     80168    190214   5118731    115.71    125.27  --
3014.64/754.79	c  N dy  9360   1451277     14441     62336         0    100252    190214   8845040    115.73    127.61  --
3044.60/762.25	c  N dy  9489   1471295     14441     62336         0     64279    190214   2048672    115.73    124.74  --
3072.16/769.16	c  N dy  9624   1491541     14441     62336         0     84523    190214   5813128    115.74    122.34  --
3105.34/777.42	c  N dy  9755   1512076     14441     62336         0    105058    190214   9624528    115.74    122.88  --
3136.10/785.17	c  N dy  9883   1532090     14441     62336         0     68078    190214   2573415    115.75    122.52  --
3166.03/792.63	c  N dy 10007   1552159     14441     62336         0     88145    190214   6287090    115.76    123.22  --
3199.59/801.07	c  N dy 10144   1572251     14441     62336         0    108235    190214   9990637    115.78    123.35  --
3230.75/808.80	c  N dy 10271   1592285     14441     62336         0     70271    190214   2778791    115.79    123.24  --
3261.11/816.44	c  N dy 10406   1612356     14441     62336         0     90340    190214   6519119    115.81    122.92  --
3296.66/825.36	c  N dy 10544   1632366     14441     62336         0    110349    190214  10251168    115.84    126.11  --
3329.44/833.52	c  N dy 10684   1652423     14441     62336         0     71399    190214   2813045    115.86    124.92  --
3360.97/841.47	c  N dy 10821   1672463     14441     62336         0     91437    190214   6522397    115.88    137.03  --
3397.32/850.52	c  N dy 10959   1692632     14441     62336         0    111605    190214  10281190    115.90    122.06  --
3426.47/857.88	c  S st 11075   1710293     14441     62336         0     69280    190214   2233992    115.91    119.44  --
3427.28/858.08	c  S st 11075   1710794     14441     62336         0     69781    190214   2297928    115.91   no data  --
3427.68/858.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3427.68/858.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3428.08/858.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3428.48/858.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3428.48/858.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3428.48/858.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
3428.48/858.36	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
3455.65/865.19	c lits-rem:         7  cl-subs:        2  v-elim:      0  v-fix:    0  time: 27.27 s
3456.05/865.20	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.03
3456.05/865.24	c vivif2 --  cl tried    69779 cl shrink        0 lits rem          0 time: 0.14
3456.86/865.42	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.73
3456.86/865.43	c calculated reachability. Time: 0.00
3456.86/865.43	c  N dy 11075   1710794     14441     62336         0     69779    190214   2297496    115.91   no data  --
3487.61/873.19	c  N dy 11210   1730863     14441     62336         0     89845    190214   6052390    115.94    162.39  --
3522.77/881.98	c  N dy 11343   1750879     14441     62336         0    109861    190214   9778554    115.96    128.17  --
3555.50/890.17	c  N dy 11474   1770913     14441     62336         0     68890    190214   1964785    115.96    127.55  --
3585.06/897.59	c  N dy 11612   1790959     14441     62336         0     88934    190214   5683065    115.98    122.09  --
3618.62/905.93	c  N dy 11740   1811050     14441     62336         0    109023    190214   9393438    115.99    128.80  --
3653.37/914.60	c  N dy 11875   1831073     14441     62336         0     67050    190214   1461364    116.00    125.70  --
3682.93/922.02	c  N dy 12011   1851214     14441     62336         0     87190    190214   5214819    116.02    127.50  --
3716.11/930.36	c  N dy 12156   1871345     14441     62336         0    107318    190214   8982599    116.05    122.24  --
3755.26/940.15	c  N dy 12299   1891402     14441     62336         0     64378    190214    793210    116.06    126.38  --
3786.01/947.84	c  N dy 12430   1911454     14441     62336         0     84426    190214   4490480    116.06    125.88  --
3821.17/956.69	c  N dy 12567   1931673     14441     62336         0    104644    190214   8250795    116.07    125.32  --
3860.29/966.50	c  N dy 12693   1951967     14441     62336         0    124938    190214  12016402    116.07    126.13  --
3893.05/974.61	c  N dy 12826   1972150     14441     62336         0     81123    190214   3727087    116.08    122.27  --
3927.02/983.14	c  N dy 12957   1992263     14441     62336         0    101234    190214   7440645    116.09    124.51  --
3964.55/992.58	c  N dy 13086   2012266     14441     62336         0    121235    190214  11185348    116.10    125.57  --
4000.10/1001.45	c  N dy 13227   2032298     14441     62336         0     76272    190214   2612894    116.10    135.70  --
4033.66/1009.81	c  N dy 13361   2052414     14441     62336         0     96388    190214   6347450    116.12    126.12  --
4070.81/1019.14	c  N dy 13500   2072468     14441     62336         0    116442    190214  10070758    116.14    125.21  --
4107.17/1028.22	c  N dy 13627   2092484     14441     62336         0     70462    190214   1386340    116.15    136.19  --
4137.13/1035.75	c  N dy 13757   2112624     14441     62336         0     90598    190214   5105359    116.15    128.50  --
4171.07/1044.24	c  N dy 13884   2132747     14441     62336         0    110720    190214   8845515    116.14    122.59  --
4208.62/1053.67	c  N dy 13999   2153004     14441     62336         0    130974    190214  12568678    116.12    122.76  --
4239.77/1061.49	c  N dy 14136   2173047     14441     62336         0     84026    190214   3726160    116.13    122.37  --
4272.94/1069.76	c  N dy 14277   2193170     14441     62336         0    104146    190214   7488441    116.15    122.69  --
4304.51/1077.67	c  S st 14387   2210796     14441     62336         0    121772    190214  10737826    116.15   no data  --
4305.68/1077.96	c  S st 14387   2211299     14441     62336         0    122275    190214  10807127    116.15   no data  --
4305.68/1077.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4305.68/1077.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4306.49/1078.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.60
4308.90/1078.80	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4309.31/1078.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4309.31/1078.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14441 time:  0.02 s
4309.31/1078.82	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s

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-3175062-1304080712/watcher-3175062-1304080712 -o /tmp/evaluation-result-3175062-1304080712/solver-3175062-1304080712 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175062-1304080712.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: 8.12 8.10 7.80 5/180 17818
/proc/meminfo: memFree=30176516/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=183412 CPUtime=0 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 1413 0 0 0 0 0 0 0 25 0 4 0 519671605 187813888 1326 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640902839 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 45853 1326 340 112 0 40818 0
[pid=17818/tid=17819] ppid=17816 vsize=183560 CPUtime=0 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 324 0 0 0 0 0 0 0 25 0 4 0 519671605 187965440 1407 33554432000 4194304 4650419 140734322886688 18446744073709551615 4353632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=183560 CPUtime=0 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 4 0 519671605 187965440 1424 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640859451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=183560 CPUtime=0 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 347 0 0 0 0 0 0 0 25 0 4 0 519671605 187965440 1444 33554432000 4194304 4650419 140734322886688 18446744073709551615 4317090 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.047467 s]
/proc/loadavg: 8.12 8.10 7.80 5/180 17818
/proc/meminfo: memFree=30176516/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=297812 CPUtime=0.15 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 10236 0 0 0 14 1 0 0 18 0 4 0 519671605 304959488 9437 33554432000 4194304 4650419 140734322886688 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 74453 9462 344 112 0 69418 0
[pid=17818/tid=17819] ppid=17816 vsize=297812 CPUtime=0.03 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) S 17816 17818 17576 0 -1 4202560 2123 0 0 0 3 0 0 0 18 0 4 0 519671605 304959488 9476 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640964590 0 0 4096 2 18446604454223473344 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=297812 CPUtime=0.03 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) S 17816 17818 17576 0 -1 4202560 2492 0 0 0 3 0 0 0 18 0 4 0 519671605 304959488 9485 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640964590 0 0 4096 2 18446604454223473344 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=297812 CPUtime=0.04 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 2703 0 0 0 4 0 0 0 18 0 4 0 519671605 304959488 9497 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640557013 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 297812

[startup+0.129143 s]
/proc/loadavg: 8.12 8.10 7.80 5/180 17818
/proc/meminfo: memFree=30176516/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=309868 CPUtime=0.51 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 14944 0 0 0 48 3 0 0 18 0 4 0 519671605 317304832 13002 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640520737 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 77823 14637 377 112 0 72788 0
[pid=17818/tid=17819] ppid=17816 vsize=314148 CPUtime=0.18 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) S 17816 17818 17576 0 -1 4202560 5019 0 0 0 17 1 0 0 18 0 4 0 519671605 321687552 16680 33554432000 4194304 4650419 140734322886688 18446744073709551615 253640964590 0 0 4096 2 18446604454223473344 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=314148 CPUtime=0.18 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 5091 0 0 0 17 1 0 0 18 0 4 0 519671605 321687552 16728 33554432000 4194304 4650419 140734322886688 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=314148 CPUtime=0.18 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 2886 0 0 0 18 0 0 0 18 0 4 0 519671605 321687552 16742 33554432000 4194304 4650419 140734322886688 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 309868

[startup+1.0138 s]
/proc/loadavg: 8.12 8.10 7.80 5/180 17818
/proc/meminfo: memFree=30176516/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=319624 CPUtime=4.01 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 24984 0 0 0 396 5 0 0 19 0 4 0 519671605 327294976 21358 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364450 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 79906 21358 391 112 0 74871 0
[pid=17818/tid=17819] ppid=17816 vsize=319624 CPUtime=0.99 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 6704 0 0 0 98 1 0 0 19 0 4 0 519671605 327294976 21358 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=319624 CPUtime=0.99 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 7131 0 0 0 98 1 0 0 19 0 4 0 519671605 327294976 21358 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=319624 CPUtime=1 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 3621 0 0 0 100 0 0 0 19 0 4 0 519671605 327294976 21358 33554432000 4194304 4650419 140734322886688 18446744073709551615 4331254 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 319624

[startup+1.10078 s]
/proc/loadavg: 8.12 8.10 7.80 5/180 17818
/proc/meminfo: memFree=30176516/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=319624 CPUtime=4.36 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 25310 0 0 0 431 5 0 0 19 0 4 0 519671605 327294976 21684 33554432000 4194304 4650419 140734322886688 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 79906 21684 391 112 0 74871 0
[pid=17818/tid=17819] ppid=17816 vsize=319624 CPUtime=1.08 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 6787 0 0 0 107 1 0 0 19 0 4 0 519671605 327294976 21684 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=319624 CPUtime=1.07 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 7211 0 0 0 106 1 0 0 19 0 4 0 519671605 327294976 21684 33554432000 4194304 4650419 140734322886688 18446744073709551615 4333843 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=319624 CPUtime=1.08 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 3702 0 0 0 108 0 0 0 19 0 4 0 519671605 327294976 21684 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 319624

[startup+1.50071 s]
/proc/loadavg: 8.12 8.10 7.80 5/180 17818
/proc/meminfo: memFree=30176516/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=319624 CPUtime=5.95 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 26767 0 0 0 590 5 0 0 19 0 4 0 519671605 327294976 23141 33554432000 4194304 4650419 140734322886688 18446744073709551615 4331074 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 79906 23141 391 112 0 74871 0
[pid=17818/tid=17819] ppid=17816 vsize=319624 CPUtime=1.48 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 7154 0 0 0 147 1 0 0 19 0 4 0 519671605 327294976 23141 33554432000 4194304 4650419 140734322886688 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=319624 CPUtime=1.47 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 7576 0 0 0 146 1 0 0 19 0 4 0 519671605 327294976 23141 33554432000 4194304 4650419 140734322886688 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=319624 CPUtime=1.48 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 4058 0 0 0 148 0 0 0 19 0 4 0 519671605 327294976 23141 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 319624

[startup+3.10042 s]
/proc/loadavg: 8.27 8.13 7.82 9/184 17822
/proc/meminfo: memFree=30032892/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=472168 CPUtime=12.34 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 32421 0 0 0 1228 6 0 0 25 0 4 0 519671605 483500032 28795 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 118042 28796 391 112 0 113007 0
[pid=17818/tid=17819] ppid=17816 vsize=472168 CPUtime=3.07 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 8508 0 0 0 306 1 0 0 25 0 4 0 519671605 483500032 28796 33554432000 4194304 4650419 140734322886688 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=472168 CPUtime=3.07 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 9012 0 0 0 306 1 0 0 25 0 4 0 519671605 483500032 28796 33554432000 4194304 4650419 140734322886688 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=472168 CPUtime=3.09 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 5491 0 0 0 308 1 0 0 25 0 4 0 519671605 483500032 28796 33554432000 4194304 4650419 140734322886688 18446744073709551615 4333569 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 472168

[startup+6.30683 s]
/proc/loadavg: 8.25 8.13 7.82 9/184 17822
/proc/meminfo: memFree=30002452/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=331300 CPUtime=25.15 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 48246 0 0 0 2506 9 0 0 25 0 4 0 519671605 339251200 28265 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 82825 28265 394 112 0 77790 0
[pid=17818/tid=17819] ppid=17816 vsize=331300 CPUtime=6.26 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 12169 0 0 0 624 2 0 0 25 0 4 0 519671605 339251200 28265 33554432000 4194304 4650419 140734322886688 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=331300 CPUtime=6.28 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 13079 0 0 0 626 2 0 0 25 0 4 0 519671605 339251200 28265 33554432000 4194304 4650419 140734322886688 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=331300 CPUtime=6.29 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 9642 0 0 0 628 1 0 0 25 0 4 0 519671605 339251200 28265 33554432000 4194304 4650419 140734322886688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 331300

[startup+12.7007 s]
/proc/loadavg: 8.23 8.13 7.82 9/184 17822
/proc/meminfo: memFree=29848076/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=641400 CPUtime=50.69 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 115271 0 0 0 5045 24 0 0 25 0 4 0 519671605 656793600 84650 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364325 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 160350 84650 395 112 0 155315 0
[pid=17818/tid=17819] ppid=17816 vsize=641400 CPUtime=12.62 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 33948 0 0 0 1257 5 0 0 25 0 4 0 519671605 656793600 84650 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=641400 CPUtime=12.67 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 22721 0 0 0 1262 5 0 0 25 0 4 0 519671605 656793600 84650 33554432000 4194304 4650419 140734322886688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=641400 CPUtime=12.69 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 28227 0 0 0 1262 7 0 0 25 0 4 0 519671605 656793600 84650 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 641400

[startup+25.5003 s]
/proc/loadavg: 8.19 8.12 7.82 9/184 17822
/proc/meminfo: memFree=29436512/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=572452 CPUtime=101.82 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 159247 0 0 0 10147 35 0 0 25 0 4 0 519671605 586190848 91503 33554432000 4194304 4650419 140734322886688 18446744073709551615 4438666 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 143113 91503 395 112 0 138078 0
[pid=17818/tid=17819] ppid=17816 vsize=572452 CPUtime=25.34 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 41995 0 0 0 2528 6 0 0 25 0 4 0 519671605 586190848 91503 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=572452 CPUtime=25.47 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 39180 0 0 0 2538 9 0 0 25 0 4 0 519671605 586190848 91503 33554432000 4194304 4650419 140734322886688 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=572452 CPUtime=25.49 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 37131 0 0 0 2540 9 0 0 25 0 4 0 519671605 586190848 91503 33554432000 4194304 4650419 140734322886688 18446744073709551615 4304010 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 572452

[startup+51.1007 s]
/proc/loadavg: 8.13 8.11 7.82 9/184 17823
/proc/meminfo: memFree=29291492/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=808644 CPUtime=204.08 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 230136 0 0 0 20354 54 0 0 25 0 4 0 519671605 828051456 121291 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 202161 121291 395 112 0 197126 0
[pid=17818/tid=17819] ppid=17816 vsize=808644 CPUtime=50.81 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 53710 0 0 0 5071 10 0 0 25 0 4 0 519671605 828051456 121291 33554432000 4194304 4650419 140734322886688 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=808644 CPUtime=51.08 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 55352 0 0 0 5094 14 0 0 25 0 4 0 519671605 828051456 121291 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=808644 CPUtime=51.09 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 54028 0 0 0 5095 14 0 0 25 0 4 0 519671605 828051456 121291 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 808644

[startup+102.3 s]
/proc/loadavg: 8.10 8.11 7.83 9/184 17824
/proc/meminfo: memFree=29049296/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=823448 CPUtime=408.6 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 386693 0 0 0 40763 97 0 0 25 0 4 0 519671605 843210752 139547 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476111 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 205862 139547 395 112 0 200827 0
[pid=17818/tid=17819] ppid=17816 vsize=823448 CPUtime=101.72 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 75266 0 0 0 10154 18 0 0 25 0 4 0 519671605 843210752 139547 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=823448 CPUtime=102.27 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 87509 0 0 0 10201 26 0 0 25 0 4 0 519671605 843210752 139547 33554432000 4194304 4650419 140734322886688 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=823448 CPUtime=102.28 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 85012 0 0 0 10203 25 0 0 25 0 4 0 519671605 843210752 139547 33554432000 4194304 4650419 140734322886688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 823448

[startup+162.3 s]

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

[pid=17818] ppid=17816 vsize=1091212 CPUtime=2805.34 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 1803646 0 0 0 280018 516 0 0 25 0 4 0 519671605 1117401088 213381 33554432000 4194304 4650419 140734322886688 18446744073709551615 4306784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 272803 213381 395 112 0 267768 0
[pid=17818/tid=17819] ppid=17816 vsize=1091212 CPUtime=698.47 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 254741 0 0 0 69758 89 0 0 25 0 4 0 519671605 1117401088 213381 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1091212 CPUtime=702.28 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 552489 0 0 0 70071 157 0 0 25 0 4 0 519671605 1117401088 213381 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1091212 CPUtime=702.28 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 501907 0 0 0 70080 148 0 0 25 0 4 0 519671605 1117401088 213381 33554432000 4194304 4650419 140734322886688 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 1091212

[startup+762.301 s]
/proc/loadavg: 8.09 8.09 7.95 9/184 17842
/proc/meminfo: memFree=28144616/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1105768 CPUtime=3045 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 1919394 0 0 0 303945 555 0 0 25 0 4 0 519671605 1132306432 225337 33554432000 4194304 4650419 140734322886688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 276442 225337 395 112 0 271407 0
[pid=17818/tid=17819] ppid=17816 vsize=1105768 CPUtime=758.13 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 279631 0 0 0 75715 98 0 0 25 0 4 0 519671605 1132306432 225337 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1105768 CPUtime=762.28 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 586562 0 0 0 76061 167 0 0 25 0 4 0 519671605 1132306432 225337 33554432000 4194304 4650419 140734322886688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1105768 CPUtime=762.28 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 531305 0 0 0 76069 159 0 0 25 0 4 0 519671605 1132306432 225337 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1105768

[startup+822.301 s]
/proc/loadavg: 8.20 8.12 7.96 9/184 17844
/proc/meminfo: memFree=28060768/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1171756 CPUtime=3284.67 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 2029601 0 0 0 327874 593 0 0 25 0 4 0 519671605 1199878144 236962 33554432000 4194304 4650419 140734322886688 18446744073709551615 4229508 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 292939 236962 395 112 0 287904 0
[pid=17818/tid=17819] ppid=17816 vsize=1171756 CPUtime=817.81 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 299414 0 0 0 81673 108 0 0 25 0 4 0 519671605 1199878144 236962 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1171756 CPUtime=822.28 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 623212 0 0 0 82055 173 0 0 25 0 4 0 519671605 1199878144 236962 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1171756 CPUtime=822.28 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 561745 0 0 0 82057 171 0 0 25 0 4 0 519671605 1199878144 236962 33554432000 4194304 4650419 140734322886688 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 1171756

[startup+882.301 s]
/proc/loadavg: 8.15 8.11 7.97 9/184 17845
/proc/meminfo: memFree=28104996/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1198216 CPUtime=3524.35 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 2125985 0 0 0 351807 628 0 0 25 0 4 0 519671605 1226973184 234164 33554432000 4194304 4650419 140734322886688 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 299554 234164 395 112 0 294519 0
[pid=17818/tid=17819] ppid=17816 vsize=1198216 CPUtime=877.48 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 300811 0 0 0 87639 109 0 0 25 0 4 0 519671605 1226973184 234164 33554432000 4194304 4650419 140734322886688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1198216 CPUtime=882.28 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 667026 0 0 0 88049 179 0 0 25 0 4 0 519671605 1226973184 234164 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1198216 CPUtime=882.29 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 589345 0 0 0 88045 184 0 0 25 0 4 0 519671605 1226973184 234164 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1198216

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 7.97 9/184 17847
/proc/meminfo: memFree=27999676/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1357244 CPUtime=3764.04 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 2422692 0 0 0 375712 692 0 0 25 0 4 0 519671605 1389817856 267433 33554432000 4194304 4650419 140734322886688 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 339311 267433 395 112 0 334276 0
[pid=17818/tid=17819] ppid=17816 vsize=1357244 CPUtime=937.16 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 329539 0 0 0 93594 122 0 0 25 0 4 0 519671605 1389817856 267433 33554432000 4194304 4650419 140734322886688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1357244 CPUtime=942.29 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 828551 0 0 0 94027 202 0 0 25 0 4 0 519671605 1389817856 267433 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1357244 CPUtime=942.29 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 668224 0 0 0 94027 202 0 0 25 0 4 0 519671605 1389817856 267433 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 1357244

[startup+1002.3 s]
/proc/loadavg: 8.16 8.11 7.98 9/184 17848
/proc/meminfo: memFree=27853316/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1411360 CPUtime=4003.7 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 2901351 0 0 0 399584 786 0 0 25 0 4 0 519671605 1445232640 275584 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363337 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 352840 275584 402 112 0 347805 0
[pid=17818/tid=17819] ppid=17816 vsize=1411360 CPUtime=996.83 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 349807 0 0 0 99548 135 0 0 25 0 4 0 519671605 1445232640 275584 33554432000 4194304 4650419 140734322886688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1411360 CPUtime=1002.29 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1022798 0 0 0 99998 231 0 0 25 0 4 0 519671605 1445232640 275584 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1411360 CPUtime=1002.29 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 905938 0 0 0 99990 239 0 0 25 0 4 0 519671605 1445232640 275584 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 1411360

[startup+1062.31 s]
/proc/loadavg: 8.16 8.12 8.00 9/184 17850
/proc/meminfo: memFree=27878964/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1478380 CPUtime=4243.4 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 3263852 0 0 0 423477 863 0 0 25 0 4 0 519671605 1513861120 274758 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 369595 274758 395 112 0 364560 0
[pid=17818/tid=17819] ppid=17816 vsize=1478380 CPUtime=1056.5 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 370742 0 0 0 105504 146 0 0 25 0 4 0 519671605 1513861120 274758 33554432000 4194304 4650419 140734322886688 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1478380 CPUtime=1062.29 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1082163 0 0 0 105983 246 0 0 25 0 4 0 519671605 1513861120 274758 33554432000 4194304 4650419 140734322886688 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1478380 CPUtime=1062.29 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1160028 0 0 0 105952 277 0 0 25 0 4 0 519671605 1513861120 274758 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 1478380

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.00 9/184 17852
/proc/meminfo: memFree=27625232/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1581484 CPUtime=4483.05 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 3771432 0 0 0 447354 951 0 0 25 0 4 0 519671605 1619439616 321215 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 395371 321215 395 112 0 390336 0
[pid=17818/tid=17819] ppid=17816 vsize=1581484 CPUtime=1116.17 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 403690 0 0 0 111463 154 0 0 25 0 4 0 519671605 1619439616 321215 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1581484 CPUtime=1122.29 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1106374 0 0 0 111966 263 0 0 25 0 4 0 519671605 1619439616 321215 33554432000 4194304 4650419 140734322886688 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1581484 CPUtime=1122.29 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1420984 0 0 0 111915 314 0 0 25 0 4 0 519671605 1619439616 321215 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 1581484

[startup+1182.3 s]
/proc/loadavg: 8.04 8.09 8.00 9/184 17853
/proc/meminfo: memFree=27695388/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1581872 CPUtime=4722.73 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 4316865 0 0 0 471226 1047 0 0 25 0 4 0 519671605 1619836928 319161 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 395468 319161 406 112 0 390433 0
[pid=17818/tid=17819] ppid=17816 vsize=1581872 CPUtime=1175.84 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 403690 0 0 0 117430 154 0 0 25 0 4 0 519671605 1619836928 319161 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1581872 CPUtime=1182.28 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1128668 0 0 0 117952 276 0 0 25 0 4 0 519671605 1619836928 319161 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1581872 CPUtime=1182.3 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1704162 0 0 0 117873 357 0 0 25 0 4 0 519671605 1619836928 319161 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 1581872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.70 8.01 7.98 5/179 17855
/proc/meminfo: memFree=29046636/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1581872 CPUtime=4800.25 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 4508238 0 0 0 478945 1080 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 395468 326302 395 112 0 390433 0
[pid=17818/tid=17819] ppid=17816 vsize=1581872 CPUtime=1195.14 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 403690 0 0 0 119360 154 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1581872 CPUtime=1201.69 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1135847 0 0 0 119888 281 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1581872 CPUtime=1201.7 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1810803 0 0 0 119796 374 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1581872

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: 7.70 8.01 7.98 5/179 17855
/proc/meminfo: memFree=29046636/32951124 swapFree=67111364/67111528
[pid=17818] ppid=17816 vsize=1581872 CPUtime=4800.25 cores=1,3,5,7
/proc/17818/stat : 17818 (strangenight1-m) R 17816 17818 17576 0 -1 4202496 4508238 0 0 0 478945 1080 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17818/statm: 395468 326302 395 112 0 390433 0
[pid=17818/tid=17819] ppid=17816 vsize=1581872 CPUtime=1195.14 cores=1,3,5,7
/proc/17818/task/17819/stat : 17819 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 403690 0 0 0 119360 154 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17818/tid=17820] ppid=17816 vsize=1581872 CPUtime=1201.69 cores=1,3,5,7
/proc/17818/task/17820/stat : 17820 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1135847 0 0 0 119888 281 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17818/tid=17821] ppid=17816 vsize=1581872 CPUtime=1201.7 cores=1,3,5,7
/proc/17818/task/17821/stat : 17821 (strangenight1-m) R 17816 17818 17576 0 -1 4202560 1810803 0 0 0 119796 374 0 0 25 0 4 0 519671605 1619836928 326302 33554432000 4194304 4650419 140734322886688 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1581872

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.33
CPU user time (s): 4789.47
CPU system time (s): 10.8533
CPU usage (%): 399.44
Max. virtual memory (cumulated for all children) (KiB): 1581872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.47
system time used= 10.8534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4508239
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= 1984
involuntary context switches= 21775

runsolver used 1.85272 second user time and 4.72828 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 14:38:32
IDJOB=3175062
IDBENCH=82680
IDSOLVER=1588
FILE ID=node106/3175062-1304080712
RUNJOBID= node106-1304078300-17595
PBS_JOBID= 13170519
Free space on /tmp= 72148 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175062-1304080712/watcher-3175062-1304080712 -o /tmp/evaluation-result-3175062-1304080712/solver-3175062-1304080712 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175062-1304080712.cnf

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

MD5SUM BENCH= 745003317611baf9e79e91bc0ab8e275
RANDOM SEED=249078247

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30176796 kB
Buffers:        244140 kB
Cached:        2076056 kB
SwapCached:         88 kB
Active:         968248 kB
Inactive:      1595260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30176796 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           16964 kB
Writeback:           0 kB
AnonPages:      242752 kB
Mapped:          15476 kB
Slab:           146468 kB
PageTables:       5156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   468180 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= 72152 MiB
End job on node106 at 2011-04-29 14:58:36