Trace number 3174996

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.26 1201.97

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf
MD5SUM21fe95d2e5d58f03a2d75a4512a80cd8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.1745
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-3174996-1304076331.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.38/0.13	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.38/0.13	c -- vars added      15000
0.38/0.13	c Parsing time:  0.15 s
0.38/0.13	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.38/0.13	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.38/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
3.58/0.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3.58/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3.58/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
3.58/0.90	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:    535  v-fix:    0  time:  0.56 s
3.58/0.90	c Finding binary XORs  T:     0.01 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.02 s pos:    6551 undec:    1779 neg:    6670
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0     14465     62330         0         0    189892         0   no data   no data  --
4.39/1.12	c  N dy    15      4079     14465     62330         0      4078    189892    837354    124.65    132.62  --
7.56/1.92	c  N dy    35      8179     14465     62330         0      8178    189892   1596329    118.16    125.73  --
10.76/2.74	c  N dy    60     12258     14465     62330         0     12257    189892   2335665    117.65    134.14  --
14.36/3.65	c  N dy    84     16562     14465     62330         0     16561    189892   3121082    116.03    122.60  --
17.95/4.55	c  N dy   110     20596     14465     62330         0     10599    189892    624187    114.96    121.24  --
21.56/5.41	c  N dy   136     24657     14465     62330         0     14660    189892   1365844    115.21    126.06  --
21.56/5.48	c  F st   138     25001     14465     62330         0     15004    189892   1426684    115.15    103.05  --
26.36/6.67	c  N dy   144     30004     14465     62330         0     20006    189892   2698049    115.15   no data  --
26.36/6.67	c  S st   144     30004     14465     62330         0     20006    189892   2698049    115.15   no data  --
26.74/6.78	c  S st   144     30508     14465     62330         0     20510    189892   2766241    115.15   no data  --
26.74/6.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
26.74/6.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.14/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.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
27.93/7.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
27.93/7.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
27.93/7.08	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
44.70/11.24	c lits-rem:        47  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.53 s
45.10/11.33	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.35
45.10/11.34	c calculated reachability. Time: 0.00
45.10/11.34	c  N dy   144     30508     14465     62330         0     20507    189892   2765090    115.15   no data  --
49.10/12.38	c  N dy   166     34567     14465     62330         0     24564    189892   3478936    114.46    120.91  --
53.49/13.43	c  N dy   190     38602     14465     62330         0     28598    189892   4205176    114.28    129.45  --
58.29/14.66	c  N dy   214     43192     14465     62330         0     17689    189892   1017806    113.73    122.28  --
61.10/15.32	c  S st   233     45763     14465     62330         0     20258    189892   1484393    114.05   no data  --
61.50/15.44	c  S st   233     46267     14465     62330         0     20762    189892   1540797    114.05   no data  --
61.50/15.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.50/15.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.88/15.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
62.28/15.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
62.28/15.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
62.28/15.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
62.28/15.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
73.07/18.39	c lits-rem:        10  cl-subs:        4  v-elim:      0  v-fix:    0  time: 11.00 s
73.07/18.39	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
73.48/18.41	c vivif2 --  cl tried    20758 cl shrink        0 lits rem          0 time: 0.08
73.48/18.49	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.32
73.48/18.50	c calculated reachability. Time: 0.00
73.48/18.50	c  N dy   233     46267     14465     62330         0     20758    189892   1538842    114.05   no data  --
77.46/19.44	c  N dy   257     50355     14465     62330         0     24846    189892   2277077    113.94    121.63  --
81.46/20.42	c  N dy   284     54477     14465     62330         0     28968    189892   3012564    113.65    120.37  --
85.45/21.46	c  N dy   315     58634     14465     62330         0     33124    189892   3753515    113.76    120.95  --
89.44/22.48	c  N dy   341     62662     14465     62330         0     37151    189892   4472687    113.75    122.79  --
93.44/23.47	c  N dy   369     66734     14465     62330         0     22481    189892   1288499    113.88    174.73  --
95.84/24.10	c  S st   387     69400     14465     62330         0     25147    189892   1770736    113.88     97.33  --
96.66/24.22	c  S st   387     69906     14465     62330         0     25653    189892   1843303    113.88   no data  --
96.66/24.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
96.66/24.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.66/24.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
97.44/24.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
97.44/24.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
97.44/24.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
97.44/24.42	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.02/27.86	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.72 s
111.02/27.87	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
111.02/27.89	c vivif2 --  cl tried    25649 cl shrink        0 lits rem          0 time: 0.10
111.42/27.99	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.37
111.42/27.99	c calculated reachability. Time: 0.00
111.42/27.99	c  N dy   387     69906     14465     62330         0     25649    189892   1842169    113.88   no data  --
115.81/29.10	c  N dy   416     74487     14465     62330         0     30230    189892   2673196    113.87    123.32  --
121.01/30.32	c  N dy   450     79251     14465     62330         0     34994    189892   3534245    113.89    121.99  --
126.20/31.65	c  N dy   482     84311     14465     62330         0     40054    189892   4440579    113.90    121.16  --
129.39/32.46	c  F st   501     87501     14465     62330         0     22367    189892    834680    113.83   no data  --
132.59/33.29	c  N st   506     90801     14465     62330         0     25666    189892   1566730    113.83   no data  --
138.58/34.80	c  N dy   534     96748     14465     62330         0     31611    189892   2771815    114.02    125.09  --
145.37/36.44	c  N dy   576    102924     14465     62330         0     37787    189892   3907819    114.24    128.12  --
147.36/36.98	c  S st   590    104860     14465     62330         0     39723    189892   4267316    114.28    120.80  --
148.16/37.12	c  S st   590    105367     14465     62330         0     40230    189892   4334706    114.28   no data  --
148.16/37.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
148.16/37.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.56/37.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
149.38/37.45	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.38/37.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
149.38/37.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
149.38/37.47	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
266.81/66.85	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 117.17 s
266.81/66.85	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
267.21/66.91	c vivif2 --  cl tried    40226 cl shrink        0 lits rem          0 time: 0.22
267.62/67.02	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.46
267.62/67.03	c calculated reachability. Time: 0.00
267.62/67.03	c  N dy   590    105367     14465     62330         0     40226    189892   4334295    114.28   no data  --
274.79/68.86	c  N dy   640    112126     14465     62330         0     24547    189892    916545    114.38    141.87  --
281.98/70.63	c  N dy   678    119370     14465     62330         0     31791    189892   2249743    114.22    121.31  --
289.99/72.67	c  N dy   728    127132     14465     62330         0     39553    189892   3685791    114.39    120.61  --
299.16/74.94	c  N dy   781    135255     14465     62330         0     23960    189892    547963    114.48    126.96  --
307.94/77.14	c  N dy   842    143986     14465     62330         0     32691    189892   2133381    114.51    121.41  --
317.53/79.56	c  N dy   902    153249     14465     62330         0     41953    189892   3845078    114.63    123.69  --
322.73/80.88	c  S st   930    158053     14465     62330         0     46756    189892   4698453    114.55     96.41  --
323.53/81.03	c  S st   930    158556     14465     62330         0     47259    189892   4764654    114.55   no data  --
323.53/81.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
323.53/81.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
323.93/81.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.33
324.74/81.38	c bin-w-bin subsume rem            0 bins  time:  0.02 s
324.74/81.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
324.74/81.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
324.74/81.40	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
507.67/127.10	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 182.32 s
507.67/127.11	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
507.67/127.17	c vivif2 --  cl tried    47256 cl shrink        0 lits rem          0 time: 0.26
508.47/127.31	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.56
508.47/127.32	c calculated reachability. Time: 0.00
508.47/127.32	c  N dy   930    158556     14465     62330         0     47256    189892   4763990    114.55   no data  --
519.25/130.06	c  N dy   995    168723     14465     62330         0     32566    189892   1869604    114.56    121.36  --
531.66/133.16	c  N dy  1072    179640     14465     62330         0     43481    189892   3867375    114.69    122.19  --
545.22/136.53	c  N dy  1149    191175     14465     62330         0     29094    189892   1046494    114.70    124.41  --
558.40/139.86	c  N dy  1223    203406     14465     62330         0     41324    189892   3305320    114.67    122.37  --
573.98/143.78	c  N dy  1310    216474     14465     62330         0     27426    189892    532405    114.61    140.28  --
589.16/147.54	c  N dy  1404    230380     14465     62330         0     41329    189892   3063609    114.68    121.22  --
597.95/149.74	c  S st  1452    237836     14465     62330         0     48785    189892   4422104    114.65   no data  --
598.75/149.90	c  S st  1452    238338     14465     62330         0     49287    189892   4487704    114.65   no data  --
598.75/149.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
598.75/149.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
599.15/150.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
599.95/150.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
599.95/150.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
599.95/150.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
599.95/150.25	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
774.11/193.80	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 173.51 s
774.11/193.81	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
774.11/193.87	c vivif2 --  cl tried    49283 cl shrink        0 lits rem          0 time: 0.24
774.91/194.01	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.57
774.91/194.02	c calculated reachability. Time: 0.00
774.91/194.02	c  N dy  1452    238338     14465     62330         0     49283    189892   4486041    114.65   no data  --
792.48/198.47	c  N dy  1554    253614     14465     62330         0     36576    189892   2033124    114.69    146.99  --
811.67/203.26	c  N dy  1663    269819     14465     62330         0     52780    189892   5015505    114.82    122.68  --
832.03/208.33	c  N dy  1783    287151     14465     62330         0     41124    189892   2664753    114.97    121.59  --
854.00/213.82	c  N dy  1907    305545     14465     62330         0     59518    189892   6032860    115.02    125.30  --
854.80/214.08	c  F st  1914    306250     14465     62330         0     30228    189892    471156    115.04   no data  --
875.58/219.20	c  N dy  2004    325067     14465     62330         0     49042    189892   4260206    115.06    124.29  --
899.15/225.18	c  N dy  2138    345144     14465     62330         0     38124    189892   1742105    115.06    121.29  --
913.94/228.83	c  S st  2222    357508     14465     62330         0     50486    189892   4043747    115.09   no data  --
914.32/228.99	c  S st  2222    358011     14465     62330         0     50989    189892   4114311    115.09   no data  --
914.72/229.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
914.72/229.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
915.12/229.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
915.92/229.32	c bin-w-bin subsume rem            0 bins  time:  0.02 s
915.92/229.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
915.92/229.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
915.92/229.34	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1057.33/264.71	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 140.94 s
1057.33/264.72	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1057.33/264.77	c vivif2 --  cl tried    50988 cl shrink        0 lits rem          0 time: 0.22
1058.13/264.92	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.58
1058.13/264.93	c calculated reachability. Time: 0.00
1058.13/264.93	c  N dy  2222    358011     14465     62330         0     50988    189892   4113700    115.09   no data  --
1082.89/271.11	c  N dy  2361    378112     14465     62330         0     39093    189892   1745673    115.20    129.59  --
1106.88/277.15	c  N dy  2491    398151     14465     62330         0     59129    189892   5384504    115.17    121.46  --
1132.02/283.45	c  N dy  2628    418160     14465     62330         0     46139    189892   2870382    115.24    132.80  --
1159.20/290.24	c  N dy  2764    438316     14465     62330         0     66293    189892   6609521    115.33    122.68  --
1183.56/296.38	c  N dy  2890    458328     14465     62330         0     52310    189892   3821792    115.34    121.74  --
1210.72/303.16	c  N dy  3015    478390     14465     62330         0     37372    189892    866657    115.33    123.31  --
1235.89/309.44	c  N dy  3144    498453     14465     62330         0     57434    189892   4587979    115.37    136.29  --
1263.05/316.22	c  N dy  3261    518654     14465     62330         0     41639    189892   1461714    115.31    122.35  --
1287.04/322.22	c  S st  3374    537016     14465     62330         0     59999    189892   4835768    115.28   no data  --
1287.81/322.41	c  S st  3374    537519     14465     62330         0     60502    189892   4902104    115.28   no data  --
1287.81/322.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1287.81/322.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1288.21/322.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1289.42/322.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1289.42/322.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1289.42/322.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
1289.42/322.83	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1535.09/384.37	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 245.28 s
1535.09/384.38	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1535.48/384.44	c vivif2 --  cl tried    60495 cl shrink        0 lits rem          0 time: 0.26
1536.28/384.60	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.63
1536.28/384.61	c calculated reachability. Time: 0.00
1536.28/384.61	c  N dy  3374    537519     14465     62330         0     60495    189892   4899055    115.28   no data  --
1561.45/390.91	c  N dy  3512    557607     14465     62330         0     43587    189892   1685991    115.35    121.80  --
1585.02/396.88	c  N dy  3646    577789     14465     62330         0     63769    189892   5357879    115.35    121.75  --
1609.78/403.09	c  N dy  3773    597851     14465     62330         0     45842    189892   1888504    115.33    127.25  --
1634.17/409.13	c  N dy  3896    617907     14465     62330         0     65897    189892   5570780    115.33    123.74  --
1659.32/415.42	c  N dy  4023    638087     14465     62330         0     47070    189892   1903170    115.30    121.99  --
1684.07/421.63	c  N dy  4159    658207     14465     62330         0     67188    189892   5639216    115.34    123.16  --
1709.26/427.97	c  N dy  4286    678274     14465     62330         0     47250    189892   1740841    115.34    165.62  --
1733.61/434.03	c  N dy  4407    698292     14465     62330         0     67267    189892   5376204    115.28    121.39  --
1759.57/440.55	c  N dy  4524    718394     14465     62330         0     46365    189892   1430449    115.23    122.49  --
1783.57/446.59	c  N dy  4649    738535     14465     62330         0     66504    189892   5089705    115.21    125.34  --
1810.70/453.32	c  N dy  4779    758550     14465     62330         0     44523    189892    903795    115.21    122.12  --
1835.08/459.43	c  N dy  4913    778936     14465     62330         0     64908    189892   4632561    115.18    121.80  --
1862.24/466.21	c  N dy  5038    798969     14465     62330         0     84939    189892   8279149    115.17    122.62  --
1871.02/468.40	c  S st  5084    806279     14465     62330         0     49255    189892   1598246    115.16    114.04  --
1871.43/468.57	c  S st  5084    806781     14465     62330         0     49757    189892   1675193    115.16   no data  --
1871.43/468.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1871.43/468.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1871.83/468.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1872.21/468.76	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1872.21/468.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1872.21/468.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
1872.21/468.77	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1887.40/472.55	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.06 s
1887.40/472.55	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1887.40/472.58	c vivif2 --  cl tried    49755 cl shrink        0 lits rem          0 time: 0.10
1888.20/472.71	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.51
1888.20/472.71	c calculated reachability. Time: 0.00
1888.20/472.71	c  N dy  5084    806781     14465     62330         0     49755    189892   1674882    115.16   no data  --
1912.56/478.87	c  N dy  5212    826787     14465     62330         0     69759    189892   5352646    115.15    122.55  --
1940.12/485.76	c  N dy  5339    846801     14465     62330         0     45774    189892    781425    115.16    121.41  --
1964.89/491.99	c  N dy  5473    866956     14465     62330         0     65928    189892   4510102    115.18    122.36  --
1995.64/499.61	c  N dy  5608    887069     14465     62330         0     86039    189892   8226037    115.20    121.89  --
2022.81/506.44	c  N dy  5734    907213     14465     62330         0     61187    189892   3437149    115.21    126.67  --
2051.99/513.71	c  N dy  5864    927254     14465     62330         0     81224    189892   7118112    115.21    123.51  --
2081.14/521.07	c  N dy  5994    947349     14465     62330         0     55324    189892   2152354    115.20    138.66  --
2109.12/528.08	c  N dy  6135    967541     14465     62330         0     75513    189892   5830489    115.21    123.43  --
2141.45/536.12	c  N dy  6272    987708     14465     62330         0     48682    189892    766596    115.24    124.97  --
2168.21/542.88	c  N dy  6407   1007779     14465     62330         0     68751    189892   4485292    115.25    123.99  --
2198.98/550.60	c  N dy  6544   1027788     14465     62330         0     88759    189892   8164451    115.26    124.68  --
2228.14/557.83	c  N dy  6677   1047874     14465     62330         0     60847    189892   2848097    115.27    121.45  --
2257.30/565.16	c  N dy  6802   1067942     14465     62330         0     80912    189892   6579019    115.28    126.00  --
2263.69/566.70	c  F st  6825   1071877     14465     62330         0     84847    189892   7312348    115.28    104.45  --
2288.87/573.10	c  N dy  6905   1087964     14465     62330         0     51935    189892   1006786    115.28    122.90  --
2316.82/580.02	c  N dy  7038   1108150     14465     62330         0     72120    189892   4712868    115.29    128.55  --
2347.97/587.86	c  N dy  7169   1128235     14465     62330         0     92203    189892   8385518    115.30    151.28  --
2376.34/594.99	c  N dy  7303   1148386     14465     62330         0     62359    189892   2729112    115.30    122.00  --
2405.10/602.10	c  N dy  7428   1168423     14465     62330         0     82395    189892   6440697    115.30    136.16  --
2437.06/610.17	c  N dy  7557   1188704     14465     62330         0     51675    189892    603095    115.30    122.41  --
2463.41/616.76	c  N dy  7681   1209018     14465     62330         0     71988    189892   4333043    115.30    122.33  --
2465.04/617.16	c  S st  7690   1210171     14465     62330         0     73141    189892   4543510    115.30   no data  --
2465.82/617.35	c  S st  7690   1210675     14465     62330         0     73645    189892   4615048    115.30   no data  --
2465.82/617.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2465.82/617.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2466.22/617.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
2467.41/617.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2467.41/617.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2467.41/617.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
2467.41/617.72	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
2678.72/670.69	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 211.26 s
2679.12/670.70	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
2679.12/670.76	c vivif2 --  cl tried    73641 cl shrink        0 lits rem          0 time: 0.25
2679.94/670.94	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.70
2679.94/670.95	c calculated reachability. Time: 0.00
2679.94/670.95	c  N dy  7690   1210675     14465     62330         0     73641    189892   4614019    115.30   no data  --
2708.68/678.10	c  N dy  7822   1230712     14465     62330         0     93677    189892   8319591    115.32    123.69  --
2736.64/685.11	c  N dy  7950   1250808     14465     62330         0     61784    189892   2281649    115.31    121.82  --
2763.42/691.89	c  N dy  8087   1270951     14465     62330         0     81925    189892   5982175    115.32    123.04  --
2794.18/699.53	c  N dy  8216   1291082     14465     62330         0    102055    189892   9699920    115.33    122.12  --
2820.93/706.26	c  N dy  8345   1311295     14465     62330         0     69269    189892   3463454    115.31    124.72  --
2849.27/713.39	c  N dy  8484   1331363     14465     62330         0     89333    189892   7228908    115.34    123.68  --
2881.64/721.45	c  N dy  8624   1351522     14465     62330         0     55489    189892    765743    115.35    121.57  --
2907.20/727.87	c  N dy  8763   1371566     14465     62330         0     75532    189892   4482493    115.38    156.61  --
2936.35/735.13	c  N dy  8894   1391604     14465     62330         0     95569    189892   8154135    115.39    124.24  --
2966.30/742.69	c  N dy  9026   1411620     14465     62330         0     60593    189892   1528374    115.42    124.42  --
2993.07/749.31	c  N dy  9157   1431767     14465     62330         0     80739    189892   5249663    115.43    123.31  --
3023.43/756.94	c  N dy  9291   1451799     14465     62330         0    100770    189892   8923082    115.44    127.77  --
3053.40/764.40	c  N dy  9428   1471802     14465     62330         0     64776    189892   2147707    115.46    148.41  --
3080.54/771.28	c  N dy  9565   1491901     14465     62330         0     84873    189892   5911447    115.49    135.65  --
3111.70/779.09	c  N dy  9700   1511984     14465     62330         0    104954    189892   9628145    115.51    127.69  --
3143.26/786.96	c  N dy  9841   1532136     14465     62330         0     68103    189892   2564403    115.53    129.68  --
3173.21/794.46	c  N dy  9976   1552294     14465     62330         0     88261    189892   6314501    115.54    122.23  --
3207.13/802.94	c  N dy 10106   1572332     14465     62330         0    108298    189892  10016342    115.55    121.65  --
3239.56/811.16	c  N dy 10241   1592425     14465     62330         0     70398    189892   2860542    115.58    125.98  --
3271.14/819.18	c  N dy 10381   1612450     14465     62330         0     90422    189892   6558644    115.60    136.31  --
3307.40/828.28	c  N dy 10528   1632618     14465     62330         0    110588    189892  10321781    115.64    130.12  --
3340.14/836.42	c  N dy 10669   1652691     14465     62330         0     71661    189892   2899748    115.68    125.90  --
3372.10/844.41	c  N dy 10808   1672747     14465     62330         0     91716    189892   6629302    115.70    123.68  --
3407.25/853.29	c  N dy 10945   1692757     14465     62330         0    111725    189892  10352083    115.73    124.66  --
3437.20/860.71	c  S st 11057   1710678     14465     62330         0     69646    189892   2303135    115.73   no data  --
3437.60/860.89	c  S st 11057   1711180     14465     62330         0     70148    189892   2368710    115.73   no data  --
3438.00/860.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3438.00/860.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3438.40/861.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3438.80/861.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3438.80/861.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3438.80/861.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
3438.80/861.17	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3466.76/868.19	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time: 28.00 s
3467.16/868.20	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
3467.16/868.23	c vivif2 --  cl tried    70145 cl shrink        0 lits rem          0 time: 0.14
3467.96/868.41	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.71
3467.96/868.42	c calculated reachability. Time: 0.00
3467.96/868.42	c  N dy 11057   1711180     14465     62330         0     70145    189892   2368153    115.73   no data  --
3497.92/875.97	c  N dy 11194   1731290     14465     62330         0     90252    189892   6065976    115.75    125.08  --
3531.89/884.41	c  N dy 11330   1751388     14465     62330         0    110350    189892   9793255    115.77    141.98  --
3565.03/892.71	c  N dy 11467   1771548     14465     62330         0     69519    189892   2116060    115.78    128.56  --
3594.99/900.22	c  N dy 11599   1791613     14465     62330         0     89582    189892   5782140    115.78    123.42  --
3628.56/908.69	c  N dy 11736   1811727     14465     62330         0    109696    189892   9478517    115.79    126.49  --
3662.50/917.17	c  N dy 11867   1831822     14465     62330         0     67788    189892   1579099    115.79    127.18  --
3692.06/924.58	c  N dy 12001   1851846     14465     62330         0     87810    189892   5281405    115.80    121.90  --
3727.21/933.37	c  N dy 12130   1871900     14465     62330         0    107864    189892   9007699    115.82    122.05  --
3765.95/943.08	c  N dy 12259   1891969     14465     62330         0     64932    189892    902662    115.83    125.07  --
3796.72/950.79	c  N dy 12391   1912186     14465     62330         0     85148    189892   4636263    115.83    127.14  --
3832.26/959.67	c  N dy 12526   1932515     14465     62330         0    105475    189892   8366200    115.83    122.27  --
3871.01/969.39	c  N dy 12663   1952605     14465     62330         0    125563    189892  12114343    115.85    124.53  --
3902.97/977.37	c  N dy 12799   1972653     14465     62330         0     81620    189892   3839258    115.87    125.47  --
3937.32/985.99	c  N dy 12933   1992969     14465     62330         0    101935    189892   7532769    115.87    122.07  --
3975.69/995.51	c  N dy 13065   2013003     14465     62330         0    121968    189892  11273614    115.89    122.48  --
4010.02/1004.18	c  N dy 13195   2033022     14465     62330         0     76991    189892   2788117    115.89    123.91  --
4043.97/1012.64	c  N dy 13338   2053116     14465     62330         0     97082    189892   6553491    115.93    143.68  --
4080.74/1021.80	c  N dy 13474   2073365     14465     62330         0    117330    189892  10277521    115.93    123.80  --
4116.29/1030.75	c  N dy 13610   2093425     14465     62330         0     71390    189892   1530296    115.95    125.00  --
4146.66/1038.34	c  N dy 13748   2113469     14465     62330         0     91429    189892   5245007    115.95    123.90  --
4180.99/1046.90	c  N dy 13885   2133472     14465     62330         0    111432    189892   8982386    115.97    138.75  --
4218.13/1056.20	c  N dy 14011   2153545     14465     62330         0    131505    189892  12691667    115.97    123.61  --
4248.49/1063.84	c  N dy 14146   2173551     14465     62330         0     84520    189892   3819321    115.98    122.89  --
4281.25/1072.01	c  N dy 14274   2193630     14465     62330         0    104598    189892   7459951    115.96    124.88  --
4314.40/1080.39	c  S st 14397   2211180     14465     62330         0    122147    189892  10725902    115.99   no data  --
4316.00/1080.70	c  S st 14397   2211682     14465     62330         0    122649    189892  10789579    115.99   no data  --
4316.00/1080.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4316.00/1080.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4316.40/1080.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.63
4319.20/1081.57	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4319.20/1081.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4319.20/1081.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
4319.20/1081.59	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-3174996-1304076331/watcher-3174996-1304076331 -o /tmp/evaluation-result-3174996-1304076331/solver-3174996-1304076331 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174996-1304076331.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: 6.86 7.86 7.93 5/180 26487
/proc/meminfo: memFree=17411984/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 414 0 0 0 0 0 0 0 21 0 4 0 597863898 52465664 353 33554432000 4194304 4650419 140733430739536 18446744073709551615 47806953355186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 12809 353 303 112 0 7774 0
[pid=26487/tid=26488] ppid=26485 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 597863899 52465664 353 33554432000 4194304 4650419 140733430739536 18446744073709551615 47806953355186 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 597863899 52465664 353 33554432000 4194304 4650419 140733430739536 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 597863899 52465664 353 33554432000 4194304 4650419 140733430739536 18446744073709551615 47806953355186 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.082231 s]
/proc/loadavg: 6.86 7.86 7.93 5/180 26487
/proc/meminfo: memFree=17411984/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=299884 CPUtime=0.3 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 11440 0 0 0 28 2 0 0 18 0 4 0 597863898 307081216 10415 33554432000 4194304 4650419 140733430739536 18446744073709551615 4369305 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 74971 10415 367 112 0 69936 0
[pid=26487/tid=26488] ppid=26485 vsize=299884 CPUtime=0.06 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 2745 0 0 0 6 0 0 0 18 0 4 0 597863899 307081216 10415 33554432000 4194304 4650419 140733430739536 18446744073709551615 4369867 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=299884 CPUtime=0.07 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 2735 0 0 0 7 0 0 0 24 0 4 0 597863899 307081216 10415 33554432000 4194304 4650419 140733430739536 18446744073709551615 4536479 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=299884 CPUtime=0.06 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 2807 0 0 0 6 0 0 0 18 0 4 0 597863899 307081216 10415 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 299884

