Trace number 3366244

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.16 1203.19

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
MD5SUMcd155ee9ac243c838c94577589f0455b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark221.016
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
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-3366244-1305399710.cnf'
0.00/0.01	c -- header says num vars:          35000
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      35000
0.35/0.19	c Parsing time:  0.11 s
0.35/0.19	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.35/0.40	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
0.35/0.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.52/0.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.52/0.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.52/0.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.52/0.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.52/0.55	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
4.28/1.13	c lits-rem:         0  cl-subs:        0  v-elim:    892  v-fix:    0  time:  0.24 s
4.28/1.13	c Finding binary XORs  T:     0.01 s  found:       0
4.28/1.13	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
4.28/1.13	c calculated reachability. Time: 0.00
4.28/1.13	c Calc default polars -  time:   0.01 s pos:   15628 undec:    3882 neg:   15490
4.28/1.13	c =========================================================================================
4.28/1.13	c types(t): F = full restart, N = normal restart
4.28/1.13	c types(t): S = simplification begin/end, E = solution found
4.28/1.13	c restart types(rt): st = static, dy = dynamic
4.28/1.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.28/1.13	c  B st     0         0     34108    145991         0         0    443477         0   no data   no data
10.66/2.79	c  N dy    18      4056     34108    145991         0      4056    443477   1237665    177.65    190.72
18.68/4.75	c  N dy    44      8114     34108    145991         0      8114    443477   2321701    172.68    184.99
26.62/6.73	c  N dy    72     12180     34108    145991         0     12180    443477   3355272    171.04    183.38
34.60/8.73	c  N dy   103     16242     34108    145991         0     16242    443477   4390567    170.84    180.23
42.97/10.82	c  N dy   126     20262     34108    145991         0     10263    443477    731740    169.51    180.19
50.55/12.74	c  N dy   149     24279     34108    145991         0     14280    443477   1785358    168.97    188.31
52.16/13.11	c  F st   155     25000     34108    145991         0     15001    443477   1985731    169.29   no data
58.93/14.86	c  N st   160     28296     34108    145991         0     18297    443477   3081780    169.29   no data
62.56/15.79	c  S st   161     30000     34108    145991         0     20001    443477   3714838    169.29   no data
63.71/16.05	c  S st   161     30503     34108    145991         0     20504    443477   3805971    169.29   no data
63.71/16.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64.11/16.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
64.51/16.22	c blocked clauses removed:      780 vars:    122 tried:       34108 T: 0.02 s
64.51/16.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
64.51/16.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.51/16.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33986 time:  0.01 s
64.51/16.26	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
65.32/16.44	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.17 s
66.95/16.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.51/17.76	c lits-rem:         8  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.91 s
71.34/17.94	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.18
71.34/17.95	c calculated reachability. Time: 0.00
71.34/17.95	c  N dy   161     30503     33963    145189         0     20253    441250   3669451    169.29   no data
79.70/20.04	c  N dy   184     34565     33963    145189         0     24315    441250   4665051    168.12    177.45
88.06/22.20	c  N dy   208     38566     33963    145189         0     28316    441250   5662087    167.30    185.73
97.25/24.41	c  N dy   236     42662     33963    145189         0     17040    441250   1215280    167.19    182.36
103.21/25.96	c  S st   258     45754     33963    145189         0     20132    441250   2011740    167.42   no data
104.42/26.21	c  S st   258     46255     33963    145189         0     20633    441250   2106478    167.42   no data
104.42/26.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.82/26.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
104.82/26.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.82/26.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.82/26.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.82/26.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
105.21/26.41	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.62/26.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
106.04/26.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.60/27.02	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.29 s
107.60/27.05	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
107.60/27.09	c vivif2 --  cl tried    20632 cl shrink        0 lits rem          0 time: 0.04
108.40/27.27	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.18
108.40/27.28	c calculated reachability. Time: 0.00
108.40/27.28	c  N dy   258     46255     33963    145189         0     20632    441250   2106392    167.42   no data
117.18/29.40	c  N dy   286     50289     33963    145189         0     24666    441250   3155743    167.12    181.01
125.96/31.62	c  N dy   312     54444     33963    145189         0     28821    441250   4216106    166.77    177.19
134.74/33.87	c  N dy   344     58511     33963    145189         0     32888    441250   5271635    167.20    207.22
143.91/36.13	c  N dy   371     62658     33963    145189         0     37034    441250   6286117    167.05    179.22
152.29/38.26	c  N dy   398     66670     33963    145189         0     22362    441250   1701485    166.93    178.65
158.27/39.70	c  S st   418     69382     33963    145189         0     25074    441250   2383543    166.93   no data
159.11/39.98	c  S st   418     69887     33963    145189         0     25579    441250   2480918    166.93   no data
159.46/40.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
159.46/40.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
159.86/40.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
159.86/40.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
159.86/40.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
159.86/40.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
159.86/40.18	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
160.67/40.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
161.07/40.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
163.08/40.95	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.43 s
163.08/40.97	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
163.50/41.02	c vivif2 --  cl tried    25578 cl shrink        0 lits rem          0 time: 0.05
164.25/41.21	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.19
164.25/41.22	c calculated reachability. Time: 0.00
164.25/41.22	c  N dy   418     69887     33963    145189         0     25578    441250   2480548    166.93   no data
174.23/43.71	c  N dy   447     74537     33963    145189         0     30228    441250   3677873    166.90    178.45
185.44/46.53	c  N dy   488     79441     33963    145189         0     35132    441250   5007477    167.72    179.60
196.97/49.40	c  N dy   521     84598     33963    145189         0     40289    441250   6332008    167.71    178.44
203.35/51.09	c  F st   541     87500     33963    145189         0     22343    441250   1095872    167.86    158.50
210.94/52.92	c  N st   546     90801     33963    145189         0     25644    441250   2168144    167.86   no data
223.70/56.15	c  N dy   572     96679     33963    145189         0     31522    441250   3905824    167.61    198.66
237.27/59.56	c  N dy   610    102885     33963    145189         0     37728    441250   5517006    167.51    176.45
241.66/60.69	c  S st   624    104832     33963    145189         0     39675    441250   6030975    167.52   no data
242.85/60.99	c  S st   624    105334     33963    145189         0     40177    441250   6118606    167.52   no data
243.25/61.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
243.65/61.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
243.65/61.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.65/61.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
243.65/61.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
244.05/61.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
244.05/61.22	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
244.45/61.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
246.05/61.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
253.23/63.52	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.67 s
253.23/63.54	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
253.63/63.65	c vivif2 --  cl tried    40175 cl shrink        0 lits rem          0 time: 0.11
254.43/63.87	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.22
254.43/63.88	c calculated reachability. Time: 0.00
254.43/63.88	c  N dy   624    105334     33963    145189         0     40175    441250   6117549    167.52   no data
270.78/67.90	c  N dy   677    112215     33963    145189         0     24637    441250   1262825    168.13    189.87
286.38/71.87	c  N dy   721    119466     33963    145189         0     31887    441250   3105257    167.85    228.41
303.53/76.19	c  N dy   774    127213     33963    145189         0     39633    441250   5084969    167.87    180.76
322.65/80.97	c  N dy   829    135678     33963    145189         0     24391    441250    812166    168.01    181.63
341.40/85.61	c  N dy   889    144431     33963    145189         0     33143    441250   3010463    168.01    177.80
362.15/90.85	c  N dy   949    153915     33963    145189         0     42627    441250   5459860    167.89    180.19
371.73/93.20	c  S st   977    158001     33963    145189         0     46713    441250   6514360    167.93    151.97
372.93/93.50	c  S st   977    158503     33963    145189         0     47215    441250   6616366    167.93   no data
372.93/93.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
373.33/93.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
373.33/93.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
373.33/93.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
373.33/93.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
373.74/93.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
373.74/93.73	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
374.16/93.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
376.11/94.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
385.30/96.60	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.26 s
385.30/96.62	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
385.70/96.74	c vivif2 --  cl tried    47211 cl shrink        0 lits rem          0 time: 0.12
386.49/96.97	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.23
386.49/96.98	c calculated reachability. Time: 0.00
386.49/96.98	c  N dy   977    158503     33963    145189         0     47211    441250   6612405    167.93   no data
409.28/102.65	c  N dy  1052    168744     33963    145189         0     32596    441250   2587093    168.20    178.72
433.17/108.67	c  N dy  1123    179562     33963    145189         0     43414    441250   5331613    168.09    177.34
459.90/115.34	c  N dy  1205    191131     33963    145189         0     29057    441250   1363244    168.22    183.97
486.64/122.07	c  N dy  1282    203438     33963    145189         0     41363    441250   4457926    168.03    179.47
517.36/129.72	c  N dy  1372    216488     33963    145189         0     27446    441250    664142    168.18    177.09
547.68/137.39	c  N dy  1472    230373     33963    145189         0     41331    441250   4284882    168.29    178.45
564.83/141.63	c  S st  1523    237754     33963    145189         0     48712    441250   6156541    168.32   no data
566.03/141.94	c  S st  1523    238258     33963    145189         0     49216    441250   6260239    168.32   no data
566.03/141.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
566.43/142.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
566.85/142.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
566.85/142.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
566.85/142.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
566.85/142.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
566.85/142.17	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
567.62/142.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
569.22/142.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
578.40/145.09	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.34 s
578.80/145.12	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
579.20/145.23	c vivif2 --  cl tried    49215 cl shrink        0 lits rem          0 time: 0.11
580.02/145.46	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.23
580.02/145.47	c calculated reachability. Time: 0.00
580.02/145.47	c  N dy  1523    238258     33963    145189         0     49215    441250   6259244    168.32   no data
614.71/154.12	c  N dy  1629    253547     33963    145189         0     36522    441250   2740159    168.42    183.54
652.22/163.52	c  N dy  1748    269830     33963    145189         0     52802    441250   6935176    168.63    178.16
691.72/173.46	c  N dy  1865    287114     33963    145189         0     41093    441250   3648402    168.78    185.29
734.81/184.21	c  N dy  1989    305614     33963    145189         0     59591    441250   8417170    168.80    178.51
736.41/184.64	c  F st  1993    306250     33963    145189         0     30240    441250    569925    168.80    159.40
780.30/195.67	c  N dy  2092    325361     33963    145189         0     49351    441250   6296621    168.79    181.88
827.77/207.51	c  N dy  2234    345401     33963    145189         0     38398    441250   2444163    169.03    179.50
855.31/214.42	c  S st  2315    357389     33963    145189         0     50384    441250   5562263    169.09    125.73
856.52/214.73	c  S st  2315    357893     33963    145189         0     50888    441250   5655005    169.09   no data
856.52/214.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
856.94/214.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
857.29/214.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
857.29/214.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
857.29/214.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
857.29/214.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
857.29/214.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
858.10/215.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
859.29/215.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
868.07/217.68	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.19 s
868.47/217.70	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
868.87/217.81	c vivif2 --  cl tried    50884 cl shrink        0 lits rem          0 time: 0.10
869.69/218.04	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.23
869.69/218.05	c calculated reachability. Time: 0.00
869.69/218.05	c  N dy  2315    357893     33963    145189         0     50884    441250   5653235    169.09   no data
917.15/229.97	c  N dy  2464    377949     33963    145189         0     38936    441250   2338808    169.34    180.41
964.63/241.86	c  N dy  2601    397993     33963    145189         0     58979    441250   7518176    169.30    180.22
1011.71/253.61	c  N dy  2737    418229     33963    145189         0     46221    441250   3883511    169.27    188.23
1059.59/265.64	c  N dy  2872    438239     33963    145189         0     66229    441250   9090769    169.31    178.42
1105.88/277.26	c  N dy  3009    458361     33963    145189         0     52351    441250   5212415    169.34    182.92
1154.56/289.49	c  N dy  3150    478411     33963    145189         0     37403    441250   1122460    169.48    182.22
1201.23/301.11	c  N dy  3285    498498     33963    145189         0     57489    441250   6344295    169.46    190.61
1249.91/313.37	c  N dy  3425    518639     33963    145189         0     41628    441250   2016634    169.54    179.66
1292.99/324.14	c  S st  3549    536841     33963    145189         0     59830    441250   6709022    169.58   no data
1294.19/324.45	c  S st  3549    537344     33963    145189         0     60333    441250   6803929    169.58   no data
1294.19/324.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1295.00/324.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1295.00/324.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1295.00/324.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1295.00/324.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1295.00/324.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
1295.00/324.70	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1295.84/324.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1297.79/325.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1310.16/328.46	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.13 s
1310.16/328.48	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
1310.95/328.61	c vivif2 --  cl tried    60327 cl shrink        0 lits rem          0 time: 0.12
1311.75/328.86	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.25
1311.75/328.87	c calculated reachability. Time: 0.00
1311.75/328.87	c  N dy  3549    537344     33963    145189         0     60327    441250   6799672    169.58   no data
1361.67/341.32	c  N dy  3699    557479     33963    145189         0     43463    441250   2191053    169.69    179.19
1409.53/353.33	c  N dy  3842    577562     33963    145189         0     63545    441250   7532871    169.84    179.06
1458.98/365.74	c  N dy  3987    597669     33963    145189         0     45655    441250   2458849    169.90    179.37
1506.85/377.72	c  N dy  4124    617683     33963    145189         0     65666    441250   7693914    169.90    181.06
1556.33/390.12	c  N dy  4263    637772     33963    145189         0     46756    441250   2536246    169.94    213.96
1604.60/402.21	c  N dy  4402    657790     33963    145189         0     66774    441250   7752426    169.96    180.43
1654.08/414.62	c  N dy  4539    677831     33963    145189         0     46811    441250   2264438    170.01    183.43
1703.99/427.15	c  N dy  4684    698020     33963    145189         0     66996    441250   7584703    170.08    179.65
1754.62/439.83	c  N dy  4821    718040     33963    145189         0     46024    441250   1833811    170.06    192.33
1803.29/452.06	c  N dy  4960    738369     33963    145189         0     66352    441250   7175995    170.12    182.58
1854.36/464.87	c  N dy  5098    758400     33963    145189         0     44382    441250   1127066    170.12    222.58
1902.64/476.97	c  N dy  5243    778434     33963    145189         0     64416    441250   6446469    170.22    182.13
1954.15/489.85	c  N dy  5376    798469     33963    145189         0     84448    441250  11643939    170.16    183.86
1972.06/494.38	c  S st  5427    806016     33963    145189         0     48997    441250   2044495    170.16    166.73
1973.26/494.68	c  S st  5427    806519     33963    145189         0     49500    441250   2131051    170.16   no data
1973.66/494.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1974.06/494.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1974.06/494.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1974.06/494.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1974.06/494.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1974.06/494.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
1974.46/494.91	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1974.86/495.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1975.26/495.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1978.05/495.90	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.69 s
1978.45/495.92	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
1978.45/495.96	c vivif2 --  cl tried    49500 cl shrink        0 lits rem          0 time: 0.04
1979.25/496.19	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.23
1979.65/496.20	c calculated reachability. Time: 0.00
1979.65/496.20	c  N dy  5427    806519     33963    145189         0     49500    441250   2131050    170.16   no data
2028.35/508.47	c  N dy  5561    826631     33963    145189         0     69610    441250   7285287    170.12    181.08
2082.18/521.92	c  N dy  5706    846816     33963    145189         0     45800    441250    986910    170.20    184.18
2130.47/534.06	c  N dy  5845    866941     33963    145189         0     65924    441250   6223042    170.22    183.37
2181.54/546.87	c  N dy  5981    886945     33963    145189         0     85927    441250  11404280    170.22    193.78
2231.41/559.32	c  N dy  6120    907063     33963    145189         0     61052    441250   4758979    170.27    198.97
2282.48/572.11	c  N dy  6259    927079     33963    145189         0     81067    441250   9985745    170.31    180.56
2333.55/584.95	c  N dy  6396    947193     33963    145189         0     55182    441250   2894343    170.30    186.75
2383.03/597.36	c  N dy  6527    967214     33963    145189         0     75201    441250   8021810    170.27    180.34
2436.51/610.80	c  N dy  6681    987286     33963    145189         0     48274    441250    864929    170.36    184.30
2485.57/623.07	c  N dy  6820   1007309     33963    145189         0     68295    441250   6225647    170.42    179.64
2538.23/636.23	c  N dy  6956   1027480     33963    145189         0     88465    441250  11551646    170.44    190.15
2589.30/649.05	c  N dy  7093   1047621     33963    145189         0     60608    441250   3873324    170.47    181.49
2639.97/661.77	c  N dy  7230   1067631     33963    145189         0     80617    441250   9151034    170.48    217.22
2651.15/664.56	c  F st  7259   1071875     33963    145189         0     84860    441250  10281981    170.49    165.08
2693.44/675.13	c  N dy  7335   1087698     33963    145189         0     51688    441250   1277828    170.52    183.47
2742.52/687.42	c  N dy  7469   1107709     33963    145189         0     71697    441250   6479777    170.49    237.59
2795.18/700.61	c  N dy  7611   1127714     33963    145189         0     91701    441250  11709460    170.52    183.68
2846.65/713.52	c  N dy  7746   1147790     33963    145189         0     61781    441250   3630708    170.54    197.76
2897.34/726.28	c  N dy  7884   1167820     33963    145189         0     81811    441250   8832502    170.53    180.67
2951.57/739.86	c  N dy  8026   1187879     33963    145189         0    101870    441250  14026947    170.53    184.00
3001.86/752.45	c  N dy  8163   1207955     33963    145189         0     70937    441250   5722532    170.53    201.81
3007.06/753.74	c  S st  8178   1209778     33963    145189         0     72760    441250   6212177    170.53   no data
3008.23/754.09	c  S st  8178   1210280     33963    145189         0     73262    441250   6301939    170.53   no data
3008.63/754.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3009.03/754.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
3009.43/754.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3009.43/754.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3009.43/754.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3009.43/754.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
3009.43/754.35	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
3010.23/754.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
3011.87/754.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3024.62/758.20	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.26 s
3025.03/758.22	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
3025.39/758.34	c vivif2 --  cl tried    73261 cl shrink        0 lits rem          0 time: 0.12
3026.59/758.61	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.27
3026.59/758.63	c calculated reachability. Time: 0.00
3026.59/758.63	c  N dy  8178   1210280     33963    145189         0     73261    441250   6301393    170.53   no data
3080.45/772.10	c  N dy  8318   1230392     33963    145189         0     93372    441250  11593657    170.53    179.78
3132.71/785.21	c  N dy  8460   1250403     33963    145189         0     61383    441250   2943857    170.54    185.54
3183.39/797.96	c  N dy  8598   1270407     33963    145189         0     81387    441250   8195438    170.56    185.41
3238.06/811.67	c  N dy  8730   1290589     33963    145189         0    101567    441250  13443982    170.54    181.79
3289.92/824.62	c  N dy  8876   1310681     33963    145189         0     68665    441250   4639668    170.55    191.80
3342.18/837.72	c  N dy  9012   1330690     33963    145189         0     88672    441250   9837566    170.56    189.13
3398.83/851.99	c  N dy  9161   1350738     33963    145189         0     54720    441250    722503    170.62    184.82
3449.11/864.52	c  N dy  9307   1370799     33963    145189         0     74779    441250   5986792    170.63    182.92
3503.00/878.01	c  N dy  9443   1390945     33963    145189         0     94924    441250  11249483    170.62    180.36
3558.02/891.89	c  N dy  9588   1411039     33963    145189         0     60021    441250   1941147    170.67    179.82
3609.50/904.76	c  N dy  9738   1431061     33963    145189         0     80043    441250   7271481    170.71    183.20
3664.16/918.40	c  N dy  9871   1451170     33963    145189         0    100152    441250  12484617    170.70    179.76
3718.04/931.98	c  N dy 10010   1471258     33963    145189         0     64238    441250   2715016    170.72    202.21
3769.89/944.97	c  N dy 10152   1491301     33963    145189         0     84278    441250   8019283    170.75    179.81
3824.54/958.69	c  N dy 10283   1511366     33963    145189         0    104342    441250  13280907    170.73    181.83
3878.40/972.13	c  N dy 10421   1531405     33963    145189         0     67383    441250   3265943    170.74    185.50
3930.67/985.20	c  N dy 10558   1551471     33963    145189         0     87448    441250   8565388    170.75    183.23
3986.53/999.25	c  N dy 10696   1571559     33963    145189         0    107535    441250  13904280    170.77    183.17
4040.38/1012.76	c  N dy 10834   1591777     33963    145189         0     69757    441250   3667182    170.79    182.50
4093.05/1025.92	c  N dy 10969   1611897     33963    145189         0     89876    441250   8903149    170.77    180.06
4149.30/1040.08	c  N dy 11109   1631899     33963    145189         0    109877    441250  14170502    170.80    182.53
4202.37/1053.34	c  N dy 11245   1651916     33963    145189         0     70901    441250   3706284    170.79    249.20
4255.43/1066.62	c  N dy 11379   1672014     33963    145189         0     90998    441250   8940730    170.81    181.44
4311.28/1080.60	c  N dy 11504   1692016     33963    145189         0    110997    441250  14119912    170.78    183.01
4361.56/1093.21	c  S st 11628   1710282     33963    145189         0     69271    441250   2981385    170.78   no data
4362.76/1093.54	c  S st 11628   1710785     33963    145189         0     69774    441250   3083304    170.78   no data
4362.76/1093.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4363.18/1093.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
4363.59/1093.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4363.59/1093.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4363.59/1093.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4363.59/1093.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33963 time:  0.01 s
4363.59/1093.79	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4364.34/1093.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
4365.14/1094.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4372.72/1096.07	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.90 s
4373.12/1096.10	c vivif2 --  cl tried   145189 cl shrink        0 lits rem          0 time: 0.02
4373.12/1096.16	c vivif2 --  cl tried    69771 cl shrink        0 lits rem          0 time: 0.06
4374.32/1096.43	c asymm  cl-useful: 0/145189/145189 lits-rem:0 time: 0.27
4374.32/1096.44	c calculated reachability. Time: 0.00
4374.32/1096.44	c  N dy 11628   1710785     33963    145189         0     69771    441250   3082521    170.78   no data
4427.38/1109.72	c  N dy 11764   1730828     33963    145189         0     89812    441250   8421865    170.81    213.58
4484.04/1123.93	c  N dy 11907   1750882     33963    145189         0    109866    441250  13746106    170.83    253.06
4539.49/1137.87	c  N dy 12037   1771049     33963    145189         0     69032    441250   2679774    170.84    197.47
4592.56/1151.10	c  N dy 12178   1791123     33963    145189         0     89103    441250   7947268    170.85    185.90
4648.44/1165.14	c  N dy 12315   1811196     33963    145189         0    109175    441250  13164978    170.85    182.84
4705.49/1179.43	c  N dy 12444   1831348     33963    145189         0     67327    441250   1993823    170.83    184.02
4758.92/1192.83	c  N dy 12579   1851462     33963    145189         0     87440    441250   7204552    170.84    181.46

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-3366244-1305399710/watcher-3366244-1305399710 -o /tmp/evaluation-result-3366244-1305399710/solver-3366244-1305399710 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366244-1305399710.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.06 8.06 8.00 2/303 18768
/proc/meminfo: memFree=18239356/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 406 0 0 0 1 0 0 0 25 0 4 0 651570722 52396032 347 33554432000 4194304 4580107 140733854725728 18446744073709551615 47899918297010 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 12792 347 299 95 0 7774 0
[pid=18768/tid=18770] ppid=18765 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651570722 52396032 347 33554432000 4194304 4580107 140733854725728 18446744073709551615 47899918297010 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651570722 52396032 347 33554432000 4194304 4580107 140733854725728 18446744073709551615 47899918297010 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651570722 52396032 347 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0434359 s]
/proc/loadavg: 8.06 8.06 8.00 2/303 18768
/proc/meminfo: memFree=18239356/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=320780 CPUtime=0.14 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 16727 0 0 0 10 4 0 0 18 0 4 0 651570722 328478720 12536 33554432000 4194304 4580107 140733854725728 18446744073709551615 274473664623 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 80247 12653 337 95 0 75229 0
[pid=18768/tid=18770] ppid=18765 vsize=321204 CPUtime=0.03 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 3944 0 0 0 2 1 0 0 25 0 4 0 651570722 328912896 12666 33554432000 4194304 4580107 140733854725728 18446744073709551615 274473664712 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=321204 CPUtime=0.03 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) S 18765 18768 18635 0 -1 4202560 4207 0 0 0 3 0 0 0 18 0 4 0 651570722 328912896 12679 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=321204 CPUtime=0.02 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 3996 0 0 0 1 1 0 0 18 0 4 0 651570722 328912896 12705 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 320780

