Trace number 3173790

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.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
MD5SUM33dd7efc1f63d9d3511c7a69c68ea88b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark112.671
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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-3173790-1304031206.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.00/0.15	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.00/0.15	c -- vars added      40000
0.00/0.42	c Parsing time:  0.13 s
0.00/0.42	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.00/0.42	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.00/0.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
2.01/0.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.01/0.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.01/0.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.01/0.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
2.01/0.59	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
3.55/0.91	c lits-rem:         0  cl-subs:        0  v-elim:   1043  v-fix:    0  time:  0.30 s
3.55/0.91	c Finding binary XORs  T:     0.01 s  found:       0
3.55/0.97	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
3.55/0.97	c calculated reachability. Time: 0.00
3.55/0.98	c Calc default polars -  time:   0.02 s pos:   17784 undec:    4375 neg:   17841
3.55/0.98	c =========================================================================================
3.55/0.98	c types(t): F = full restart, N = normal restart
3.55/0.98	c types(t): S = simplification begin/end, E = solution found
3.55/0.98	c restart types(rt): st = static, dy = dynamic
3.55/0.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.55/0.98	c  B st     0         0     38957    166841         0         0    506762         0   no data   no data
12.33/3.15	c  N dy    17      4074     38957    166841         0      4072    506762   1307511    183.81    197.80
21.12/5.34	c  N dy    44      8189     38957    166841         0      8187    506762   2443463    183.70    194.92
29.91/7.53	c  N dy    71     12271     38957    166841         0     12268    506762   3558244    183.07    194.70
38.30/9.67	c  N dy    90     16299     38957    166841         0     16296    506762   4630200    180.09    191.42
47.48/11.91	c  N dy   115     20354     38957    166841         0     10352    506762    770040    178.48    189.96
55.87/14.09	c  N dy   145     24462     38957    166841         0     14460    506762   1870092    178.65    190.23
57.07/14.37	c  F st   149     25002     38957    166841         0     15000    506762   2016764    178.95   no data
69.05/17.33	c  N dy   155     30000     38957    166841         0     19998    506762   3914808    178.95   no data
69.05/17.33	c  S st   155     30000     38957    166841         0     19998    506762   3914808    178.95   no data
70.26/17.61	c  S st   155     30501     38957    166841         0     20499    506762   4018277    178.95   no data
70.26/17.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
71.07/17.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
71.47/17.93	c blocked clauses removed:      744 vars:    120 tried:       38957 T: 0.02 s
71.47/17.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
71.47/17.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.47/17.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38837 time:  0.01 s
71.47/17.98	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
72.65/18.22	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.23 s
74.25/18.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.24/19.66	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.98 s
79.04/19.86	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.20
79.04/19.87	c calculated reachability. Time: 0.00
79.04/19.87	c  N dy   155     30501     38820    166081         0     20224    504593   3885507    178.95   no data
88.23/22.13	c  N dy   182     34550     38820    166081         0     24273    504593   4953209    178.68    190.38
97.83/24.56	c  N dy   211     38609     38820    166081         0     28332    504593   6052460    178.88    190.70
107.39/26.97	c  N dy   238     42822     38820    166081         0     17183    504593   1298287    178.30    193.53
113.78/28.58	c  S st   259     45751     38820    166081         0     20112    504593   2096678    178.42   no data
115.00/28.87	c  S st   259     46255     38820    166081         0     20616    504593   2201209    178.42   no data
115.00/28.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
116.18/29.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
116.18/29.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.18/29.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
116.18/29.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
116.58/29.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
116.58/29.22	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
117.38/29.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
117.78/29.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.40/29.93	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.32 s
119.40/29.96	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
119.80/30.00	c vivif2 --  cl tried    20615 cl shrink        0 lits rem          0 time: 0.04
120.57/30.20	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.20
120.57/30.21	c calculated reachability. Time: 0.00
120.57/30.21	c  N dy   259     46255     38820    166081         0     20615    504593   2200887    178.42   no data
129.36/32.48	c  N dy   286     50309     38820    166081         0     24668    504593   3277759    178.18    192.29
138.56/34.80	c  N dy   315     54326     38820    166081         0     28684    504593   4356552    178.39    188.54
148.14/37.18	c  N dy   343     58377     38820    166081         0     32735    504593   5470037    178.68    236.09
158.13/39.60	c  N dy   372     62380     38820    166081         0     36738    504593   6578237    178.84    196.81
167.33/41.90	c  N dy   401     66385     38820    166081         0     22062    504593   1717978    178.95    193.19
173.71/43.58	c  S st   421     69382     38820    166081         0     25059    504593   2482500    178.59    190.54
174.91/43.86	c  S st   421     69886     38820    166081         0     25563    504593   2583789    178.59   no data
174.91/43.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
176.11/44.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
176.11/44.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.11/44.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
176.11/44.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
176.11/44.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
176.52/44.22	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
177.30/44.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
177.70/44.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
179.71/45.07	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.45 s
180.11/45.10	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
180.11/45.15	c vivif2 --  cl tried    25561 cl shrink        0 lits rem          0 time: 0.05
180.92/45.35	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.21
180.92/45.37	c calculated reachability. Time: 0.00
180.92/45.37	c  N dy   421     69886     38820    166081         0     25561    504593   2582474    178.59   no data
191.68/48.00	c  N dy   452     74357     38820    166081         0     30032    504593   3792897    178.62    191.52
202.89/50.83	c  N dy   483     79157     38820    166081         0     34831    504593   5067933    178.27    196.92
214.86/53.86	c  N dy   518     84236     38820    166081         0     39909    504593   6439334    178.36    191.23
222.85/55.83	c  F st   541     87500     38820    166081         0     22334    504593   1145238    178.46   no data
231.23/57.95	c  N st   546     90794     38820    166081         0     25628    504593   2465136    178.46   no data
244.82/61.34	c  N dy   576     96615     38820    166081         0     31449    504593   4201506    178.58    189.38
260.01/65.15	c  N dy   624    103008     38820    166081         0     37842    504593   5942449    178.76    189.72
264.41/66.26	c  S st   639    104829     38820    166081         0     39663    504593   6447531    178.83   no data
265.59/66.58	c  S st   639    105332     38820    166081         0     40166    504593   6541084    178.83   no data
265.99/66.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
266.79/66.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
267.19/66.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.19/66.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
267.19/66.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
267.19/66.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
267.19/66.96	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
267.99/67.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
269.99/67.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
277.18/69.49	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.76 s
277.59/69.52	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
278.00/69.64	c vivif2 --  cl tried    40162 cl shrink        0 lits rem          0 time: 0.12
278.78/69.88	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.24
278.78/69.89	c calculated reachability. Time: 0.00
278.78/69.89	c  N dy   639    105332     38820    166081         0     40162    504593   6539766    178.83   no data
295.58/74.06	c  N dy   688    112127     38820    166081         0     24539    504593   1275313    178.96    193.45
312.33/78.30	c  N dy   737    119372     38820    166081         0     31784    504593   3217626    178.84    193.68
331.10/82.93	c  N dy   795    127082     38820    166081         0     39494    504593   5318000    179.11    192.19
351.47/88.08	c  N dy   850    135461     38820    166081         0     24167    504593    781654    179.04    192.06
371.85/93.13	c  N dy   910    144245     38820    166081         0     32950    504593   3121347    178.86    190.67
394.22/98.76	c  N dy   975    153583     38820    166081         0     42288    504593   5694875    179.06    190.44
405.03/101.48	c  S st  1005    157998     38820    166081         0     46702    504593   6886706    179.08    177.74
406.60/101.80	c  S st  1005    158499     38820    166081         0     47203    504593   6983768    179.08   no data
406.60/101.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
407.40/102.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
407.80/102.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
407.80/102.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
407.80/102.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
407.80/102.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
407.80/102.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
409.00/102.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
410.99/102.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
420.18/105.28	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.33 s
420.58/105.31	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
420.98/105.45	c vivif2 --  cl tried    47201 cl shrink        0 lits rem          0 time: 0.14
422.18/105.70	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.25
422.18/105.71	c calculated reachability. Time: 0.00
422.18/105.71	c  N dy  1005    158499     38820    166081         0     47201    504593   6983355    179.08   no data
446.96/111.95	c  N dy  1078    168826     38820    166081         0     32671    504593   2772147    179.26    194.84
473.32/118.56	c  N dy  1148    179744     38820    166081         0     43588    504593   5722937    179.14    188.82
501.69/125.64	c  N dy  1219    191261     38820    166081         0     29180    504593   1478143    179.02    193.48
531.23/133.00	c  N dy  1301    203570     38820    166081         0     41488    504593   4809007    178.98    188.42
563.62/141.13	c  N dy  1388    216588     38820    166081         0     27546    504593    719261    179.04    189.56
597.15/149.50	c  N dy  1480    230452     38820    166081         0     41410    504593   4469534    178.99    188.43
615.13/154.06	c  S st  1533    237749     38820    166081         0     48706    504593   6441582    178.97   no data
616.35/154.37	c  S st  1533    238253     38820    166081         0     49210    504593   6535322    178.97   no data
616.73/154.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
617.53/154.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
617.93/154.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.93/154.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
617.93/154.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
617.93/154.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
617.93/154.76	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
618.73/154.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
620.74/155.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
630.31/157.80	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.36 s
630.31/157.83	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
630.70/157.95	c vivif2 --  cl tried    49207 cl shrink        0 lits rem          0 time: 0.13
631.91/158.21	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.25
631.91/158.22	c calculated reachability. Time: 0.00
631.91/158.22	c  N dy  1533    238253     38820    166081         0     49207    504593   6533812    178.97   no data
669.08/167.58	c  N dy  1631    253492     38820    166081         0     36466    504593   2801064    178.86    192.14
709.40/177.66	c  N dy  1735    269682     38820    166081         0     52656    504593   7155233    178.71    190.77
752.95/188.52	c  N dy  1868    286968     38820    166081         0     40949    504593   3826543    179.11    190.41
799.69/200.22	c  N dy  1998    305437     38820    166081         0     59416    504593   8853926    179.19    191.46
802.09/200.82	c  F st  2005    306252     38820    166081         0     30241    504593    597557    179.24    278.06
849.61/212.70	c  N dy  2109    325164     38820    166081         0     49150    504593   6513494    179.37    189.67
900.34/225.44	c  N dy  2251    345239     38820    166081         0     38227    504593   2496170    179.46    206.11
930.71/233.02	c  S st  2337    357380     38820    166081         0     50367    504593   5859733    179.56    164.16
931.91/233.35	c  S st  2337    357881     38820    166081         0     50868    504593   5958526    179.56   no data
931.91/233.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
933.11/233.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
933.11/233.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
933.11/233.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
933.51/233.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
933.51/233.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
933.51/233.74	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
934.30/233.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
935.90/234.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
945.09/236.65	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.27 s
945.09/236.68	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
945.51/236.79	c vivif2 --  cl tried    50866 cl shrink        0 lits rem          0 time: 0.12
946.68/237.05	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.26
946.68/237.06	c calculated reachability. Time: 0.00
946.68/237.06	c  N dy  2337    357881     38820    166081         0     50866    504593   5958146    179.56   no data
998.24/249.94	c  N dy  2480    377985     38820    166081         0     38973    504593   2442768    179.67    216.23
1049.34/262.72	c  N dy  2615    398137     38820    166081         0     59125    504593   7889102    179.71    190.64
1100.48/275.54	c  N dy  2758    418218     38820    166081         0     46209    504593   4181205    179.85    189.48
1152.81/288.69	c  N dy  2900    438379     38820    166081         0     66368    504593   9762654    180.01    197.08
1203.54/301.32	c  N dy  3035    458470     38820    166081         0     52459    504593   5560500    180.03    196.62
1255.87/314.44	c  N dy  3175    478536     38820    166081         0     37527    504593   1199422    179.99    192.58
1306.60/327.12	c  N dy  3314    498680     38820    166081         0     57671    504593   6644441    180.00    196.53
1358.95/340.21	c  N dy  3453    518792     38820    166081         0     41785    504593   2097161    180.03    191.10
1404.87/351.78	c  S st  3575    536821     38820    166081         0     59814    504593   7025581    180.07    178.48
1406.47/352.11	c  S st  3575    537322     38820    166081         0     60315    504593   7135401    180.07   no data
1406.47/352.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1407.66/352.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
1407.66/352.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1407.66/352.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1407.66/352.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1408.06/352.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
1408.06/352.52	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1408.86/352.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
1410.87/353.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1423.64/356.45	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.19 s
1423.64/356.47	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
1424.45/356.61	c vivif2 --  cl tried    60312 cl shrink        0 lits rem          0 time: 0.14
1425.23/356.89	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.27
1425.63/356.90	c calculated reachability. Time: 0.00
1425.63/356.90	c  N dy  3575    537322     38820    166081         0     60312    504593   7133978    180.07   no data
1478.77/370.26	c  N dy  3714    557542     38820    166081         0     43530    504593   2297801    180.13    192.28
1531.50/383.43	c  N dy  3854    577744     38820    166081         0     63732    504593   7915841    180.21    192.17
1584.63/396.70	c  N dy  3999    597748     38820    166081         0     45737    504593   2651397    180.30    195.08
1636.96/409.86	c  N dy  4141    617905     38820    166081         0     65894    504593   8174282    180.35    191.52
1690.09/423.13	c  N dy  4273    637978     38820    166081         0     46970    504593   2842694    180.39    192.45
1742.02/436.13	c  N dy  4402    658009     38820    166081         0     67000    504593   8258099    180.36    190.13
1795.54/449.50	c  N dy  4538    678065     38820    166081         0     47054    504593   2422657    180.39    191.81
1848.25/462.77	c  N dy  4668    698170     38820    166081         0     67158    504593   7920988    180.36    190.24
1902.98/476.48	c  N dy  4812    718258     38820    166081         0     46245    504593   1979443    180.47    191.99
1955.31/489.51	c  N dy  4947    738260     38820    166081         0     66247    504593   7492804    180.43    223.24
2010.43/503.32	c  N dy  5086    758278     38820    166081         0     44270    504593   1156818    180.45    190.25
2062.36/516.35	c  N dy  5226    778334     38820    166081         0     64326    504593   6717925    180.53    211.28
2117.08/530.05	c  N dy  5358    798379     38820    166081         0     84369    504593  12112815    180.48    192.62
2137.05/535.09	c  S st  5415    805983     38820    166081         0     48973    504593   2178473    180.52   no data
2138.66/535.42	c  S st  5415    806486     38820    166081         0     49476    504593   2288167    180.52   no data
2138.66/535.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2139.86/535.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2139.86/535.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2139.86/535.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2139.86/535.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2139.86/535.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
2140.26/535.81	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2141.08/536.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2141.45/536.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2144.65/536.94	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.75 s
2144.65/536.97	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
2145.06/537.02	c vivif2 --  cl tried    49473 cl shrink        0 lits rem          0 time: 0.05
2145.84/537.27	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.25
2145.84/537.28	c calculated reachability. Time: 0.00
2145.84/537.28	c  N dy  5415    806486     38820    166081         0     49473    504593   2287293    180.52   no data
2198.97/550.55	c  N dy  5554    826543     38820    166081         0     69530    504593   7840162    180.62    196.37
2254.92/564.51	c  N dy  5684    846642     38820    166081         0     45626    504593    956090    180.59    194.33
2306.84/577.58	c  N dy  5823    866669     38820    166081         0     65653    504593   6433254    180.63    201.53
2362.75/591.59	c  N dy  5966    886681     38820    166081         0     85664    504593  12068553    180.74    208.29
2416.68/605.09	c  N dy  6107    906775     38820    166081         0     60756    504593   4927907    180.80    194.59
2471.80/618.88	c  N dy  6247    926910     38820    166081         0     80889    504593  10479265    180.84    197.46
2526.39/632.51	c  N dy  6376    946956     38820    166081         0     54942    504593   3008089    180.84    199.43
2580.71/646.14	c  N dy  6517    967152     38820    166081         0     75138    504593   8690612    180.91    194.44
2637.05/660.30	c  N dy  6644    987224     38820    166081         0     48209    504593    880969    180.87    192.32
2689.78/673.45	c  N dy  6781   1007294     38820    166081         0     68276    504593   6343216    180.87    191.85
2746.08/687.55	c  N dy  6923   1027371     38820    166081         0     88351    504593  11934320    180.92    191.14
2800.41/701.18	c  N dy  7054   1047458     38820    166081         0     60439    504593   3933639    180.92    200.07
2854.34/714.68	c  N dy  7180   1067465     38820    166081         0     80446    504593   9300277    180.86    230.25
2867.12/717.88	c  F st  7214   1071876     38820    166081         0     84856    504593  10537681    180.88   no data
2913.06/729.31	c  N dy  7298   1087660     38820    166081         0     51642    504593   1239103    180.90    197.37
2967.01/742.84	c  N dy  7440   1107932     38820    166081         0     71913    504593   6873110    180.91    190.70
3024.13/757.18	c  N dy  7580   1127972     38820    166081         0     91952    504593  12472061    180.96    191.65
3079.23/770.98	c  N dy  7720   1148054     38820    166081         0     62037    504593   3812586    180.97    191.55
3134.36/784.74	c  N dy  7859   1168101     38820    166081         0     82083    504593   9334523    180.99    267.81
3192.67/799.30	c  N dy  7990   1188122     38820    166081         0     51109    504593    573025    180.97    193.48
3246.60/812.85	c  N dy  8133   1208359     38820    166081         0     71345    504593   6123755    180.99    195.46
3250.59/813.80	c  S st  8143   1209729     38820    166081         0     72715    504593   6486426    180.99   no data
3251.80/814.20	c  S st  8143   1210233     38820    166081         0     73219    504593   6591628    180.99   no data
3252.21/814.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3253.39/814.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.29
3253.39/814.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3253.39/814.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3253.79/814.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3253.79/814.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
3253.79/814.64	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3254.59/814.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
3256.61/815.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3270.19/818.72	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.33 s
3270.19/818.74	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
3270.56/818.88	c vivif2 --  cl tried    73215 cl shrink        0 lits rem          0 time: 0.13
3271.76/819.18	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.30
3271.76/819.19	c calculated reachability. Time: 0.00
3271.76/819.19	c  N dy  8143   1210233     38820    166081         0     73215    504593   6590905    180.99   no data
3328.88/833.46	c  N dy  8283   1230353     38820    166081         0     93332    504593  12103290    181.00    193.48
3385.60/847.61	c  N dy  8422   1250366     38820    166081         0     61349    504593   3100373    181.04    220.30
3440.73/861.43	c  N dy  8560   1270398     38820    166081         0     81380    504593   8615621    181.06    192.53
3499.04/876.02	c  N dy  8698   1290455     38820    166081         0    101437    504593  14201259    181.09    247.76
3553.36/889.61	c  N dy  8829   1310527     38820    166081         0     68513    504593   4774232    181.08    229.52
3609.69/903.70	c  N dy  8960   1330612     38820    166081         0     88597    504593  10341208    181.10    197.76
3670.41/918.96	c  N dy  9102   1350991     38820    166081         0     54972    504593    829687    181.11    198.10
3724.73/932.53	c  N dy  9243   1371046     38820    166081         0     75027    504593   6372528    181.15    203.99
3781.46/946.78	c  N dy  9373   1391091     38820    166081         0     95071    504593  11864181    181.13    191.49
3840.17/961.45	c  N dy  9504   1411129     38820    166081         0     60112    504593   1984919    181.15    191.88
3894.50/975.09	c  N dy  9638   1431159     38820    166081         0     80142    504593   7475473    181.15    193.14
3952.81/989.64	c  N dy  9772   1451233     38820    166081         0    100215    504593  12978100    181.14    212.93
4011.94/1004.47	c  N dy  9923   1471353     38820    166081         0     64336    504593   2919402    181.21    199.64
4067.45/1018.38	c  N dy 10058   1491537     38820    166081         0     84519    504593   8477324    181.20    194.38
4126.99/1033.28	c  N dy 10201   1511660     38820    166081         0    104639    504593  14008880    181.21    191.56
4185.28/1047.85	c  N dy 10347   1531828     38820    166081         0     67807    504593   3551776    181.24    191.11
4241.61/1061.98	c  N dy 10488   1551916     38820    166081         0     87892    504593   9070956    181.25    195.80
4301.92/1077.00	c  N dy 10622   1572038     38820    166081         0    108013    504593  14519847    181.24    193.58
4358.64/1091.28	c  N dy 10754   1592120     38820    166081         0     70101    504593   3838610    181.22    197.30
4416.17/1105.60	c  N dy 10904   1612222     38820    166081         0     90202    504593   9491552    181.29    192.29
4475.68/1120.54	c  N dy 11034   1632233     38820    166081         0    110210    504593  14965609    181.27    192.63
4533.20/1134.96	c  N dy 11172   1652291     38820    166081         0     71272    504593   3986282    181.29    192.49
4590.32/1149.28	c  N dy 11317   1672371     38820    166081         0     91352    504593   9553023    181.30    191.86
4651.04/1164.40	c  N dy 11458   1692428     38820    166081         0    111409    504593  15103289    181.32    193.39
4702.96/1177.43	c  S st 11579   1710234     38820    166081         0     69217    504593   3112612    181.31   no data
4704.17/1177.79	c  S st 11579   1710737     38820    166081         0     69720    504593   3212109    181.31   no data
4704.57/1177.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4705.37/1178.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4705.77/1178.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4705.77/1178.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4705.77/1178.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4705.77/1178.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
4706.17/1178.21	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4706.98/1178.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4707.76/1178.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4715.36/1180.58	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.92 s
4715.77/1180.61	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
4715.77/1180.68	c vivif2 --  cl tried    69718 cl shrink        0 lits rem          0 time: 0.07
4716.95/1180.97	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.29
4716.95/1180.98	c calculated reachability. Time: 0.00
4716.95/1180.98	c  N dy 11579   1710737     38820    166081         0     69718    504593   3211855    181.31   no data
4773.67/1195.16	c  N dy 11719   1730742     38820    166081         0     89721    504593   8675076    181.31    194.51

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3173790-1304031206/watcher-3173790-1304031206 -o /tmp/evaluation-result-3173790-1304031206/solver-3173790-1304031206 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173790-1304031206.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.24 8.17 7.52 6/180 11948
/proc/meminfo: memFree=29212440/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 514720996 52441088 347 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640915953 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 12803 347 299 106 0 7774 0
[pid=11948/tid=11949] ppid=11946 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514720996 52441088 347 33554432000 4194304 4627427 140734574517776 18446744073709551615 46995823355824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514720996 52441088 347 33554432000 4194304 4627427 140734574517776 18446744073709551615 46995823355826 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514720996 52441088 347 33554432000 4194304 4627427 140734574517776 18446744073709551615 253652657206 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0661151 s]
/proc/loadavg: 8.24 8.17 7.52 6/180 11948
/proc/meminfo: memFree=29212440/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=322792 CPUtime=0.3 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 21997 0 0 0 27 3 0 0 18 0 4 0 514720996 330539008 17812 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640515541 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 81154 18461 339 106 0 76125 0
[pid=11948/tid=11949] ppid=11946 vsize=324616 CPUtime=0.07 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) D 11946 11948 11656 0 -1 4202560 6002 0 0 0 7 0 0 0 18 0 4 0 514720996 332406784 18900 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=326040 CPUtime=0.11 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) D 11946 11948 11656 0 -1 4202560 6245 0 0 0 10 1 0 0 18 0 4 0 514720996 333864960 21758 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640556744 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=327660 CPUtime=0.11 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) D 11946 11948 11656 0 -1 4202560 6535 0 0 0 11 0 0 0 18 0 4 0 514720996 335523840 22234 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640556912 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 322792

