Trace number 3175435

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf
MD5SUM54de6cac0499270ba5ca6b23e35899f2
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 variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56230

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-3175435-1304123754.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.00/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.00/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.00/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.00/0.53	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.53	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.53	c calculated reachability. Time: 0.00
0.00/0.53	c Calc default polars -  time:   0.00 s pos:      38 undec:       0 neg:      32
0.00/0.53	c =========================================================================================
0.00/0.53	c types(t): F = full restart, N = normal restart
0.00/0.53	c types(t): S = simplification begin/end, E = solution found
0.00/0.53	c restart types(rt): st = static, dy = dynamic
0.00/0.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.53	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.53	c  N dy     7      4703        70      6230         0      4261     43610    103955     20.97     22.16  --
0.00/0.80	c  N dy    18     14601        70      6230         0      7088     43610    149659     19.63     20.68  --
3.57/0.90	c  N dy    57     18672        70      6230         0      5706     43610    110163     20.29     22.37  --
4.77/1.20	c  F st    82     25003        70      6230         0     11454     43610    247173     20.34     18.29  --
4.77/1.20	c  N st    82     25003        70      6230         0     11454     43610    247173     20.34     18.29  --
5.57/1.40	c  N dy    88     30001        70      6230         0      9794     43610    196493     20.34   no data  --
5.57/1.40	c  S st    88     30001        70      6230         0      9794     43610    196493     20.34   no data  --
5.97/1.50	c  S st    88     30501        70      6230         0     10258     43610    207860     20.34   no data  --
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.44	c lits-rem:      1413  cl-subs:      884  v-elim:      0  v-fix:    0  time:  4.02 s
10.77/2.76	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.25
10.77/2.76	c calculated reachability. Time: 0.00
10.77/2.76	c  N dy    88     30501        70      6230         0      9374     43610    184553     20.34   no data  --
11.98/3.01	c  N dy   108     35361        70      6230         0     13772     43610    291687     20.46     21.64  --
12.76/3.21	c  N dy   112     39394        70      6230         0     10313     43610    194105     20.34     21.42  --
13.56/3.41	c  N dy   116     43478        70      6230         0     14004     43610    281794     20.28     21.36  --
13.96/3.54	c  S st   122     45751        70      6230         0     16058     43610    330531     20.27   no data  --
13.96/3.59	c  S st   122     46255        70      6230         0      8438     43610    138596     20.27   no data  --
13.96/3.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.96/3.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
14.36/3.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.36/3.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.35	c lits-rem:       118  cl-subs:       42  v-elim:      0  v-fix:    0  time:  3.00 s
17.16/4.35	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.35	c vivif2 --  cl tried     8396 cl shrink        0 lits rem          0 time: 0.00
18.35/4.61	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.01
18.35/4.61	c calculated reachability. Time: 0.00
18.35/4.61	c  N dy   122     46255        70      6230         0      8396     43610    137314     20.27   no data  --
20.36/5.13	c  N dy   137     56881        70      6230         0     17962     43610    360858     20.05     21.21  --
21.94/5.54	c  N dy   141     64867        70      6230         0     16143     43610    307769     19.87     20.93  --
23.55/5.90	c  N dy   168     69382        70      6230         0     10347     43610    161509     19.94     17.92  --
23.55/5.90	c  S st   168     69382        70      6230         0     10347     43610    161509     19.94     17.92  --
23.55/5.93	c  S st   168     69885        70      6230         0     10802     43610    172999     19.94   no data  --
23.55/5.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.55/5.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.55/5.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.55/5.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.86	c lits-rem:       321  cl-subs:      144  v-elim:      0  v-fix:    0  time:  3.67 s
27.14/6.86	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.14/6.86	c vivif2 --  cl tried    10658 cl shrink        0 lits rem          0 time: 0.01
28.34/7.18	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.26
28.34/7.18	c calculated reachability. Time: 0.00
28.34/7.18	c  N dy   168     69885        70      6230         0     10658     43610    169129     19.94   no data  --
29.55/7.46	c  N dy   210     74365        70      6230         0     14747     43610    269510     20.09     21.77  --
31.13/7.80	c  N dy   232     79160        70      6230         0     19109     43610    373964     20.14     24.52  --
32.73/8.22	c  N dy   269     84604        70      6230         0     13219     43610    220370     20.24     21.34  --
33.54/8.43	c  F st   291     87501        70      6230         0     15880     43610    285873     20.29   no data  --
34.33/8.66	c  N st   296     90800        70      6230         0     18907     43610    359329     20.29   no data  --
36.33/9.16	c  N dy   319     96664        70      6230         0     12388     43610    184754     20.33     21.93  --
38.35/9.65	c  N dy   342    104828        70      6230         0     19768     43610    360317     20.32     16.54  --
38.35/9.65	c  S st   342    104828        70      6230         0     19768     43610    360317     20.32     16.54  --
38.73/9.71	c  S st   342    105331        70      6230         0     20237     43610    371536     20.32   no data  --
38.73/9.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.73/9.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.73/9.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
38.73/9.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.73/9.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.73/9.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.73/9.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.52/11.44	c lits-rem:      2171  cl-subs:     1765  v-elim:      0  v-fix:    0  time:  6.85 s
45.52/11.44	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.52/11.45	c vivif2 --  cl tried    18472 cl shrink        0 lits rem          0 time: 0.01
47.14/11.82	c asymm  cl-useful: 0/4840/6230 lits-rem:0 time: 1.47
47.14/11.82	c calculated reachability. Time: 0.00
47.14/11.82	c  N dy   342    105331        70      6230         0     18472     43610    327163     20.32   no data  --
49.51/12.43	c  N dy   371    112226        70      6230         0     24729     43610    478678     20.36     21.48  --
51.90/13.00	c  N dy   406    120564        70      6230         0     19656     43610    348642     20.41     21.49  --
54.30/13.66	c  N dy   442    128353        70      6230         0     26720     43610    519689     20.46     21.72  --
57.90/14.51	c  N dy   466    140567        70      6230         0     24174     43610    442022     20.43     21.57  --
61.49/15.45	c  N dy   481    152969        70      6230         0     20838     43610    345289     20.35     21.46  --
63.09/15.89	c  S st   496    157996        70      6230         0     25397     43610    453572     20.35     17.64  --
63.49/15.96	c  S st   496    158499        70      6230         0     25867     43610    465007     20.35   no data  --
63.49/15.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.49/15.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.49/15.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.49/15.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.49/15.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.49/15.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.49/15.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.48/17.98	c lits-rem:      2289  cl-subs:     2940  v-elim:      0  v-fix:    0  time:  7.96 s
71.48/17.98	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
71.48/17.98	c vivif2 --  cl tried    22927 cl shrink        0 lits rem          0 time: 0.02
72.28/18.16	c asymm  cl-useful: 0/1390/6230 lits-rem:0 time: 0.70
72.28/18.16	c calculated reachability. Time: 0.00
72.28/18.16	c  N dy   496    158499        70      6230         0     22927     43610    396310     20.35   no data  --
77.07/19.30	c  N dy   501    171388        70      6230         0     19291     43610    298383     20.21     21.31  --
81.07/20.30	c  N dy   547    182522        70      6230         0     29392     43610    540430     20.24     21.36  --
86.27/21.65	c  N dy   581    198289        70      6230         0     27373     43610    475875     20.19     21.31  --
91.86/23.07	c  N dy   656    211159        70      6230         0     22002     43610    344946     20.25     21.43  --
99.86/25.00	c  N dy   699    231195        70      6230         0     22014     43610    325461     20.23     21.31  --
101.83/25.58	c  S st   733    237749        70      6230         0     27987     43610    470395     20.25     18.75  --
102.24/25.65	c  S st   733    238254        70      6230         0     28459     43610    481969     20.25   no data  --
102.24/25.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
102.24/25.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
102.24/25.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
102.24/25.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.24/25.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.24/25.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
102.24/25.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.83/28.01	c lits-rem:      2152  cl-subs:     2297  v-elim:      0  v-fix:    0  time:  9.34 s
111.83/28.01	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
111.83/28.02	c vivif2 --  cl tried    26162 cl shrink        0 lits rem          0 time: 0.02
113.42/28.42	c asymm  cl-useful: 0/3572/6230 lits-rem:0 time: 1.58
113.42/28.42	c calculated reachability. Time: 0.00
113.42/28.42	c  N dy   733    238254        70      6230         0     26162     43610    425889     20.25   no data  --
120.21/30.18	c  N dy   836    253525        70      6230         0     21141     43610    295427     20.33     21.67  --
127.00/31.82	c  N dy   906    269734        70      6230         0     35862     43610    650867     20.37     22.41  --
134.20/33.69	c  N dy  1013    286998        70      6230         0     31629     43610    536920     20.45     22.01  --
142.98/35.89	c  F st  1096    306251        70      6230         0     28222     43610    434225     20.46     18.43  --
142.98/35.89	c  N st  1096    306251        70      6230         0     28222     43610    434225     20.46     18.43  --
152.59/38.25	c  N dy  1169    325950        70      6230         0     24295     43610    330521     20.49     21.87  --
160.97/40.38	c  N dy  1226    345974        70      6230         0     42370     43610    763050     20.48     23.80  --
166.15/41.64	c  S st  1260    357381        70      6230         0     30075     43610    458224     20.48     18.01  --
166.55/41.71	c  S st  1260    357884        70      6230         0     30545     43610    469861     20.48   no data  --
166.55/41.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.55/41.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.55/41.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.55/41.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.55/41.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.55/41.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.55/41.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
175.73/44.03	c lits-rem:      1775  cl-subs:     1833  v-elim:      0  v-fix:    0  time:  9.14 s
175.73/44.03	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
175.73/44.03	c vivif2 --  cl tried    28712 cl shrink        0 lits rem          0 time: 0.02
177.74/44.51	c asymm  cl-useful: 0/2658/6230 lits-rem:0 time: 1.91
177.74/44.51	c calculated reachability. Time: 0.00
177.74/44.51	c  N dy  1260    357884        70      6230         0     28712     43610    423730     20.48   no data  --
192.52/48.27	c  N dy  1327    386648        70      6230         0     31154     43610    466010     20.46     21.55  --
203.70/51.06	c  N dy  1380    406650        70      6230         0     24944     43610    308941     20.45     22.44  --
213.28/53.42	c  N dy  1480    426747        70      6230         0     43100     43610    748015     20.47     22.50  --
224.07/56.17	c  N dy  1555    449722        70      6230         0     38610     43610    621782     20.48     21.68  --
234.86/58.88	c  N dy  1615    470348        70      6230         0     31060     43610    424596     20.47     21.59  --
246.03/61.65	c  N dy  1690    490647        70      6230         0     49399     43610    867405     20.47     21.68  --
260.02/65.19	c  N dy  1704    520010        70      6230         0     48644     43610    819390     20.38     21.48  --
270.82/67.81	c  S st  1803    536826        70      6230         0     36009     43610    525078     20.41     20.57  --
271.22/67.91	c  S st  1803    537328        70      6230         0     36470     43610    536481     20.41   no data  --
271.22/67.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.22/67.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.22/67.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
271.22/67.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.22/67.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.22/67.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
271.22/67.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
281.99/70.68	c lits-rem:      1071  cl-subs:     1686  v-elim:      0  v-fix:    0  time: 10.93 s
281.99/70.68	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
281.99/70.69	c vivif2 --  cl tried    34784 cl shrink        0 lits rem          0 time: 0.02
282.79/70.88	c asymm  cl-useful: 0/1532/6230 lits-rem:0 time: 0.77
282.79/70.88	c calculated reachability. Time: 0.00
282.79/70.88	c  N dy  1803    537328        70      6230         0     34784     43610    493110     20.41   no data  --
318.34/79.71	c  N dy  1816    611531        70      6230         0     42627     43610    638251     20.12     21.27  --
332.74/83.36	c  N dy  1915    633132        70      6230         0     31774     43610    386637     20.14     21.30  --
344.31/86.23	c  N dy  2002    654413        70      6230         0     51040     43610    850962     20.15     21.37  --
361.07/90.49	c  N dy  2167    674417        70      6230         0     37700     43610    515893     20.21     21.88  --
375.05/93.97	c  N dy  2303    694510        70      6230         0     55888     43610    961968     20.25     21.45  --
389.04/97.50	c  N dy  2400    715466        70      6230         0     42277     43610    610654     20.27     21.40  --
406.62/101.82	c  N dy  2550    735548        70      6230         0     60520     43610   1058379     20.31     21.90  --
421.39/105.52	c  N dy  2654    756418        70      6230         0     46031     43610    689258     20.33     21.40  --
436.98/109.42	c  N dy  2753    776815        70      6230         0     64470     43610   1136544     20.35     21.46  --
449.36/112.58	c  N dy  2838    796885        70      6230         0     48174     43610    727212     20.36     21.52  --
454.96/113.90	c  S st  2852    805992        70      6230         0     56359     43610    922744     20.36     20.77  --
455.37/114.05	c  S st  2852    806495        70      6230         0     56821     43610    934062     20.36   no data  --
455.37/114.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
455.37/114.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.37/114.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
455.78/114.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
455.78/114.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
455.78/114.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
455.78/114.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
491.30/123.00	c lits-rem:      3620  cl-subs:     5077  v-elim:      0  v-fix:    0  time: 35.49 s
491.30/123.00	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
491.30/123.01	c vivif2 --  cl tried    51744 cl shrink        0 lits rem          0 time: 0.05
492.50/123.33	c asymm  cl-useful: 0/902/6230 lits-rem:0 time: 1.28
492.50/123.33	c calculated reachability. Time: 0.00
492.50/123.33	c  N dy  2852    806495        70      6230         0     51744     43610    807529     20.36   no data  --
522.86/130.97	c  N dy  2969    849928        70      6230         0     55681     43610    869509     20.31     21.58  --
540.84/135.44	c  N dy  3086    869962        70      6230         0     37974     43610    456649     20.33     22.54  --
555.21/139.01	c  N dy  3201    891125        70      6230         0     57017     43610    918735     20.36     21.50  --
573.59/143.70	c  N dy  3313    911211        70      6230         0     38298     43610    451093     20.37     22.24  --
587.59/147.12	c  N dy  3438    931301        70      6230         0     56532     43610    898113     20.40     23.03  --
605.94/151.77	c  N dy  3532    951334        70      6230         0     74668     43610   1337527     20.41     22.50  --
619.12/155.04	c  N dy  3592    971351        70      6230         0     54738     43610    829411     20.41     21.51  --
652.69/163.49	c  N dy  3706   1017337        70      6230         0     57266     43610    867776     20.38     21.53  --
675.85/169.29	c  N dy  3789   1044592        70      6230         0     42147     43610    502106     20.38     21.51  --
689.04/172.51	c  N dy  3855   1065289        70      6230         0     60737     43610    945603     20.37     21.47  --
693.83/173.80	c  F st  3873   1071878        70      6230         0     66704     43610   1088579     20.37     21.39  --
707.41/177.11	c  N dy  3920   1085339        70      6230         0     78875     43610   1385065     20.38     22.10  --
720.59/180.41	c  N dy  3944   1105398        70      6230         0     56407     43610    827369     20.36     21.66  --
741.76/185.71	c  N dy  3982   1131539        70      6230         0     79639     43610   1371397     20.34     21.50  --
758.55/189.95	c  N dy  4096   1152567        70      6230         0     57460     43610    853264     20.36     21.46  --
780.11/195.39	c  N dy  4200   1172651        70      6230         0     75642     43610   1295764     20.37     22.45  --
802.08/200.86	c  N dy  4308   1193352        70      6230         0     51975     43610    703642     20.39     21.48  --
818.86/205.01	c  S st  4402   1209742        70      6230         0     66711     43610   1064022     20.40   no data  --
819.66/205.29	c  S st  4402   1210247        70      6230         0     67176     43610   1075535     20.40   no data  --
819.66/205.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
819.66/205.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.06/205.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.17
820.06/205.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.06/205.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.06/205.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
820.06/205.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
899.57/225.28	c lits-rem:      3582  cl-subs:     5260  v-elim:      0  v-fix:    0  time: 79.46 s
899.57/225.28	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
899.57/225.29	c vivif2 --  cl tried    61916 cl shrink        0 lits rem          0 time: 0.05
901.14/225.66	c asymm  cl-useful: 0/738/6230 lits-rem:0 time: 1.47
901.14/225.66	c calculated reachability. Time: 0.00
901.14/225.66	c  N dy  4402   1210247        70      6230         0     61916     43610    940162     20.40   no data  --
925.52/231.71	c  N dy  4492   1230678        70      6230         0     80361     43610   1386218     20.41     21.53  --
944.28/236.48	c  N dy  4621   1250699        70      6230         0     55509     43610    780163     20.43     22.61  --
986.23/246.95	c  N dy  4697   1298742        70      6230         0     54337     43610    718660     20.38     21.46  --
1032.97/258.62	c  N dy  4754   1347822        70      6230         0     53520     43610    688672     20.32     21.41  --
1055.33/264.26	c  N dy  4895   1367862        70      6230         0     71673     43610   1134317     20.34     22.99  --
1078.10/269.98	c  N dy  4959   1388550        70      6230         0     90343     43610   1584198     20.34     21.53  --
1096.48/274.60	c  N dy  5127   1408552        70      6230         0     62656     43610    918795     20.37     22.85  --
1115.65/279.39	c  N dy  5207   1428833        70      6230         0     80950     43610   1359962     20.37     21.54  --
1139.61/285.38	c  N dy  5344   1448845        70      6230         0     52202     43610    643783     20.39     22.26  --
1156.79/289.67	c  N dy  5423   1468882        70      6230         0     70282     43610   1081452     20.40     22.32  --
1177.57/294.87	c  N dy  5426   1492904        70      6230         0     91701     43610   1578741     20.37     21.46  --
1197.54/299.89	c  N dy  5565   1513006        70      6230         0     62208     43610    876747     20.39     21.77  --
1219.51/305.37	c  N dy  5702   1533010        70      6230         0     80300     43610   1323988     20.41     24.03  --
1245.88/311.97	c  N dy  5790   1554147        70      6230         0     50710     43610    579495     20.42     21.73  --
1264.64/316.67	c  N dy  5934   1574220        70      6230         0     68892     43610   1026815     20.44     23.37  --
1288.21/322.56	c  N dy  6054   1594312        70      6230         0     87061     43610   1472862     20.45     22.57  --
1311.38/328.30	c  N dy  6132   1614412        70      6230         0     55472     43610    679293     20.45     22.46  --
1330.95/333.25	c  N dy  6282   1634423        70      6230         0     73591     43610   1128206     20.47     21.95  --
1354.52/339.15	c  N dy  6396   1654595        70      6230         0     91761     43610   1573582     20.49     21.60  --
1378.10/345.08	c  N dy  6518   1674600        70      6230         0     59236     43610    759055     20.50     21.92  --
1406.05/352.07	c  N dy  6567   1702836        70      6230         0     84501     43610   1359757     20.49     21.59  --
1418.06/355.04	c  S st  6612   1710247        70      6230         0     91198     43610   1525154     20.49     20.75  --
1419.23/355.35	c  S st  6612   1710750        70      6230         0     91660     43610   1536713     20.49   no data  --
1419.23/355.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1419.23/355.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1419.63/355.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1419.63/355.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1419.63/355.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1419.63/355.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1419.63/355.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1628.15/407.60	c lits-rem:      5659  cl-subs:    10511  v-elim:      0  v-fix:    0  time: 208.19 s
1628.15/407.60	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1628.15/407.62	c vivif2 --  cl tried    81149 cl shrink        0 lits rem          0 time: 0.09
1629.74/408.06	c asymm  cl-useful: 0/534/6230 lits-rem:0 time: 1.77
1629.74/408.07	c calculated reachability. Time: 0.00
1629.74/408.07	c  N dy  6612   1710750        70      6230         0     81149     43610   1283783     20.49   no data  --
1668.89/417.81	c  N dy  6726   1730809        70      6230         0     99268     43610   1728130     20.51     23.10  --
1700.05/425.60	c  N dy  6810   1753621        70      6230         0     68928     43610    988680     20.51     21.63  --
1837.46/460.06	c  N dy  6855   1856306        70      6230         0     55845     43610    645700     20.39     21.58  --
1863.83/466.61	c  N dy  6985   1876596        70      6230         0     74264     43610   1098918     20.41     21.51  --
1900.17/475.73	c  N dy  7071   1899422        70      6230         0     94798     43610   1596786     20.41     21.51  --
1936.93/484.99	c  N dy  7205   1920019        70      6230         0     59670     43610    725189     20.42     21.55  --
1963.29/491.59	c  N dy  7321   1940042        70      6230         0     77658     43610   1165131     20.43     21.54  --
1990.85/498.41	c  N dy  7378   1960238        70      6230         0     95752     43610   1602130     20.43     21.64  --
2056.36/514.80	c  N dy  7444   2017459        70      6230         0     91965     43610   1457936     20.39     21.51  --
2085.53/522.18	c  N dy  7544   2037474        70      6230         0    110008     43610   1896357     20.40     23.05  --
2107.09/527.50	c  N dy  7683   2057501        70      6230         0     72591     43610   1022184     20.42     23.37  --
2132.65/533.93	c  N dy  7799   2078311        70      6230         0     91377     43610   1482052     20.43     21.52  --
2162.21/541.31	c  N dy  7858   2100422        70      6230         0    111300     43610   1962919     20.42     21.57  --
2184.18/546.83	c  N dy  7993   2120490        70      6230         0     72857     43610   1011691     20.44     21.52  --
2203.76/551.79	c  N dy  8014   2140583        70      6230         0     90800     43610   1431516     20.43     22.40  --
2236.11/559.80	c  N dy  8091   2163584        70      6230         0    111489     43610   1932139     20.43     21.59  --
2258.89/565.56	c  N dy  8193   2183599        70      6230         0     72075     43610    976336     20.44     24.08  --
2283.27/571.66	c  N dy  8311   2203632        70      6230         0     90158     43610   1420320     20.45     23.10  --
2292.05/573.83	c  S st  8326   2210751        70      6230         0     96599     43610   1573753     20.45     17.04  --
2293.23/574.12	c  S st  8326   2211253        70      6230         0     97065     43610   1585461     20.45   no data  --
2293.23/574.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2293.23/574.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2293.23/574.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2293.63/574.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2293.63/574.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2293.63/574.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2293.63/574.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2417.86/605.35	c lits-rem:      5265  cl-subs:     8606  v-elim:      0  v-fix:    0  time: 124.35 s
2417.86/605.36	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2417.86/605.38	c vivif2 --  cl tried    88459 cl shrink        0 lits rem          0 time: 0.08
2419.48/605.72	c asymm  cl-useful: 0/516/6230 lits-rem:0 time: 1.37
2419.48/605.72	c calculated reachability. Time: 0.00
2419.48/605.72	c  N dy  8326   2211253        70      6230         0     88459     43610   1367274     20.45   no data  --
2447.83/612.81	c  N dy  8426   2231538        70      6230         0    106813     43610   1813082     20.45     21.53  --
2506.55/627.51	c  N dy  8502   2282879        70      6230         0     94413     43610   1468567     20.42     21.66  --
2538.90/635.62	c  N dy  8535   2307090        70      6230         0    116017     43610   1979080     20.41     21.49  --
2561.67/641.30	c  N dy  8633   2327819        70      6230         0     75805     43610   1042610     20.42     21.51  --
2588.43/648.04	c  N dy  8773   2347874        70      6230         0     93878     43610   1490366     20.43     21.76  --
2653.94/664.49	c  N dy  8880   2401194        70      6230         0     81604     43610   1145837     20.41     21.57  --
2702.67/676.60	c  N dy  8928   2431848        70      6230         0    108936     43610   1789428     20.40     21.52  --
2746.21/687.56	c  N dy  9054   2451944        70      6230         0     66224     43610    785290     20.41     23.39  --
2775.80/694.91	c  N dy  9144   2471990        70      6230         0     84212     43610   1222653     20.41     22.16  --
2814.94/704.75	c  N dy  9178   2497675        70      6230         0    107048     43610   1752813     20.40     21.58  --
2861.65/716.41	c  N dy  9301   2517714        70      6230         0     63303     43610    700125     20.41     22.79  --
2934.36/734.68	c  N dy  9423   2574144        70      6230         0    113929     43610   1911859     20.38     21.81  --
2978.69/745.76	c  N dy  9553   2594566        70      6230         0     69565     43610    839573     20.39     21.64  --
3009.46/753.49	c  N dy  9678   2614707        70      6230         0     87804     43610   1287411     20.40     21.53  --
3048.60/763.29	c  N dy  9809   2634735        70      6230         0    105910     43610   1734732     20.41     22.46  --
3092.94/774.31	c  N dy  9906   2654799        70      6230         0    124017     43610   2174562     20.42     23.67  --
3130.89/783.82	c  N dy 10071   2675334        70      6230         0     78604     43610   1048799     20.43     21.51  --
3164.04/792.16	c  N dy 10169   2695526        70      6230         0     96743     43610   1492707     20.44     21.63  --
3193.60/799.53	c  S st 10258   2711253        70      6230         0    110978     43610   1842214     20.44   no data  --
3194.80/799.89	c  S st 10258   2711757        70      6230         0    111446     43610   1854038     20.44   no data  --
3195.20/799.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3195.20/799.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3195.20/799.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
3195.60/800.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3195.60/800.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3195.60/800.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3195.60/800.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3686.92/923.06	c lits-rem:      7170  cl-subs:    10441  v-elim:      0  v-fix:    0  time: 491.35 s
3686.92/923.06	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3686.92/923.08	c vivif2 --  cl tried   101005 cl shrink        0 lits rem          0 time: 0.10
3688.53/923.45	c asymm  cl-useful: 0/439/6230 lits-rem:0 time: 1.47
3688.53/923.45	c calculated reachability. Time: 0.00
3688.53/923.45	c  N dy 10258   2711757        70      6230         0    101005     43610   1583609     20.44   no data  --
3721.27/931.64	c  N dy 10376   2731781        70      6230         0    119072     43610   2026778     20.45     23.25  --
3748.43/938.45	c  N dy 10454   2751877        70      6230         0     72752     43610    895041     20.45     24.07  --
3772.82/944.53	c  N dy 10572   2771960        70      6230         0     90899     43610   1340087     20.46     21.57  --
3803.58/952.27	c  N dy 10690   2792059        70      6230         0    109051     43610   1785944     20.47     21.62  --
3837.52/960.73	c  N dy 10785   2812223        70      6230         0    127128     43610   2226035     20.47     21.58  --
3865.87/967.83	c  N dy 10820   2837565        70      6230         0     84281     43610   1141540     20.46     21.59  --
3895.45/975.20	c  N dy 10930   2857621        70      6230         0    102351     43610   1582568     20.47     21.99  --
3934.59/985.09	c  N dy 11029   2877698        70      6230         0    120420     43610   2023172     20.47     23.00  --
3983.73/997.36	c  N dy 11149   2898604        70      6230         0     72856     43610    866424     20.48     21.61  --
4016.47/1005.52	c  N dy 11220   2918621        70      6230         0     90844     43610   1299543     20.48     22.31  --
4057.22/1015.76	c  N dy 11340   2938708        70      6230         0    108896     43610   1743679     20.49     22.61  --
4105.95/1027.92	c  N dy 11466   2958772        70      6230         0    126989     43610   2189999     20.50     22.00  --
4146.72/1038.14	c  N dy 11582   2978843        70      6230         0     77644     43610    971713     20.51     23.18  --
4180.24/1046.55	c  N dy 11691   2999160        70      6230         0     95941     43610   1419128     20.51     21.75  --
4219.80/1056.43	c  N dy 11793   3019267        70      6230         0    114077     43610   1864475     20.52     21.60  --
4260.97/1066.72	c  N dy 11850   3039359        70      6230         0    132083     43610   2300635     20.52     22.23  --
4299.28/1076.33	c  N dy 11928   3059604        70      6230         0     81988     43610   1060576     20.52     21.65  --
4339.64/1086.41	c  N dy 12013   3080873        70      6230         0    101083     43610   1524392     20.52     21.64  --
4390.76/1099.23	c  N dy 12165   3100930        70      6230         0    119248     43610   1976612     20.53     22.23  --
4446.68/1113.20	c  N dy 12234   3125951        70      6230         0     72360     43610    813412     20.53     21.67  --
4491.42/1124.46	c  N dy 12325   3153777        70      6230         0     97364     43610   1419952     20.53     21.62  --
4538.95/1136.33	c  N dy 12465   3173783        70      6230         0    115459     43610   1867598     20.54     22.67  --
4617.65/1156.05	c  N dy 12538   3211759        70      6230         0     79182     43610    957401     20.53     18.71  --
4617.65/1156.05	c  S st 12538   3211759        70      6230         0     79182     43610    957401     20.53     18.71  --
4618.85/1156.39	c  S st 12538   3212261        70      6230         0     79640     43610    968926     20.53   no data  --
4619.25/1156.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4619.25/1156.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4619.25/1156.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.22
4619.25/1156.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4619.25/1156.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4619.25/1156.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4619.25/1156.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4739.90/1186.67	c lits-rem:       587  cl-subs:     2851  v-elim:      0  v-fix:    0  time: 120.55 s
4739.90/1186.67	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4739.90/1186.69	c vivif2 --  cl tried    76789 cl shrink        0 lits rem          0 time: 0.06
4741.88/1187.11	c asymm  cl-useful: 0/589/6230 lits-rem:0 time: 1.70
4741.88/1187.12	c calculated reachability. Time: 0.00
4741.88/1187.12	c  N dy 12538   3212261        70      6230         0     76789     43610    907792     20.53   no data  --
4772.64/1194.84	c  N dy 12625   3233581        70      6230         0     95926     43610   1374752     20.54     21.80  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.02 7.79 7.92 7/180 1349
/proc/meminfo: memFree=30909492/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 523973388 52465664 352 33554432000 4194304 4650419 140736564262624 18446744073709551615 228244405233 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 12809 352 303 112 0 7774 0
[pid=1349/tid=1350] ppid=1347 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523973388 52465664 356 33554432000 4194304 4650419 140736564262624 18446744073709551615 46988543686578 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523973388 52465664 356 33554432000 4194304 4650419 140736564262624 18446744073709551615 228239395926 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523973388 52465664 356 33554432000 4194304 4650419 140736564262624 18446744073709551615 46988543686572 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.807517 s]
/proc/loadavg: 7.02 7.79 7.92 7/180 1349
/proc/meminfo: memFree=30909492/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=287472 CPUtime=3.2 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 6423 0 0 0 320 0 0 0 19 0 4 0 523973388 294371328 3883 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365410 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 71868 3883 390 112 0 66833 0
[pid=1349/tid=1350] ppid=1347 vsize=287472 CPUtime=0.8 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1555 0 0 0 80 0 0 0 19 0 4 0 523973388 294371328 3883 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=287472 CPUtime=0.79 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1521 0 0 0 79 0 0 0 18 0 4 0 523973388 294371328 3883 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=287472 CPUtime=0.79 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1333 0 0 0 79 0 0 0 19 0 4 0 523973388 294371328 3883 33554432000 4194304 4650419 140736564262624 18446744073709551615 4333886 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 287472