[startup+0.101227 s]
/proc/loadavg: 6.86 7.86 7.93 5/180 26487
/proc/meminfo: memFree=17411984/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=306224 CPUtime=0.38 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 13318 0 0 0 35 3 0 0 18 0 4 0 597863898 313573376 11180 33554432000 4194304 4650419 140733430739536 18446744073709551615 4244326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 76556 11180 371 112 0 71521 0
[pid=26487/tid=26488] ppid=26485 vsize=306224 CPUtime=0.08 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 3368 0 0 0 8 0 0 0 18 0 4 0 597863899 313573376 11180 33554432000 4194304 4650419 140733430739536 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=306224 CPUtime=0.08 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 3355 0 0 0 8 0 0 0 24 0 4 0 597863899 313573376 11180 33554432000 4194304 4650419 140733430739536 18446744073709551615 4243915 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=306224 CPUtime=0.08 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 2821 0 0 0 8 0 0 0 18 0 4 0 597863899 313573376 11180 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 306224

[startup+0.301196 s]
/proc/loadavg: 6.86 7.86 7.93 5/180 26487
/proc/meminfo: memFree=17411984/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=317452 CPUtime=1.17 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 21859 0 0 0 113 4 0 0 18 0 4 0 597863898 325070848 17953 33554432000 4194304 4650419 140733430739536 18446744073709551615 4421621 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 79363 17953 387 112 0 74328 0
[pid=26487/tid=26488] ppid=26485 vsize=317452 CPUtime=0.28 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 6456 0 0 0 28 0 0 0 18 0 4 0 597863899 325070848 17953 33554432000 4194304 4650419 140733430739536 18446744073709551615 4421621 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=317452 CPUtime=0.29 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 6037 0 0 0 28 1 0 0 25 0 4 0 597863899 325070848 17953 33554432000 4194304 4650419 140733430739536 18446744073709551615 4306853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=317452 CPUtime=0.28 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 3009 0 0 0 28 0 0 0 18 0 4 0 597863899 325070848 17953 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 317452