[startup+0.105383 s]
/proc/loadavg: 8.06 8.06 8.00 2/303 18768
/proc/meminfo: memFree=18239356/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=390788 CPUtime=0.35 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 20739 0 0 0 24 11 0 0 18 0 4 0 651570722 400166912 16548 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072607 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 97697 16548 337 95 0 92679 0
[pid=18768/tid=18770] ppid=18765 vsize=390788 CPUtime=0.09 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) S 18765 18768 18635 0 -1 4202560 5010 0 0 0 6 3 0 0 18 0 4 0 651570722 400166912 16548 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=390788 CPUtime=0.08 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) S 18765 18768 18635 0 -1 4202560 5065 0 0 0 6 2 0 0 17 0 4 0 651570722 400166912 16548 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=390788 CPUtime=0.07 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) S 18765 18768 18635 0 -1 4202560 4844 0 0 0 5 2 0 0 18 0 4 0 651570722 400166912 16548 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 390788

[startup+0.40665 s]
/proc/loadavg: 8.06 8.06 8.00 2/303 18768
/proc/meminfo: memFree=18239356/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=404576 CPUtime=1.52 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 29036 0 0 0 128 24 0 0 18 0 4 0 651570722 414285824 24845 33554432000 4194304 4580107 140733854725728 18446744073709551615 274473632687 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 101144 24866 363 95 0 96126 0
[pid=18768/tid=18770] ppid=18765 vsize=404576 CPUtime=0.37 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 6713 0 0 0 31 6 0 0 18 0 4 0 651570722 414285824 24875 33554432000 4194304 4580107 140733854725728 18446744073709551615 274473664720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=404576 CPUtime=0.37 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 6876 0 0 0 31 6 0 0 18 0 4 0 651570722 414285824 24887 33554432000 4194304 4580107 140733854725728 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=404576 CPUtime=0.36 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) S 18765 18768 18635 0 -1 4202560 6473 0 0 0 32 4 0 0 18 0 4 0 651570722 414285824 24901 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 404576