[startup+0.900502 s]
/proc/loadavg: 7.02 7.79 7.92 7/180 1349
/proc/meminfo: memFree=30909492/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=288012 CPUtime=3.57 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 7302 0 0 0 357 0 0 0 19 0 4 0 523973388 294924288 3803 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 72003 3803 390 112 0 66968 0
[pid=1349/tid=1350] ppid=1347 vsize=288012 CPUtime=0.89 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1837 0 0 0 89 0 0 0 19 0 4 0 523973388 294924288 3803 33554432000 4194304 4650419 140736564262624 18446744073709551615 4331621 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=288012 CPUtime=0.89 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1797 0 0 0 89 0 0 0 18 0 4 0 523973388 294924288 3803 33554432000 4194304 4650419 140736564262624 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=288012 CPUtime=0.89 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1386 0 0 0 89 0 0 0 19 0 4 0 523973388 294924288 3803 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 288012

[startup+1.00048 s]
/proc/loadavg: 7.02 7.79 7.92 7/180 1349
/proc/meminfo: memFree=30909492/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=288012 CPUtime=3.97 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 7545 0 0 0 397 0 0 0 19 0 4 0 523973388 294924288 4046 33554432000 4194304 4650419 140736564262624 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 72003 4046 391 112 0 66968 0
[pid=1349/tid=1350] ppid=1347 vsize=288012 CPUtime=0.99 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1897 0 0 0 99 0 0 0 19 0 4 0 523973388 294924288 4046 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=288012 CPUtime=0.99 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1857 0 0 0 99 0 0 0 19 0 4 0 523973388 294924288 4046 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=288012 CPUtime=0.99 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1450 0 0 0 99 0 0 0 19 0 4 0 523973388 294924288 4046 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 288012

