Trace number 3366180

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.51 1203.58

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf
MD5SUM0d20733a6f7d3b01f88ae7bba5f0d271
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark405.867
Satisfiable
(Un)Satisfiability was proved
Number of variables34999
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366180-1305398211.cnf'
0.00/0.01	c -- header says num vars:          34999
0.00/0.01	c -- header says num clauses:      147000
0.35/0.19	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.35/0.19	c -- vars added      34999
0.35/0.19	c Parsing time:  0.12 s
0.35/0.20	c  N st     0         0     34999    147000         0         0    441000         0   no data   no data
0.35/0.38	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
0.35/0.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.60/0.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.60/0.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.60/0.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.60/0.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34999 time:  0.01 s
1.60/0.55	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
1.60/1.05	c lits-rem:         0  cl-subs:        0  v-elim:    885  v-fix:    0  time:  0.24 s
1.60/1.05	c Finding binary XORs  T:     0.01 s  found:       0
1.60/1.05	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.60/1.05	c calculated reachability. Time: 0.00
1.60/1.05	c Calc default polars -  time:   0.01 s pos:   15641 undec:    3844 neg:   15514
1.60/1.05	c =========================================================================================
1.60/1.05	c types(t): F = full restart, N = normal restart
1.60/1.05	c types(t): S = simplification begin/end, E = solution found
1.60/1.05	c restart types(rt): st = static, dy = dynamic
1.60/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.60/1.05	c  B st     0         0     34114    146049         0         0    443483         0   no data   no data
11.45/2.97	c  N dy    17      4505     34114    146049         0      4505    443483   1340775    173.60    183.04
19.42/4.94	c  N dy    43      8629     34114    146049         0      8629    443483   2406959    170.63    180.22
27.39/6.91	c  N dy    70     12711     34114    146049         0     12711    443483   3474681    169.63    180.04
34.97/8.89	c  N dy    98     16736     34114    146049         0     16736    443483   4509869    168.90    182.66
43.34/10.93	c  N dy   120     20852     34114    146049         0     10857    443483    867404    167.83    187.91
51.37/12.93	c  N dy   151     24910     34114    146049         0     14915    443483   1912427    168.37    194.00
51.37/12.97	c  F st   152     25000     34114    146049         0     15005    443483   1927480    168.18   no data
62.10/15.63	c  N dy   158     30003     34114    146049         0     20007    443483   3765530    168.18   no data
62.10/15.63	c  S st   158     30003     34114    146049         0     20007    443483   3765530    168.18   no data
62.90/15.89	c  S st   158     30506     34114    146049         0     20510    443483   3859078    168.18   no data
63.30/15.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.69/16.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
63.69/16.05	c blocked clauses removed:      689 vars:    108 tried:       34114 T: 0.02 s
63.69/16.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.69/16.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.69/16.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34006 time:  0.01 s
64.09/16.10	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.54/16.28	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.17 s
66.08/16.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.08/17.65	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.96 s
70.88/17.83	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.18
70.88/17.84	c calculated reachability. Time: 0.00
70.88/17.84	c  N dy   158     30506     33990    145345         0     20247    441480   3702834    168.18   no data
79.65/20.00	c  N dy   184     34559     33990    145345         0     24300    441480   4741048    168.12    230.97
88.02/22.18	c  N dy   209     38624     33990    145345         0     28365    441480   5752841    167.63    186.84
96.80/24.33	c  N dy   238     42658     33990    145345         0     17031    441480   1218233    167.58    181.32
102.78/25.86	c  S st   258     45760     33990    145345         0     20132    441480   1971395    167.25   no data
104.01/26.12	c  S st   258     46263     33990    145345         0     20635    441480   2078564    167.25   no data
104.01/26.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.42/26.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
104.42/26.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.42/26.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.77/26.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.77/26.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
104.77/26.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.17/26.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
105.96/26.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.16/26.91	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.28 s
107.16/26.94	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
107.16/26.98	c vivif2 --  cl tried    20633 cl shrink        0 lits rem          0 time: 0.04
107.96/27.16	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.18
107.96/27.17	c calculated reachability. Time: 0.00
107.96/27.17	c  N dy   258     46263     33990    145345         0     20633    441480   2077897    167.25   no data
116.75/29.32	c  N dy   287     50432     33990    145345         0     24801    441480   3172070    167.74    179.15
125.52/31.51	c  N dy   316     54601     33990    145345         0     28970    441480   4240737    167.83    178.32
134.29/33.71	c  N dy   342     58705     33990    145345         0     33074    441480   5308589    168.05    184.70
143.07/35.90	c  N dy   370     62815     33990    145345         0     37184    441480   6336916    167.80    180.14
151.44/38.03	c  N dy   399     66857     33990    145345         0     22545    441480   1741469    167.73    179.55
156.67/39.39	c  S st   421     69395     33990    145345         0     25083    441480   2403754    168.10   no data
157.82/39.65	c  S st   421     69901     33990    145345         0     25589    441480   2500765    168.10   no data
157.82/39.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.22/39.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
158.62/39.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.62/39.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.62/39.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.62/39.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
158.62/39.85	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
159.02/39.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
159.82/40.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.80/40.60	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.41 s
161.80/40.62	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
161.80/40.67	c vivif2 --  cl tried    25587 cl shrink        0 lits rem          0 time: 0.05
162.60/40.86	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.19
162.60/40.87	c calculated reachability. Time: 0.00
162.60/40.87	c  N dy   421     69901     33990    145345         0     25587    441480   2500049    168.10   no data
172.18/43.29	c  N dy   455     74490     33990    145345         0     30175    441480   3679606    168.11    177.61
182.56/45.84	c  N dy   483     79388     33990    145345         0     35073    441480   4868677    167.79    179.12
193.72/48.62	c  N dy   516     84453     33990    145345         0     40138    441480   6210769    167.76    177.94
200.11/50.28	c  F st   538     87500     33990    145345         0     22344    441480   1118766    167.83    176.92
207.69/52.16	c  N st   543     90796     33990    145345         0     25640    441480   2316337    167.83   no data
220.45/55.36	c  N dy   572     96669     33990    145345         0     31513    441480   4039540    167.78    205.33
234.02/58.74	c  N dy   613    102923     33990    145345         0     37767    441480   5604509    167.64    176.92
238.41/59.84	c  S st   628    104851     33990    145345         0     39695    441480   6104709    167.79    169.54
239.61/60.12	c  S st   628    105356     33990    145345         0     40200    441480   6192741    167.79   no data
239.61/60.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
240.04/60.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
240.04/60.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.04/60.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.44/60.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.44/60.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
240.44/60.34	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
241.19/60.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
242.79/60.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
249.56/62.62	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.66 s
249.56/62.65	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
249.97/62.76	c vivif2 --  cl tried    40196 cl shrink        0 lits rem          0 time: 0.11
250.77/62.97	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.21
250.77/62.98	c calculated reachability. Time: 0.00
250.77/62.98	c  N dy   628    105356     33990    145345         0     40196    441480   6191481    167.79   no data
266.37/66.85	c  N dy   675    112280     33990    145345         0     24695    441480   1262724    167.77    193.22
282.28/70.81	c  N dy   727    119599     33990    145345         0     32014    441480   3143685    167.70    186.67
299.03/75.02	c  N dy   780    127266     33990    145345         0     39680    441480   5137007    167.88    183.31
317.38/79.62	c  N dy   833    135514     33990    145345         0     24217    441480    775784    167.94    185.56
335.33/84.19	c  N dy   886    144242     33990    145345         0     32945    441480   2968954    167.70    186.24
356.08/89.37	c  N dy   952    153528     33990    145345         0     42230    441480   5422323    168.03    177.79
366.45/91.90	c  S st   982    158034     33990    145345         0     46735    441480   6530144    167.91    136.05
367.28/92.20	c  S st   982    158536     33990    145345         0     47237    441480   6621251    167.91   no data
367.68/92.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
368.04/92.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
368.04/92.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.04/92.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
368.44/92.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
368.44/92.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
368.44/92.43	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
369.24/92.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
370.83/93.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
380.01/95.34	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.27 s
380.01/95.36	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
380.44/95.48	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.12
381.59/95.71	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.23
381.59/95.72	c calculated reachability. Time: 0.00
381.59/95.72	c  N dy   982    158536     33990    145345         0     47235    441480   6620653    167.91   no data
403.53/101.24	c  N dy  1050    168723     33990    145345         0     32571    441480   2558010    167.84    198.26
427.47/107.28	c  N dy  1123    179550     33990    145345         0     43398    441480   5393825    168.03    201.75
454.21/113.90	c  N dy  1209    191117     33990    145345         0     29040    441480   1383728    168.30    183.15
480.93/120.62	c  N dy  1291    203361     33990    145345         0     41284    441480   4550223    168.33    180.38
511.64/128.32	c  N dy  1384    216551     33990    145345         0     27507    441480    687106    168.55    183.00
541.96/135.92	c  N dy  1482    230432     33990    145345         0     41387    441480   4288242    168.66    178.16
558.71/140.13	c  S st  1530    237805     33990    145345         0     48760    441480   6179128    168.63    157.19
559.91/140.42	c  S st  1530    238311     33990    145345         0     49266    441480   6273947    168.63   no data
559.91/140.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
560.34/140.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
560.75/140.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
560.75/140.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
560.75/140.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
560.75/140.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
560.75/140.66	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
561.50/140.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
563.10/141.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
572.28/143.57	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.33 s
572.28/143.59	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
573.08/143.70	c vivif2 --  cl tried    49265 cl shrink        0 lits rem          0 time: 0.11
573.91/143.93	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.23
573.91/143.94	c calculated reachability. Time: 0.00
573.91/143.94	c  N dy  1530    238311     33990    145345         0     49265    441480   6272969    168.63   no data
608.18/152.57	c  N dy  1633    253564     33990    145345         0     36537    441480   2810582    168.80    183.05
645.26/161.89	c  N dy  1745    269841     33990    145345         0     52813    441480   7048978    168.86    183.07
684.75/171.73	c  N dy  1866    287098     33990    145345         0     41083    441480   3658163    169.00    205.38
727.09/182.35	c  N dy  1993    305458     33990    145345         0     59440    441480   8371422    169.03    180.88
729.04/182.87	c  F st  1999    306250     33990    145345         0     30236    441480    570606    169.01   no data
771.37/193.44	c  N dy  2096    324977     33990    145345         0     48963    441480   5720229    168.91    180.65
817.60/205.09	c  N dy  2237    345098     33990    145345         0     38085    441480   2286259    168.94    184.39
846.31/212.24	c  S st  2326    357466     33990    145345         0     50451    441480   5460280    169.01   no data
847.50/212.53	c  S st  2326    357972     33990    145345         0     50957    441480   5546424    169.01   no data
847.50/212.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
847.90/212.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
848.30/212.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
848.30/212.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
848.30/212.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
848.30/212.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
848.30/212.77	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
849.10/212.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
850.34/213.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
858.71/215.40	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.09 s
859.11/215.42	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
859.47/215.52	c vivif2 --  cl tried    50951 cl shrink        0 lits rem          0 time: 0.10
860.27/215.75	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.23
860.27/215.77	c calculated reachability. Time: 0.00
860.27/215.77	c  N dy  2326    357972     33990    145345         0     50951    441480   5543572    169.01   no data
906.55/227.36	c  N dy  2457    378096     33990    145345         0     39078    441480   2358632    169.13    178.35
953.22/239.04	c  N dy  2585    398112     33990    145345         0     59094    441480   7495463    169.04    178.02
999.88/250.79	c  N dy  2728    418257     33990    145345         0     46240    441480   3893417    169.14    183.44
1048.14/262.81	c  N dy  2861    438341     33990    145345         0     66323    441480   9129699    169.20    179.05
1093.62/274.29	c  N dy  2998    458468     33990    145345         0     52454    441480   5256912    169.22    181.15
1141.89/286.38	c  N dy  3134    478546     33990    145345         0     37530    441480   1153105    169.19    185.55
1188.19/297.95	c  N dy  3275    498597     33990    145345         0     57581    441480   6447256    169.28    196.79
1236.81/310.13	c  N dy  3406    518872     33990    145345         0     41859    441480   2050177    169.27    178.74
1279.10/320.73	c  S st  3536    536958     33990    145345         0     59944    441480   6698841    169.29   no data
1280.33/321.06	c  S st  3536    537461     33990    145345         0     60447    441480   6792919    169.29   no data
1280.33/321.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1281.10/321.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1281.10/321.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1281.10/321.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1281.10/321.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1281.10/321.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
1281.50/321.31	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1281.89/321.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1283.89/321.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1296.26/325.06	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.13 s
1296.26/325.08	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
1297.06/325.21	c vivif2 --  cl tried    60443 cl shrink        0 lits rem          0 time: 0.13
1297.89/325.46	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.25
1297.89/325.47	c calculated reachability. Time: 0.00
1297.89/325.47	c  N dy  3536    537461     33990    145345         0     60443    441480   6790895    169.29   no data
1346.16/337.55	c  N dy  3672    557585     33990    145345         0     43568    441480   2149921    169.27    179.74
1394.02/349.51	c  N dy  3819    577635     33990    145345         0     63617    441480   7478021    169.46    180.70
1442.69/361.72	c  N dy  3959    597699     33990    145345         0     45682    441480   2482061    169.46    180.38
1490.55/373.78	c  N dy  4089    618068     33990    145345         0     66051    441480   7707295    169.45    185.46
1538.81/385.87	c  N dy  4210    638358     33990    145345         0     47345    441480   2653141    169.33    179.90
1587.07/397.97	c  N dy  4354    658460     33990    145345         0     67446    441480   7888513    169.40    180.37
1635.74/410.20	c  N dy  4490    678524     33990    145345         0     47508    441480   2465561    169.37    189.50
1685.16/422.55	c  N dy  4622    698693     33990    145345         0     67674    441480   7681456    169.38    180.80
1735.02/435.03	c  N dy  4760    718717     33990    145345         0     46696    441480   1982396    169.38    183.21
1782.89/447.02	c  N dy  4895    738812     33990    145345         0     66791    441480   7184385    169.41    180.89
1833.19/459.63	c  N dy  5028    758850     33990    145345         0     44832    441480   1211919    169.40    179.76
1880.62/471.53	c  N dy  5164    778941     33990    145345         0     64923    441480   6513010    169.47    184.03
1931.26/484.20	c  N dy  5290    798947     33990    145345         0     84927    441480  11694307    169.41    240.12
1948.02/488.48	c  S st  5340    806191     33990    145345         0     49172    441480   2063111    169.40    153.93
1949.22/488.79	c  S st  5340    806693     33990    145345         0     49674    441480   2163375    169.40   no data
1949.62/488.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1950.02/488.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1950.02/488.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1950.02/488.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1950.02/488.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1950.42/489.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
1950.42/489.02	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1950.82/489.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1951.25/489.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1954.40/490.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.73 s
1954.40/490.08	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
1954.80/490.12	c vivif2 --  cl tried    49674 cl shrink        0 lits rem          0 time: 0.04
1955.65/490.35	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.23
1955.65/490.36	c calculated reachability. Time: 0.00
1955.65/490.36	c  N dy  5340    806693     33990    145345         0     49674    441480   2163375    169.40   no data
2003.47/502.40	c  N dy  5472    826729     33990    145345         0     69710    441480   7363106    169.38    178.59
2055.33/515.37	c  N dy  5610    846853     33990    145345         0     45840    441480    979108    169.41    181.22
2103.58/527.44	c  N dy  5753    866870     33990    145345         0     65857    441480   6211955    169.45    178.58
2155.84/540.52	c  N dy  5902    886916     33990    145345         0     85899    441480  11481824    169.54    193.45
2204.90/552.80	c  N dy  6047    907002     33990    145345         0     60986    441480   4713315    169.63    183.38
2255.55/565.50	c  N dy  6184    927100     33990    145345         0     81082    441480   9907281    169.61    200.29
2306.22/578.22	c  N dy  6323    947340     33990    145345         0     55325    441480   2923325    169.62    183.99
2354.92/590.47	c  N dy  6452    967434     33990    145345         0     75419    441480   8151503    169.60    191.93
2407.57/603.63	c  N dy  6590    987452     33990    145345         0     48437    441480    896904    169.62    180.58
2455.39/615.61	c  N dy  6722   1007549     33990    145345         0     68533    441480   6152417    169.61    181.30
2508.49/628.92	c  N dy  6864   1027753     33990    145345         0     88736    441480  11547068    169.72    194.09
2557.90/641.38	c  N dy  7005   1047784     33990    145345         0     60770    441480   3826960    169.73    179.30
2608.57/654.04	c  N dy  7149   1067838     33990    145345         0     80823    441480   9120490    169.81    180.50
2618.93/656.68	c  F st  7175   1071875     33990    145345         0     84860    441480  10155454    169.79   no data
2661.61/667.31	c  N dy  7259   1087951     33990    145345         0     51940    441480   1278833    169.81    179.42
2710.31/679.56	c  N dy  7389   1108102     33990    145345         0     72091    441480   6488217    169.77    184.57
2762.97/692.78	c  N dy  7524   1128210     33990    145345         0     92198    441480  11733752    169.79    179.58
2813.98/705.59	c  N dy  7663   1148297     33990    145345         0     62282    441480   3718954    169.82    180.51
2865.03/718.30	c  N dy  7799   1168329     33990    145345         0     82312    441480   8983303    169.84    181.50
2919.28/731.95	c  N dy  7931   1188349     33990    145345         0     51336    441480    617132    169.82    184.49
2967.95/744.14	c  N dy  8065   1208503     33990    145345         0     71488    441480   5884386    169.82    193.95
2972.34/745.23	c  S st  8078   1210039     33990    145345         0     73024    441480   6298109    169.82   no data
2973.57/745.60	c  S st  8078   1210544     33990    145345         0     73529    441480   6396101    169.82   no data
2973.97/745.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2974.32/745.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
2974.72/745.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2974.72/745.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2974.72/745.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2974.72/745.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
2974.72/745.87	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2975.52/746.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2977.12/746.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2990.68/749.88	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.40 s
2990.68/749.90	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
2991.51/750.02	c vivif2 --  cl tried    73528 cl shrink        0 lits rem          0 time: 0.12
2992.28/750.29	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.27
2992.67/750.31	c calculated reachability. Time: 0.00
2992.67/750.31	c  N dy  8078   1210544     33990    145345         0     73528    441480   6395543    169.82   no data
3046.53/763.86	c  N dy  8221   1230844     33990    145345         0     93828    441480  11721243    169.86    180.30
3098.38/776.81	c  N dy  8353   1250932     33990    145345         0     61917    441480   3146291    169.85    234.55
3148.65/789.50	c  N dy  8488   1271051     33990    145345         0     82034    441480   8355159    169.84    181.31
3203.68/803.21	c  N dy  8628   1291122     33990    145345         0    102104    441480  13610594    169.86    183.94
3253.55/815.79	c  N dy  8771   1311198     33990    145345         0     69182    441480   4747148    169.89    231.32
3305.81/828.80	c  N dy  8907   1331233     33990    145345         0     89216    441480   9980144    169.88    183.16
3361.23/842.78	c  N dy  9045   1351405     33990    145345         0     55386    441480    904918    169.91    182.10
3411.11/855.25	c  N dy  9186   1371415     33990    145345         0     75391    441480   6164613    169.95    190.54
3464.99/868.72	c  N dy  9320   1391554     33990    145345         0     95529    441480  11503856    169.97    180.03
3519.19/882.35	c  N dy  9457   1411742     33990    145345         0     60723    441480   2012365    169.99    179.65
3569.46/894.93	c  N dy  9592   1431838     33990    145345         0     80817    441480   7341396    170.03    184.44
3623.70/908.58	c  N dy  9733   1451888     33990    145345         0    100866    441480  12656196    170.08    181.00
3677.15/921.96	c  N dy  9869   1471895     33990    145345         0     64876    441480   2944897    170.11    179.41
3728.25/934.78	c  N dy 10005   1492066     33990    145345         0     85046    441480   8173819    170.10    181.29
3782.85/948.49	c  N dy 10144   1512098     33990    145345         0    105078    441480  13350761    170.11    182.30
3835.91/961.77	c  N dy 10281   1532116     33990    145345         0     68098    441480   3401556    170.12    179.40
3888.55/974.96	c  N dy 10427   1552339     33990    145345         0     88321    441480   8733539    170.17    181.51
3944.80/989.04	c  N dy 10565   1572482     33990    145345         0    108464    441480  14014686    170.18    182.88
3997.85/1002.32	c  N dy 10706   1592493     33990    145345         0     70479    441480   3864059    170.21    183.61
4050.10/1015.42	c  N dy 10852   1612573     33990    145345         0     90559    441480   9135329    170.26    181.85
4106.34/1029.54	c  N dy 10995   1632751     33990    145345         0    110735    441480  14403753    170.28    179.29
4159.79/1042.92	c  N dy 11135   1652898     33990    145345         0     71878    441480   4004635    170.30    184.17
4212.44/1056.13	c  N dy 11272   1672923     33990    145345         0     91898    441480   9338251    170.31    185.46
4268.33/1070.16	c  N dy 11398   1693145     33990    145345         0    112118    441480  14588493    170.30    179.64
4314.95/1081.84	c  S st 11515   1710544     33990    145345         0     69524    441480   3050203    170.30   no data
4316.18/1082.18	c  S st 11515   1711045     33990    145345         0     70025    441480   3170768    170.30   no data
4316.18/1082.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4316.93/1082.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
4316.93/1082.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4316.93/1082.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4317.33/1082.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4317.33/1082.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
4317.33/1082.43	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4318.13/1082.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
4318.53/1082.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4326.90/1084.81	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.99 s
4326.90/1084.83	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
4327.31/1084.90	c vivif2 --  cl tried    70024 cl shrink        0 lits rem          0 time: 0.07
4328.11/1085.18	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.28
4328.11/1085.19	c calculated reachability. Time: 0.00
4328.11/1085.19	c  N dy 11515   1711045     33990    145345         0     70024    441480   3170169    170.30   no data
4380.77/1098.35	c  N dy 11653   1731139     33990    145345         0     90117    441480   8466558    170.31    193.68
4437.40/1112.50	c  N dy 11797   1751270     33990    145345         0    110247    441480  13769736    170.33    189.90
4492.84/1126.42	c  N dy 11931   1771335     33990    145345         0     69313    441480   2800363    170.33    188.96
4544.75/1139.47	c  N dy 12066   1791405     33990    145345         0     89383    441480   8081361    170.35    201.39
4600.14/1153.37	c  N dy 12201   1811554     33990    145345         0    109532    441480  13372361    170.37    186.55
4657.18/1167.61	c  N dy 12347   1831726     33990    145345         0     67704    441480   2043510    170.41    186.10
4708.23/1180.48	c  N dy 12482   1851886     33990    145345         0     87863    441480   7365941    170.41    184.95
4764.13/1194.42	c  N dy 12619   1872006     33990    145345         0    107981    441480  12638447    170.41    190.55

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-3366180-1305398211/watcher-3366180-1305398211 -o /tmp/evaluation-result-3366180-1305398211/solver-3366180-1305398211 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366180-1305398211.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: 6.89 7.87 7.89 6/339 31249
/proc/meminfo: memFree=17801452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 406 0 0 0 2 0 0 0 23 0 4 0 651422049 52396032 347 33554432000 4194304 4580107 140733229132080 18446744073709551615 47772128597938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 12792 347 299 95 0 7774 0
[pid=31249/tid=31250] ppid=31247 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651422049 52396032 347 33554432000 4194304 4580107 140733229132080 18446744073709551615 47772128597942 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651422049 52396032 347 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651422049 52396032 347 33554432000 4194304 4580107 140733229132080 18446744073709551615 47772128597938 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.024513 s]
/proc/loadavg: 6.89 7.87 7.89 6/339 31249
/proc/meminfo: memFree=17801452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=301920 CPUtime=0.06 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 9034 0 0 0 5 1 0 0 18 0 4 0 651422049 309166080 7235 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613153927 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 75303 7377 337 95 0 70285 0
[pid=31249/tid=31250] ppid=31247 vsize=301212 CPUtime=0.01 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) D 31247 31249 31208 0 -1 4202560 2397 0 0 0 1 0 0 0 18 0 4 0 651422049 308441088 7377 33554432000 4194304 4580107 140733229132080 18446744073709551615 4307026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=301572 CPUtime=0 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) D 31247 31249 31208 0 -1 4202560 2646 0 0 0 0 0 0 0 18 0 4 0 651422049 308809728 8308 33554432000 4194304 4580107 140733229132080 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=302852 CPUtime=0.01 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 2308 0 0 0 1 0 0 0 18 0 4 0 651422049 310120448 8908 33554432000 4194304 4580107 140733229132080 18446744073709551615 270612807858 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 301920

