Trace number 3368705

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 (fixed)? (TO) 4800.16 1203.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
MD5SUM75e4af5315c8af778f17bf3a82042c9e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368705-1305401121.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2.76/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
2.76/0.90	c Finding binary XORs  T:     0.00 s  found:       0
2.76/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.76/0.90	c calculated reachability. Time: 0.00
2.76/0.90	c Calc default polars -  time:   0.00 s pos:     301 undec:      82 neg:     317
2.76/0.90	c =========================================================================================
2.76/0.90	c types(t): F = full restart, N = normal restart
2.76/0.90	c types(t): S = simplification begin/end, E = solution found
2.76/0.90	c restart types(rt): st = static, dy = dynamic
2.76/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.76/0.90	c  B st     0         0       681      2962         0         0      8986         0   no data   no data  --
2.76/0.90	c Decided on static restart strategy
2.76/0.90	c  N st     8      4919       681      2962         0      4866      8986    135325   no data   no data  --
2.76/0.90	c  N st    10     11303       681      2962         0      4497      8986     87271   no data   no data  --
2.76/0.90	c  N st    11     17048       681      2962         0     10111      8986    240080   no data   no data  --
4.39/1.20	c  F st    12     25003       681      2962         0     12415      8986    315012   no data   no data  --
4.39/1.20	c  N st    12     25003       681      2962         0     12415      8986    315012   no data   no data  --
5.55/1.43	c Decided on static restart strategy
5.55/1.43	c  N st    18     30000       681      2962         0     10681      8986    235870   no data   no data  --
5.55/1.43	c  S st    18     30000       681      2962         0     10681      8986    235870   no data   no data  --
5.55/1.46	c  S st    18     30500       681      2962         0     11180      8986    249530   no data   no data  --
5.55/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.55/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.55/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
5.55/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.75/1.74	c lits-rem:       104  cl-subs:      460  v-elim:      0  v-fix:    0  time:  1.04 s
6.75/1.75	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.04
6.75/1.75	c calculated reachability. Time: 0.00
6.75/1.75	c  N st    18     30500       681      2962         0     10720      8986    235267   no data   no data  --
8.34/2.16	c  N st    20     37614       681      2962         0      9994      8986    201473   no data   no data  --
9.94/2.58	c  N st    21     44013       681      2962         0     16300      8986    405029   no data   no data  --
10.73/2.72	c  S st    22     45750       681      2962         0      9228      8986    155425   no data   no data  --
10.73/2.75	c  S st    22     46255       681      2962         0      9732      8986    169206   no data   no data  --
10.73/2.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.73/2.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.73/2.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.73/2.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.73/2.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.73/2.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
10.73/2.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.13/2.88	c lits-rem:        37  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.50 s
11.13/2.88	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
11.13/2.88	c vivif2 --  cl tried     9699 cl shrink        0 lits rem          0 time: 0.01
11.13/2.89	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.04
11.13/2.89	c calculated reachability. Time: 0.00
11.13/2.89	c  N st    22     46255       681      2962         0      9699      8986    167991   no data   no data  --
15.53/3.94	c  N st    23     60653       681      2962         0     14072      8986    285158   no data   no data  --
17.97/4.58	c  N st    24     69382       681      2962         0     11856      8986    205942   no data   no data  --
17.97/4.58	c  S st    24     69382       681      2962         0     11856      8986    205942   no data   no data  --
18.31/4.61	c  S st    24     69884       681      2962         0     12358      8986    220079   no data   no data  --
18.31/4.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.31/4.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.31/4.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.31/4.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.31/4.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.31/4.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
18.31/4.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.11/4.87	c lits-rem:        84  cl-subs:       85  v-elim:      0  v-fix:    0  time:  0.97 s
19.11/4.87	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
19.11/4.87	c vivif2 --  cl tried    12273 cl shrink        0 lits rem          0 time: 0.01
19.11/4.88	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.04
19.11/4.88	c calculated reachability. Time: 0.00
19.11/4.88	c  N st    24     69884       681      2962         0     12273      8986    217332   no data   no data  --
25.09/6.30	c  F st    25     87500       681      2962         0     17804      8986    398851   no data   no data  --
25.09/6.30	c  N st    25     87500       681      2962         0     17804      8986    398851   no data   no data  --
26.31/6.68	c Decided on static restart strategy
27.49/6.90	c  N st    32     95539       681      2962         0     25759      8986    640641   no data   no data  --
29.88/7.59	c  N st    34    104827       681      2962         0     22077      8986    487784   no data   no data  --
29.88/7.59	c  S st    34    104827       681      2962         0     22077      8986    487784   no data   no data  --
30.28/7.65	c  S st    34    105330       681      2962         0     22580      8986    501586   no data   no data  --
30.28/7.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.28/7.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.28/7.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.28/7.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.28/7.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.28/7.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
30.28/7.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
36.25/9.11	c lits-rem:       169  cl-subs:      575  v-elim:      0  v-fix:    0  time:  5.70 s
36.25/9.11	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
36.25/9.12	c vivif2 --  cl tried    22005 cl shrink        0 lits rem          0 time: 0.02
36.25/9.14	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.08
36.25/9.14	c calculated reachability. Time: 0.00
36.25/9.14	c  N st    34    105330       681      2962         0     22005      8986    481415   no data   no data  --
39.89/10.03	c  N st    35    114930       681      2962         0     17695      8986    323253   no data   no data  --
45.43/11.41	c  N st    36    129327       681      2962         0     17111      8986    286166   no data   no data  --
53.80/13.56	c  N st    37    150923       681      2962         0     22617      8986    438326   no data   no data  --
56.60/14.21	c  S st    38    157995       681      2962         0     29575      8986    653713   no data   no data  --
56.60/14.27	c  S st    38    158496       681      2962         0     30076      8986    667274   no data   no data  --
56.60/14.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
56.60/14.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.60/14.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
56.60/14.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.60/14.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.60/14.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
56.60/14.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
64.98/16.33	c lits-rem:       431  cl-subs:     1012  v-elim:      0  v-fix:    0  time:  8.06 s
64.98/16.33	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
64.98/16.33	c vivif2 --  cl tried    29064 cl shrink        0 lits rem          0 time: 0.03
64.98/16.36	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.11
64.98/16.36	c calculated reachability. Time: 0.00
64.98/16.36	c  N st    38    158496       681      2962         0     29064      8986    632945   no data   no data  --
85.31/21.44	c  N st    39    207085       681      2962         0     23758      8986    425434   no data   no data  --
98.87/24.84	c  N st    40    237748       681      2962         0     34161      8986    732758   no data   no data  --
98.87/24.84	c  S st    40    237748       681      2962         0     34161      8986    732758   no data   no data  --
99.27/24.94	c  S st    40    238248       681      2962         0     34660      8986    745900   no data   no data  --
99.27/24.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.27/24.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.27/24.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
99.27/24.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.27/24.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.27/24.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
99.27/24.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
108.44/27.28	c lits-rem:       618  cl-subs:     1181  v-elim:      0  v-fix:    0  time:  9.16 s
108.44/27.28	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
108.44/27.28	c vivif2 --  cl tried    33479 cl shrink        0 lits rem          0 time: 0.03
108.84/27.32	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.13
108.84/27.32	c calculated reachability. Time: 0.00
108.84/27.32	c  N st    40    238248       681      2962         0     33479      8986    704002   no data   no data  --
141.94/35.62	c  F st    41    306252       681      2962         0     35468      8986    738346   no data   no data  --
141.94/35.63	c  N st    41    306252       681      2962         0     35468      8986    738346   no data   no data  --
144.33/36.26	c Decided on static restart strategy
155.49/39.00	c  N st    51    334558       681      2962         0     39771      8986    810642   no data   no data  --
167.46/42.01	c  N st    53    357372       681      2962         0     37599      8986    727882   no data   no data  --
167.46/42.01	c  S st    53    357372       681      2962         0     37599      8986    727882   no data   no data  --
167.86/42.11	c  S st    53    357876       681      2962         0     38101      8986    742160   no data   no data  --
167.86/42.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.86/42.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.86/42.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
167.86/42.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.86/42.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.86/42.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
167.86/42.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
176.62/44.38	c lits-rem:       529  cl-subs:     1091  v-elim:      0  v-fix:    0  time:  8.92 s
176.62/44.38	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
176.62/44.39	c vivif2 --  cl tried    37010 cl shrink        0 lits rem          0 time: 0.03
177.02/44.43	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.15
177.02/44.43	c calculated reachability. Time: 0.00
177.02/44.43	c  N st    53    357876       681      2962         0     37010      8986    703018   no data   no data  --
196.17/49.24	c  N st    54    390268       681      2962         0     43317      8986    869796   no data   no data  --
224.87/56.46	c  N st    55    438858       681      2962         0     36957      8986    610815   no data   no data  --
267.57/67.19	c  N st    56    511741       681      2962         0     50638      8986   1014756   no data   no data  --
283.09/71.01	c  N st    57    536814       681      2962         0     44793      8986    801049   no data   no data  --
283.09/71.01	c  S st    57    536814       681      2962         0     44793      8986    801049   no data   no data  --
283.49/71.13	c  S st    57    537316       681      2962         0     45295      8986    814943   no data   no data  --
283.49/71.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.49/71.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.49/71.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
283.49/71.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.49/71.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.49/71.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
283.49/71.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
293.07/73.52	c lits-rem:       428  cl-subs:     1085  v-elim:      0  v-fix:    0  time:  9.32 s
293.07/73.52	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
293.07/73.52	c vivif2 --  cl tried    44210 cl shrink        0 lits rem          0 time: 0.04
293.07/73.57	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.20
293.07/73.58	c calculated reachability. Time: 0.00
293.07/73.58	c  N st    57    537316       681      2962         0     44210      8986    779154   no data   no data  --
403.55/101.25	c  N st    58    701302       681      2962         0     38528      8986    504339   no data   no data  --
488.85/122.69	c  N st    59    805974       681      2962         0     67229      8986   1321933   no data   no data  --
488.85/122.69	c  S st    59    805974       681      2962         0     67229      8986   1321933   no data   no data  --
489.65/122.88	c  S st    59    806480       681      2962         0     67734      8986   1337298   no data   no data  --
489.65/122.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
489.65/122.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
490.05/122.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
490.05/122.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
490.05/122.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
490.05/122.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
490.05/122.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
507.99/127.44	c lits-rem:        91  cl-subs:     3706  v-elim:      0  v-fix:    0  time: 17.84 s
507.99/127.44	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
507.99/127.45	c vivif2 --  cl tried    64028 cl shrink        0 lits rem          0 time: 0.06
508.39/127.53	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.32
508.39/127.54	c calculated reachability. Time: 0.00
508.39/127.54	c  N st    59    806480       681      2962         0     64028      8986   1231057   no data   no data  --
732.94/183.87	c  F st    60   1071877       681      2962         0     80110      8986   1666529   no data   no data  --
732.94/183.87	c  N st    60   1071877       681      2962         0     80110      8986   1666529   no data   no data  --
752.83/188.85	c  N dy   126   1092250       681      2962         0     56094      8986    791273     19.28     20.36  --
775.16/194.48	c  N dy   213   1113951       681      2962         0     77579      8986   1402760     19.28     20.42  --
799.48/200.53	c  N dy   267   1136159       681      2962         0     54228      8986    678435     18.99     20.26  --
821.00/205.99	c  N dy   346   1157943       681      2962         0     75802      8986   1271699     18.96     19.97  --
848.12/212.70	c  N dy   452   1178935       681      2962         0     50154      8986    532209     19.07     20.10  --
866.87/217.49	c  N dy   546   1199365       681      2962         0     70443      8986   1105998     19.13     20.83  --
880.02/220.70	c  S st   605   1209720       681      2962         0     80714      8986   1397077     19.19     15.35  --
880.82/220.92	c  S st   605   1210223       681      2962         0     81217      8986   1411788     19.19   no data  --
880.82/220.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
880.82/220.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
880.82/220.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
881.22/221.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
881.22/221.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
881.22/221.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
881.22/221.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
890.00/223.25	c lits-rem:       294  cl-subs:     1079  v-elim:      0  v-fix:    0  time:  8.90 s
890.00/223.25	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
890.00/223.27	c vivif2 --  cl tried    80138 cl shrink        0 lits rem          0 time: 0.07
890.42/223.38	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.43
890.42/223.38	c calculated reachability. Time: 0.00
890.42/223.38	c  N dy   605   1210223       681      2962         0     80138      8986   1377771     19.19   no data  --
917.15/230.03	c  N dy   680   1230383       681      2962         0     52573      8986    567197     19.19     20.25  --
936.24/234.89	c  N dy   751   1250413       681      2962         0     72426      8986   1128265     19.19     20.30  --
964.57/241.95	c  N dy   825   1271968       681      2962         0     93750      8986   1718012     19.13     20.15  --
984.50/246.98	c  N dy   899   1292161       681      2962         0     65232      8986    887975     19.14     20.17  --
1006.83/252.57	c  N dy   954   1312200       681      2962         0     85030      8986   1437513     19.09     21.79  --
1036.72/260.04	c  N dy  1010   1336652       681      2962         0     59717      8986    705103     18.99     20.06  --
1063.04/266.68	c  N dy  1106   1356939       681      2962         0     79845      8986   1274070     19.02     20.05  --
1093.75/274.39	c  N dy  1129   1380535       681      2962         0     52660      8986    484008     18.91     20.07  --
1112.89/279.13	c  N dy  1221   1400616       681      2962         0     72560      8986   1053812     18.93     20.35  --
1138.41/285.56	c  N dy  1316   1420903       681      2962         0     92649      8986   1624128     18.96     20.10  --
1161.14/291.25	c  N dy  1371   1440905       681      2962         0     60932      8986    684673     18.92     22.42  --
1206.99/302.78	c  N dy  1459   1478804       681      2962         0     98280      8986   1690720     18.81     19.96  --
1230.52/308.69	c  N dy  1583   1498828       681      2962         0     65746      8986    795975     18.86     21.43  --
1254.47/314.63	c  N dy  1683   1519347       681      2962         0     86046      8986   1367658     18.88     19.94  --
1287.14/322.89	c  N dy  1809   1539870       681      2962         0    106403      8986   1949713     18.94     20.19  --
1307.87/328.08	c  N dy  1881   1561345       681      2962         0     74247      8986   1018895     18.94     20.06  --
1334.59/334.74	c  N dy  2008   1581387       681      2962         0     94137      8986   1589494     18.98     22.15  --
1363.70/342.04	c  N dy  2094   1601536       681      2962         0     59616      8986    577864     18.99     20.05  --
1384.83/347.34	c  N dy  2205   1621576       681      2962         0     79458      8986   1137140     19.02     20.16  --
1417.53/355.51	c  N dy  2290   1644494       681      2962         0    102186      8986   1782650     19.01     20.14  --
1441.85/361.65	c  N dy  2349   1664938       681      2962         0     66939      8986    762399     19.00     20.11  --
1465.77/367.63	c  N dy  2457   1684939       681      2962         0     86731      8986   1324384     19.02     22.08  --
1496.88/375.45	c  N dy  2531   1705045       681      2962         0    106625      8986   1879497     19.02     20.13  --
1506.45/377.80	c  S st  2568   1710223       681      2962         0    111761      8986   2026202     19.03   no data  --
1507.65/378.13	c  S st  2568   1710726       681      2962         0    112264      8986   2040454     19.03   no data  --
1507.65/378.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1507.65/378.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1507.65/378.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1508.05/378.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1508.05/378.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1508.05/378.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
1508.05/378.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1525.59/382.65	c lits-rem:       556  cl-subs:     2392  v-elim:      0  v-fix:    0  time: 17.48 s
1525.59/382.65	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
1525.59/382.67	c vivif2 --  cl tried   109872 cl shrink        0 lits rem          0 time: 0.10
1526.42/382.84	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.65
1526.42/382.84	c calculated reachability. Time: 0.00
1526.42/382.84	c  N dy  2568   1710726       681      2962         0    109872      8986   1969905     19.03   no data  --
1549.91/388.77	c  N dy  2655   1730808       681      2962         0     73335      8986    912493     19.04     22.87  --
1575.09/395.04	c  N dy  2737   1750809       681      2962         0     93115      8986   1483375     19.04     22.79  --
1610.17/403.85	c  N dy  2876   1770902       681      2962         0    113030      8986   2055699     19.08     20.54  --
1638.03/410.83	c  N dy  2993   1790944       681      2962         0     75495      8986    957230     19.10     20.13  --
1669.53/418.77	c  N dy  3130   1811103       681      2962         0     95478      8986   1532932     19.14     20.23  --
1706.66/428.09	c  N dy  3232   1831733       681      2962         0    115890      8986   2113033     19.16     20.33  --
1728.17/433.44	c  N dy  3326   1851801       681      2962         0     77367      8986    984782     19.17     20.28  --
1754.91/440.20	c  N dy  3434   1871830       681      2962         0     97186      8986   1556083     19.18     20.73  --
1789.16/448.75	c  N dy  3492   1893434       681      2962         0    118489      8986   2151566     19.17     20.24  --
1811.51/454.37	c  N dy  3594   1914302       681      2962         0     79760      8986   1030104     19.18     20.44  --
1840.99/461.71	c  N dy  3719   1934352       681      2962         0     99662      8986   1606678     19.21     20.47  --
1876.08/470.50	c  N dy  3774   1954401       681      2962         0    119466      8986   2165363     19.20     22.78  --
1897.22/475.88	c  N dy  3826   1974485       681      2962         0     78948      8986    978854     19.19     20.27  --
1924.33/482.65	c  N dy  3878   1994593       681      2962         0     98802      8986   1543488     19.16     20.54  --
1958.62/491.23	c  N dy  3948   2014635       681      2962         0    118631      8986   2114964     19.16     20.64  --
1984.54/497.73	c  N dy  4063   2034707       681      2962         0     77214      8986    912717     19.18     22.65  --
2012.05/504.65	c  N dy  4164   2054805       681      2962         0     97100      8986   1480812     19.19     20.23  --
2045.54/513.09	c  N dy  4246   2074874       681      2962         0    116943      8986   2033893     19.18     21.54  --
2073.86/520.17	c  N dy  4306   2096164       681      2962         0     75640      8986    833797     19.17     20.25  --
2101.43/527.03	c  N dy  4413   2116219       681      2962         0     95486      8986   1396782     19.18     20.59  --
2135.27/535.58	c  N dy  4503   2136257       681      2962         0    115266      8986   1949560     19.19     21.24  --
2166.79/543.46	c  N dy  4601   2156269       681      2962         0     71797      8986    715221     19.20     22.09  --
2192.30/549.84	c  N dy  4725   2176511       681      2962         0     91854      8986   1294954     19.22     20.37  --
2236.56/560.94	c  N dy  4832   2203132       681      2962         0    118148      8986   2042437     19.22     20.29  --
2253.30/565.12	c  S st  4874   2210726       681      2962         0    125679      8986   2258282     19.23   no data  --
2254.95/565.52	c  S st  4874   2211229       681      2962         0    126182      8986   2272412     19.23   no data  --
2254.95/565.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2254.95/565.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2254.95/565.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2255.29/565.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2255.29/565.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2255.29/565.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
2255.29/565.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2281.61/572.28	c lits-rem:       369  cl-subs:     2727  v-elim:      0  v-fix:    0  time: 26.38 s
2281.61/572.28	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
2282.01/572.31	c vivif2 --  cl tried   123455 cl shrink        0 lits rem          0 time: 0.12
2282.81/572.52	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.85
2282.81/572.53	c calculated reachability. Time: 0.00
2282.81/572.53	c  N dy  4874   2211229       681      2962         0    123455      8986   2190799     19.23   no data  --
2316.70/581.02	c  N dy  4980   2233512       681      2962         0     81218      8986    964115     19.24     20.34  --
2345.41/588.23	c  N dy  5049   2253607       681      2962         0    101066      8986   1519429     19.23     21.65  --
2379.70/596.83	c  N dy  5106   2273622       681      2962         0    120869      8986   2076996     19.23     21.84  --
2412.84/605.17	c  N dy  5193   2296022       681      2962         0     77725      8986    834602     19.23     20.26  --
2442.70/612.68	c  N dy  5328   2317073       681      2962         0     98579      8986   1433038     19.25     20.27  --
2478.22/621.61	c  N dy  5398   2337155       681      2962         0    118406      8986   1987049     19.24     20.39  --
2514.46/630.67	c  N dy  5500   2357225       681      2962         0     72006      8986    655871     19.25     20.69  --
2540.78/637.29	c  N dy  5577   2378538       681      2962         0     93058      8986   1244215     19.25     20.47  --
2581.85/647.53	c  N dy  5682   2403224       681      2962         0    117447      8986   1940964     19.25     20.46  --
2630.50/659.71	c  N dy  5774   2433765       681      2962         0     80338      8986    843170     19.23     20.30  --
2658.04/666.67	c  N dy  5872   2453766       681      2962         0    100146      8986   1409088     19.24     23.13  --
2693.91/675.66	c  N dy  5958   2473793       681      2962         0    120009      8986   1978115     19.24     22.04  --
2733.38/685.57	c  N dy  6080   2493872       681      2962         0     71675      8986    597649     19.25     20.44  --
2758.51/691.84	c  N dy  6190   2513922       681      2962         0     91495      8986   1162773     19.26     20.32  --
2790.41/699.81	c  N dy  6283   2533991       681      2962         0    111399      8986   1726412     19.27     21.83  --
2830.68/709.90	c  N dy  6398   2554019       681      2962         0    131236      8986   2296816     19.28     21.61  --
2862.59/717.95	c  N dy  6495   2574114       681      2962         0     81832      8986    862148     19.28     24.50  --
2889.70/724.73	c  N dy  6536   2594168       681      2962         0    101606      8986   1415542     19.27     20.37  --
2925.61/733.71	c  N dy  6614   2614436       681      2962         0    121634      8986   1979644     19.27     20.58  --
2968.66/744.59	c  N dy  6656   2638267       681      2962         0     74962      8986    640567     19.26     20.33  --
2997.35/751.77	c  N dy  6747   2658348       681      2962         0     94846      8986   1204298     19.26     20.43  --
3032.45/760.57	c  N dy  6823   2679343       681      2962         0    115589      8986   1787369     19.26     20.32  --
3077.51/771.81	c  N dy  6898   2701920       681      2962         0    137906      8986   2425405     19.26     20.30  --
3094.65/776.17	c  S st  6959   2711229       681      2962         0     75949      8986    648379     19.27     17.29  --
3095.45/776.39	c  S st  6959   2711731       681      2962         0     76451      8986    662738     19.27   no data  --
3095.45/776.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3095.45/776.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3095.85/776.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
3095.85/776.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3095.85/776.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3095.85/776.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
3095.85/776.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3105.87/778.93	c lits-rem:       321  cl-subs:      210  v-elim:      0  v-fix:    0  time:  9.85 s
3105.87/778.93	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
3105.87/778.94	c vivif2 --  cl tried    76241 cl shrink        0 lits rem          0 time: 0.04
3106.21/779.03	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.35
3106.21/779.03	c calculated reachability. Time: 0.00
3106.21/779.03	c  N dy  6959   2711731       681      2962         0     76241      8986    656250     19.27   no data  --
3134.13/786.08	c  N dy  7076   2731960       681      2962         0     96259      8986   1221846     19.28     20.38  --
3170.02/795.08	c  N dy  7226   2752017       681      2962         0    116132      8986   1801068     19.29     20.31  --
3211.48/805.43	c  N dy  7345   2772035       681      2962         0    135959      8986   2378674     19.31     20.73  --
3244.98/813.81	c  N dy  7415   2792352       681      2962         0     83769      8986    853578     19.31     20.35  --
3274.08/821.19	c  N dy  7517   2812587       681      2962         0    103772      8986   1419570     19.31     20.38  --
3313.16/830.91	c  N dy  7603   2833346       681      2962         0    124305      8986   2002868     19.31     20.34  --
3359.01/842.46	c  N dy  7696   2853910       681      2962         0    144617      8986   2578381     19.32     20.71  --
3386.15/849.27	c  N dy  7812   2873918       681      2962         0     91274      8986   1053760     19.33     22.47  --
3423.21/858.52	c  N dy  7901   2897939       681      2962         0    114956      8986   1726165     19.33     20.43  --
3464.68/869.00	c  N dy  7993   2918487       681      2962         0    135300      8986   2310006     19.34     20.44  --
3506.94/879.56	c  N dy  8058   2941812       681      2962         0     84211      8986    825339     19.33     20.35  --
3536.84/887.07	c  N dy  8109   2962609       681      2962         0    104752      8986   1401344     19.32     20.45  --
3574.33/896.43	c  N dy  8209   2982700       681      2962         0    124618      8986   1971155     19.33     22.63  --
3619.38/907.71	c  N dy  8313   3002717       681      2962         0    144420      8986   2541237     19.33     22.28  --
3653.28/916.21	c  N dy  8421   3022803       681      2962         0     89112      8986    925722     19.34     25.92  --
3683.58/923.88	c  N dy  8519   3042857       681      2962         0    108984      8986   1500496     19.34     22.27  --
3725.85/934.47	c  N dy  8648   3063305       681      2962         0    129225      8986   2088914     19.35     20.42  --
3788.05/950.02	c  N dy  8685   3089253       681      2962         0     78640      8986    613220     19.33     20.38  --
3813.97/956.50	c  N dy  8764   3109275       681      2962         0     98430      8986   1174350     19.34     21.99  --
3845.47/964.46	c  N dy  8799   3129466       681      2962         0    118332      8986   1731102     19.33     20.65  --
3888.54/975.28	c  N dy  8878   3150437       681      2962         0    139055      8986   2317872     19.33     20.81  --
3934.00/986.68	c  N dy  9022   3170470       681      2962         0     81862      8986    687498     19.34     22.10  --
3962.70/993.84	c  N dy  9148   3190518       681      2962         0    101714      8986   1262279     19.35     22.82  --
4002.18/1003.73	c  N dy  9275   3211731       681      2962         0    122727      8986   1863187     19.36     16.61  --
4002.18/1003.73	c  S st  9275   3211731       681      2962         0    122727      8986   1863187     19.36     16.61  --
4003.78/1004.13	c  S st  9275   3212235       681      2962         0    123229      8986   1879079     19.36   no data  --
4003.78/1004.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4003.78/1004.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4004.18/1004.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.30
4004.18/1004.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4004.18/1004.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4004.18/1004.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
4004.18/1004.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4029.30/1010.55	c lits-rem:       184  cl-subs:     1692  v-elim:      0  v-fix:    0  time: 24.99 s
4029.30/1010.55	c vivif2 --  cl tried     2962 cl shrink        0 lits rem          0 time: 0.00
4029.30/1010.58	c vivif2 --  cl tried   121537 cl shrink        0 lits rem          0 time: 0.10
4030.10/1010.79	c asymm  cl-useful: 0/2962/2962 lits-rem:0 time: 0.83
4030.10/1010.79	c calculated reachability. Time: 0.00
4030.10/1010.79	c  N dy  9275   3212235       681      2962         0    121537      8986   1825432     19.36   no data  --
4078.74/1022.92	c  N dy  9372   3233359       681      2962         0    142418      8986   2423659     19.37     20.39  --
4123.45/1034.11	c  N dy  9470   3253457       681      2962         0     84204      8986    727614     19.37     20.47  --
4152.10/1041.35	c  N dy  9569   3273557       681      2962         0    104111      8986   1299377     19.38     21.05  --
4187.99/1050.38	c  N dy  9654   3293558       681      2962         0    123909      8986   1863315     19.38     20.57  --
4231.46/1061.26	c  N dy  9724   3313651       681      2962         0    143735      8986   2433689     19.38     20.45  --
4282.89/1074.14	c  N dy  9828   3339173       681      2962         0     89797      8986    856996     19.37     20.51  --
4316.79/1082.68	c  N dy  9928   3360967       681      2962         0    111338      8986   1463216     19.38     20.49  --
4356.66/1092.60	c  N dy 10028   3380985       681      2962         0    131154      8986   2031366     19.38     21.08  --
4398.93/1103.31	c  N dy 10102   3401246       681      2962         0    151172      8986   2604388     19.38     20.47  --
4436.41/1112.69	c  N dy 10183   3421271       681      2962         0     90867      8986    871759     19.38     22.31  --
4466.32/1120.16	c  N dy 10259   3441334       681      2962         0    110714      8986   1435409     19.38     21.01  --
4506.59/1130.21	c  N dy 10367   3461868       681      2962         0    131044      8986   2019703     19.39     20.52  --
4548.49/1140.76	c  N dy 10421   3482127       681      2962         0    151012      8986   2571054     19.38     20.73  --
4593.12/1151.94	c  N dy 10532   3502188       681      2962         0     89798      8986    828790     19.39     23.57  --
4627.02/1160.44	c  N dy 10642   3522221       681      2962         0    109627      8986   1399535     19.39     20.80  --
4663.30/1169.58	c  N dy 10712   3542308       681      2962         0    129516      8986   1982224     19.39     20.61  --
4705.17/1180.05	c  N dy 10777   3562321       681      2962         0    149275      8986   2535873     19.39     21.42  --
4749.03/1191.06	c  N dy 10836   3582347       681      2962         0     87003      8986    719961     19.38     20.51  --
4778.13/1198.37	c  N dy 10917   3602425       681      2962         0    106833      8986   1289904     19.39     20.51  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368705-1305401121/watcher-3368705-1305401121 -o /tmp/evaluation-result-3368705-1305401121/solver-3368705-1305401121 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368705-1305401121.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.45 8.00 8.05 6/386 11455
/proc/meminfo: memFree=14893112/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 730342768 52465664 353 33554432000 4194304 4650419 140736777387856 18446744073709551615 47077516277676 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 12809 353 303 112 0 7774 0
[pid=11455/tid=11456] ppid=11453 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 730342769 52465664 353 33554432000 4194304 4650419 140736777387856 18446744073709551615 47077516277682 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730342769 52465664 353 33554432000 4194304 4650419 140736777387856 18446744073709551615 47077516277672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730342769 52465664 353 33554432000 4194304 4650419 140736777387856 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.047807 s]
/proc/loadavg: 7.45 8.00 8.05 6/386 11455
/proc/meminfo: memFree=14893112/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=282440 CPUtime=0.15 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 1631 0 0 0 15 0 0 0 18 0 4 0 730342768 289218560 1470 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 70610 1470 390 112 0 65575 0
[pid=11455/tid=11456] ppid=11453 vsize=282440 CPUtime=0.03 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 315 0 0 0 3 0 0 0 18 0 4 0 730342769 289218560 1470 33554432000 4194304 4650419 140736777387856 18446744073709551615 4311384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=282440 CPUtime=0.04 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 344 0 0 0 4 0 0 0 18 0 4 0 730342769 289218560 1470 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=282440 CPUtime=0.03 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 209 0 0 0 3 0 0 0 25 0 4 0 730342769 289218560 1470 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282440