[startup+0.494039 s]
/proc/loadavg: 8.24 8.17 7.52 6/180 11948
/proc/meminfo: memFree=29212440/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=348680 CPUtime=1.96 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 38250 0 0 0 189 7 0 0 18 0 4 0 514720996 357048320 33973 33554432000 4194304 4627427 140734574517776 18446744073709551615 4415910 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 87539 34543 371 106 0 82510 0
[pid=11948/tid=11949] ppid=11946 vsize=350288 CPUtime=0.48 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) D 11946 11948 11656 0 -1 4202560 10765 0 0 0 47 1 0 0 18 0 4 0 514720996 358694912 34679 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640520389 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=350288 CPUtime=0.49 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) D 11946 11948 11656 0 -1 4202560 10333 0 0 0 48 1 0 0 18 0 4 0 514720996 358694912 34679 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=350288 CPUtime=0.48 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 7168 0 0 0 48 0 0 0 18 0 4 0 514720996 358694912 34679 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 348680

[startup+0.514283 s]
/proc/loadavg: 8.24 8.17 7.52 6/180 11948
/proc/meminfo: memFree=29212440/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=352844 CPUtime=2.01 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) D 11946 11948 11656 0 -1 4202496 39595 0 0 0 194 7 0 0 18 0 4 0 514720996 361312256 35318 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640902839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 88211 35319 371 106 0 83182 0
[pid=11948/tid=11949] ppid=11946 vsize=352844 CPUtime=0.49 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) D 11946 11948 11656 0 -1 4202560 10977 0 0 0 48 1 0 0 18 0 4 0 514720996 361312256 35319 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640885354 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=352976 CPUtime=0.49 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 10548 0 0 0 48 1 0 0 18 0 4 0 514720996 361447424 35321 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=352976 CPUtime=0.49 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 7172 0 0 0 49 0 0 0 18 0 4 0 514720996 361447424 35321 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 352844