[startup+0.701122 s]
/proc/loadavg: 6.86 7.86 7.93 5/180 26487
/proc/meminfo: memFree=17411984/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=317452 CPUtime=2.78 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 23618 0 0 0 273 5 0 0 18 0 4 0 597863898 325070848 19500 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 79363 19500 391 112 0 74328 0
[pid=26487/tid=26488] ppid=26485 vsize=317452 CPUtime=0.69 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 7048 0 0 0 68 1 0 0 18 0 4 0 597863899 325070848 19500 33554432000 4194304 4650419 140733430739536 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=317452 CPUtime=0.69 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 6435 0 0 0 68 1 0 0 25 0 4 0 597863899 325070848 19501 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=317452 CPUtime=0.68 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 3394 0 0 0 68 0 0 0 18 0 4 0 597863899 325070848 19501 33554432000 4194304 4650419 140733430739536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 317452

[startup+1.50098 s]
/proc/loadavg: 6.86 7.86 7.93 9/184 26491
/proc/meminfo: memFree=17319620/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=317452 CPUtime=5.97 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 26880 0 0 0 592 5 0 0 20 0 4 0 597863898 325070848 22762 33554432000 4194304 4650419 140733430739536 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 79363 22762 391 112 0 74328 0
[pid=26487/tid=26488] ppid=26485 vsize=317452 CPUtime=1.48 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 7821 0 0 0 147 1 0 0 19 0 4 0 597863899 325070848 22762 33554432000 4194304 4650419 140733430739536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=317452 CPUtime=1.48 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 7212 0 0 0 147 1 0 0 25 0 4 0 597863899 325070848 22762 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=317452 CPUtime=1.49 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 4305 0 0 0 148 1 0 0 20 0 4 0 597863899 325070848 22762 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 317452