[startup+1.10047 s]
/proc/loadavg: 7.02 7.79 7.92 7/180 1349
/proc/meminfo: memFree=30909492/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=288432 CPUtime=4.38 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 8010 0 0 0 437 1 0 0 19 0 4 0 523973388 295354368 4149 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 72108 4149 391 112 0 67073 0
[pid=1349/tid=1350] ppid=1347 vsize=288432 CPUtime=1.09 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1953 0 0 0 109 0 0 0 19 0 4 0 523973388 295354368 4149 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=288432 CPUtime=1.09 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1908 0 0 0 109 0 0 0 19 0 4 0 523973388 295354368 4149 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=288432 CPUtime=1.09 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 1760 0 0 0 109 0 0 0 19 0 4 0 523973388 295354368 4149 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 288432

[startup+1.5004 s]
/proc/loadavg: 7.02 7.79 7.92 7/180 1349
/proc/meminfo: memFree=30909492/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=288948 CPUtime=5.97 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 11197 0 0 0 596 1 0 0 19 0 4 0 523973388 295882752 5849 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 72237 5849 392 112 0 67202 0
[pid=1349/tid=1350] ppid=1347 vsize=288948 CPUtime=1.49 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 2408 0 0 0 149 0 0 0 20 0 4 0 523973388 295882752 5849 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=288948 CPUtime=1.49 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 2348 0 0 0 149 0 0 0 19 0 4 0 523973388 295882752 5849 33554432000 4194304 4650419 140736564262624 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=288948 CPUtime=1.49 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 2209 0 0 0 149 0 0 0 20 0 4 0 523973388 295882752 5850 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288948