[startup+0.700344 s]
/proc/loadavg: 8.24 8.17 7.52 6/180 11948
/proc/meminfo: memFree=29212440/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=369184 CPUtime=2.74 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 51704 0 0 0 265 9 0 0 18 0 4 0 514720996 378044416 44154 33554432000 4194304 4627427 140734574517776 18446744073709551615 4429738 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 92296 44154 379 106 0 87267 0
[pid=11948/tid=11949] ppid=11946 vsize=369184 CPUtime=0.68 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 15259 0 0 0 66 2 0 0 18 0 4 0 514720996 378044416 44154 33554432000 4194304 4627427 140734574517776 18446744073709551615 4431021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=369184 CPUtime=0.68 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 14378 0 0 0 66 2 0 0 18 0 4 0 514720996 378044416 44154 33554432000 4194304 4627427 140734574517776 18446744073709551615 253640556640 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=369184 CPUtime=0.67 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 7275 0 0 0 67 0 0 0 18 0 4 0 514720996 378044416 44154 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 369184

[startup+1.50119 s]
/proc/loadavg: 8.22 8.16 7.52 9/184 11952
/proc/meminfo: memFree=29042392/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=362340 CPUtime=5.94 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 57301 0 0 0 584 10 0 0 19 0 4 0 514720996 371036160 41847 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 90585 41847 385 106 0 85556 0
[pid=11948/tid=11949] ppid=11946 vsize=362340 CPUtime=1.47 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 17458 0 0 0 145 2 0 0 19 0 4 0 514720996 371036160 41847 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=362340 CPUtime=1.47 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 16011 0 0 0 145 2 0 0 20 0 4 0 514720996 371036160 41847 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=362340 CPUtime=1.47 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 7734 0 0 0 147 0 0 0 19 0 4 0 514720996 371036160 41847 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 362340