[startup+0.103317 s]
/proc/loadavg: 6.89 7.87 7.89 6/339 31249
/proc/meminfo: memFree=17801452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=384444 CPUtime=0.35 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 21465 0 0 0 26 9 0 0 18 0 4 0 651422049 393670656 17283 33554432000 4194304 4580107 140733229132080 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 96111 17329 337 95 0 91093 0
[pid=31249/tid=31250] ppid=31247 vsize=384444 CPUtime=0.09 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 5545 0 0 0 7 2 0 0 18 0 4 0 651422049 393670656 17355 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=384444 CPUtime=0.07 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) S 31247 31249 31208 0 -1 4202560 6107 0 0 0 5 2 0 0 18 0 4 0 651422049 393670656 17398 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=384444 CPUtime=0.08 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 4502 0 0 0 7 1 0 0 18 0 4 0 651422049 393670656 17444 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 384444

[startup+0.396945 s]
/proc/loadavg: 6.89 7.87 7.89 6/339 31249
/proc/meminfo: memFree=17801452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=398052 CPUtime=1.47 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) D 31247 31249 31208 0 -1 4202496 30571 0 0 0 134 13 0 0 18 0 4 0 651422049 407605248 26352 33554432000 4194304 4580107 140733229132080 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 99513 26433 363 95 0 94495 0
[pid=31249/tid=31250] ppid=31247 vsize=398052 CPUtime=0.38 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 9264 0 0 0 35 3 0 0 18 0 4 0 651422049 407605248 26508 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=398052 CPUtime=0.34 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) D 31247 31249 31208 0 -1 4202560 8216 0 0 0 31 3 0 0 18 0 4 0 651422049 407605248 26943 33554432000 4194304 4580107 140733229132080 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=398052 CPUtime=0.37 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) S 31247 31249 31208 0 -1 4202560 5937 0 0 0 35 2 0 0 18 0 4 0 651422049 407605248 27549 33554432000 4194304 4580107 140733229132080 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 398052