[startup+0.748913 s]
/proc/loadavg: 8.06 8.06 8.00 2/303 18768
/proc/meminfo: memFree=18239356/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=417752 CPUtime=2.86 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 48437 0 0 0 258 28 0 0 18 0 4 0 651570722 427778048 38541 33554432000 4194304 4580107 140733854725728 18446744073709551615 274473664623 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 104438 38562 373 95 0 99420 0
[pid=18768/tid=18770] ppid=18765 vsize=417752 CPUtime=0.7 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 13213 0 0 0 62 8 0 0 18 0 4 0 651570722 427778048 38572 33554432000 4194304 4580107 140733854725728 18446744073709551615 4399557 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=417752 CPUtime=0.71 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 13285 0 0 0 64 7 0 0 18 0 4 0 651570722 427778048 38583 33554432000 4194304 4580107 140733854725728 18446744073709551615 4399557 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=417752 CPUtime=0.71 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) S 18765 18768 18635 0 -1 4202560 6631 0 0 0 66 5 0 0 18 0 4 0 651570722 427778048 38596 33554432000 4194304 4580107 140733854725728 18446744073709551615 274474072558 0 0 4096 2 18446604459033946176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 417752

[startup+1.50106 s]
/proc/loadavg: 8.21 8.09 8.01 9/314 18784
/proc/meminfo: memFree=18050480/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=417752 CPUtime=5.87 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 51436 0 0 0 558 29 0 0 19 0 4 0 651570722 427778048 39854 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 104438 39855 377 95 0 99420 0
[pid=18768/tid=18770] ppid=18765 vsize=417752 CPUtime=1.46 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 14158 0 0 0 138 8 0 0 19 0 4 0 651570722 427778048 39855 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=417752 CPUtime=1.46 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 14213 0 0 0 139 7 0 0 19 0 4 0 651570722 427778048 39855 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=417752 CPUtime=1.45 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 7147 0 0 0 140 5 0 0 19 0 4 0 651570722 427778048 39855 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 417752