[startup+3.10112 s]
/proc/loadavg: 7.02 7.79 7.92 9/184 1353
/proc/meminfo: memFree=30836844/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=305916 CPUtime=12.36 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 18093 0 0 0 1234 2 0 0 25 0 4 0 523973388 313257984 10592 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 76479 10592 392 112 0 71444 0
[pid=1349/tid=1350] ppid=1347 vsize=305916 CPUtime=3.09 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 3955 0 0 0 309 0 0 0 25 0 4 0 523973388 313257984 10592 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=305916 CPUtime=3.08 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 4767 0 0 0 308 0 0 0 25 0 4 0 523973388 313257984 10592 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=305916 CPUtime=3.07 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 4738 0 0 0 307 0 0 0 25 0 4 0 523973388 313257984 10592 33554432000 4194304 4650419 140736564262624 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 305916

[startup+6.30656 s]
/proc/loadavg: 7.10 7.79 7.92 9/184 1353
/proc/meminfo: memFree=30813288/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=314900 CPUtime=25.17 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 26922 0 0 0 2514 3 0 0 25 0 4 0 523973388 322457600 14124 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 78725 14124 392 112 0 73690 0
[pid=1349/tid=1350] ppid=1347 vsize=314900 CPUtime=6.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 6691 0 0 0 630 0 0 0 25 0 4 0 523973388 322457600 14124 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=314900 CPUtime=6.29 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 6589 0 0 0 629 0 0 0 25 0 4 0 523973388 322457600 14124 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=314900 CPUtime=6.25 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 7023 0 0 0 625 0 0 0 25 0 4 0 523973388 322457600 14124 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 314900