[startup+1.40298 s]
/proc/loadavg: 6.89 7.87 7.89 6/339 31249
/proc/meminfo: memFree=17801452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=419120 CPUtime=5.46 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 52356 0 0 0 528 18 0 0 19 0 4 0 651422049 429178880 38555 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 104780 38555 377 95 0 99762 0
[pid=31249/tid=31250] ppid=31247 vsize=419120 CPUtime=1.38 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 15292 0 0 0 134 4 0 0 19 0 4 0 651422049 429178880 38555 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=419120 CPUtime=1.34 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 15027 0 0 0 129 5 0 0 19 0 4 0 651422049 429178880 38555 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=419120 CPUtime=1.36 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 6659 0 0 0 133 3 0 0 19 0 4 0 651422049 429178880 38555 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 419120

[startup+1.50097 s]
/proc/loadavg: 6.89 7.87 7.89 6/339 31249
/proc/meminfo: memFree=17801452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=419120 CPUtime=5.86 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 52650 0 0 0 568 18 0 0 19 0 4 0 651422049 429178880 38813 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 104780 38813 377 95 0 99762 0
[pid=31249/tid=31250] ppid=31247 vsize=419120 CPUtime=1.48 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 15355 0 0 0 144 4 0 0 19 0 4 0 651422049 429178880 38813 33554432000 4194304 4580107 140733229132080 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=419120 CPUtime=1.44 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 15141 0 0 0 139 5 0 0 19 0 4 0 651422049 429178880 38813 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=419120 CPUtime=1.46 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 6709 0 0 0 143 3 0 0 19 0 4 0 651422049 429178880 38813 33554432000 4194304 4580107 140733229132080 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 419120