[startup+3.10078 s]
/proc/loadavg: 8.21 8.09 8.01 9/314 18784
/proc/meminfo: memFree=18029640/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=549016 CPUtime=12.25 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 55302 0 0 0 1194 31 0 0 24 0 4 0 651570722 562192384 43720 33554432000 4194304 4580107 140733854725728 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 137254 43720 377 95 0 132236 0
[pid=18768/tid=18770] ppid=18765 vsize=549016 CPUtime=3.06 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 15194 0 0 0 297 9 0 0 23 0 4 0 651570722 562192384 43720 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=549016 CPUtime=3.06 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 15140 0 0 0 298 8 0 0 23 0 4 0 651570722 562192384 43720 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=549016 CPUtime=3.04 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 8008 0 0 0 299 5 0 0 24 0 4 0 651570722 562192384 43720 33554432000 4194304 4580107 140733854725728 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 549016

[startup+6.30022 s]
/proc/loadavg: 8.19 8.09 8.01 9/314 18784
/proc/meminfo: memFree=17959084/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=549016 CPUtime=25.02 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 62145 0 0 0 2468 34 0 0 25 0 4 0 651570722 562192384 50563 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293979 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 137254 50563 377 95 0 132236 0
[pid=18768/tid=18770] ppid=18765 vsize=549016 CPUtime=6.26 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 16944 0 0 0 616 10 0 0 25 0 4 0 651570722 562192384 50563 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=549016 CPUtime=6.26 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 16797 0 0 0 618 8 0 0 25 0 4 0 651570722 562192384 50563 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=549016 CPUtime=6.21 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 9700 0 0 0 615 6 0 0 25 0 4 0 651570722 562192384 50563 33554432000 4194304 4580107 140733854725728 18446744073709551615 4301873 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 549016