[startup+12.7004 s]
/proc/loadavg: 7.17 7.79 7.92 9/184 1353
/proc/meminfo: memFree=30766860/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=315808 CPUtime=50.71 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 38406 0 0 0 5065 6 0 0 25 0 4 0 523973388 323387392 18980 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 78952 18980 392 112 0 73917 0
[pid=1349/tid=1350] ppid=1347 vsize=315808 CPUtime=12.68 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 9169 0 0 0 1268 0 0 0 25 0 4 0 523973388 323387392 18980 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=315808 CPUtime=12.68 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 9386 0 0 0 1267 1 0 0 25 0 4 0 523973388 323387392 18980 33554432000 4194304 4650419 140736564262624 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=315808 CPUtime=12.62 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 10462 0 0 0 1261 1 0 0 25 0 4 0 523973388 323387392 18980 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 315808

[startup+25.5002 s]
/proc/loadavg: 7.42 7.82 7.92 9/184 1353
/proc/meminfo: memFree=30731404/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=316812 CPUtime=101.83 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 58929 0 0 0 10173 10 0 0 25 0 4 0 523973388 324415488 26113 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 79203 26113 392 112 0 74168 0
[pid=1349/tid=1350] ppid=1347 vsize=316812 CPUtime=25.49 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 14271 0 0 0 2548 1 0 0 25 0 4 0 523973388 324415488 26113 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=316812 CPUtime=25.48 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 13772 0 0 0 2546 2 0 0 25 0 4 0 523973388 324415488 26113 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=316812 CPUtime=25.35 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 15757 0 0 0 2532 3 0 0 25 0 4 0 523973388 324415488 26113 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 316812