[startup+3.1007 s]
/proc/loadavg: 6.86 7.86 7.93 9/184 26491
/proc/meminfo: memFree=17306600/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=469996 CPUtime=12.36 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 32718 0 0 0 1230 6 0 0 25 0 4 0 597863898 481275904 28600 33554432000 4194304 4650419 140733430739536 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 117499 28600 391 112 0 112464 0
[pid=26487/tid=26488] ppid=26485 vsize=469996 CPUtime=3.09 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 9296 0 0 0 307 2 0 0 25 0 4 0 597863899 481275904 28600 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=469996 CPUtime=3.07 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 8628 0 0 0 306 1 0 0 25 0 4 0 597863899 481275904 28600 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=469996 CPUtime=3.09 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 5814 0 0 0 308 1 0 0 25 0 4 0 597863899 481275904 28600 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 469996

[startup+6.30114 s]
/proc/loadavg: 6.95 7.86 7.93 9/184 26491
/proc/meminfo: memFree=17199480/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=329272 CPUtime=25.15 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 49150 0 0 0 2504 11 0 0 25 0 4 0 597863898 337174528 28411 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364497 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 82318 28411 394 112 0 77283 0
[pid=26487/tid=26488] ppid=26485 vsize=329272 CPUtime=6.29 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 13550 0 0 0 626 3 0 0 25 0 4 0 597863899 337174528 28411 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=329272 CPUtime=6.26 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 12692 0 0 0 624 2 0 0 25 0 4 0 597863899 337174528 28411 33554432000 4194304 4650419 140733430739536 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=329272 CPUtime=6.28 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 10109 0 0 0 626 2 0 0 25 0 4 0 597863899 337174528 28411 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363420 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) 329272