[startup+3.11268 s]
/proc/loadavg: 7.38 7.95 7.92 9/343 31253
/proc/meminfo: memFree=17626596/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=550384 CPUtime=12.28 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 56812 0 0 0 1209 19 0 0 22 0 4 0 651422049 563593216 42936 33554432000 4194304 4580107 140733229132080 18446744073709551615 4322880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 137596 42936 377 95 0 132578 0
[pid=31249/tid=31250] ppid=31247 vsize=550384 CPUtime=3.09 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 16231 0 0 0 305 4 0 0 22 0 4 0 651422049 563593216 42936 33554432000 4194304 4580107 140733229132080 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=550384 CPUtime=3.02 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 16142 0 0 0 297 5 0 0 23 0 4 0 651422049 563593216 42936 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=550384 CPUtime=3.07 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 7978 0 0 0 304 3 0 0 24 0 4 0 651422049 563593216 42936 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 550384

[startup+6.30112 s]
/proc/loadavg: 7.43 7.95 7.92 9/343 31253
/proc/meminfo: memFree=17566452/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=550384 CPUtime=25.05 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 63827 0 0 0 2484 21 0 0 25 0 4 0 651422049 563593216 49951 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 137596 49951 377 95 0 132578 0
[pid=31249/tid=31250] ppid=31247 vsize=550384 CPUtime=6.29 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 17908 0 0 0 625 4 0 0 25 0 4 0 651422049 563593216 49951 33554432000 4194304 4580107 140733229132080 18446744073709551615 4319861 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=550384 CPUtime=6.19 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 17929 0 0 0 613 6 0 0 25 0 4 0 651422049 563593216 49951 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=550384 CPUtime=6.27 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 9734 0 0 0 623 4 0 0 25 0 4 0 651422049 563593216 49951 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 550384