[startup+0.100798 s]
/proc/loadavg: 7.45 8.00 8.05 6/386 11455
/proc/meminfo: memFree=14893112/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=282572 CPUtime=0.36 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 1908 0 0 0 36 0 0 0 18 0 4 0 730342768 289353728 1747 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 70643 1747 391 112 0 65608 0
[pid=11455/tid=11456] ppid=11453 vsize=282572 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 394 0 0 0 9 0 0 0 18 0 4 0 730342769 289353728 1747 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=282572 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 400 0 0 0 9 0 0 0 18 0 4 0 730342769 289353728 1747 33554432000 4194304 4650419 140736777387856 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=282572 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 278 0 0 0 8 0 0 0 25 0 4 0 730342769 289353728 1747 33554432000 4194304 4650419 140736777387856 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282572

[startup+0.300763 s]
/proc/loadavg: 7.45 8.00 8.05 6/386 11455
/proc/meminfo: memFree=14893112/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=283984 CPUtime=1.16 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 3096 0 0 0 116 0 0 0 18 0 4 0 730342768 290799616 2254 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366853 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 70996 2254 393 112 0 65961 0
[pid=11455/tid=11456] ppid=11453 vsize=283984 CPUtime=0.29 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 692 0 0 0 29 0 0 0 18 0 4 0 730342769 290799616 2254 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=283984 CPUtime=0.29 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 696 0 0 0 29 0 0 0 18 0 4 0 730342769 290799616 2254 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=283984 CPUtime=0.28 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 592 0 0 0 28 0 0 0 25 0 4 0 730342769 290799616 2254 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283984