[startup+51.1007 s]
/proc/loadavg: 7.62 7.83 7.92 9/184 1354
/proc/meminfo: memFree=30696836/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=327584 CPUtime=204.09 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 84003 0 0 0 20392 17 0 0 25 0 4 0 523973388 335446016 28939 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 81896 28939 392 112 0 76861 0
[pid=1349/tid=1350] ppid=1347 vsize=327584 CPUtime=51.09 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 20831 0 0 0 5107 2 0 0 25 0 4 0 523973388 335446016 28939 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=327584 CPUtime=51.09 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 18737 0 0 0 5105 4 0 0 25 0 4 0 523973388 335446016 28939 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=327584 CPUtime=50.81 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 23244 0 0 0 5075 6 0 0 25 0 4 0 523973388 335446016 28939 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 327584

[startup+102.301 s]
/proc/loadavg: 7.88 7.87 7.93 9/184 1355
/proc/meminfo: memFree=30649680/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=340508 CPUtime=408.61 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 125292 0 0 0 40830 31 0 0 25 0 4 0 523973388 348680192 34763 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 85127 34763 392 112 0 80092 0
[pid=1349/tid=1350] ppid=1347 vsize=340508 CPUtime=102.29 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 32055 0 0 0 10223 6 0 0 25 0 4 0 523973388 348680192 34763 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=340508 CPUtime=102.29 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 30157 0 0 0 10221 8 0 0 25 0 4 0 523973388 348680192 34763 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=340508 CPUtime=101.72 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 33011 0 0 0 10164 8 0 0 25 0 4 0 523973388 348680192 34763 33554432000 4194304 4650419 140736564262624 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 340508