[startup+12.701 s]
/proc/loadavg: 7.47 7.95 7.92 9/343 31253
/proc/meminfo: memFree=17506368/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=448588 CPUtime=50.53 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 87758 0 0 0 5028 25 0 0 25 0 4 0 651422049 459354112 45484 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 112147 45484 378 95 0 107129 0
[pid=31249/tid=31250] ppid=31247 vsize=448588 CPUtime=12.67 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 22982 0 0 0 1262 5 0 0 25 0 4 0 651422049 459354112 45484 33554432000 4194304 4580107 140733229132080 18446744073709551615 4320777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=448588 CPUtime=12.51 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 22781 0 0 0 1244 7 0 0 25 0 4 0 651422049 459354112 45484 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=448588 CPUtime=12.66 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 18795 0 0 0 1261 5 0 0 25 0 4 0 651422049 459354112 45484 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 448588

[startup+25.5007 s]
/proc/loadavg: 7.55 7.95 7.92 9/343 31254
/proc/meminfo: memFree=17193928/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=667576 CPUtime=101.59 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 178816 0 0 0 10111 48 0 0 25 0 4 0 651422049 683597824 100540 33554432000 4194304 4580107 140733229132080 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 166894 100540 379 95 0 161876 0
[pid=31249/tid=31250] ppid=31247 vsize=667576 CPUtime=25.47 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 61344 0 0 0 2532 15 0 0 25 0 4 0 651422049 683597824 100540 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=667576 CPUtime=25.17 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 38981 0 0 0 2507 10 0 0 25 0 4 0 651422049 683597824 100540 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=667576 CPUtime=25.46 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 27295 0 0 0 2538 8 0 0 25 0 4 0 651422049 683597824 100540 33554432000 4194304 4580107 140733229132080 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 667576