[startup+3.1009 s]
/proc/loadavg: 8.22 8.16 7.52 9/184 11952
/proc/meminfo: memFree=29025652/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=493604 CPUtime=12.33 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 61065 0 0 0 1221 12 0 0 22 0 4 0 514720996 505450496 45507 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 123401 45507 385 106 0 118372 0
[pid=11948/tid=11949] ppid=11946 vsize=493604 CPUtime=3.08 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 18502 0 0 0 305 3 0 0 22 0 4 0 514720996 505450496 45507 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=493604 CPUtime=3.07 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 16929 0 0 0 304 3 0 0 25 0 4 0 514720996 505450496 45507 33554432000 4194304 4627427 140734574517776 18446744073709551615 4330825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=493604 CPUtime=3.08 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 8580 0 0 0 307 1 0 0 25 0 4 0 514720996 505450496 45507 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332298 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 493604

[startup+6.30032 s]
/proc/loadavg: 8.20 8.16 7.53 9/184 11952
/proc/meminfo: memFree=28983996/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=493604 CPUtime=25.12 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 67760 0 0 0 2498 14 0 0 25 0 4 0 514720996 505450496 52202 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 123401 52202 385 106 0 118372 0
[pid=11948/tid=11949] ppid=11946 vsize=493604 CPUtime=6.28 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 20250 0 0 0 625 3 0 0 25 0 4 0 514720996 505450496 52202 33554432000 4194304 4627427 140734574517776 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=493604 CPUtime=6.25 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 18590 0 0 0 622 3 0 0 25 0 4 0 514720996 505450496 52202 33554432000 4194304 4627427 140734574517776 18446744073709551615 4321673 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=493604 CPUtime=6.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 10246 0 0 0 626 1 0 0 25 0 4 0 514720996 505450496 52202 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 493604