[startup+162.3 s]

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

[pid=1349] ppid=1347 vsize=500496 CPUtime=2805.33 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 384919 0 0 0 280402 131 0 0 25 0 4 0 523973388 512507904 79622 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 125124 79622 392 112 0 120089 0
[pid=1349/tid=1350] ppid=1347 vsize=500496 CPUtime=702.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 107988 0 0 0 70198 32 0 0 25 0 4 0 523973388 512507904 79622 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=500496 CPUtime=702.3 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 93228 0 0 0 70194 36 0 0 25 0 4 0 523973388 512507904 79622 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=500496 CPUtime=698.47 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 83158 0 0 0 69822 25 0 0 25 0 4 0 523973388 512507904 79622 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 500496

[startup+762.3 s]
/proc/loadavg: 8.04 8.02 7.99 9/184 1373
/proc/meminfo: memFree=30293676/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=513064 CPUtime=3045 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 393798 0 0 0 304364 136 0 0 25 0 4 0 523973388 525377536 81932 33554432000 4194304 4650419 140736564262624 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 128266 81932 392 112 0 123231 0
[pid=1349/tid=1350] ppid=1347 vsize=513064 CPUtime=762.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 108922 0 0 0 76198 32 0 0 25 0 4 0 523973388 525377536 81932 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=513064 CPUtime=762.3 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 96381 0 0 0 76192 38 0 0 25 0 4 0 523973388 525377536 81932 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=513064 CPUtime=758.14 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 83158 0 0 0 75789 25 0 0 25 0 4 0 523973388 525377536 81932 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 513064

[startup+822.301 s]
/proc/loadavg: 8.10 8.05 8.00 9/184 1375
/proc/meminfo: memFree=30302556/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=542640 CPUtime=3284.68 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 401731 0 0 0 328327 141 0 0 25 0 4 0 523973388 555663360 79646 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 135660 79646 392 112 0 130625 0
[pid=1349/tid=1350] ppid=1347 vsize=542640 CPUtime=822.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 111398 0 0 0 82197 33 0 0 25 0 4 0 523973388 555663360 79646 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=542640 CPUtime=822.3 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 98993 0 0 0 82191 39 0 0 25 0 4 0 523973388 555663360 79646 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=542640 CPUtime=817.82 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 83697 0 0 0 81756 26 0 0 25 0 4 0 523973388 555663360 79646 33554432000 4194304 4650419 140736564262624 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 542640

[startup+882.3 s]
/proc/loadavg: 8.17 8.08 8.01 9/184 1376
/proc/meminfo: memFree=30292208/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=489540 CPUtime=3524.35 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 423837 0 0 0 352285 150 0 0 25 0 4 0 523973388 501288960 83249 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 122385 83249 392 112 0 117350 0
[pid=1349/tid=1350] ppid=1347 vsize=489540 CPUtime=882.29 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 114769 0 0 0 88194 35 0 0 25 0 4 0 523973388 501288960 83249 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=489540 CPUtime=882.3 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 103178 0 0 0 88187 43 0 0 25 0 4 0 523973388 501288960 83249 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=489540 CPUtime=877.49 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 88858 0 0 0 87721 28 0 0 25 0 4 0 523973388 501288960 83249 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 489540