[startup+51.1002 s]
/proc/loadavg: 7.76 7.97 7.92 9/343 31255
/proc/meminfo: memFree=17060052/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=766240 CPUtime=203.7 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 263039 0 0 0 20304 66 0 0 25 0 4 0 651422049 784629760 127634 33554432000 4194304 4580107 140733229132080 18446744073709551615 4322791 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 191560 127634 379 95 0 186542 0
[pid=31249/tid=31250] ppid=31247 vsize=766240 CPUtime=51.07 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 81173 0 0 0 5088 19 0 0 25 0 4 0 651422049 784629760 127634 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293962 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=766240 CPUtime=50.49 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 57888 0 0 0 5034 15 0 0 25 0 4 0 651422049 784629760 127634 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=766240 CPUtime=51.06 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 56498 0 0 0 5092 14 0 0 25 0 4 0 651422049 784629760 127634 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 766240

[startup+102.301 s]
/proc/loadavg: 7.99 8.00 7.93 9/343 31256
/proc/meminfo: memFree=16751876/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1213864 CPUtime=407.92 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 389772 0 0 0 40691 101 0 0 25 0 4 0 651422049 1242996736 190137 33554432000 4194304 4580107 140733229132080 18446744073709551615 4295853 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 303466 190137 379 95 0 298448 0
[pid=31249/tid=31250] ppid=31247 vsize=1213864 CPUtime=102.27 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 108857 0 0 0 10200 27 0 0 25 0 4 0 651422049 1242996736 190137 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1213864 CPUtime=101.11 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 91603 0 0 0 10087 24 0 0 25 0 4 0 651422049 1242996736 190137 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1213864 CPUtime=102.26 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 85289 0 0 0 10204 22 0 0 25 0 4 0 651422049 1242996736 190137 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.92
Current children cumulated vsize (KiB) 1213864

[startup+162.301 s]

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