[startup+0.700694 s]
/proc/loadavg: 7.45 8.00 8.05 6/386 11455
/proc/meminfo: memFree=14893112/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=285072 CPUtime=2.76 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 4882 0 0 0 276 0 0 0 18 0 4 0 730342768 291913728 3020 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 71268 3020 393 112 0 66233 0
[pid=11455/tid=11456] ppid=11453 vsize=285072 CPUtime=0.69 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 1144 0 0 0 69 0 0 0 18 0 4 0 730342769 291913728 3020 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=285072 CPUtime=0.69 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 1119 0 0 0 69 0 0 0 18 0 4 0 730342769 291913728 3020 33554432000 4194304 4650419 140736777387856 18446744073709551615 4331882 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=285072 CPUtime=0.68 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 1056 0 0 0 68 0 0 0 25 0 4 0 730342769 291913728 3028 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285072

[startup+1.50056 s]
/proc/loadavg: 7.45 8.00 8.05 10/390 11459
/proc/meminfo: memFree=14871380/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=290488 CPUtime=5.95 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 9746 0 0 0 594 1 0 0 20 0 4 0 730342768 297459712 5035 33554432000 4194304 4650419 140736777387856 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 72622 5035 397 112 0 67587 0
[pid=11455/tid=11456] ppid=11453 vsize=290488 CPUtime=1.49 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 2037 0 0 0 149 0 0 0 20 0 4 0 730342769 297459712 5035 33554432000 4194304 4650419 140736777387856 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=290488 CPUtime=1.49 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 2055 0 0 0 149 0 0 0 19 0 4 0 730342769 297459712 5035 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=290488 CPUtime=1.46 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 1847 0 0 0 146 0 0 0 18 0 4 0 730342769 297459712 5035 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290488