[startup+12.7012 s]
/proc/loadavg: 8.27 8.18 7.53 9/184 11952
/proc/meminfo: memFree=29026608/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=396020 CPUtime=50.68 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 88346 0 0 0 5049 19 0 0 25 0 4 0 514720996 405524480 46823 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 99005 46825 386 106 0 93976 0
[pid=11948/tid=11949] ppid=11946 vsize=396020 CPUtime=12.67 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 25412 0 0 0 1263 4 0 0 25 0 4 0 514720996 405524480 46825 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=396020 CPUtime=12.61 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 23722 0 0 0 1256 5 0 0 25 0 4 0 514720996 405524480 46825 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=396020 CPUtime=12.68 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 15374 0 0 0 1266 2 0 0 25 0 4 0 514720996 405524480 46825 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 396020

[startup+25.5008 s]
/proc/loadavg: 7.93 8.10 7.52 9/184 11983
/proc/meminfo: memFree=29886708/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=685476 CPUtime=101.82 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 168963 0 0 0 10145 37 0 0 25 0 4 0 514720996 701927424 105665 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 171369 105665 390 106 0 166340 0
[pid=11948/tid=11949] ppid=11946 vsize=685476 CPUtime=25.48 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 60504 0 0 0 2537 11 0 0 25 0 4 0 514720996 701927424 105665 33554432000 4194304 4627427 140734574517776 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=685476 CPUtime=25.34 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 32266 0 0 0 2527 7 0 0 25 0 4 0 514720996 701927424 105665 33554432000 4194304 4627427 140734574517776 18446744073709551615 4297684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=685476 CPUtime=25.48 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 24014 0 0 0 2543 5 0 0 25 0 4 0 514720996 701927424 105665 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 685476