[startup+12.701 s]
/proc/loadavg: 7.04 7.86 7.93 9/184 26491
/proc/meminfo: memFree=16940460/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=558460 CPUtime=50.7 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 118892 0 0 0 5042 28 0 0 25 0 4 0 597863898 571863040 86711 33554432000 4194304 4650419 140733430739536 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 139615 86711 395 112 0 134580 0
[pid=26487/tid=26488] ppid=26485 vsize=558460 CPUtime=12.68 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 37092 0 0 0 1259 9 0 0 25 0 4 0 597863899 571863040 86711 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=558460 CPUtime=12.62 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 23439 0 0 0 1257 5 0 0 25 0 4 0 597863899 571863040 86711 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=558460 CPUtime=12.69 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 28601 0 0 0 1262 7 0 0 25 0 4 0 597863899 571863040 86711 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 558460

[startup+25.5008 s]
/proc/loadavg: 7.25 7.87 7.93 9/184 26492
/proc/meminfo: memFree=16815336/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=573464 CPUtime=101.83 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 166690 0 0 0 10142 41 0 0 25 0 4 0 597863898 587227136 94124 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 143366 94124 395 112 0 138331 0
[pid=26487/tid=26488] ppid=26485 vsize=573464 CPUtime=25.48 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 46586 0 0 0 2536 12 0 0 25 0 4 0 597863899 587227136 94124 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=573464 CPUtime=25.35 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 41019 0 0 0 2525 10 0 0 25 0 4 0 597863899 587227136 94124 33554432000 4194304 4650419 140733430739536 18446744073709551615 4438168 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=573464 CPUtime=25.48 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 37319 0 0 0 2540 8 0 0 25 0 4 0 597863899 587227136 94124 33554432000 4194304 4650419 140733430739536 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 573464