[startup+12.7011 s]
/proc/loadavg: 8.18 8.09 8.01 9/314 18784
/proc/meminfo: memFree=17945364/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=447092 CPUtime=50.55 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 81605 0 0 0 5016 39 0 0 25 0 4 0 651570722 457822208 45840 33554432000 4194304 4580107 140733854725728 18446744073709551615 4318990 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 111773 45840 378 95 0 106755 0
[pid=18768/tid=18770] ppid=18765 vsize=447092 CPUtime=12.65 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 21904 0 0 0 1254 11 0 0 25 0 4 0 651570722 457822208 45840 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=447092 CPUtime=12.66 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 21592 0 0 0 1257 9 0 0 25 0 4 0 651570722 457822208 45840 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=447092 CPUtime=12.54 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 14488 0 0 0 1247 7 0 0 25 0 4 0 651570722 457822208 45840 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 447092

[startup+25.5008 s]
/proc/loadavg: 8.15 8.08 8.01 9/314 18784
/proc/meminfo: memFree=17701944/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=585184 CPUtime=101.65 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 168740 0 0 0 10103 62 0 0 25 0 4 0 651570722 599228416 96380 33554432000 4194304 4580107 140733854725728 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 146296 96380 379 95 0 141278 0
[pid=18768/tid=18770] ppid=18765 vsize=585184 CPUtime=25.46 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 56574 0 0 0 2526 20 0 0 25 0 4 0 651570722 599228416 96388 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=585184 CPUtime=25.46 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 38126 0 0 0 2533 13 0 0 25 0 4 0 651570722 599228416 96388 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=585184 CPUtime=25.22 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 23152 0 0 0 2512 10 0 0 25 0 4 0 651570722 599228416 96388 33554432000 4194304 4580107 140733854725728 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 585184