[startup+3.10028 s]
/proc/loadavg: 7.57 8.01 8.05 9/390 11459
/proc/meminfo: memFree=14838824/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=300156 CPUtime=12.33 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 18338 0 0 0 1231 2 0 0 25 0 4 0 730342768 307359744 10856 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 75039 10856 395 112 0 70004 0
[pid=11455/tid=11456] ppid=11453 vsize=300156 CPUtime=3.08 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 4355 0 0 0 308 0 0 0 25 0 4 0 730342769 307359744 10856 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=300156 CPUtime=3.08 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 4945 0 0 0 308 0 0 0 25 0 4 0 730342769 307359744 10856 33554432000 4194304 4650419 140736777387856 18446744073709551615 4438546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=300156 CPUtime=3.05 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 4114 0 0 0 305 0 0 0 20 0 4 0 730342769 307359744 10856 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 300156

[startup+6.30072 s]
/proc/loadavg: 7.57 8.01 8.05 9/390 11459
/proc/meminfo: memFree=14788480/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=309948 CPUtime=25.09 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 27468 0 0 0 2505 4 0 0 25 0 4 0 730342768 317386752 14600 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 77487 14600 395 112 0 72452 0
[pid=11455/tid=11456] ppid=11453 vsize=309948 CPUtime=6.29 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 7458 0 0 0 628 1 0 0 25 0 4 0 730342769 317386752 14600 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=309948 CPUtime=6.29 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 7318 0 0 0 628 1 0 0 25 0 4 0 730342769 317386752 14601 33554432000 4194304 4650419 140736777387856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=309948 CPUtime=6.21 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 5236 0 0 0 621 0 0 0 25 0 4 0 730342769 317386752 14601 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 309948