[startup+51.1003 s]
/proc/loadavg: 7.51 7.88 7.93 9/184 26492
/proc/meminfo: memFree=16623244/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=729024 CPUtime=204.08 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 231924 0 0 0 20346 62 0 0 25 0 4 0 597863898 746520576 121699 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 182256 121699 395 112 0 177221 0
[pid=26487/tid=26488] ppid=26485 vsize=729024 CPUtime=51.07 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 64340 0 0 0 5089 18 0 0 25 0 4 0 597863899 746520576 121699 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=729024 CPUtime=50.8 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 57852 0 0 0 5065 15 0 0 25 0 4 0 597863899 746520576 121699 33554432000 4194304 4650419 140733430739536 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=729024 CPUtime=51.09 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 55848 0 0 0 5093 16 0 0 25 0 4 0 597863899 746520576 121699 33554432000 4194304 4650419 140733430739536 18446744073709551615 4367329 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) 729024

[startup+102.306 s]
/proc/loadavg: 7.83 7.91 7.93 9/184 26494
/proc/meminfo: memFree=16524848/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=743972 CPUtime=408.63 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 325534 0 0 0 40769 94 0 0 25 0 4 0 597863898 761827328 139397 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 185993 139397 395 112 0 180958 0
[pid=26487/tid=26488] ppid=26485 vsize=743972 CPUtime=102.29 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 86141 0 0 0 10202 27 0 0 25 0 4 0 597863899 761827328 139397 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=743972 CPUtime=101.73 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 89162 0 0 0 10147 26 0 0 25 0 4 0 597863899 761827328 139397 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=743972 CPUtime=102.29 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 87751 0 0 0 10204 25 0 0 25 0 4 0 597863899 761827328 139397 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 743972