[startup+51.1003 s]
/proc/loadavg: 8.09 8.08 8.01 9/314 18785
/proc/meminfo: memFree=17557820/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=814012 CPUtime=203.75 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 258519 0 0 0 20286 89 0 0 25 0 4 0 651570722 833548288 133666 33554432000 4194304 4580107 140733854725728 18446744073709551615 4249625 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18768/statm: 203503 133666 379 95 0 198485 0
[pid=18768/tid=18770] ppid=18765 vsize=814012 CPUtime=51.05 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 74058 0 0 0 5080 25 0 0 25 0 4 0 651570722 833548288 133666 33554432000 4194304 4580107 140733854725728 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=814012 CPUtime=51.05 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 64039 0 0 0 5084 21 0 0 25 0 4 0 651570722 833548288 133666 33554432000 4194304 4580107 140733854725728 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=814012 CPUtime=50.79 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 50230 0 0 0 5062 17 0 0 25 0 4 0 651570722 833548288 133666 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 814012

[startup+102.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/314 18786
/proc/meminfo: memFree=17282864/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1100008 CPUtime=408.04 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 384327 0 0 0 40676 128 0 0 25 0 4 0 651570722 1126408192 190055 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 275002 190055 379 95 0 269984 0
[pid=18768/tid=18770] ppid=18765 vsize=1100008 CPUtime=102.25 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 103991 0 0 0 10190 35 0 0 25 0 4 0 651570722 1126408192 190055 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1100008 CPUtime=102.26 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 84354 0 0 0 10197 29 0 0 25 0 4 0 651570722 1126408192 190055 33554432000 4194304 4580107 140733854725728 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1100008 CPUtime=101.73 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 84302 0 0 0 10145 28 0 0 25 0 4 0 651570722 1126408192 190055 33554432000 4194304 4580107 140733854725728 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 1100008

[startup+162.301 s]

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

[pid=18768] ppid=18765 vsize=1627432 CPUtime=2562.58 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1361580 0 0 0 255784 474 0 0 25 0 4 0 651570722 1666490368 298069 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 406858 298069 379 95 0 401840 0
[pid=18768/tid=18770] ppid=18765 vsize=1627432 CPUtime=642.24 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 359081 0 0 0 64102 122 0 0 25 0 4 0 651570722 1666490368 298069 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1627432 CPUtime=642.24 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 308654 0 0 0 64112 112 0 0 25 0 4 0 651570722 1666490368 298069 33554432000 4194304 4580107 140733854725728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1627432 CPUtime=636.31 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 345011 0 0 0 63512 119 0 0 25 0 4 0 651570722 1666490368 298069 33554432000 4194304 4580107 140733854725728 18446744073709551615 4326704 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.58
Current children cumulated vsize (KiB) 1627432

[startup+702.301 s]
/proc/loadavg: 8.11 8.12 8.07 9/314 18805
/proc/meminfo: memFree=16490496/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1690132 CPUtime=2801.96 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1458036 0 0 0 279687 509 0 0 25 0 4 0 651570722 1730695168 327956 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 422533 327956 379 95 0 417515 0
[pid=18768/tid=18770] ppid=18765 vsize=1690132 CPUtime=702.24 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 382909 0 0 0 70094 130 0 0 25 0 4 0 651570722 1730695168 327956 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294016 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1690132 CPUtime=702.24 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 328839 0 0 0 70104 120 0 0 25 0 4 0 651570722 1730695168 327956 33554432000 4194304 4580107 140733854725728 18446744073709551615 4322547 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1690132 CPUtime=695.7 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 370746 0 0 0 69441 129 0 0 25 0 4 0 651570722 1730695168 327956 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.96
Current children cumulated vsize (KiB) 1690132

[startup+762.3 s]
/proc/loadavg: 8.15 8.12 8.07 9/314 18807
/proc/meminfo: memFree=16503244/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1628768 CPUtime=3041.35 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1549231 0 0 0 303590 545 0 0 25 0 4 0 651570722 1667858432 324866 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 407192 324866 379 95 0 402174 0
[pid=18768/tid=18770] ppid=18765 vsize=1628768 CPUtime=762.23 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 406358 0 0 0 76085 138 0 0 25 0 4 0 651570722 1667858432 324866 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1628768 CPUtime=762.24 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 352326 0 0 0 76094 130 0 0 25 0 4 0 651570722 1667858432 324866 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1628768 CPUtime=755.11 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 394742 0 0 0 75373 138 0 0 25 0 4 0 651570722 1667858432 324866 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.35
Current children cumulated vsize (KiB) 1628768

[startup+822.301 s]
/proc/loadavg: 8.16 8.13 8.08 9/314 18809
/proc/meminfo: memFree=16402408/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1723616 CPUtime=3280.74 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1642834 0 0 0 327491 583 0 0 25 0 4 0 651570722 1764982784 329860 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 430904 329860 379 95 0 425886 0
[pid=18768/tid=18770] ppid=18765 vsize=1723616 CPUtime=822.23 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 425582 0 0 0 82076 147 0 0 25 0 4 0 651570722 1764982784 329860 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1723616 CPUtime=822.23 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 377166 0 0 0 82083 140 0 0 25 0 4 0 651570722 1764982784 329860 33554432000 4194304 4580107 140733854725728 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1723616 CPUtime=814.5 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 417306 0 0 0 81304 146 0 0 25 0 4 0 651570722 1764982784 329860 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.74
Current children cumulated vsize (KiB) 1723616

[startup+882.3 s]
/proc/loadavg: 8.16 8.13 8.08 9/314 18810
/proc/meminfo: memFree=16385644/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1662104 CPUtime=3520.13 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1730736 0 0 0 351395 618 0 0 25 0 4 0 651570722 1701994496 337242 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 415526 337242 379 95 0 410508 0
[pid=18768/tid=18770] ppid=18765 vsize=1662104 CPUtime=882.23 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 448322 0 0 0 88066 157 0 0 25 0 4 0 651570722 1701994496 337243 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1662104 CPUtime=882.24 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 396663 0 0 0 88076 148 0 0 25 0 4 0 651570722 1701994496 337243 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1662104 CPUtime=873.9 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 437980 0 0 0 87236 154 0 0 25 0 4 0 651570722 1701994496 337243 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.13
Current children cumulated vsize (KiB) 1662104

[startup+942.301 s]
/proc/loadavg: 8.09 8.12 8.08 9/314 18812
/proc/meminfo: memFree=16327456/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1741300 CPUtime=3759.51 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1822343 0 0 0 375293 658 0 0 25 0 4 0 651570722 1783091200 350489 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 435325 350489 379 95 0 430307 0
[pid=18768/tid=18770] ppid=18765 vsize=1741300 CPUtime=942.22 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 473661 0 0 0 94056 166 0 0 25 0 4 0 651570722 1783091200 350489 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1741300 CPUtime=942.24 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 421642 0 0 0 94064 160 0 0 25 0 4 0 651570722 1783091200 350489 33554432000 4194304 4580107 140733854725728 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1741300 CPUtime=933.3 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 456373 0 0 0 93168 162 0 0 25 0 4 0 651570722 1783091200 350489 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.51
Current children cumulated vsize (KiB) 1741300

[startup+1002.3 s]
/proc/loadavg: 8.10 8.12 8.08 9/314 18813
/proc/meminfo: memFree=16309204/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1742816 CPUtime=3998.93 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 1916198 0 0 0 399199 694 0 0 25 0 4 0 651570722 1784643584 344776 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 435704 344777 379 95 0 430686 0
[pid=18768/tid=18770] ppid=18765 vsize=1742816 CPUtime=1002.23 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 499966 0 0 0 100047 176 0 0 25 0 4 0 651570722 1784643584 344779 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1742816 CPUtime=1002.24 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 444234 0 0 0 100055 169 0 0 25 0 4 0 651570722 1784643584 344779 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1742816 CPUtime=992.7 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 480517 0 0 0 99099 171 0 0 25 0 4 0 651570722 1784643584 344779 33554432000 4194304 4580107 140733854725728 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.93
Current children cumulated vsize (KiB) 1742816

[startup+1062.3 s]
/proc/loadavg: 8.04 8.10 8.08 9/314 18815
/proc/meminfo: memFree=16335708/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1728132 CPUtime=4238.28 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 2010818 0 0 0 423096 732 0 0 25 0 4 0 651570722 1769607168 340495 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 432033 340495 379 95 0 427015 0
[pid=18768/tid=18770] ppid=18765 vsize=1728132 CPUtime=1062.21 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 521123 0 0 0 106036 185 0 0 25 0 4 0 651570722 1769607168 340495 33554432000 4194304 4580107 140733854725728 18446744073709551615 4322729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1728132 CPUtime=1062.22 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 464784 0 0 0 106044 178 0 0 25 0 4 0 651570722 1769607168 340495 33554432000 4194304 4580107 140733854725728 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1728132 CPUtime=1052.1 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 506869 0 0 0 105029 181 0 0 25 0 4 0 651570722 1769607168 340495 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.28
Current children cumulated vsize (KiB) 1728132

[startup+1122.31 s]
/proc/loadavg: 8.09 8.11 8.08 9/314 18817
/proc/meminfo: memFree=16325752/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1697600 CPUtime=4477.7 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 2093992 0 0 0 447006 764 0 0 25 0 4 0 651570722 1738342400 338641 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 424400 338641 379 95 0 419382 0
[pid=18768/tid=18770] ppid=18765 vsize=1697600 CPUtime=1122.22 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 539396 0 0 0 112029 193 0 0 25 0 4 0 651570722 1738342400 338641 33554432000 4194304 4580107 140733854725728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1697600 CPUtime=1122.23 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 486966 0 0 0 112036 187 0 0 25 0 4 0 651570722 1738342400 338641 33554432000 4194304 4580107 140733854725728 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1697600 CPUtime=1111.5 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 525336 0 0 0 110961 189 0 0 25 0 4 0 651570722 1738342400 338641 33554432000 4194304 4580107 140733854725728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.7
Current children cumulated vsize (KiB) 1697600

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 8.08 9/314 18818
/proc/meminfo: memFree=16431492/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1618944 CPUtime=4717.04 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 2186035 0 0 0 470903 801 0 0 25 0 4 0 651570722 1657798656 317570 33554432000 4194304 4580107 140733854725728 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 404736 317570 379 95 0 399718 0
[pid=18768/tid=18770] ppid=18765 vsize=1618944 CPUtime=1182.2 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 561711 0 0 0 118017 203 0 0 25 0 4 0 651570722 1657798656 317570 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1618944 CPUtime=1182.22 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 507687 0 0 0 118025 197 0 0 25 0 4 0 651570722 1657798656 317570 33554432000 4194304 4580107 140733854725728 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1618944 CPUtime=1170.89 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 548147 0 0 0 116892 197 0 0 25 0 4 0 651570722 1657798656 317570 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.04
Current children cumulated vsize (KiB) 1618944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 8.09 9/314 18819
/proc/meminfo: memFree=16187932/32950928 swapFree=67111348/67111528
[pid=18768] ppid=18765 vsize=1814324 CPUtime=4800.05 cores=1,3,5,7
/proc/18768/stat : 18768 (strangenight2-m) R 18765 18768 18635 0 -1 4202496 2240471 0 0 0 479188 817 0 0 25 0 4 0 651570722 1857867776 371345 33554432000 4194304 4580107 140733854725728 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18768/statm: 453581 371345 379 95 0 448563 0
[pid=18768/tid=18770] ppid=18765 vsize=1814324 CPUtime=1203.01 cores=1,3,5,7
/proc/18768/task/18770/stat : 18770 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 569288 0 0 0 120095 206 0 0 25 0 4 0 651570722 1857867776 371350 33554432000 4194304 4580107 140733854725728 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18768/tid=18771] ppid=18765 vsize=1814324 CPUtime=1203.04 cores=1,3,5,7
/proc/18768/task/18771/stat : 18771 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 539626 0 0 0 120099 205 0 0 25 0 4 0 651570722 1857867776 371351 33554432000 4194304 4580107 140733854725728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18768/tid=18772] ppid=18765 vsize=1814324 CPUtime=1191.48 cores=1,3,5,7
/proc/18768/task/18772/stat : 18772 (strangenight2-m) R 18765 18768 18635 0 -1 4202560 555107 0 0 0 118949 199 0 0 25 0 4 0 651570722 1857867776 371351 33554432000 4194304 4580107 140733854725728 18446744073709551615 4294688 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) 1814324

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.19
CPU time (s): 4800.16
CPU user time (s): 4791.92
CPU system time (s): 8.24675
CPU usage (%): 398.954
Max. virtual memory (cumulated for all children) (KiB): 1814324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.92
system time used= 8.24675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2240480
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= 20735
involuntary context switches= 30280

runsolver used 3.3145 second user time and 8.74267 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-14 21:01:51
IDJOB=3366244
IDBENCH=82653
IDSOLVER=1844
FILE ID=node125/3366244-1305399710
RUNJOBID= node125-1305398505-18654
PBS_JOBID= 13324489
Free space on /tmp= 73196 MiB

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

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

MD5SUM BENCH= cd155ee9ac243c838c94577589f0455b
RANDOM SEED=1600722920

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:      18239644 kB
Buffers:        252312 kB
Cached:        4029520 kB
SwapCached:          0 kB
Active:       11122324 kB
Inactive:      3214588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18239644 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8172 kB
Writeback:           0 kB
AnonPages:    10055948 kB
Mapped:          29208 kB
Slab:           274052 kB
PageTables:      35192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 50990288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73184 MiB
End job on node125 at 2011-05-14 21:21:56