[startup+12.7006 s]
/proc/loadavg: 7.72 8.03 8.05 9/390 11460
/proc/meminfo: memFree=14741880/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=310748 CPUtime=50.62 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 40865 0 0 0 5054 8 0 0 25 0 4 0 730342768 318205952 20853 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 77687 20854 395 112 0 72652 0
[pid=11455/tid=11456] ppid=11453 vsize=310748 CPUtime=12.69 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 11802 0 0 0 1267 2 0 0 25 0 4 0 730342769 318205952 20854 33554432000 4194304 4650419 140736777387856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=310748 CPUtime=12.69 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 10816 0 0 0 1267 2 0 0 25 0 4 0 730342769 318205952 20854 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=310748 CPUtime=12.53 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 7325 0 0 0 1252 1 0 0 25 0 4 0 730342769 318205952 20854 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 310748

[startup+25.5004 s]
/proc/loadavg: 7.76 8.03 8.05 9/390 11460
/proc/meminfo: memFree=14669944/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=330004 CPUtime=101.65 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 61903 0 0 0 10152 13 0 0 25 0 4 0 730342768 337924096 31758 33554432000 4194304 4650419 140736777387856 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 82501 31758 395 112 0 77466 0
[pid=11455/tid=11456] ppid=11453 vsize=330004 CPUtime=25.49 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 19221 0 0 0 2545 4 0 0 25 0 4 0 730342769 337924096 31758 33554432000 4194304 4650419 140736777387856 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=330004 CPUtime=25.49 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 15013 0 0 0 2546 3 0 0 25 0 4 0 730342769 337924096 31758 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=330004 CPUtime=25.16 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 9426 0 0 0 2515 1 0 0 25 0 4 0 730342769 337924096 31758 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 330004