[startup+51.1012 s]
/proc/loadavg: 8.07 8.12 7.54 9/184 11984
/proc/meminfo: memFree=29586976/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=913080 CPUtime=204.07 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 252562 0 0 0 20349 58 0 0 25 0 4 0 514720996 934993920 138646 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 228270 138646 390 106 0 223241 0
[pid=11948/tid=11949] ppid=11946 vsize=913080 CPUtime=51.08 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 77007 0 0 0 5091 17 0 0 25 0 4 0 514720996 934993920 138646 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=913080 CPUtime=50.81 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 55632 0 0 0 5068 13 0 0 25 0 4 0 514720996 934993920 138646 33554432000 4194304 4627427 140734574517776 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=913080 CPUtime=51.08 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 45832 0 0 0 5099 9 0 0 25 0 4 0 514720996 934993920 138646 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 913080

[startup+102.301 s]
/proc/loadavg: 8.08 8.12 7.57 9/184 11985
/proc/meminfo: memFree=29337576/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=984916 CPUtime=408.6 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 392944 0 0 0 40765 95 0 0 25 0 4 0 514720996 1008553984 184774 33554432000 4194304 4627427 140734574517776 18446744073709551615 4402664 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 246229 184774 390 106 0 241200 0
[pid=11948/tid=11949] ppid=11946 vsize=984916 CPUtime=102.28 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 104814 0 0 0 10203 25 0 0 25 0 4 0 514720996 1008553984 184774 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=984916 CPUtime=101.74 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 94207 0 0 0 10150 24 0 0 25 0 4 0 514720996 1008553984 184774 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=984916 CPUtime=102.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 78989 0 0 0 10211 16 0 0 25 0 4 0 514720996 1008553984 184774 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 984916

[startup+162.301 s]

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

