Trace number 3173771

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? (TO) 4800.14 1201.97

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173771-1304031142.cnf'
0.00/0.00	c -- header says num vars:          34999
0.00/0.00	c -- header says num clauses:      147000
1.17/0.35	c -- clauses added:            0 learnts,       147000 normals,            0 xors
1.17/0.35	c -- vars added      34999
1.17/0.35	c Parsing time:  0.11 s
1.17/0.35	c  N st     0         0     34999    147000         0         0    441000         0   no data   no data
1.17/0.35	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
1.17/0.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.57/0.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.57/0.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.57/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.57/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34999 time:  0.01 s
1.57/0.49	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:    885  v-fix:    0  time:  0.25 s
3.57/0.90	c Finding binary XORs  T:     0.01 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.01 s pos:   15641 undec:    3844 neg:   15514
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0     34114    146049         0         0    443483         0   no data   no data
11.56/2.91	c  N dy    17      4505     34114    146049         0      4505    443483   1340775    173.60    183.04
19.15/4.85	c  N dy    43      8629     34114    146049         0      8629    443483   2406959    170.63    180.22
26.73/6.79	c  N dy    70     12711     34114    146049         0     12711    443483   3474681    169.63    180.04
34.75/8.73	c  N dy    98     16736     34114    146049         0     16736    443483   4509869    168.90    182.66
42.72/10.74	c  N dy   120     20852     34114    146049         0     10857    443483    867404    167.83    187.91
50.71/12.70	c  N dy   151     24910     34114    146049         0     14915    443483   1912427    168.37    194.00
50.71/12.75	c  F st   152     25000     34114    146049         0     15005    443483   1927480    168.18   no data
61.11/15.38	c  N dy   158     30003     34114    146049         0     20007    443483   3765530    168.18   no data
61.11/15.38	c  S st   158     30003     34114    146049         0     20007    443483   3765530    168.18   no data
62.28/15.63	c  S st   158     30506     34114    146049         0     20510    443483   3859078    168.18   no data
62.28/15.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.08/15.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.08/15.89	c blocked clauses removed:      689 vars:    108 tried:       34114 T: 0.02 s
63.48/15.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.48/15.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.48/15.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34006 time:  0.01 s
63.48/15.94	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
64.28/16.13	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.20 s
65.90/16.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.90/17.55	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.00 s
70.67/17.73	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.17
70.67/17.73	c calculated reachability. Time: 0.00
70.67/17.74	c  N dy   158     30506     33990    145345         0     20247    441480   3702834    168.18   no data
79.08/19.83	c  N dy   184     34559     33990    145345         0     24300    441480   4741048    168.12    230.97
87.47/21.97	c  N dy   209     38624     33990    145345         0     28365    441480   5752841    167.63    186.84
95.83/24.08	c  N dy   238     42658     33990    145345         0     17031    441480   1218233    167.58    181.32
101.83/25.59	c  S st   258     45760     33990    145345         0     20132    441480   1971395    167.25   no data
103.02/25.86	c  S st   258     46263     33990    145345         0     20635    441480   2078564    167.25   no data
103.02/25.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
103.83/26.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
104.22/26.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.22/26.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.22/26.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.22/26.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
104.22/26.15	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.04/26.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
105.44/26.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.62/26.79	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.30 s
107.02/26.81	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
107.02/26.85	c vivif2 --  cl tried    20633 cl shrink        0 lits rem          0 time: 0.04
107.82/27.03	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.18
107.82/27.04	c calculated reachability. Time: 0.00
107.82/27.04	c  N dy   258     46263     33990    145345         0     20633    441480   2077897    167.25   no data
116.21/29.15	c  N dy   287     50432     33990    145345         0     24801    441480   3172070    167.74    179.15
124.99/31.31	c  N dy   316     54601     33990    145345         0     28970    441480   4240737    167.83    178.32
133.39/33.49	c  N dy   342     58705     33990    145345         0     33074    441480   5308589    168.05    184.70
142.17/35.64	c  N dy   370     62815     33990    145345         0     37184    441480   6336916    167.80    180.14
150.56/37.74	c  N dy   399     66857     33990    145345         0     22545    441480   1741469    167.73    179.55
155.75/39.09	c  S st   421     69395     33990    145345         0     25083    441480   2403754    168.10   no data
156.94/39.34	c  S st   421     69901     33990    145345         0     25589    441480   2500765    168.10   no data
156.94/39.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
157.76/39.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
157.76/39.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157.76/39.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.17/39.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.17/39.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
158.17/39.63	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.54/39.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
159.34/39.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.34/40.44	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.44 s
161.34/40.46	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
161.74/40.50	c vivif2 --  cl tried    25587 cl shrink        0 lits rem          0 time: 0.05
162.16/40.69	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.18
162.16/40.70	c calculated reachability. Time: 0.00
162.16/40.70	c  N dy   421     69901     33990    145345         0     25587    441480   2500049    168.10   no data
172.12/43.10	c  N dy   455     74490     33990    145345         0     30175    441480   3679606    168.11    177.61
182.11/45.62	c  N dy   483     79388     33990    145345         0     35073    441480   4868677    167.79    179.12
192.91/48.36	c  N dy   516     84453     33990    145345         0     40138    441480   6210769    167.76    177.94
199.69/50.05	c  F st   538     87500     33990    145345         0     22344    441480   1118766    167.83    176.92
206.88/51.89	c  N st   543     90796     33990    145345         0     25640    441480   2316337    167.83   no data
219.68/55.06	c  N dy   572     96669     33990    145345         0     31513    441480   4039540    167.78    205.33
233.25/58.41	c  N dy   613    102923     33990    145345         0     37767    441480   5604509    167.64    176.92
237.26/59.49	c  S st   628    104851     33990    145345         0     39695    441480   6104709    167.79    169.54
238.43/59.76	c  S st   628    105356     33990    145345         0     40200    441480   6192741    167.79   no data
238.43/59.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
239.23/59.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
239.63/60.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.63/60.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
239.63/60.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
239.63/60.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
239.63/60.08	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
240.43/60.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
242.43/60.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
249.21/62.48	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.72 s
249.61/62.50	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
250.03/62.61	c vivif2 --  cl tried    40196 cl shrink        0 lits rem          0 time: 0.11
250.81/62.82	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.21
250.81/62.83	c calculated reachability. Time: 0.00
250.81/62.83	c  N dy   628    105356     33990    145345         0     40196    441480   6191481    167.79   no data
266.39/66.71	c  N dy   675    112280     33990    145345         0     24695    441480   1262724    167.77    193.22
281.57/70.56	c  N dy   727    119599     33990    145345         0     32014    441480   3143685    167.70    186.67
298.36/74.72	c  N dy   780    127266     33990    145345         0     39680    441480   5137007    167.88    183.31
316.34/79.26	c  N dy   833    135514     33990    145345         0     24217    441480    775784    167.94    185.56
334.30/83.79	c  N dy   886    144242     33990    145345         0     32945    441480   2968954    167.70    186.24
355.08/88.92	c  N dy   952    153528     33990    145345         0     42230    441480   5422323    168.03    177.79
365.05/91.41	c  S st   982    158034     33990    145345         0     46735    441480   6530144    167.91    136.05
366.25/91.70	c  S st   982    158536     33990    145345         0     47237    441480   6621251    167.91   no data
366.25/91.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
367.05/91.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
367.05/91.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.05/91.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
367.46/92.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
367.46/92.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
367.46/92.03	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
368.26/92.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
369.85/92.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
379.44/95.04	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.33 s
379.44/95.07	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
379.83/95.19	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.12
381.03/95.41	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.22
381.03/95.42	c calculated reachability. Time: 0.00
381.03/95.42	c  N dy   982    158536     33990    145345         0     47235    441480   6620653    167.91   no data
402.61/100.89	c  N dy  1050    168723     33990    145345         0     32571    441480   2558010    167.84    198.26
426.57/106.85	c  N dy  1123    179550     33990    145345         0     43398    441480   5393825    168.03    201.75
452.56/113.38	c  N dy  1209    191117     33990    145345         0     29040    441480   1383728    168.30    183.15
479.30/120.05	c  N dy  1291    203361     33990    145345         0     41284    441480   4550223    168.33    180.38
509.68/127.65	c  N dy  1384    216551     33990    145345         0     27507    441480    687106    168.55    183.00
540.04/135.20	c  N dy  1482    230432     33990    145345         0     41387    441480   4288242    168.66    178.16
556.39/139.35	c  S st  1530    237805     33990    145345         0     48760    441480   6179128    168.63    157.19
557.61/139.64	c  S st  1530    238311     33990    145345         0     49266    441480   6273947    168.63   no data
557.61/139.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
558.39/139.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
558.79/139.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
558.79/139.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
558.79/139.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
558.79/139.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
558.79/139.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
559.59/140.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
561.18/140.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
570.79/142.98	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.39 s
570.79/143.00	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
571.57/143.12	c vivif2 --  cl tried    49265 cl shrink        0 lits rem          0 time: 0.12
572.38/143.34	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.22
572.38/143.35	c calculated reachability. Time: 0.00
572.38/143.35	c  N dy  1530    238311     33990    145345         0     49265    441480   6272969    168.63   no data
606.72/151.92	c  N dy  1633    253564     33990    145345         0     36537    441480   2810582    168.80    183.05
643.47/161.15	c  N dy  1745    269841     33990    145345         0     52813    441480   7048978    168.86    183.07
682.22/170.88	c  N dy  1866    287098     33990    145345         0     41083    441480   3658163    169.00    205.38
724.16/181.38	c  N dy  1993    305458     33990    145345         0     59440    441480   8371422    169.03    180.88
726.15/181.89	c  F st  1999    306250     33990    145345         0     30236    441480    570606    169.01   no data
768.10/192.38	c  N dy  2096    324977     33990    145345         0     48963    441480   5720229    168.91    180.65
814.43/203.94	c  N dy  2237    345098     33990    145345         0     38085    441480   2286259    168.94    184.39
842.80/211.02	c  S st  2326    357466     33990    145345         0     50451    441480   5460280    169.01   no data
844.00/211.31	c  S st  2326    357972     33990    145345         0     50957    441480   5546424    169.01   no data
844.00/211.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
844.80/211.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
844.80/211.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
845.19/211.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
845.19/211.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
845.19/211.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
845.19/211.64	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
845.99/211.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
847.19/212.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
855.98/214.34	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.14 s
855.98/214.36	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
856.39/214.47	c vivif2 --  cl tried    50951 cl shrink        0 lits rem          0 time: 0.10
857.17/214.70	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.23
857.57/214.71	c calculated reachability. Time: 0.00
857.57/214.71	c  N dy  2326    357972     33990    145345         0     50951    441480   5543572    169.01   no data
903.51/226.24	c  N dy  2457    378096     33990    145345         0     39078    441480   2358632    169.13    178.35
949.45/237.77	c  N dy  2585    398112     33990    145345         0     59094    441480   7495463    169.04    178.02
996.19/249.40	c  N dy  2728    418257     33990    145345         0     46240    441480   3893417    169.14    183.44
1043.72/261.30	c  N dy  2861    438341     33990    145345         0     66323    441480   9129699    169.20    179.05
1089.27/272.72	c  N dy  2998    458468     33990    145345         0     52454    441480   5256912    169.22    181.15
1137.19/284.70	c  N dy  3134    478546     33990    145345         0     37530    441480   1153105    169.19    185.55
1183.12/296.20	c  N dy  3275    498597     33990    145345         0     57581    441480   6447256    169.28    196.79
1231.46/308.30	c  N dy  3406    518872     33990    145345         0     41859    441480   2050177    169.27    178.74
1273.40/318.83	c  S st  3536    536958     33990    145345         0     59944    441480   6698841    169.29   no data
1274.59/319.15	c  S st  3536    537461     33990    145345         0     60447    441480   6792919    169.29   no data
1274.59/319.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1275.79/319.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1275.79/319.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1275.79/319.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1275.79/319.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1275.79/319.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
1276.19/319.50	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1277.00/319.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1278.61/320.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1291.39/323.35	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.19 s
1291.39/323.37	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
1292.17/323.50	c vivif2 --  cl tried    60443 cl shrink        0 lits rem          0 time: 0.13
1292.97/323.74	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.24
1292.97/323.75	c calculated reachability. Time: 0.00
1292.97/323.75	c  N dy  3536    537461     33990    145345         0     60443    441480   6790895    169.29   no data
1341.30/335.80	c  N dy  3672    557585     33990    145345         0     43568    441480   2149921    169.27    179.74
1388.46/347.67	c  N dy  3819    577635     33990    145345         0     63617    441480   7478021    169.46    180.70
1437.17/359.83	c  N dy  3959    597699     33990    145345         0     45682    441480   2482061    169.46    180.38
1484.73/371.77	c  N dy  4089    618068     33990    145345         0     66051    441480   7707295    169.45    185.46
1533.05/383.84	c  N dy  4210    638358     33990    145345         0     47345    441480   2653141    169.33    179.90
1580.97/395.82	c  N dy  4354    658460     33990    145345         0     67446    441480   7888513    169.40    180.37
1629.72/408.04	c  N dy  4490    678524     33990    145345         0     47508    441480   2465561    169.37    189.50
1678.45/420.23	c  N dy  4622    698693     33990    145345         0     67674    441480   7681456    169.38    180.80
1727.96/432.63	c  N dy  4760    718717     33990    145345         0     46696    441480   1982396    169.38    183.21
1775.50/444.54	c  N dy  4895    738812     33990    145345         0     66791    441480   7184385    169.41    180.89
1825.43/457.07	c  N dy  5028    758850     33990    145345         0     44832    441480   1211919    169.40    179.76
1872.96/468.93	c  N dy  5164    778941     33990    145345         0     64923    441480   6513010    169.47    184.03
1922.90/481.49	c  N dy  5290    798947     33990    145345         0     84927    441480  11694307    169.41    240.12
1940.07/485.78	c  S st  5340    806191     33990    145345         0     49172    441480   2063111    169.40    153.93
1941.27/486.08	c  S st  5340    806693     33990    145345         0     49674    441480   2163375    169.40   no data
1941.27/486.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1942.46/486.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1942.46/486.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1942.46/486.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1942.46/486.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1942.46/486.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
1942.86/486.40	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1943.26/486.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1944.06/486.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1947.25/487.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.76 s
1947.25/487.52	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
1947.25/487.56	c vivif2 --  cl tried    49674 cl shrink        0 lits rem          0 time: 0.04
1948.05/487.79	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.23
1948.45/487.80	c calculated reachability. Time: 0.00
1948.45/487.80	c  N dy  5340    806693     33990    145345         0     49674    441480   2163375    169.40   no data
1995.99/499.78	c  N dy  5472    826729     33990    145345         0     69710    441480   7363106    169.38    178.59
2047.92/512.76	c  N dy  5610    846853     33990    145345         0     45840    441480    979108    169.41    181.22
2095.87/524.70	c  N dy  5753    866870     33990    145345         0     65857    441480   6211955    169.45    178.58
2146.97/537.59	c  N dy  5902    886916     33990    145345         0     85899    441480  11481824    169.54    193.45
2196.11/549.84	c  N dy  6047    907002     33990    145345         0     60986    441480   4713315    169.63    183.38
2246.44/562.44	c  N dy  6184    927100     33990    145345         0     81082    441480   9907281    169.61    200.29
2296.77/575.07	c  N dy  6323    947340     33990    145345         0     55325    441480   2923325    169.62    183.99
2345.50/587.26	c  N dy  6452    967434     33990    145345         0     75419    441480   8151503    169.60    191.93
2397.42/600.26	c  N dy  6590    987452     33990    145345         0     48437    441480    896904    169.62    180.58
2444.96/612.19	c  N dy  6722   1007549     33990    145345         0     68533    441480   6152417    169.61    181.30
2497.67/625.35	c  N dy  6864   1027753     33990    145345         0     88736    441480  11547068    169.72    194.09
2547.21/637.72	c  N dy  7005   1047784     33990    145345         0     60770    441480   3826960    169.73    179.30
2597.54/650.33	c  N dy  7149   1067838     33990    145345         0     80823    441480   9120490    169.81    180.50
2607.92/652.96	c  F st  7175   1071875     33990    145345         0     84860    441480  10155454    169.79   no data
2650.26/663.51	c  N dy  7259   1087951     33990    145345         0     51940    441480   1278833    169.81    179.42
2698.99/675.73	c  N dy  7389   1108102     33990    145345         0     72091    441480   6488217    169.77    184.57
2751.33/688.83	c  N dy  7524   1128210     33990    145345         0     92198    441480  11733752    169.79    179.58
2801.98/701.57	c  N dy  7663   1148297     33990    145345         0     62282    441480   3718954    169.82    180.51
2852.97/714.44	c  N dy  7799   1168329     33990    145345         0     82312    441480   8983303    169.84    181.50
2907.50/728.15	c  N dy  7931   1188349     33990    145345         0     51336    441480    617132    169.82    184.49
2956.24/740.39	c  N dy  8065   1208503     33990    145345         0     71488    441480   5884386    169.82    193.95
2960.64/741.48	c  S st  8078   1210039     33990    145345         0     73024    441480   6298109    169.82   no data
2962.21/741.85	c  S st  8078   1210544     33990    145345         0     73529    441480   6396101    169.82   no data
2962.21/741.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2963.41/742.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2963.41/742.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2963.41/742.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2963.41/742.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2963.81/742.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
2963.81/742.21	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2964.62/742.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2966.21/742.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2979.79/746.28	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.43 s
2980.19/746.30	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
2980.59/746.42	c vivif2 --  cl tried    73528 cl shrink        0 lits rem          0 time: 0.12
2981.39/746.69	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.27
2981.79/746.70	c calculated reachability. Time: 0.00
2981.79/746.70	c  N dy  8078   1210544     33990    145345         0     73528    441480   6395543    169.82   no data
3035.33/760.18	c  N dy  8221   1230844     33990    145345         0     93828    441480  11721243    169.86    180.30
3086.84/773.02	c  N dy  8353   1250932     33990    145345         0     61917    441480   3146291    169.85    234.55
3137.17/785.68	c  N dy  8488   1271051     33990    145345         0     82034    441480   8355159    169.84    181.31
3191.49/799.25	c  N dy  8628   1291122     33990    145345         0    102104    441480  13610594    169.86    183.94
3241.44/811.79	c  N dy  8771   1311198     33990    145345         0     69182    441480   4747148    169.89    231.32
3293.35/824.74	c  N dy  8907   1331233     33990    145345         0     89216    441480   9980144    169.88    183.16
3348.87/838.61	c  N dy  9045   1351405     33990    145345         0     55386    441480    904918    169.91    182.10
3398.40/851.05	c  N dy  9186   1371415     33990    145345         0     75391    441480   6164613    169.95    190.54
3451.53/864.35	c  N dy  9320   1391554     33990    145345         0     95529    441480  11503856    169.97    180.03
3505.07/877.79	c  N dy  9457   1411742     33990    145345         0     60723    441480   2012365    169.99    179.65
3555.38/890.35	c  N dy  9592   1431838     33990    145345         0     80817    441480   7341396    170.03    184.44
3609.71/903.90	c  N dy  9733   1451888     33990    145345         0    100866    441480  12656196    170.08    181.00
3662.44/917.16	c  N dy  9869   1471895     33990    145345         0     64876    441480   2944897    170.11    179.41
3713.56/929.94	c  N dy 10005   1492066     33990    145345         0     85046    441480   8173819    170.10    181.29
3767.89/943.55	c  N dy 10144   1512098     33990    145345         0    105078    441480  13350761    170.11    182.30
3820.61/956.71	c  N dy 10281   1532116     33990    145345         0     68098    441480   3401556    170.12    179.40
3872.94/969.86	c  N dy 10427   1552339     33990    145345         0     88321    441480   8733539    170.17    181.51
3928.86/983.82	c  N dy 10565   1572482     33990    145345         0    108464    441480  14014686    170.18    182.88
3981.19/997.00	c  N dy 10706   1592493     33990    145345         0     70479    441480   3864059    170.21    183.61
4033.51/1010.09	c  N dy 10852   1612573     33990    145345         0     90559    441480   9135329    170.26    181.85
4089.45/1024.08	c  N dy 10995   1632751     33990    145345         0    110735    441480  14403753    170.28    179.29
4142.58/1037.38	c  N dy 11135   1652898     33990    145345         0     71878    441480   4004635    170.30    184.17
4195.31/1050.54	c  N dy 11272   1672923     33990    145345         0     91898    441480   9338251    170.31    185.46
4250.81/1064.41	c  N dy 11398   1693145     33990    145345         0    112118    441480  14588493    170.30    179.64
4297.14/1076.03	c  S st 11515   1710544     33990    145345         0     69524    441480   3050203    170.30   no data
4298.34/1076.36	c  S st 11515   1711045     33990    145345         0     70025    441480   3170768    170.30   no data
4298.34/1076.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4299.54/1076.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4299.54/1076.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4299.54/1076.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4299.54/1076.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4299.94/1076.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33990 time:  0.01 s
4299.94/1076.72	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4300.76/1076.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
4301.53/1077.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4309.55/1079.17	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.01 s
4309.55/1079.19	c vivif2 --  cl tried   145345 cl shrink        0 lits rem          0 time: 0.02
4309.92/1079.26	c vivif2 --  cl tried    70024 cl shrink        0 lits rem          0 time: 0.06
4311.12/1079.51	c asymm  cl-useful: 0/145345/145345 lits-rem:0 time: 0.26
4311.12/1079.52	c calculated reachability. Time: 0.00
4311.12/1079.52	c  N dy 11515   1711045     33990    145345         0     70024    441480   3170169    170.30   no data
4363.04/1092.55	c  N dy 11653   1731139     33990    145345         0     90117    441480   8466558    170.31    193.68
4419.40/1106.60	c  N dy 11797   1751270     33990    145345         0    110247    441480  13769736    170.33    189.90
4474.09/1120.38	c  N dy 11931   1771335     33990    145345         0     69313    441480   2800363    170.33    188.96
4526.42/1133.40	c  N dy 12066   1791405     33990    145345         0     89383    441480   8081361    170.35    201.39
4581.14/1147.20	c  N dy 12201   1811554     33990    145345         0    109532    441480  13372361    170.37    186.55
4637.86/1161.30	c  N dy 12347   1831726     33990    145345         0     67704    441480   2043510    170.41    186.10
4689.79/1174.38	c  N dy 12482   1851886     33990    145345         0     87863    441480   7365941    170.41    184.95
4745.31/1188.28	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: 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-3173771-1304031142/watcher-3173771-1304031142 -o /tmp/evaluation-result-3173771-1304031142/solver-3173771-1304031142 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173771-1304031142.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.13 8.10 7.46 5/180 28058
/proc/meminfo: memFree=13828540/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 514713872 52441088 347 33554432000 4194304 4627427 140737417481488 18446744073709551615 47875450824626 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 12803 347 299 106 0 7774 0
[pid=28058/tid=28059] ppid=28056 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514713873 52441088 347 33554432000 4194304 4627427 140737417481488 18446744073709551615 47875450824626 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514713873 52441088 347 33554432000 4194304 4627427 140737417481488 18446744073709551615 47875450824626 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514713873 52441088 347 33554432000 4194304 4627427 140737417481488 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0493159 s]
/proc/loadavg: 8.13 8.10 7.46 5/180 28058
/proc/meminfo: memFree=13828540/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=317272 CPUtime=0.17 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) D 28056 28058 27798 0 -1 4202496 17985 0 0 0 14 3 0 0 18 0 4 0 514713872 324886528 13754 33554432000 4194304 4627427 140737417481488 18446744073709551615 274474010807 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 79318 13759 339 106 0 74289 0
[pid=28058/tid=28059] ppid=28056 vsize=317272 CPUtime=0.03 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 4412 0 0 0 3 0 0 0 25 0 4 0 514713873 324886528 13761 33554432000 4194304 4627427 140737417481488 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=317272 CPUtime=0.03 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) D 28056 28058 27798 0 -1 4202560 4393 0 0 0 3 0 0 0 18 0 4 0 514713873 324886528 13761 33554432000 4194304 4627427 140737417481488 18446744073709551615 274474010807 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=317272 CPUtime=0.03 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 4395 0 0 0 3 0 0 0 25 0 4 0 514713873 324886528 13764 33554432000 4194304 4627427 140737417481488 18446744073709551615 4531723 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 317272