[startup+51.1009 s]
/proc/loadavg: 7.84 8.03 8.05 9/390 11461
/proc/meminfo: memFree=14616188/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=324392 CPUtime=203.74 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 92719 0 0 0 20351 23 0 0 25 0 4 0 730342768 332177408 40545 33554432000 4194304 4650419 140736777387856 18446744073709551615 4331084 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 81098 40545 395 112 0 76063 0
[pid=11455/tid=11456] ppid=11453 vsize=324392 CPUtime=51.09 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 27103 0 0 0 5102 7 0 0 25 0 4 0 730342769 332177408 40545 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=324392 CPUtime=51.09 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 25004 0 0 0 5103 6 0 0 25 0 4 0 730342769 332177408 40545 33554432000 4194304 4650419 140736777387856 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=324392 CPUtime=50.45 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 12779 0 0 0 5043 2 0 0 25 0 4 0 730342769 332177408 40545 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 324392

[startup+102.301 s]
/proc/loadavg: 8.02 8.05 8.06 9/390 11462
/proc/meminfo: memFree=14526140/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=466348 CPUtime=407.94 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 132437 0 0 0 40757 37 0 0 25 0 4 0 730342768 477540352 51245 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 116587 51245 395 112 0 111552 0
[pid=11455/tid=11456] ppid=11453 vsize=466348 CPUtime=102.3 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 32784 0 0 0 10221 9 0 0 25 0 4 0 730342769 477540352 51248 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=466348 CPUtime=102.3 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 39462 0 0 0 10218 12 0 0 25 0 4 0 730342769 477540352 51248 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=466348 CPUtime=101.03 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 18475 0 0 0 10098 5 0 0 25 0 4 0 730342769 477540352 51248 33554432000 4194304 4650419 140736777387856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 466348