[pid=11948] ppid=11946 vsize=1704396 CPUtime=2565.53 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1344511 0 0 0 256172 381 0 0 25 0 4 0 514720996 1745301504 340466 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 426099 340466 390 106 0 421070 0
[pid=11948/tid=11949] ppid=11946 vsize=1704396 CPUtime=642.12 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 339992 0 0 0 64117 95 0 0 25 0 4 0 514720996 1745301504 340466 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1704396 CPUtime=638.86 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 338629 0 0 0 63784 102 0 0 25 0 4 0 514720996 1745301504 340466 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1704396 CPUtime=642.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 316680 0 0 0 64148 79 0 0 25 0 4 0 514720996 1745301504 340466 33554432000 4194304 4627427 140734574517776 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.53
Current children cumulated vsize (KiB) 1704396

[startup+702.301 s]
/proc/loadavg: 8.14 8.13 7.81 9/184 12013
/proc/meminfo: memFree=28192604/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1737840 CPUtime=2805.21 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1443742 0 0 0 280104 417 0 0 25 0 4 0 514720996 1779548160 343680 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 434460 343680 390 106 0 429431 0
[pid=11948/tid=11949] ppid=11946 vsize=1737840 CPUtime=702.11 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 362368 0 0 0 70108 103 0 0 25 0 4 0 514720996 1779548160 343680 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1737840 CPUtime=698.52 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 365741 0 0 0 69741 111 0 0 25 0 4 0 514720996 1779548160 343680 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1737840 CPUtime=702.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 339475 0 0 0 70140 87 0 0 25 0 4 0 514720996 1779548160 343680 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.21
Current children cumulated vsize (KiB) 1737840

[startup+762.301 s]
/proc/loadavg: 8.05 8.10 7.82 9/184 12015
/proc/meminfo: memFree=28142288/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1755672 CPUtime=3044.88 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1544441 0 0 0 304040 448 0 0 25 0 4 0 514720996 1797808128 354729 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 438918 354729 390 106 0 433889 0
[pid=11948/tid=11949] ppid=11946 vsize=1755672 CPUtime=762.12 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 389774 0 0 0 76098 114 0 0 25 0 4 0 514720996 1797808128 354729 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1755672 CPUtime=758.21 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 393234 0 0 0 75701 120 0 0 25 0 4 0 514720996 1797808128 354729 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308180 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1755672 CPUtime=762.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 363705 0 0 0 76133 94 0 0 25 0 4 0 514720996 1797808128 354729 33554432000 4194304 4627427 140734574517776 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.88
Current children cumulated vsize (KiB) 1755672

[startup+822.301 s]
/proc/loadavg: 8.05 8.10 7.83 9/184 12017
/proc/meminfo: memFree=28171928/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1700212 CPUtime=3284.55 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1629960 0 0 0 327980 475 0 0 25 0 4 0 514720996 1741017088 353574 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 425053 353574 390 106 0 420024 0
[pid=11948/tid=11949] ppid=11946 vsize=1700212 CPUtime=822.11 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 409976 0 0 0 82091 120 0 0 25 0 4 0 514720996 1741017088 353574 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1700212 CPUtime=817.87 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 414247 0 0 0 81660 127 0 0 25 0 4 0 514720996 1741017088 353575 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1700212 CPUtime=822.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 383124 0 0 0 82126 101 0 0 25 0 4 0 514720996 1741017088 353575 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 1700212

[startup+882.301 s]
/proc/loadavg: 8.08 8.09 7.84 9/184 12018
/proc/meminfo: memFree=28152104/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1732616 CPUtime=3524.2 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1730356 0 0 0 351912 508 0 0 25 0 4 0 514720996 1774198784 360486 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 433154 360486 390 106 0 428125 0
[pid=11948/tid=11949] ppid=11946 vsize=1732616 CPUtime=882.11 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 435414 0 0 0 88083 128 0 0 25 0 4 0 514720996 1774198784 360486 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1732616 CPUtime=877.55 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 440978 0 0 0 87618 137 0 0 25 0 4 0 514720996 1774198784 360486 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1732616 CPUtime=882.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 409063 0 0 0 88118 109 0 0 25 0 4 0 514720996 1774198784 360486 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.2
Current children cumulated vsize (KiB) 1732616

[startup+942.301 s]
/proc/loadavg: 8.09 8.09 7.85 9/184 12020
/proc/meminfo: memFree=28092116/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1797644 CPUtime=3763.88 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1816808 0 0 0 375851 537 0 0 25 0 4 0 514720996 1840787456 367546 33554432000 4194304 4627427 140734574517776 18446744073709551615 4302447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 449411 367546 390 106 0 444382 0
[pid=11948/tid=11949] ppid=11946 vsize=1797644 CPUtime=942.11 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 458055 0 0 0 94076 135 0 0 25 0 4 0 514720996 1840787456 367546 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1797644 CPUtime=937.21 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 459346 0 0 0 93578 143 0 0 25 0 4 0 514720996 1840787456 367546 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1797644 CPUtime=942.26 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 429534 0 0 0 94110 116 0 0 25 0 4 0 514720996 1840787456 367546 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.88
Current children cumulated vsize (KiB) 1797644

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 7.87 9/184 12021
/proc/meminfo: memFree=28101328/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1748788 CPUtime=4003.56 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1912124 0 0 0 399791 565 0 0 25 0 4 0 514720996 1790758912 363495 33554432000 4194304 4627427 140734574517776 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 437197 363495 390 106 0 432168 0
[pid=11948/tid=11949] ppid=11946 vsize=1748788 CPUtime=1002.11 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 483264 0 0 0 100069 142 0 0 25 0 4 0 514720996 1790758912 363495 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1748788 CPUtime=996.89 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 485772 0 0 0 99539 150 0 0 25 0 4 0 514720996 1790758912 363495 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1748788 CPUtime=1002.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 451209 0 0 0 100104 123 0 0 25 0 4 0 514720996 1790758912 363495 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.56
Current children cumulated vsize (KiB) 1748788

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 7.88 9/184 12023
/proc/meminfo: memFree=27787772/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1749216 CPUtime=4243.21 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 1999673 0 0 0 423724 597 0 0 25 0 4 0 514720996 1791197184 367166 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 437304 367166 390 106 0 432275 0
[pid=11948/tid=11949] ppid=11946 vsize=1749216 CPUtime=1062.1 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 505515 0 0 0 106061 149 0 0 25 0 4 0 514720996 1791197184 367166 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1749216 CPUtime=1056.55 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 506048 0 0 0 105496 159 0 0 25 0 4 0 514720996 1791197184 367166 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1749216 CPUtime=1062.27 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 471602 0 0 0 106095 132 0 0 25 0 4 0 514720996 1791197184 367166 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.21
Current children cumulated vsize (KiB) 1749216