[startup+0.112383 s]
/proc/loadavg: 8.13 8.10 7.46 5/180 28058
/proc/meminfo: memFree=13828540/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=321440 CPUtime=0.41 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) D 28056 28058 27798 0 -1 4202496 23820 0 0 0 38 3 0 0 18 0 4 0 514713872 329154560 19589 33554432000 4194304 4627427 140737417481488 18446744073709551615 274473628705 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 80360 19589 339 106 0 75331 0
[pid=28058/tid=28059] ppid=28056 vsize=321440 CPUtime=0.09 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) D 28056 28058 27798 0 -1 4202560 5886 0 0 0 9 0 0 0 18 0 4 0 514713873 329154560 19589 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=321440 CPUtime=0.09 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) D 28056 28058 27798 0 -1 4202560 5847 0 0 0 9 0 0 0 18 0 4 0 514713873 329154560 19589 33554432000 4194304 4627427 140737417481488 18446744073709551615 274474010807 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=321440 CPUtime=0.09 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 5839 0 0 0 9 0 0 0 25 0 4 0 514713873 329154560 19589 33554432000 4194304 4627427 140737417481488 18446744073709551615 274474010807 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 321440

[startup+0.300347 s]
/proc/loadavg: 8.13 8.10 7.46 5/180 28058
/proc/meminfo: memFree=13828540/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=324276 CPUtime=1.17 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 26903 0 0 0 113 4 0 0 18 0 4 0 514713872 332058624 22672 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 81069 22672 366 106 0 76040 0
[pid=28058/tid=28059] ppid=28056 vsize=324276 CPUtime=0.29 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 6603 0 0 0 28 1 0 0 18 0 4 0 514713873 332058624 22672 33554432000 4194304 4627427 140737417481488 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=324276 CPUtime=0.28 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 6591 0 0 0 28 0 0 0 18 0 4 0 514713873 332058624 22672 33554432000 4194304 4627427 140737417481488 18446744073709551615 4238988 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=324276 CPUtime=0.28 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 6704 0 0 0 27 1 0 0 25 0 4 0 514713873 332058624 22672 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 324276