[pid=31249] ppid=31247 vsize=1525524 CPUtime=2561.89 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1320051 0 0 0 255806 383 0 0 25 0 4 0 651422049 1562136576 297351 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 381381 297351 379 95 0 376363 0
[pid=31249/tid=31250] ppid=31247 vsize=1525524 CPUtime=642.25 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 349622 0 0 0 64126 99 0 0 25 0 4 0 651422049 1562136576 297351 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1525524 CPUtime=635.12 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 310407 0 0 0 63422 90 0 0 25 0 4 0 651422049 1562136576 297351 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1525524 CPUtime=642.24 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 343508 0 0 0 64124 100 0 0 25 0 4 0 651422049 1562136576 297351 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.89
Current children cumulated vsize (KiB) 1525524

[startup+702.301 s]
/proc/loadavg: 8.21 8.09 8.00 9/343 31272
/proc/meminfo: memFree=15854264/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1672796 CPUtime=2801.21 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1426119 0 0 0 279707 414 0 0 25 0 4 0 651422049 1712943104 325276 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 418199 325276 379 95 0 413181 0
[pid=31249/tid=31250] ppid=31247 vsize=1672796 CPUtime=702.24 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 377507 0 0 0 70117 107 0 0 25 0 4 0 651422049 1712943104 325276 33554432000 4194304 4580107 140733229132080 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1672796 CPUtime=694.45 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 335335 0 0 0 69349 96 0 0 25 0 4 0 651422049 1712943104 325276 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1672796 CPUtime=702.25 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 372526 0 0 0 70116 109 0 0 25 0 4 0 651422049 1712943104 325276 33554432000 4194304 4580107 140733229132080 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.21
Current children cumulated vsize (KiB) 1672796

[startup+762.3 s]
/proc/loadavg: 8.14 8.09 8.00 9/343 31273
/proc/meminfo: memFree=15690116/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1604544 CPUtime=3040.54 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1513943 0 0 0 303611 443 0 0 25 0 4 0 651422049 1643053056 337457 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 401136 337457 379 95 0 396118 0
[pid=31249/tid=31250] ppid=31247 vsize=1604544 CPUtime=762.25 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 401509 0 0 0 76110 115 0 0 25 0 4 0 651422049 1643053056 337457 33554432000 4194304 4580107 140733229132080 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1604544 CPUtime=753.78 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 357827 0 0 0 75276 102 0 0 25 0 4 0 651422049 1643053056 337457 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1604544 CPUtime=762.25 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 394333 0 0 0 76107 118 0 0 25 0 4 0 651422049 1643053056 337457 33554432000 4194304 4580107 140733229132080 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.54
Current children cumulated vsize (KiB) 1604544

[startup+822.301 s]
/proc/loadavg: 8.09 8.08 8.00 9/343 31275
/proc/meminfo: memFree=15706380/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1636904 CPUtime=3279.87 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1605704 0 0 0 327515 472 0 0 25 0 4 0 651422049 1676189696 326161 33554432000 4194304 4580107 140733229132080 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 409226 326161 379 95 0 404208 0
[pid=31249/tid=31250] ppid=31247 vsize=1636904 CPUtime=822.25 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 424618 0 0 0 82103 122 0 0 25 0 4 0 651422049 1676189696 326161 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1636904 CPUtime=813.13 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 380343 0 0 0 81203 110 0 0 25 0 4 0 651422049 1676189696 326161 33554432000 4194304 4580107 140733229132080 18446744073709551615 4316585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1636904 CPUtime=822.25 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 417378 0 0 0 82099 126 0 0 25 0 4 0 651422049 1676189696 326162 33554432000 4194304 4580107 140733229132080 18446744073709551615 4302299 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.87
Current children cumulated vsize (KiB) 1636904