[startup+162.301 s]

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

[pid=26487] ppid=26485 vsize=1136720 CPUtime=2805.33 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 2568028 0 0 0 279872 661 0 0 25 0 4 0 597863898 1164001280 223157 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 284180 223157 395 112 0 279145 0
[pid=26487/tid=26488] ppid=26485 vsize=1136720 CPUtime=702.27 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1023010 0 0 0 70010 217 0 0 25 0 4 0 597863899 1164001280 223157 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1136720 CPUtime=698.46 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 631392 0 0 0 69676 170 0 0 25 0 4 0 597863899 1164001280 223157 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1136720 CPUtime=702.28 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 691219 0 0 0 70045 183 0 0 25 0 4 0 597863899 1164001280 223157 33554432000 4194304 4650419 140733430739536 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 1136720

[startup+762.307 s]
/proc/loadavg: 8.00 8.00 7.96 9/184 26511
/proc/meminfo: memFree=15899404/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1084752 CPUtime=3045.02 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 2686339 0 0 0 303800 702 0 0 25 0 4 0 597863898 1110786048 222546 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 271188 222546 395 112 0 266153 0
[pid=26487/tid=26488] ppid=26485 vsize=1084752 CPUtime=762.27 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1053101 0 0 0 76000 227 0 0 25 0 4 0 597863899 1110786048 222546 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1084752 CPUtime=758.13 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 664632 0 0 0 75630 183 0 0 25 0 4 0 597863899 1110786048 222546 33554432000 4194304 4650419 140733430739536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1084752 CPUtime=762.29 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 720689 0 0 0 76036 193 0 0 25 0 4 0 597863899 1110786048 222546 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363592 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1084752

[startup+822.3 s]
/proc/loadavg: 8.39 8.09 8.00 9/184 26516
/proc/meminfo: memFree=15737404/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1335580 CPUtime=3283.81 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 2897822 0 0 0 327623 758 0 0 25 0 4 0 597863898 1367633920 251269 33554432000 4194304 4650419 140733430739536 18446744073709551615 4303936 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 333895 251269 395 112 0 328860 0
[pid=26487/tid=26488] ppid=26485 vsize=1335580 CPUtime=822.27 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1073050 0 0 0 81992 235 0 0 25 0 4 0 597863899 1367633920 251269 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1335580 CPUtime=817.8 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 800247 0 0 0 81575 205 0 0 25 0 4 0 597863899 1367633920 251269 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1335580 CPUtime=821.63 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 751287 0 0 0 81957 206 0 0 25 0 4 0 597863899 1367633920 251269 33554432000 4194304 4650419 140733430739536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.81
Current children cumulated vsize (KiB) 1335580

[startup+882.301 s]
/proc/loadavg: 8.22 8.09 8.00 9/184 26517
/proc/meminfo: memFree=15767832/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1270900 CPUtime=3523.48 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 3119639 0 0 0 351533 815 0 0 25 0 4 0 597863898 1301401600 245536 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 317725 245536 395 112 0 312690 0
[pid=26487/tid=26488] ppid=26485 vsize=1270900 CPUtime=882.26 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1080378 0 0 0 87987 239 0 0 25 0 4 0 597863899 1301401600 245536 33554432000 4194304 4650419 140733430739536 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1270900 CPUtime=877.47 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 967642 0 0 0 87517 230 0 0 25 0 4 0 597863899 1301401600 245536 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1270900 CPUtime=881.63 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 779547 0 0 0 87942 221 0 0 25 0 4 0 597863899 1301401600 245536 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.48
Current children cumulated vsize (KiB) 1270900

[startup+942.3 s]
/proc/loadavg: 8.15 8.09 8.00 9/184 26519
/proc/meminfo: memFree=15582936/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1403084 CPUtime=3763.16 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 3439788 0 0 0 375432 884 0 0 25 0 4 0 597863898 1436758016 285676 33554432000 4194304 4650419 140733430739536 18446744073709551615 4339794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 350771 285676 395 112 0 345736 0
[pid=26487/tid=26488] ppid=26485 vsize=1403084 CPUtime=942.27 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1109501 0 0 0 93975 252 0 0 25 0 4 0 597863899 1436758016 285676 33554432000 4194304 4650419 140733430739536 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1403084 CPUtime=937.15 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1132829 0 0 0 93462 253 0 0 25 0 4 0 597863899 1436758016 285676 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1403084 CPUtime=941.63 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 883561 0 0 0 93918 245 0 0 25 0 4 0 597863899 1436758016 285676 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.16
Current children cumulated vsize (KiB) 1403084

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 8.01 9/184 26521
/proc/meminfo: memFree=15645904/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1284796 CPUtime=4002.83 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 3921693 0 0 0 399308 975 0 0 25 0 4 0 597863898 1315631104 274287 33554432000 4194304 4650419 140733430739536 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 321199 274287 414 112 0 316164 0
[pid=26487/tid=26488] ppid=26485 vsize=1284796 CPUtime=1002.26 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1133539 0 0 0 99959 267 0 0 25 0 4 0 597863899 1315631104 274287 33554432000 4194304 4650419 140733430739536 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1284796 CPUtime=996.82 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1327799 0 0 0 99400 282 0 0 25 0 4 0 597863899 1315631104 274287 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1284796 CPUtime=1001.63 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1126866 0 0 0 99883 280 0 0 25 0 4 0 597863899 1315631104 274287 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.83
Current children cumulated vsize (KiB) 1284796