[startup+0.700278 s]
/proc/loadavg: 8.13 8.10 7.46 5/180 28058
/proc/meminfo: memFree=13828540/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=357940 CPUtime=2.76 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 48904 0 0 0 268 8 0 0 18 0 4 0 514713872 366530560 36399 33554432000 4194304 4627427 140737417481488 18446744073709551615 274473632687 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 89485 36399 381 106 0 84456 0
[pid=28058/tid=28059] ppid=28056 vsize=357940 CPUtime=0.69 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 13177 0 0 0 67 2 0 0 18 0 4 0 514713873 366530560 36399 33554432000 4194304 4627427 140737417481488 18446744073709551615 4442877 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=357940 CPUtime=0.68 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 14178 0 0 0 66 2 0 0 18 0 4 0 514713873 366530560 36399 33554432000 4194304 4627427 140737417481488 18446744073709551615 4442772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=357940 CPUtime=0.68 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 6965 0 0 0 67 1 0 0 25 0 4 0 514713873 366530560 36399 33554432000 4194304 4627427 140737417481488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 357940

[startup+1.50114 s]
/proc/loadavg: 8.12 8.10 7.47 9/184 28062
/proc/meminfo: memFree=13673012/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=360220 CPUtime=5.96 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 52679 0 0 0 587 9 0 0 20 0 4 0 514713872 368865280 38860 33554432000 4194304 4627427 140737417481488 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 90055 38861 385 106 0 85026 0
[pid=28058/tid=28059] ppid=28056 vsize=360220 CPUtime=1.49 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 14161 0 0 0 147 2 0 0 19 0 4 0 514713873 368865280 38861 33554432000 4194304 4627427 140737417481488 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=360220 CPUtime=1.48 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 15320 0 0 0 146 2 0 0 19 0 4 0 514713873 368865280 38861 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=360220 CPUtime=1.48 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 7473 0 0 0 147 1 0 0 25 0 4 0 514713873 368865280 38862 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 360220