[startup+942.301 s]
/proc/loadavg: 8.22 8.11 8.02 9/184 1378
/proc/meminfo: memFree=30278884/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=489812 CPUtime=3764.03 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 434764 0 0 0 376248 155 0 0 25 0 4 0 523973388 501567488 86272 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 122453 86272 392 112 0 117418 0
[pid=1349/tid=1350] ppid=1347 vsize=489812 CPUtime=942.31 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 116196 0 0 0 94195 36 0 0 25 0 4 0 523973388 501567488 86272 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=489812 CPUtime=942.31 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 107716 0 0 0 94185 46 0 0 25 0 4 0 523973388 501567488 86272 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=489812 CPUtime=937.17 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 88963 0 0 0 93689 28 0 0 25 0 4 0 523973388 501567488 86272 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 489812

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.03 9/184 1379
/proc/meminfo: memFree=30273860/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=454516 CPUtime=4003.69 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 445300 0 0 0 400207 162 0 0 25 0 4 0 523973388 465424384 82577 33554432000 4194304 4650419 140736564262624 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 113629 82577 392 112 0 108594 0
[pid=1349/tid=1350] ppid=1347 vsize=454516 CPUtime=1002.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 118074 0 0 0 100193 37 0 0 25 0 4 0 523973388 465424384 82577 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=454516 CPUtime=1002.3 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 110313 0 0 0 100182 48 0 0 25 0 4 0 523973388 465424384 82577 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=454516 CPUtime=996.84 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 92053 0 0 0 99654 30 0 0 25 0 4 0 523973388 465424384 82577 33554432000 4194304 4650419 140736564262624 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 454516

[startup+1062.31 s]
/proc/loadavg: 8.23 8.14 8.04 9/184 1381
/proc/meminfo: memFree=30282120/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=458232 CPUtime=4243.38 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 453299 0 0 0 424172 166 0 0 25 0 4 0 523973388 469229568 83250 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 114558 83250 392 112 0 109523 0
[pid=1349/tid=1350] ppid=1347 vsize=458232 CPUtime=1062.31 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 118074 0 0 0 106194 37 0 0 25 0 4 0 523973388 469229568 83250 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=458232 CPUtime=1062.31 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 115162 0 0 0 106180 51 0 0 25 0 4 0 523973388 469229568 83250 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=458232 CPUtime=1056.52 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 92544 0 0 0 105622 30 0 0 25 0 4 0 523973388 469229568 83250 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 458232

[startup+1122.3 s]
/proc/loadavg: 8.16 8.13 8.04 9/184 1383
/proc/meminfo: memFree=30224024/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=465056 CPUtime=4483.04 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 460733 0 0 0 448134 170 0 0 25 0 4 0 523973388 476217344 90684 33554432000 4194304 4650419 140736564262624 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 116264 90684 392 112 0 111229 0
[pid=1349/tid=1350] ppid=1347 vsize=465056 CPUtime=1122.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 118074 0 0 0 112193 37 0 0 25 0 4 0 523973388 476217344 90684 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=465056 CPUtime=1122.3 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 116885 0 0 0 112179 51 0 0 25 0 4 0 523973388 476217344 90684 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=465056 CPUtime=1116.19 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 93124 0 0 0 111589 30 0 0 25 0 4 0 523973388 476217344 90684 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 465056

[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 8.04 9/184 1384
/proc/meminfo: memFree=30236340/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=465056 CPUtime=4722.7 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 462998 0 0 0 472098 172 0 0 25 0 4 0 523973388 476217344 87285 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 116264 87285 392 112 0 111229 0
[pid=1349/tid=1350] ppid=1347 vsize=465056 CPUtime=1182.3 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 118074 0 0 0 118193 37 0 0 25 0 4 0 523973388 476217344 87285 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=465056 CPUtime=1182.31 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 116885 0 0 0 118179 52 0 0 25 0 4 0 523973388 476217344 87285 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=465056 CPUtime=1175.86 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 93171 0 0 0 117556 30 0 0 25 0 4 0 523973388 476217344 87285 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 465056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.14 8.04 5/179 1386
/proc/meminfo: memFree=30559512/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=483120 CPUtime=4800.21 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 465191 0 0 0 479848 173 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 120780 88778 392 112 0 115745 0
[pid=1349/tid=1350] ppid=1347 vsize=483120 CPUtime=1201.71 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 118498 0 0 0 120134 37 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=483120 CPUtime=1201.71 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 116885 0 0 0 120119 52 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=483120 CPUtime=1195.16 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 94940 0 0 0 119485 31 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 483120

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

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

[startup+1201.7 s]
/proc/loadavg: 8.18 8.14 8.04 5/179 1386
/proc/meminfo: memFree=30559512/32951124 swapFree=67111364/67111528
[pid=1349] ppid=1347 vsize=483120 CPUtime=4800.21 cores=0,2,4,6
/proc/1349/stat : 1349 (strangenight1-m) R 1347 1349 811 0 -1 4202496 465191 0 0 0 479848 173 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1349/statm: 120780 88778 392 112 0 115745 0
[pid=1349/tid=1350] ppid=1347 vsize=483120 CPUtime=1201.71 cores=0,2,4,6
/proc/1349/task/1350/stat : 1350 (strangenight1-m) R 1347 1349 811 0 -1 4202560 118498 0 0 0 120134 37 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1349/tid=1351] ppid=1347 vsize=483120 CPUtime=1201.71 cores=0,2,4,6
/proc/1349/task/1351/stat : 1351 (strangenight1-m) R 1347 1349 811 0 -1 4202560 116885 0 0 0 120119 52 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1349/tid=1352] ppid=1347 vsize=483120 CPUtime=1195.16 cores=0,2,4,6
/proc/1349/task/1352/stat : 1352 (strangenight1-m) R 1347 1349 811 0 -1 4202560 94940 0 0 0 119485 31 0 0 25 0 4 0 523973388 494714880 88778 33554432000 4194304 4650419 140736564262624 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 483120

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4798.51
CPU system time (s): 1.75273
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 578752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.51
system time used= 1.75273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465191
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= 492
involuntary context switches= 22338

runsolver used 1.85672 second user time and 4.70928 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-30 02:35:54
IDJOB=3175435
IDBENCH=83053
IDSOLVER=1588
FILE ID=node136/3175435-1304123754
RUNJOBID= node136-1304123753-1266
PBS_JOBID= 13170731
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175435-1304123754/watcher-3175435-1304123754 -o /tmp/evaluation-result-3175435-1304123754/solver-3175435-1304123754 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175435-1304123754.cnf

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

MD5SUM BENCH= 54de6cac0499270ba5ca6b23e35899f2
RANDOM SEED=1389199734

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30909648 kB
Buffers:        598060 kB
Cached:         946716 kB
SwapCached:          0 kB
Active:         155068 kB
Inactive:      1462024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30909648 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12460 kB
Writeback:           0 kB
AnonPages:       71824 kB
Mapped:          15228 kB
Slab:           361020 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   278472 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= 72324 MiB
End job on node136 at 2011-04-30 02:55:58