[startup+1122.31 s]
/proc/loadavg: 8.15 8.11 7.90 9/184 12025
/proc/meminfo: memFree=27737032/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1815212 CPUtime=4482.89 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 2089983 0 0 0 447657 632 0 0 25 0 4 0 514720996 1858777088 380395 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 453803 380395 390 106 0 448774 0
[pid=11948/tid=11949] ppid=11946 vsize=1815212 CPUtime=1122.11 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 530282 0 0 0 112052 159 0 0 25 0 4 0 514720996 1858777088 380395 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1815212 CPUtime=1116.23 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 532080 0 0 0 111452 171 0 0 25 0 4 0 514720996 1858777088 380395 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1815212 CPUtime=1122.26 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 491308 0 0 0 112088 138 0 0 25 0 4 0 514720996 1858777088 380395 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.89
Current children cumulated vsize (KiB) 1815212

[startup+1182.3 s]
/proc/loadavg: 8.18 8.13 7.92 9/184 12026
/proc/meminfo: memFree=27828700/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1816632 CPUtime=4722.54 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 2170788 0 0 0 471595 659 0 0 25 0 4 0 514720996 1860231168 359884 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 454158 359884 390 106 0 449129 0
[pid=11948/tid=11949] ppid=11946 vsize=1816632 CPUtime=1182.1 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 548548 0 0 0 118043 167 0 0 25 0 4 0 514720996 1860231168 359884 33554432000 4194304 4627427 140734574517776 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1816632 CPUtime=1175.89 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 552498 0 0 0 117412 177 0 0 25 0 4 0 514720996 1860231168 359884 33554432000 4194304 4627427 140734574517776 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1816632 CPUtime=1182.26 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 508811 0 0 0 118082 144 0 0 25 0 4 0 514720996 1860231168 359884 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.54
Current children cumulated vsize (KiB) 1816632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.12 7.92 9/184 12027
/proc/meminfo: memFree=27698720/32951124 swapFree=67111364/67111528
[pid=11948] ppid=11946 vsize=1816772 CPUtime=4800.05 cores=0,2,4,6
/proc/11948/stat : 11948 (strangenight2-m) R 11946 11948 11656 0 -1 4202496 2199464 0 0 0 479338 667 0 0 25 0 4 0 514720996 1860374528 374168 33554432000 4194304 4627427 140734574517776 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11948/statm: 454193 374168 390 106 0 449164 0
[pid=11948/tid=11949] ppid=11946 vsize=1816772 CPUtime=1201.51 cores=0,2,4,6
/proc/11948/task/11949/stat : 11949 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 557585 0 0 0 119981 170 0 0 25 0 4 0 514720996 1860374528 374169 33554432000 4194304 4627427 140734574517776 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11948/tid=11950] ppid=11946 vsize=1816772 CPUtime=1195.19 cores=0,2,4,6
/proc/11948/task/11950/stat : 11950 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 559509 0 0 0 119339 180 0 0 25 0 4 0 514720996 1860374528 374169 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=1816772 CPUtime=1201.66 cores=0,2,4,6
/proc/11948/task/11951/stat : 11951 (strangenight2-m) R 11946 11948 11656 0 -1 4202560 514125 0 0 0 120021 145 0 0 25 0 4 0 514720996 1860374528 374169 33554432000 4194304 4627427 140734574517776 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1816772

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): 1201.77
CPU time (s): 4800.14
CPU user time (s): 4793.4
CPU system time (s): 6.73598
CPU usage (%): 399.422
Max. virtual memory (cumulated for all children) (KiB): 1881576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.4
system time used= 6.73597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2199474
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= 3242
involuntary context switches= 20579

runsolver used 1.91571 second user time and 4.46832 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 00:53:26
IDJOB=3173790
IDBENCH=82608
IDSOLVER=1586
FILE ID=node106/3173790-1304031206
RUNJOBID= node106-1304028687-11674
PBS_JOBID= 13170346
Free space on /tmp= 72152 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173790-1304031206/watcher-3173790-1304031206 -o /tmp/evaluation-result-3173790-1304031206/solver-3173790-1304031206 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173790-1304031206.cnf

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

MD5SUM BENCH= 33dd7efc1f63d9d3511c7a69c68ea88b
RANDOM SEED=2019014367

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29212720 kB
Buffers:        208780 kB
Cached:        1964920 kB
SwapCached:         88 kB
Active:        1978848 kB
Inactive:      1548316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29212720 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            8952 kB
Writeback:           0 kB
AnonPages:     1352872 kB
Mapped:          15496 kB
Slab:           144464 kB
PageTables:       7580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1712708 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= 72144 MiB
End job on node106 at 2011-04-29 01:13:30