[startup+3.10085 s]
/proc/loadavg: 8.12 8.10 7.47 9/184 28062
/proc/meminfo: memFree=13654660/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=491484 CPUtime=12.36 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 56764 0 0 0 1226 10 0 0 25 0 4 0 514713872 503279616 42945 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 122871 42945 385 106 0 117842 0
[pid=28058/tid=28059] ppid=28056 vsize=491484 CPUtime=3.09 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 15038 0 0 0 307 2 0 0 25 0 4 0 514713873 503279616 42945 33554432000 4194304 4627427 140737417481488 18446744073709551615 4305892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=491484 CPUtime=3.09 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 16278 0 0 0 306 3 0 0 25 0 4 0 514713873 503279616 42945 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=491484 CPUtime=3.07 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 8719 0 0 0 306 1 0 0 25 0 4 0 514713873 503279616 42945 33554432000 4194304 4627427 140737417481488 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 491484

[startup+6.30029 s]
/proc/loadavg: 8.11 8.09 7.47 9/184 28062
/proc/meminfo: memFree=13604688/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=491484 CPUtime=25.14 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 63665 0 0 0 2502 12 0 0 25 0 4 0 514713872 503279616 49846 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 122871 49846 385 106 0 117842 0
[pid=28058/tid=28059] ppid=28056 vsize=491484 CPUtime=6.28 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 16727 0 0 0 626 2 0 0 25 0 4 0 514713873 503279616 49846 33554432000 4194304 4627427 140737417481488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=491484 CPUtime=6.28 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 18030 0 0 0 625 3 0 0 25 0 4 0 514713873 503279616 49846 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=491484 CPUtime=6.26 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 10439 0 0 0 624 2 0 0 25 0 4 0 514713873 503279616 49846 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 491484