[startup+162.301 s]

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

[pid=11455] ppid=11453 vsize=590116 CPUtime=2800.39 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 367366 0 0 0 279884 155 0 0 25 0 4 0 730342768 604278784 95786 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 147529 95786 395 112 0 142494 0
[pid=11455/tid=11456] ppid=11453 vsize=590116 CPUtime=702.27 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 84739 0 0 0 70191 36 0 0 25 0 4 0 730342769 604278784 95786 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=590116 CPUtime=702.29 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 155573 0 0 0 70163 66 0 0 25 0 4 0 730342769 604278784 95786 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=590116 CPUtime=693.48 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 46489 0 0 0 69328 20 0 0 25 0 4 0 730342769 604278784 95786 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.39
Current children cumulated vsize (KiB) 590116

[startup+762.301 s]
/proc/loadavg: 8.10 8.09 8.08 9/390 11480
/proc/meminfo: memFree=14130284/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=590244 CPUtime=3039.66 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 382868 0 0 0 303802 164 0 0 25 0 4 0 730342768 604409856 94557 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 147561 94557 395 112 0 142526 0
[pid=11455/tid=11456] ppid=11453 vsize=590244 CPUtime=762.29 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 87754 0 0 0 76190 39 0 0 25 0 4 0 730342769 604409856 94557 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=590244 CPUtime=762.31 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 164902 0 0 0 76160 71 0 0 25 0 4 0 730342769 604409856 94557 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=590244 CPUtime=752.73 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 46503 0 0 0 75253 20 0 0 25 0 4 0 730342769 604409856 94557 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.66
Current children cumulated vsize (KiB) 590244

[startup+822.3 s]
/proc/loadavg: 8.24 8.12 8.09 10/391 11484
/proc/meminfo: memFree=14095724/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=650792 CPUtime=3278.87 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 400939 0 0 0 327712 175 0 0 25 0 4 0 730342768 666411008 101505 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 162698 101505 395 112 0 157663 0
[pid=11455/tid=11456] ppid=11453 vsize=650792 CPUtime=822.28 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 93251 0 0 0 82186 42 0 0 25 0 4 0 730342769 666411008 101505 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=650792 CPUtime=822.3 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 173415 0 0 0 82154 76 0 0 25 0 4 0 730342769 666411008 101505 33554432000 4194304 4650419 140736777387856 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=650792 CPUtime=811.96 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 47898 0 0 0 81175 21 0 0 25 0 4 0 730342769 666411008 101505 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.87
Current children cumulated vsize (KiB) 650792

[startup+882.315 s]
/proc/loadavg: 8.20 8.14 8.10 9/390 11486
/proc/meminfo: memFree=14079360/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=663012 CPUtime=3518.15 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 418846 0 0 0 351629 186 0 0 25 0 4 0 730342768 678924288 99125 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 165753 99125 395 112 0 160718 0
[pid=11455/tid=11456] ppid=11453 vsize=663012 CPUtime=882.28 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 96304 0 0 0 88184 44 0 0 25 0 4 0 730342769 678924288 99125 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=663012 CPUtime=882.31 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 181420 0 0 0 88150 81 0 0 25 0 4 0 730342769 678924288 99125 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=663012 CPUtime=871.21 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 52063 0 0 0 87097 24 0 0 25 0 4 0 730342769 678924288 99125 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.15
Current children cumulated vsize (KiB) 663012

[startup+942.3 s]
/proc/loadavg: 8.07 8.11 8.09 9/390 11488
/proc/meminfo: memFree=14045556/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=676400 CPUtime=3757.35 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 438426 0 0 0 375539 196 0 0 25 0 4 0 730342768 692633600 106575 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 169100 106575 395 112 0 164065 0
[pid=11455/tid=11456] ppid=11453 vsize=676400 CPUtime=942.27 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 99262 0 0 0 94181 46 0 0 25 0 4 0 730342769 692633600 106575 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=676400 CPUtime=942.3 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 193291 0 0 0 94145 85 0 0 25 0 4 0 730342769 692633600 106575 33554432000 4194304 4650419 140736777387856 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=676400 CPUtime=930.44 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 52230 0 0 0 93020 24 0 0 25 0 4 0 730342769 692633600 106575 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.35
Current children cumulated vsize (KiB) 676400