[startup+1062.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 26522
/proc/meminfo: memFree=15650108/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1405348 CPUtime=4242.51 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 4289878 0 0 0 423194 1057 0 0 25 0 4 0 597863898 1439076352 269180 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 351337 269180 395 112 0 346302 0
[pid=26487/tid=26488] ppid=26485 vsize=1405348 CPUtime=1062.26 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1161536 0 0 0 105944 282 0 0 25 0 4 0 597863899 1439076352 269180 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1405348 CPUtime=1056.5 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1387592 0 0 0 105353 297 0 0 25 0 4 0 597863899 1439076352 269022 33554432000 4194304 4650419 140733430739536 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1405348 CPUtime=1061.64 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1383309 0 0 0 105847 317 0 0 25 0 4 0 597863899 1439076352 268830 33554432000 4194304 4650419 140733430739536 18446744073709551615 215988636007 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.51
Current children cumulated vsize (KiB) 1405348

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.01 9/184 26524
/proc/meminfo: memFree=15435468/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1530672 CPUtime=4482.18 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 4773753 0 0 0 447069 1149 0 0 25 0 4 0 597863898 1567408128 317063 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 382668 317063 395 112 0 377633 0
[pid=26487/tid=26488] ppid=26485 vsize=1530672 CPUtime=1122.26 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1344026 0 0 0 111913 313 0 0 25 0 4 0 597863899 1567408128 317063 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1530672 CPUtime=1116.17 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1413955 0 0 0 111304 313 0 0 25 0 4 0 597863899 1567408128 317063 33554432000 4194304 4650419 140733430739536 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1530672 CPUtime=1121.64 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1639957 0 0 0 111809 355 0 0 25 0 4 0 597863899 1567408128 317063 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.18
Current children cumulated vsize (KiB) 1530672

[startup+1182.3 s]
/proc/loadavg: 8.09 8.09 8.01 9/184 26525
/proc/meminfo: memFree=15478332/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1476764 CPUtime=4721.86 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 5287312 0 0 0 470939 1247 0 0 25 0 4 0 597863898 1512206336 314404 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 369191 314404 404 112 0 364156 0
[pid=26487/tid=26488] ppid=26485 vsize=1476764 CPUtime=1182.26 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1550423 0 0 0 117881 345 0 0 25 0 4 0 597863899 1512206336 314404 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1476764 CPUtime=1175.84 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1439097 0 0 0 117252 332 0 0 25 0 4 0 597863899 1512206336 314404 33554432000 4194304 4650419 140733430739536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1476764 CPUtime=1181.64 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1921970 0 0 0 117762 402 0 0 25 0 4 0 597863899 1512206336 314404 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.86
Current children cumulated vsize (KiB) 1476764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.07 8.08 8.01 5/179 26527
/proc/meminfo: memFree=16163956/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1531092 CPUtime=4800.17 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 5469869 0 0 0 478737 1280 0 0 25 0 4 0 597863898 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 382773 321968 414 112 0 377738 0
[pid=26487/tid=26488] ppid=26485 vsize=1531092 CPUtime=1201.88 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1619195 0 0 0 119833 355 0 0 25 0 4 0 597863899 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1531092 CPUtime=1195.33 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1446606 0 0 0 119196 337 0 0 25 0 4 0 597863899 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1531092 CPUtime=1201.25 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 2028246 0 0 0 119704 421 0 0 25 0 4 0 597863899 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1531092

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

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

[startup+1201.9 s]
/proc/loadavg: 8.07 8.08 8.01 5/179 26527
/proc/meminfo: memFree=16163956/32950940 swapFree=67111528/67111528
[pid=26487] ppid=26485 vsize=1531092 CPUtime=4800.17 cores=1,3,5,7
/proc/26487/stat : 26487 (strangenight1-m) R 26485 26487 25837 0 -1 4202496 5469869 0 0 0 478737 1280 0 0 25 0 4 0 597863898 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26487/statm: 382773 321968 414 112 0 377738 0
[pid=26487/tid=26488] ppid=26485 vsize=1531092 CPUtime=1201.88 cores=1,3,5,7
/proc/26487/task/26488/stat : 26488 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1619195 0 0 0 119833 355 0 0 25 0 4 0 597863899 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26487/tid=26489] ppid=26485 vsize=1531092 CPUtime=1195.33 cores=1,3,5,7
/proc/26487/task/26489/stat : 26489 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 1446606 0 0 0 119196 337 0 0 25 0 4 0 597863899 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26487/tid=26490] ppid=26485 vsize=1531092 CPUtime=1201.25 cores=1,3,5,7
/proc/26487/task/26490/stat : 26490 (strangenight1-m) R 26485 26487 25837 0 -1 4202560 2028246 0 0 0 119704 421 0 0 25 0 4 0 597863899 1567838208 321968 33554432000 4194304 4650419 140733430739536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1531092

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.97
CPU time (s): 4800.26
CPU user time (s): 4787.39
CPU system time (s): 12.863
CPU usage (%): 399.367
Max. virtual memory (cumulated for all children) (KiB): 1582544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.39
system time used= 12.863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5469870
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= 1595
involuntary context switches= 20119

runsolver used 1.65775 second user time and 4.91725 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 13:25:31
IDJOB=3174996
IDBENCH=82614
IDSOLVER=1588
FILE ID=node117/3174996-1304076331
RUNJOBID= node117-1304076330-26465
PBS_JOBID= 13170483
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 21fe95d2e5d58f03a2d75a4512a80cd8
RANDOM SEED=732376748

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17412264 kB
Buffers:       2379228 kB
Cached:       12470416 kB
SwapCached:          0 kB
Active:        8191452 kB
Inactive:      6766436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17412264 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14508 kB
Writeback:           0 kB
AnonPages:      107468 kB
Mapped:          15180 kB
Slab:           518368 kB
PageTables:       4540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   313948 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= 71676 MiB
End job on node117 at 2011-04-29 13:45:35