[startup+12.7012 s]
/proc/loadavg: 8.10 8.09 7.47 9/184 28062
/proc/meminfo: memFree=13460992/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=389688 CPUtime=50.71 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 83688 0 0 0 5054 17 0 0 25 0 4 0 514713872 399040512 45607 33554432000 4194304 4627427 140737417481488 18446744073709551615 4321405 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 97422 45607 387 106 0 92393 0
[pid=28058/tid=28059] ppid=28056 vsize=389688 CPUtime=12.69 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 21583 0 0 0 1265 4 0 0 25 0 4 0 514713873 399040512 45607 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=389688 CPUtime=12.68 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 23093 0 0 0 1264 4 0 0 25 0 4 0 514713873 399040512 45607 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=389688 CPUtime=12.62 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 15465 0 0 0 1259 3 0 0 25 0 4 0 514713873 399040512 45608 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 389688

[startup+25.5009 s]
/proc/loadavg: 8.08 8.09 7.48 9/184 28062
/proc/meminfo: memFree=13212636/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=571248 CPUtime=101.83 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 174179 0 0 0 10146 37 0 0 25 0 4 0 514713872 584957952 101205 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 142812 101206 390 106 0 137783 0
[pid=28058/tid=28059] ppid=28056 vsize=571248 CPUtime=25.49 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 57233 0 0 0 2540 9 0 0 25 0 4 0 514713873 584957952 101206 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=571248 CPUtime=25.48 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 40110 0 0 0 2539 9 0 0 25 0 4 0 514713873 584957952 101206 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=571248 CPUtime=25.34 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 23980 0 0 0 2529 5 0 0 25 0 4 0 514713873 584957952 101206 33554432000 4194304 4627427 140737417481488 18446744073709551615 4239308 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 571248