[startup+1002.3 s]
/proc/loadavg: 8.06 8.10 8.09 9/390 11489
/proc/meminfo: memFree=14059744/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=610976 CPUtime=3996.59 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 455352 0 0 0 399454 205 0 0 25 0 4 0 730342768 625639424 105488 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 152744 105488 395 112 0 147709 0
[pid=11455/tid=11456] ppid=11453 vsize=610976 CPUtime=1002.27 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 104411 0 0 0 100179 48 0 0 25 0 4 0 730342769 625639424 105488 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=610976 CPUtime=1002.3 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 201988 0 0 0 100140 90 0 0 25 0 4 0 730342769 625639424 105488 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=610976 CPUtime=989.68 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 52654 0 0 0 98944 24 0 0 25 0 4 0 730342769 625639424 105488 33554432000 4194304 4650419 140736777387856 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3996.59
Current children cumulated vsize (KiB) 610976

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 8.09 9/390 11491
/proc/meminfo: memFree=13999644/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=730436 CPUtime=4235.84 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 472096 0 0 0 423369 215 0 0 25 0 4 0 730342768 747966464 113432 33554432000 4194304 4650419 140736777387856 18446744073709551615 4363541 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 182609 113432 395 112 0 177574 0
[pid=11455/tid=11456] ppid=11453 vsize=730436 CPUtime=1062.27 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 113445 0 0 0 106175 52 0 0 25 0 4 0 730342769 747966464 113432 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=730436 CPUtime=1062.3 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 208146 0 0 0 106136 94 0 0 25 0 4 0 730342769 747966464 113432 33554432000 4194304 4650419 140736777387856 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=730436 CPUtime=1048.92 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 53033 0 0 0 104868 24 0 0 25 0 4 0 730342769 747966464 113432 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4235.84
Current children cumulated vsize (KiB) 730436

[startup+1122.3 s]
/proc/loadavg: 8.13 8.11 8.09 9/390 11492
/proc/meminfo: memFree=13963760/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=701100 CPUtime=4475.09 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 493479 0 0 0 447283 226 0 0 25 0 4 0 730342768 717926400 122046 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 175275 122046 395 112 0 170240 0
[pid=11455/tid=11456] ppid=11453 vsize=701100 CPUtime=1122.26 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 118128 0 0 0 112172 54 0 0 25 0 4 0 730342769 717926400 122046 33554432000 4194304 4650419 140736777387856 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=701100 CPUtime=1122.3 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 216320 0 0 0 112131 99 0 0 25 0 4 0 730342769 717926400 122046 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=701100 CPUtime=1108.18 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 58021 0 0 0 110791 27 0 0 25 0 4 0 730342769 717926400 122046 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.09
Current children cumulated vsize (KiB) 701100

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 8.09 9/390 11494
/proc/meminfo: memFree=13963676/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=827800 CPUtime=4714.34 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 510539 0 0 0 471199 235 0 0 25 0 4 0 730342768 847667200 118824 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 206950 118824 395 112 0 201915 0
[pid=11455/tid=11456] ppid=11453 vsize=827800 CPUtime=1182.26 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 122362 0 0 0 118169 57 0 0 25 0 4 0 730342769 847667200 118824 33554432000 4194304 4650419 140736777387856 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=827800 CPUtime=1182.31 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 226832 0 0 0 118127 104 0 0 25 0 4 0 730342769 847667200 118824 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=827800 CPUtime=1167.43 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 60019 0 0 0 116715 28 0 0 25 0 4 0 730342769 847667200 118824 33554432000 4194304 4650419 140736777387856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.34
Current children cumulated vsize (KiB) 827800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.17 8.12 8.09 9/390 11494
/proc/meminfo: memFree=13957324/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=743112 CPUtime=4800.08 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 516450 0 0 0 479769 239 0 0 25 0 4 0 730342768 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 185778 117706 395 112 0 180743 0
[pid=11455/tid=11456] ppid=11453 vsize=743112 CPUtime=1203.77 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 122362 0 0 0 120320 57 0 0 25 0 4 0 730342769 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=743112 CPUtime=1203.82 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 228827 0 0 0 120277 105 0 0 25 0 4 0 730342769 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=743112 CPUtime=1188.65 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 61639 0 0 0 118836 29 0 0 25 0 4 0 730342769 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 743112

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

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

[startup+1203.8 s]
/proc/loadavg: 8.17 8.12 8.09 9/390 11494
/proc/meminfo: memFree=13957324/32951124 swapFree=65586204/67111528
[pid=11455] ppid=11453 vsize=743112 CPUtime=4800.08 cores=1,3,5,7
/proc/11455/stat : 11455 (strangenight1-m) R 11453 11455 11082 0 -1 4202496 516450 0 0 0 479769 239 0 0 25 0 4 0 730342768 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11455/statm: 185778 117706 395 112 0 180743 0
[pid=11455/tid=11456] ppid=11453 vsize=743112 CPUtime=1203.77 cores=1,3,5,7
/proc/11455/task/11456/stat : 11456 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 122362 0 0 0 120320 57 0 0 25 0 4 0 730342769 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11455/tid=11457] ppid=11453 vsize=743112 CPUtime=1203.82 cores=1,3,5,7
/proc/11455/task/11457/stat : 11457 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 228827 0 0 0 120277 105 0 0 25 0 4 0 730342769 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11455/tid=11458] ppid=11453 vsize=743112 CPUtime=1188.65 cores=1,3,5,7
/proc/11455/task/11458/stat : 11458 (strangenight1-m) R 11453 11455 11082 0 -1 4202560 61639 0 0 0 118836 29 0 0 25 0 4 0 730342769 760946688 117706 33554432000 4194304 4650419 140736777387856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 743112

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.16
CPU user time (s): 4797.74
CPU system time (s): 2.41663
CPU usage (%): 398.736
Max. virtual memory (cumulated for all children) (KiB): 833500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.41663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516452
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= 292
involuntary context switches= 33672

runsolver used 4.24835 second user time and 10.9453 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 21:25:21
IDJOB=3368705
IDBENCH=82714
IDSOLVER=1846
FILE ID=node119/3368705-1305401121
RUNJOBID= node119-1305401121-11433
PBS_JOBID= 13324462
Free space on /tmp= 73188 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368705-1305401121/watcher-3368705-1305401121 -o /tmp/evaluation-result-3368705-1305401121/solver-3368705-1305401121 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368705-1305401121.cnf

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

MD5SUM BENCH= 75e4af5315c8af778f17bf3a82042c9e
RANDOM SEED=423496562

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.74
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.815
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:      14893392 kB
Buffers:        282820 kB
Cached:        4559236 kB
SwapCached:       4756 kB
Active:       14707732 kB
Inactive:      3018680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14893392 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           12476 kB
Writeback:           8 kB
AnonPages:    12882956 kB
Mapped:          30384 kB
Slab:           210832 kB
PageTables:      56396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102547292 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= 73184 MiB
End job on node119 at 2011-05-14 21:45:27