[startup+882.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/343 31277
/proc/meminfo: memFree=15674312/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1612784 CPUtime=3519.19 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1701976 0 0 0 351419 500 0 0 25 0 4 0 651422049 1651490816 326414 33554432000 4194304 4580107 140733229132080 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 403196 326414 379 95 0 398178 0
[pid=31249/tid=31250] ppid=31247 vsize=1612784 CPUtime=882.25 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 443470 0 0 0 88097 128 0 0 25 0 4 0 651422049 1651490816 326414 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1612784 CPUtime=872.46 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 404967 0 0 0 87130 116 0 0 25 0 4 0 651422049 1651490816 326414 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1612784 CPUtime=882.24 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 443734 0 0 0 88089 135 0 0 25 0 4 0 651422049 1651490816 326414 33554432000 4194304 4580107 140733229132080 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.19
Current children cumulated vsize (KiB) 1612784

[startup+942.301 s]
/proc/loadavg: 8.04 8.08 8.00 9/343 31278
/proc/meminfo: memFree=15556068/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1688940 CPUtime=3758.53 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1795452 0 0 0 375320 533 0 0 25 0 4 0 651422049 1729474560 342796 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 422235 342796 379 95 0 417217 0
[pid=31249/tid=31250] ppid=31247 vsize=1688940 CPUtime=942.24 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 468362 0 0 0 94089 135 0 0 25 0 4 0 651422049 1729474560 342796 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1688940 CPUtime=931.82 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 431100 0 0 0 93057 125 0 0 25 0 4 0 651422049 1729474560 342796 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1688940 CPUtime=942.24 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 464776 0 0 0 94081 143 0 0 25 0 4 0 651422049 1729474560 342796 33554432000 4194304 4580107 140733229132080 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.53
Current children cumulated vsize (KiB) 1688940

[startup+1002.3 s]
/proc/loadavg: 8.01 8.06 8.00 9/343 31280
/proc/meminfo: memFree=15550056/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1689860 CPUtime=3997.85 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1893931 0 0 0 399220 565 0 0 25 0 4 0 651422049 1730416640 344102 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 422465 344102 379 95 0 417447 0
[pid=31249/tid=31250] ppid=31247 vsize=1689860 CPUtime=1002.23 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 494990 0 0 0 100079 144 0 0 25 0 4 0 651422049 1730416640 344102 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1689860 CPUtime=991.16 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 455187 0 0 0 98984 132 0 0 25 0 4 0 651422049 1730416640 344103 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1689860 CPUtime=1002.23 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 486998 0 0 0 100072 151 0 0 25 0 4 0 651422049 1730416640 344103 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.85
Current children cumulated vsize (KiB) 1689860

[startup+1062.3 s]
/proc/loadavg: 8.00 8.05 8.00 9/343 31282
/proc/meminfo: memFree=15569184/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1643820 CPUtime=4237.21 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 1981847 0 0 0 423130 591 0 0 25 0 4 0 651422049 1683271680 344136 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 410955 344136 379 95 0 405937 0
[pid=31249/tid=31250] ppid=31247 vsize=1643820 CPUtime=1062.25 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 519504 0 0 0 106074 151 0 0 25 0 4 0 651422049 1683271680 344136 33554432000 4194304 4580107 140733229132080 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1643820 CPUtime=1050.51 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 481396 0 0 0 104910 141 0 0 25 0 4 0 651422049 1683271680 344136 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1643820 CPUtime=1062.24 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 511652 0 0 0 106065 159 0 0 25 0 4 0 651422049 1683271680 344136 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.21
Current children cumulated vsize (KiB) 1643820

[startup+1122.3 s]
/proc/loadavg: 8.11 8.07 8.01 9/343 31283
/proc/meminfo: memFree=15537004/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1646756 CPUtime=4476.49 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 2073765 0 0 0 447027 622 0 0 25 0 4 0 651422049 1686278144 342222 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 411689 342222 379 95 0 406671 0
[pid=31249/tid=31250] ppid=31247 vsize=1646756 CPUtime=1122.23 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 543666 0 0 0 112064 159 0 0 25 0 4 0 651422049 1686278144 342222 33554432000 4194304 4580107 140733229132080 18446744073709551615 4317137 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1646756 CPUtime=1109.85 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 501412 0 0 0 110837 148 0 0 25 0 4 0 651422049 1686278144 342222 33554432000 4194304 4580107 140733229132080 18446744073709551615 4324379 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1646756 CPUtime=1122.22 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 534749 0 0 0 112056 166 0 0 25 0 4 0 651422049 1686278144 342222 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.49
Current children cumulated vsize (KiB) 1646756

[startup+1182.31 s]
/proc/loadavg: 8.11 8.07 8.00 9/343 31285
/proc/meminfo: memFree=15430904/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1645456 CPUtime=4715.86 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 2163647 0 0 0 470935 651 0 0 25 0 4 0 651422049 1684946944 329234 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 411364 329234 379 95 0 406346 0
[pid=31249/tid=31250] ppid=31247 vsize=1645456 CPUtime=1182.24 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 564470 0 0 0 118059 165 0 0 25 0 4 0 651422049 1684946944 329234 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1645456 CPUtime=1169.2 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 523277 0 0 0 116765 155 0 0 25 0 4 0 651422049 1684946944 329234 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1645456 CPUtime=1182.23 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 560891 0 0 0 118048 175 0 0 25 0 4 0 651422049 1684946944 329234 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.86
Current children cumulated vsize (KiB) 1645456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.15 8.08 8.01 5/338 31286
/proc/meminfo: memFree=16408664/32951124 swapFree=67056804/67111528
[pid=31249] ppid=31247 vsize=1709200 CPUtime=4800.41 cores=0,2,4,6
/proc/31249/stat : 31249 (strangenight2-m) R 31247 31249 31208 0 -1 4202496 2194493 0 0 0 479380 661 0 0 25 0 4 0 651422049 1750220800 360080 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31249/statm: 427300 360080 379 95 0 422282 0
[pid=31249/tid=31250] ppid=31247 vsize=1709200 CPUtime=1203.44 cores=0,2,4,6
/proc/31249/task/31250/stat : 31250 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 572088 0 0 0 120176 168 0 0 25 0 4 0 651422049 1750220800 360080 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31249/tid=31251] ppid=31247 vsize=1709200 CPUtime=1190.16 cores=0,2,4,6
/proc/31249/task/31251/stat : 31251 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 530962 0 0 0 118858 158 0 0 25 0 4 0 651422049 1750220800 360080 33554432000 4194304 4580107 140733229132080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31249/tid=31252] ppid=31247 vsize=1709200 CPUtime=1203.43 cores=0,2,4,6
/proc/31249/task/31252/stat : 31252 (strangenight2-m) R 31247 31249 31208 0 -1 4202560 568647 0 0 0 120166 177 0 0 25 0 4 0 651422049 1750220800 360080 33554432000 4194304 4580107 140733229132080 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1709200

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.58
CPU time (s): 4800.51
CPU user time (s): 4793.82
CPU system time (s): 6.67998
CPU usage (%): 398.851
Max. virtual memory (cumulated for all children) (KiB): 1769372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.83
system time used= 6.67998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2194499
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= 12289
involuntary context switches= 20325

runsolver used 3.72943 second user time and 9.41957 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 20:36:51
IDJOB=3366180
IDBENCH=82589
IDSOLVER=1844
FILE ID=node108/3366180-1305398211
RUNJOBID= node108-1305398211-31226
PBS_JOBID= 13324481
Free space on /tmp= 73548 MiB

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

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

MD5SUM BENCH= 0d20733a6f7d3b01f88ae7bba5f0d271
RANDOM SEED=1737761993

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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:      17801732 kB
Buffers:        274940 kB
Cached:        4407128 kB
SwapCached:       8700 kB
Active:       11086340 kB
Inactive:      3750536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17801732 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           14812 kB
Writeback:           0 kB
AnonPages:    10152284 kB
Mapped:          26692 kB
Slab:           208164 kB
PageTables:      38568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52391332 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= 73548 MiB
End job on node108 at 2011-05-14 20:56:57