[startup+51.1004 s]
/proc/loadavg: 8.12 8.10 7.50 9/184 28063
/proc/meminfo: memFree=13025488/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=796556 CPUtime=204.08 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 264913 0 0 0 20347 61 0 0 25 0 4 0 514713872 815673344 140803 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 199139 140803 390 106 0 194110 0
[pid=28058/tid=28059] ppid=28056 vsize=796556 CPUtime=51.09 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 73379 0 0 0 5096 13 0 0 25 0 4 0 514713873 815673344 140803 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=796556 CPUtime=51.08 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 65122 0 0 0 5092 16 0 0 25 0 4 0 514713873 815673344 140803 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=796556 CPUtime=50.81 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 51917 0 0 0 5068 13 0 0 25 0 4 0 514713873 815673344 140803 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 796556

[startup+102.306 s]
/proc/loadavg: 8.15 8.11 7.53 9/184 28096
/proc/meminfo: memFree=14144976/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1149904 CPUtime=408.62 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 397368 0 0 0 40759 103 0 0 25 0 4 0 514713872 1177501696 193051 33554432000 4194304 4627427 140737417481488 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 287476 193051 390 106 0 282447 0
[pid=28058/tid=28059] ppid=28056 vsize=1149904 CPUtime=102.29 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 93022 0 0 0 10209 20 0 0 25 0 4 0 514713873 1177501696 193051 33554432000 4194304 4627427 140737417481488 18446744073709551615 4332298 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1149904 CPUtime=102.28 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 91517 0 0 0 10203 25 0 0 25 0 4 0 514713873 1177501696 193051 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1149904 CPUtime=101.73 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 89638 0 0 0 10148 25 0 0 25 0 4 0 514713873 1177501696 193051 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 1149904

[startup+162.301 s]

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

[pid=28058] ppid=28056 vsize=1580392 CPUtime=2805.13 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1403238 0 0 0 280030 483 0 0 25 0 4 0 514713872 1618321408 316025 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 395098 316025 390 106 0 390069 0
[pid=28058/tid=28059] ppid=28056 vsize=1580392 CPUtime=702.28 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 311030 0 0 0 70122 106 0 0 25 0 4 0 514713873 1618321408 316025 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1580392 CPUtime=702.14 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 359065 0 0 0 70087 127 0 0 25 0 4 0 514713873 1618321408 316025 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1580392 CPUtime=698.44 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 357599 0 0 0 69724 120 0 0 25 0 4 0 514713873 1618321408 316025 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.13
Current children cumulated vsize (KiB) 1580392

[startup+762.306 s]
/proc/loadavg: 8.25 8.17 7.83 9/184 28125
/proc/meminfo: memFree=13350036/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1537456 CPUtime=3044.12 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1496874 0 0 0 303895 517 0 0 25 0 4 0 514713872 1574354944 326950 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 384364 326950 390 106 0 379335 0
[pid=28058/tid=28059] ppid=28056 vsize=1537456 CPUtime=762.29 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 330892 0 0 0 76116 113 0 0 25 0 4 0 514713873 1574354944 326950 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1537456 CPUtime=761.86 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 386222 0 0 0 76050 136 0 0 25 0 4 0 514713873 1574354944 326950 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1537456 CPUtime=758.12 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 380851 0 0 0 75683 129 0 0 25 0 4 0 514713873 1574354944 326950 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.12
Current children cumulated vsize (KiB) 1537456

[startup+822.301 s]
/proc/loadavg: 8.15 8.15 7.84 9/184 28127
/proc/meminfo: memFree=13316800/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1612940 CPUtime=3283.77 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1590929 0 0 0 327823 554 0 0 25 0 4 0 514713872 1651650560 334338 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 403235 334338 390 106 0 398206 0
[pid=28058/tid=28059] ppid=28056 vsize=1612940 CPUtime=822.28 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 356547 0 0 0 82104 124 0 0 25 0 4 0 514713873 1651650560 334338 33554432000 4194304 4627427 140737417481488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1612940 CPUtime=821.85 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 409386 0 0 0 82039 146 0 0 25 0 4 0 514713873 1651650560 334338 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1612940 CPUtime=817.78 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 402663 0 0 0 81642 136 0 0 25 0 4 0 514713873 1651650560 334338 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.77
Current children cumulated vsize (KiB) 1612940

[startup+882.301 s]
/proc/loadavg: 8.14 8.15 7.85 9/184 28128
/proc/meminfo: memFree=13260372/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1720616 CPUtime=3523.43 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1687249 0 0 0 351754 589 0 0 25 0 4 0 514713872 1761910784 332709 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 430154 332709 390 106 0 425125 0
[pid=28058/tid=28059] ppid=28056 vsize=1720616 CPUtime=882.28 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 379471 0 0 0 88096 132 0 0 25 0 4 0 514713873 1761910784 332709 33554432000 4194304 4627427 140737417481488 18446744073709551615 4310580 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1720616 CPUtime=881.84 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 432788 0 0 0 88030 154 0 0 25 0 4 0 514713873 1761910784 332709 33554432000 4194304 4627427 140737417481488 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1720616 CPUtime=877.44 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 429654 0 0 0 87600 144 0 0 25 0 4 0 514713873 1761910784 332709 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.43
Current children cumulated vsize (KiB) 1720616

[startup+942.3 s]
/proc/loadavg: 8.09 8.13 7.87 9/184 28130
/proc/meminfo: memFree=13196752/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1608500 CPUtime=3763.1 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1782480 0 0 0 375683 627 0 0 25 0 4 0 514713872 1647104000 343785 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 402125 343785 390 106 0 397096 0
[pid=28058/tid=28059] ppid=28056 vsize=1608500 CPUtime=942.27 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 404213 0 0 0 94086 141 0 0 25 0 4 0 514713873 1647104000 343785 33554432000 4194304 4627427 140737417481488 18446744073709551615 4338509 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1608500 CPUtime=941.84 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 451770 0 0 0 94021 163 0 0 25 0 4 0 514713873 1647104000 343785 33554432000 4194304 4627427 140737417481488 18446744073709551615 4310577 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1608500 CPUtime=937.12 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 456016 0 0 0 93558 154 0 0 25 0 4 0 514713873 1647104000 343785 33554432000 4194304 4627427 140737417481488 18446744073709551615 4329723 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.1
Current children cumulated vsize (KiB) 1608500

[startup+1002.3 s]
/proc/loadavg: 8.14 8.14 7.88 9/184 28132
/proc/meminfo: memFree=13124948/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1641136 CPUtime=4002.75 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1874973 0 0 0 399612 663 0 0 25 0 4 0 514713872 1680523264 331891 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 410284 331891 390 106 0 405255 0
[pid=28058/tid=28059] ppid=28056 vsize=1641136 CPUtime=1002.28 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 427350 0 0 0 100079 149 0 0 25 0 4 0 514713873 1680523264 331891 33554432000 4194304 4627427 140737417481488 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1641136 CPUtime=1001.83 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 477194 0 0 0 100011 172 0 0 25 0 4 0 514713873 1680523264 331891 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1641136 CPUtime=996.79 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 477338 0 0 0 99516 163 0 0 25 0 4 0 514713873 1680523264 331891 33554432000 4194304 4627427 140737417481488 18446744073709551615 4327509 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.75
Current children cumulated vsize (KiB) 1641136

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 7.89 9/184 28133
/proc/meminfo: memFree=13078208/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1547080 CPUtime=4242.42 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 1977286 0 0 0 423537 705 0 0 25 0 4 0 514713872 1584209920 336807 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 386770 336807 390 106 0 381741 0
[pid=28058/tid=28059] ppid=28056 vsize=1547080 CPUtime=1062.28 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 451580 0 0 0 106068 160 0 0 25 0 4 0 514713873 1584209920 336807 33554432000 4194304 4627427 140737417481488 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1547080 CPUtime=1061.83 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 504392 0 0 0 106000 183 0 0 25 0 4 0 514713873 1584209920 336807 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1547080 CPUtime=1056.47 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 503391 0 0 0 105474 173 0 0 25 0 4 0 514713873 1584209920 336807 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 1547080

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 7.91 9/184 28135
/proc/meminfo: memFree=13173180/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1682192 CPUtime=4482.08 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 2056930 0 0 0 447468 740 0 0 25 0 4 0 514713872 1722564608 328579 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 420548 328579 390 106 0 415519 0
[pid=28058/tid=28059] ppid=28056 vsize=1682192 CPUtime=1122.27 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 470086 0 0 0 112059 168 0 0 25 0 4 0 514713873 1722564608 328579 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1682192 CPUtime=1121.83 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 525354 0 0 0 111990 193 0 0 25 0 4 0 514713873 1722564608 328579 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1682192 CPUtime=1116.14 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 522429 0 0 0 111433 181 0 0 25 0 4 0 514713873 1722564608 328580 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.08
Current children cumulated vsize (KiB) 1682192

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 7.92 9/184 28136
/proc/meminfo: memFree=12953316/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1782304 CPUtime=4721.75 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 2176371 0 0 0 471387 788 0 0 25 0 4 0 514713872 1825079296 382333 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 445576 382333 390 106 0 440547 0
[pid=28058/tid=28059] ppid=28056 vsize=1782304 CPUtime=1182.27 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 490809 0 0 0 118050 177 0 0 25 0 4 0 514713873 1825079296 382333 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1782304 CPUtime=1181.83 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 574755 0 0 0 117972 211 0 0 25 0 4 0 514713873 1825079296 382333 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1782304 CPUtime=1175.81 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 546830 0 0 0 117389 192 0 0 25 0 4 0 514713873 1825079296 382333 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308647 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.75
Current children cumulated vsize (KiB) 1782304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.17 8.13 7.92 9/184 28137
/proc/meminfo: memFree=13035400/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1736224 CPUtime=4800.05 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 2211138 0 0 0 479205 800 0 0 25 0 4 0 514713872 1777893376 352457 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 434056 352457 390 106 0 429027 0
[pid=28058/tid=28059] ppid=28056 vsize=1736224 CPUtime=1201.88 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 500059 0 0 0 120007 181 0 0 25 0 4 0 514713873 1777893376 352458 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1736224 CPUtime=1201.43 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 584396 0 0 0 119929 214 0 0 25 0 4 0 514713873 1777893376 352458 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1736224 CPUtime=1195.3 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 555793 0 0 0 119336 194 0 0 25 0 4 0 514713873 1777893376 352458 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1736224

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

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

[startup+1201.9 s]
/proc/loadavg: 8.17 8.13 7.92 9/184 28137
/proc/meminfo: memFree=13035400/32950928 swapFree=67111528/67111528
[pid=28058] ppid=28056 vsize=1736224 CPUtime=4800.05 cores=1,3,5,7
/proc/28058/stat : 28058 (strangenight2-m) R 28056 28058 27798 0 -1 4202496 2211138 0 0 0 479205 800 0 0 25 0 4 0 514713872 1777893376 352457 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28058/statm: 434056 352457 390 106 0 429027 0
[pid=28058/tid=28059] ppid=28056 vsize=1736224 CPUtime=1201.88 cores=1,3,5,7
/proc/28058/task/28059/stat : 28059 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 500059 0 0 0 120007 181 0 0 25 0 4 0 514713873 1777893376 352458 33554432000 4194304 4627427 140737417481488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28058/tid=28060] ppid=28056 vsize=1736224 CPUtime=1201.43 cores=1,3,5,7
/proc/28058/task/28060/stat : 28060 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 584396 0 0 0 119929 214 0 0 25 0 4 0 514713873 1777893376 352458 33554432000 4194304 4627427 140737417481488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28058/tid=28061] ppid=28056 vsize=1736224 CPUtime=1195.3 cores=1,3,5,7
/proc/28058/task/28061/stat : 28061 (strangenight2-m) R 28056 28058 27798 0 -1 4202560 555793 0 0 0 119336 194 0 0 25 0 4 0 514713873 1777893376 352458 33554432000 4194304 4627427 140737417481488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1736224

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.97
CPU time (s): 4800.14
CPU user time (s): 4792.07
CPU system time (s): 8.06177
CPU usage (%): 399.355
Max. virtual memory (cumulated for all children) (KiB): 1799916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.07
system time used= 8.06177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2211144
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= 2508
involuntary context switches= 20805

runsolver used 1.9977 second user time and 4.5853 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 00:52:22
IDJOB=3173771
IDBENCH=82589
IDSOLVER=1586
FILE ID=node125/3173771-1304031142
RUNJOBID= node125-1304028687-27817
PBS_JOBID= 13170327
Free space on /tmp= 72752 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173771-1304031142/watcher-3173771-1304031142 -o /tmp/evaluation-result-3173771-1304031142/solver-3173771-1304031142 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173771-1304031142.cnf

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

MD5SUM BENCH= 0d20733a6f7d3b01f88ae7bba5f0d271
RANDOM SEED=339302794

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13828820 kB
Buffers:       2215748 kB
Cached:       14962392 kB
SwapCached:          0 kB
Active:       10248852 kB
Inactive:      8340324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13828820 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8184 kB
Writeback:           4 kB
AnonPages:     1410340 kB
Mapped:          15564 kB
Slab:           468212 kB
PageTables:       7256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1773248 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= 72748 MiB
End job on node125 at 2011-04-29 01:12:26