Trace number 3173727

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.21 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf
MD5SUM33c09da85657b6bbed23989098d6baf7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.0704
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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-3173727-1304030120.cnf'
0.00/0.00	c -- header says num vars:          30000
0.00/0.00	c -- header says num clauses:      126000
0.37/0.10	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.37/0.10	c -- vars added      30000
0.37/0.10	c Parsing time:  0.09 s
0.37/0.10	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.77/0.22	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.77/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
1.19/0.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.19/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.19/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.19/0.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.19/0.41	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.99/0.63	c lits-rem:         0  cl-subs:        0  v-elim:    774  v-fix:    0  time:  0.22 s
1.99/0.64	c Finding binary XORs  T:     0.01 s  found:       0
1.99/0.68	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.99/0.68	c calculated reachability. Time: 0.00
1.99/0.70	c Calc default polars -  time:   0.01 s pos:   13091 undec:    3369 neg:   13540
1.99/0.70	c =========================================================================================
1.99/0.70	c types(t): F = full restart, N = normal restart
1.99/0.70	c types(t): S = simplification begin/end, E = solution found
1.99/0.70	c restart types(rt): st = static, dy = dynamic
1.99/0.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.99/0.70	c  B st     0         0     29226    125173         0         0    380290         0   no data   no data
9.15/2.38	c  N dy    20      4187     29226    125173         0      4187    380290   1139600    148.01    158.65
15.96/4.01	c  N dy    50      8194     29226    125173         0      8194    380290   2112950    153.72    181.06
22.73/5.72	c  N dy    78     12347     29226    125173         0     12347    380290   3071548    152.96    163.78
29.92/7.53	c  N dy   105     16606     29226    125173         0     16605    380290   4032211    151.73    161.36
37.52/9.43	c  N dy   134     20910     29226    125173         0     10911    380290    816437    151.87    160.29
44.30/11.10	c  N dy   162     24942     29226    125173         0     14942    380290   1776762    152.16    167.72
44.30/11.13	c  F st   163     25000     29226    125173         0     15000    380290   1791913    152.23   no data
53.49/13.47	c  N dy   169     30000     29226    125173         0     20000    380290   3470195    152.23   no data
53.49/13.47	c  S st   169     30000     29226    125173         0     20000    380290   3470195    152.23   no data
54.29/13.69	c  S st   169     30504     29226    125173         0     20504    380290   3557038    152.23   no data
54.69/13.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.10/13.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
55.10/13.90	c blocked clauses removed:      701 vars:    108 tried:       29226 T: 0.01 s
55.51/13.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.51/13.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.51/13.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29118 time:  0.01 s
55.51/13.94	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.28/14.10	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.15 s
57.49/14.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
60.68/15.28	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.83 s
61.47/15.42	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.14
61.47/15.43	c calculated reachability. Time: 0.00
61.47/15.43	c  N dy   169     30504     29098    124455         0     19874    378273   3180310    152.23   no data
68.68/17.25	c  N dy   198     34514     29098    124455         0     23884    378273   4159392    152.93    161.25
76.65/19.22	c  N dy   232     38583     29098    124455         0     27953    378273   5170785    153.90    164.64
83.84/21.09	c  N dy   257     42595     29098    124455         0     16778    378273   1082393    153.71    165.77
89.43/22.45	c  S st   277     45757     29098    124455         0     19940    378273   1848421    153.44   no data
90.25/22.69	c  S st   277     46257     29098    124455         0     20440    378273   1937069    153.44   no data
90.65/22.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.03/22.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
91.03/22.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.03/22.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
91.43/22.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
91.43/22.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
91.43/22.92	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
91.83/23.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
92.23/23.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
93.44/23.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.28 s
93.44/23.50	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
93.84/23.53	c vivif2 --  cl tried    20440 cl shrink        0 lits rem          0 time: 0.03
94.24/23.68	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.15
94.24/23.68	c calculated reachability. Time: 0.00
94.24/23.69	c  N dy   277     46257     29098    124455         0     20440    378273   1937069    153.44   no data
101.82/25.53	c  N dy   307     50353     29098    124455         0     24535    378273   2907538    153.77    163.74
109.01/27.39	c  N dy   336     54364     29098    124455         0     28546    378273   3891279    154.25    169.95
117.02/29.32	c  N dy   365     58444     29098    124455         0     32626    378273   4883841    154.54    221.44
124.59/31.24	c  N dy   390     62525     29098    124455         0     36707    378273   5847231    154.45    173.36
132.17/33.12	c  N dy   420     66574     29098    124455         0     22165    378273   1579421    154.92    164.23
137.37/34.41	c  S st   439     69386     29098    124455         0     24976    378273   2245022    154.89   no data
138.17/34.64	c  S st   439     69889     29098    124455         0     25479    378273   2338605    154.89   no data
138.17/34.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
138.58/34.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
138.98/34.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.98/34.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
138.98/34.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
138.98/34.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
138.98/34.88	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
139.76/35.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
140.16/35.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
142.16/35.61	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.43 s
142.16/35.62	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
142.16/35.67	c vivif2 --  cl tried    25479 cl shrink        0 lits rem          0 time: 0.04
142.97/35.82	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.16
142.97/35.83	c calculated reachability. Time: 0.00
142.97/35.83	c  N dy   439     69889     29098    124455         0     25479    378273   2338602    154.89   no data
151.35/37.96	c  N dy   473     74481     29098    124455         0     30071    378273   3466981    155.24    165.37
160.55/40.28	c  N dy   508     79366     29098    124455         0     34955    378273   4646466    155.37    163.91
170.52/42.76	c  N dy   541     84610     29098    124455         0     40196    378273   5884969    155.11    164.04
176.12/44.17	c  F st   560     87503     29098    124455         0     22300    378273   1011006    155.15   no data
182.93/45.80	c  N st   565     90803     29098    124455         0     25599    378273   2110251    155.15   no data
194.09/48.66	c  N dy   593     96637     29098    124455         0     31433    378273   3945466    155.22    178.64
206.07/51.65	c  N dy   637    102831     29098    124455         0     37627    378273   5477643    155.64    178.30
210.07/52.65	c  S st   652    104833     29098    124455         0     39629    378273   5959137    155.68   no data
211.26/52.90	c  S st   652    105335     29098    124455         0     40131    378273   6035162    155.68   no data
211.26/52.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
211.66/53.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
212.06/53.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.06/53.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
212.06/53.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
212.06/53.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
212.06/53.16	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
212.86/53.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
214.45/53.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
221.65/55.50	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.74 s
221.65/55.52	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
222.07/55.63	c vivif2 --  cl tried    40126 cl shrink        0 lits rem          0 time: 0.10
222.85/55.81	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.18
222.85/55.81	c calculated reachability. Time: 0.00
222.85/55.82	c  N dy   652    105335     29098    124455         0     40126    378273   6032157    155.68   no data
236.43/59.28	c  N dy   706    112122     29098    124455         0     24518    378273   1185581    156.14    170.03
250.01/62.67	c  N dy   756    119357     29098    124455         0     31753    378273   2898654    156.06    190.18
264.79/66.33	c  N dy   806    126988     29098    124455         0     39383    378273   4749802    156.18    195.96
281.17/70.50	c  N dy   857    135259     29098    124455         0     23952    378273    653579    156.11    165.23
297.94/74.60	c  N dy   919    143896     29098    124455         0     32589    378273   2707668    156.16    165.80
315.92/79.16	c  N dy   981    153196     29098    124455         0     41888    378273   4945024    156.12    165.20
325.50/81.57	c  S st  1016    158005     29098    124455         0     46695    378273   6113404    156.21   no data
326.71/81.82	c  S st  1016    158510     29098    124455         0     47200    378273   6201629    156.21   no data
326.71/81.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
327.52/82.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
327.52/82.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
327.52/82.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
327.52/82.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
327.52/82.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
327.52/82.10	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
328.30/82.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
329.90/82.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
339.48/85.00	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.29 s
339.48/85.02	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
339.88/85.13	c vivif2 --  cl tried    47197 cl shrink        0 lits rem          0 time: 0.11
340.69/85.33	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.19
340.69/85.34	c calculated reachability. Time: 0.00
340.69/85.34	c  N dy  1016    158510     29098    124455         0     47197    378273   6198712    156.21   no data
360.65/90.32	c  N dy  1085    168689     29098    124455         0     32533    378273   2459926    156.38    164.78
381.82/95.62	c  N dy  1157    179490     29098    124455         0     43334    378273   5041364    156.31    165.48
405.39/101.53	c  N dy  1238    191050     29098    124455         0     28970    378273   1264047    156.39    173.65
429.36/107.58	c  N dy  1318    203396     29098    124455         0     41316    378273   4227482    156.28    174.19
456.52/114.39	c  N dy  1407    216669     29098    124455         0     27631    378273    678813    156.24    172.93
484.08/121.23	c  N dy  1508    230503     29098    124455         0     41465    378273   4104686    156.49    165.52
498.88/124.98	c  S st  1562    237765     29098    124455         0     48727    378273   5873135    156.61   no data
500.05/125.26	c  S st  1562    238266     29098    124455         0     49228    378273   5978234    156.61   no data
500.05/125.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
500.85/125.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
500.85/125.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
501.25/125.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
501.25/125.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
501.25/125.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
501.25/125.53	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
502.05/125.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
503.26/126.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
513.24/128.50	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.40 s
513.24/128.52	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
513.64/128.62	c vivif2 --  cl tried    49222 cl shrink        0 lits rem          0 time: 0.11
514.44/128.82	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.20
514.44/128.83	c calculated reachability. Time: 0.00
514.44/128.83	c  N dy  1562    238266     29098    124455         0     49222    378273   5973220    156.61   no data
545.19/136.57	c  N dy  1664    253570     29098    124455         0     36544    378273   2557571    156.57    169.62
578.75/144.90	c  N dy  1788    269756     29098    124455         0     52730    378273   6448293    156.69    165.70
613.12/153.58	c  N dy  1899    287020     29098    124455         0     41000    378273   3376988    156.58    165.95
651.86/163.20	c  N dy  2022    305400     29098    124455         0     59380    378273   7881137    156.58    177.55
653.85/163.72	c  F st  2028    306250     29098    124455         0     30237    378273    542622    156.59    144.09
691.80/173.21	c  N dy  2129    325008     29098    124455         0     48992    378273   5523960    156.65    178.54
732.94/183.57	c  N dy  2262    345120     29098    124455         0     38105    378273   2177909    156.61    164.91
758.12/189.85	c  S st  2348    357399     29098    124455         0     50382    378273   5166078    156.65   no data
759.30/190.12	c  S st  2348    357905     29098    124455         0     50888    378273   5269697    156.65   no data
759.30/190.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
760.10/190.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
760.10/190.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
760.10/190.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
760.10/190.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
760.10/190.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
760.50/190.40	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
760.90/190.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
762.10/190.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
771.30/193.11	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.21 s
771.30/193.13	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
771.71/193.23	c vivif2 --  cl tried    50887 cl shrink        0 lits rem          0 time: 0.10
772.48/193.43	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.20
772.48/193.44	c calculated reachability. Time: 0.00
772.48/193.44	c  N dy  2348    357905     29098    124455         0     50887    378273   5269487    156.65   no data
814.42/203.97	c  N dy  2480    377919     29098    124455         0     38904    378273   2162559    156.61    182.35
856.76/214.50	c  N dy  2621    397937     29098    124455         0     58922    378273   7068128    156.74    166.62
898.73/225.02	c  N dy  2765    418051     29098    124455         0     46038    378273   3660291    156.83    167.25
941.05/235.67	c  N dy  2902    438137     29098    124455         0     66123    378273   8481163    156.79    180.62
981.79/245.87	c  N dy  3033    458195     29098    124455         0     52182    378273   4847272    156.74    207.16
1025.74/256.88	c  N dy  3176    478286     29098    124455         0     37271    378273   1056418    156.86    165.87
1066.87/267.18	c  N dy  3311    498360     29098    124455         0     57343    378273   5986693    156.90    168.62
1110.03/277.97	c  N dy  3452    518383     29098    124455         0     41367    378273   1799931    157.00    172.04
1148.76/287.60	c  S st  3578    536858     29098    124455         0     59842    378273   6355459    157.07   no data
1149.57/287.89	c  S st  3578    537364     29098    124455         0     60348    378273   6447016    157.07   no data
1149.95/287.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1150.35/288.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1150.75/288.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1150.75/288.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1150.75/288.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1150.75/288.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
1150.75/288.17	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1151.56/288.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1153.16/288.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1166.34/292.03	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.27 s
1166.34/292.04	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
1166.75/292.16	c vivif2 --  cl tried    60342 cl shrink        0 lits rem          0 time: 0.12
1167.53/292.38	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.21
1167.53/292.39	c calculated reachability. Time: 0.00
1167.53/292.39	c  N dy  3578    537364     29098    124455         0     60342    378273   6444387    157.07   no data
1210.69/303.15	c  N dy  3716    557418     29098    124455         0     43398    378273   2059359    157.12    197.18
1253.02/313.77	c  N dy  3851    577509     29098    124455         0     63488    378273   7005482    157.20    200.46
1296.95/324.72	c  N dy  3993    597776     29098    124455         0     45752    378273   2387594    157.24    170.98
1339.29/335.30	c  N dy  4130    617838     29098    124455         0     65814    378273   7280435    157.23    165.70
1383.24/346.30	c  N dy  4268    638084     29098    124455         0     47062    378273   2435134    157.26    166.31
1425.58/356.96	c  N dy  4407    658111     29098    124455         0     67088    378273   7336935    157.25    168.48
1469.52/367.97	c  N dy  4535    678150     29098    124455         0     47129    378273   2183590    157.17    172.85
1513.06/378.89	c  N dy  4683    698171     29098    124455         0     67150    378273   7036387    157.20    166.02
1557.81/390.10	c  N dy  4820    718247     29098    124455         0     46236    378273   1780686    157.23    166.47
1600.54/400.78	c  N dy  4957    738314     29098    124455         0     66303    378273   6677078    157.26    169.53
1646.47/412.27	c  N dy  5098    758375     29098    124455         0     44369    378273   1062512    157.29    166.13
1688.82/422.89	c  N dy  5233    778495     29098    124455         0     64487    378273   5961508    157.31    166.95
1735.15/434.40	c  N dy  5376    798577     29098    124455         0     84569    378273  10855944    157.37    176.72
1751.15/438.45	c  S st  5431    806046     29098    124455         0     49034    378273   1971784    157.40   no data
1752.33/438.72	c  S st  5431    806547     29098    124455         0     49535    378273   2050832    157.40   no data
1752.33/438.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1753.12/438.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1753.12/438.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1753.12/438.96	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1753.12/438.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1753.12/438.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
1753.12/438.99	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1753.92/439.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1754.32/439.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1757.52/440.03	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.76 s
1757.52/440.05	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
1757.52/440.09	c vivif2 --  cl tried    49533 cl shrink        0 lits rem          0 time: 0.04
1758.32/440.29	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.19
1758.72/440.30	c calculated reachability. Time: 0.00
1758.72/440.30	c  N dy  5431    806547     29098    124455         0     49533    378273   2050502    157.40   no data
1801.46/451.09	c  N dy  5564    826594     29098    124455         0     69579    378273   6985948    157.41    167.71
1848.22/462.76	c  N dy  5704    846598     29098    124455         0     45579    378273    858730    157.48    178.48
1891.76/473.62	c  N dy  5840    866913     29098    124455         0     65892    378273   5824292    157.48    168.40
1938.08/485.22	c  N dy  5976    886999     29098    124455         0     85976    378273  10766146    157.50    170.25
1982.81/496.46	c  N dy  6126    907132     29098    124455         0     61110    378273   4506174    157.59    171.65
2028.37/507.84	c  N dy  6259    927476     29098    124455         0     81452    378273   9547707    157.57    165.98
2073.89/519.23	c  N dy  6402    947514     29098    124455         0     55493    378273   2904975    157.65    168.02
2118.62/530.45	c  N dy  6543    967642     29098    124455         0     75621    378273   7842133    157.68    167.38
2166.16/542.30	c  N dy  6684    987719     29098    124455         0     48702    378273    924244    157.73    169.42
2209.30/553.18	c  N dy  6824   1007757     29098    124455         0     68740    378273   5877616    157.77    166.42
2255.63/564.73	c  N dy  6957   1027792     29098    124455         0     88775    378273  10776665    157.75    169.06
2300.80/576.02	c  N dy  7094   1047812     29098    124455         0     60797    378273   3604121    157.76    172.83
2346.30/587.40	c  N dy  7230   1067901     29098    124455         0     80885    378273   8613939    157.80    184.55
2355.50/589.75	c  F st  7258   1071878     29098    124455         0     84861    378273   9595391    157.82   no data
2393.84/599.30	c  N dy  7340   1087995     29098    124455         0     51978    378273   1241079    157.82    172.55
2437.00/610.12	c  N dy  7470   1108136     29098    124455         0     72119    378273   6134679    157.80    169.78
2484.53/622.05	c  N dy  7612   1128180     29098    124455         0     92163    378273  11118695    157.84    179.88
2530.46/633.54	c  N dy  7753   1148268     29098    124455         0     62251    378273   3527093    157.90    172.79
2576.40/645.03	c  N dy  7887   1168344     29098    124455         0     82327    378273   8470679    157.91    167.18
2625.94/657.43	c  N dy  8022   1188434     29098    124455         0     51414    378273    633859    157.93    232.09
2670.66/668.65	c  N dy  8165   1208517     29098    124455         0     71496    378273   5548867    157.95    209.01
2673.47/669.38	c  S st  8172   1209820     29098    124455         0     72799    378273   5857025    157.95    145.82
2674.66/669.67	c  S st  8172   1210322     29098    124455         0     73301    378273   5950536    157.95   no data
2675.06/669.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2675.46/669.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
2675.86/669.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2675.86/669.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2675.86/669.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2675.86/669.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
2675.86/669.97	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2676.65/670.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2677.85/670.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2691.45/673.88	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.37 s
2691.85/673.90	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
2692.23/674.01	c vivif2 --  cl tried    73295 cl shrink        0 lits rem          0 time: 0.11
2693.03/674.25	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.24
2693.03/674.26	c calculated reachability. Time: 0.00
2693.03/674.26	c  N dy  8172   1210322     29098    124455         0     73295    378273   5946716    157.95   no data
2740.19/686.06	c  N dy  8310   1230333     29098    124455         0     93306    378273  10940129    157.98    166.45
2787.70/697.92	c  N dy  8453   1250423     29098    124455         0     61394    378273   2882835    158.01    167.27
2833.24/709.33	c  N dy  8596   1270481     29098    124455         0     81450    378273   7803809    158.06    170.16
2882.37/721.64	c  N dy  8733   1290537     29098    124455         0    101504    378273  12741316    158.07    168.16
2927.91/733.07	c  N dy  8873   1310643     29098    124455         0     68613    378273   4394624    158.11    166.53
2975.04/744.80	c  N dy  9016   1330742     29098    124455         0     88712    378273   9338172    158.14    184.78
3024.97/757.31	c  N dy  9153   1350821     29098    124455         0     54790    378273    722228    158.11    167.14
3069.32/768.42	c  N dy  9284   1370974     29098    124455         0     74943    378273   5574413    158.09    167.47
3117.24/780.46	c  N dy  9425   1391054     29098    124455         0     95022    378273  10534798    158.12    167.25
3165.99/792.68	c  N dy  9552   1411085     29098    124455         0     60064    378273   1737755    158.10    169.76
3211.51/804.06	c  N dy  9686   1431208     29098    124455         0     80185    378273   6640635    158.08    169.16
3260.64/816.39	c  N dy  9830   1451287     29098    124455         0    100262    378273  11633094    158.11    167.02
3308.98/828.40	c  N dy  9960   1471294     29098    124455         0     64266    378273   2583526    158.11    168.19
3355.34/840.07	c  N dy 10103   1491377     29098    124455         0     84349    378273   7548116    158.14    191.24
3405.24/852.59	c  N dy 10248   1511517     29098    124455         0    104488    378273  12492153    158.17    171.39
3453.58/864.67	c  N dy 10383   1531664     29098    124455         0     67638    378273   3146609    158.16    167.19
3500.33/876.38	c  N dy 10519   1551721     29098    124455         0     87694    378273   8050669    158.19    179.76
3549.85/888.75	c  N dy 10649   1571855     29098    124455         0    107827    378273  12989927    158.17    170.33
3597.38/900.65	c  N dy 10779   1591940     29098    124455         0     69912    378273   3470687    158.17    168.72
3644.52/912.48	c  N dy 10920   1612053     29098    124455         0     90024    378273   8392939    158.18    166.90
3696.44/925.40	c  N dy 11068   1632118     29098    124455         0    110088    378273  13391640    158.24    171.33
3745.17/937.61	c  N dy 11211   1652309     29098    124455         0     71279    378273   3633887    158.30    170.62
3792.71/949.51	c  N dy 11346   1672409     29098    124455         0     91378    378273   8567255    158.31    170.79
3843.84/962.35	c  N dy 11487   1692499     29098    124455         0    111468    378273  13577279    158.33    168.27
3888.17/973.40	c  S st 11614   1710322     29098    124455         0     69291    378273   2855011    158.34   no data
3889.37/973.73	c  S st 11614   1710826     29098    124455         0     69795    378273   2955638    158.34   no data
3889.37/973.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3890.18/973.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.20
3890.18/973.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3890.18/974.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3890.57/974.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3890.57/974.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29098 time:  0.01 s
3890.57/974.03	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3891.39/974.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
3891.77/974.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3899.77/976.33	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.92 s
3899.77/976.34	c vivif2 --  cl tried   124455 cl shrink        0 lits rem          0 time: 0.02
3899.77/976.40	c vivif2 --  cl tried    69793 cl shrink        0 lits rem          0 time: 0.06
3900.96/976.63	c asymm  cl-useful: 0/124455/124455 lits-rem:0 time: 0.23
3900.96/976.64	c calculated reachability. Time: 0.00
3900.96/976.64	c  N dy 11614   1710826     29098    124455         0     69793    378273   2954597    158.34   no data
3948.11/988.43	c  N dy 11745   1730963     29098    124455         0     89929    378273   7954846    158.35    170.25
3998.82/1001.14	c  N dy 11884   1751015     29098    124455         0    109981    378273  12982297    158.37    224.15
4048.35/1013.54	c  N dy 12019   1771094     29098    124455         0     69063    378273   2509676    158.37    172.50
4095.08/1025.23	c  N dy 12150   1791100     29098    124455         0     89068    378273   7498959    158.38    172.77
4145.41/1037.88	c  N dy 12283   1811142     29098    124455         0    109106    378273  12442218    158.39    167.51
4197.33/1050.87	c  N dy 12422   1831232     29098    124455         0     67200    378273   1871844    158.41    166.99
4245.67/1062.90	c  N dy 12570   1851353     29098    124455         0     87319    378273   6909213    158.47    174.28
4296.00/1075.53	c  N dy 12706   1871443     29098    124455         0    107408    378273  11886754    158.49    167.94
4349.12/1088.88	c  N dy 12843   1891640     29098    124455         0     64612    378273    962858    158.51    167.92
4395.46/1100.46	c  N dy 12983   1911700     29098    124455         0     84669    378273   5976560    158.53    169.76
4445.01/1112.82	c  N dy 13120   1931725     29098    124455         0    104691    378273  10869738    158.53    175.49
4498.52/1126.22	c  N dy 13254   1951915     29098    124455         0    124880    378273  15853441    158.52    167.54
4545.67/1138.09	c  N dy 13388   1972038     29098    124455         0     81006    378273   4752783    158.52    176.58
4595.18/1150.41	c  N dy 13529   1992054     29098    124455         0    101022    378273   9818184    158.57    253.43
4647.90/1163.61	c  N dy 13672   2012128     29098    124455         0    121094    378273  14783242    158.59    195.80
4697.84/1176.12	c  N dy 13817   2032204     29098    124455         0     76170    378273   3359242    158.61    167.17
4745.77/1188.16	c  N dy 13950   2052264     29098    124455         0     96230    378273   8272260    158.61    168.09
4797.70/1201.10	c  N dy 14080   2072275     29098    124455         0    116241    378273  13270077    158.62    167.27

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-3173727-1304030120/watcher-3173727-1304030120 -o /tmp/evaluation-result-3173727-1304030120/solver-3173727-1304030120 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173727-1304030120.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.21 8.04 6.31 5/180 11196
/proc/meminfo: memFree=14236344/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 495427595 52441088 347 33554432000 4194304 4627427 140736786222384 18446744073709551615 47974770980790 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 12803 347 299 106 0 7774 0
[pid=11196/tid=11197] ppid=11194 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 495427595 52441088 347 33554432000 4194304 4627427 140736786222384 18446744073709551615 47974770980776 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 495427595 52441088 347 33554432000 4194304 4627427 140736786222384 18446744073709551615 47974770980786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495427595 52441088 347 33554432000 4194304 4627427 140736786222384 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.070457 s]
/proc/loadavg: 8.21 8.04 6.31 5/180 11196
/proc/meminfo: memFree=14236344/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=306304 CPUtime=0.24 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 17251 0 0 0 21 3 0 0 25 0 4 0 495427595 313655296 15115 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 76576 15118 339 106 0 71547 0
[pid=11196/tid=11197] ppid=11194 vsize=306304 CPUtime=0.05 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 4206 0 0 0 5 0 0 0 25 0 4 0 495427595 313655296 15119 33554432000 4194304 4627427 140736786222384 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=306304 CPUtime=0.05 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 4225 0 0 0 5 0 0 0 25 0 4 0 495427595 313655296 15120 33554432000 4194304 4627427 140736786222384 18446744073709551615 4530584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=306304 CPUtime=0.05 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 4213 0 0 0 5 0 0 0 25 0 4 0 495427595 313655296 15120 33554432000 4194304 4627427 140736786222384 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 306304

[startup+0.100451 s]
/proc/loadavg: 8.21 8.04 6.31 5/180 11196
/proc/meminfo: memFree=14236344/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=311592 CPUtime=0.37 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 20117 0 0 0 33 4 0 0 25 0 4 0 495427595 319070208 17981 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 77898 17981 339 106 0 72869 0
[pid=11196/tid=11197] ppid=11194 vsize=311592 CPUtime=0.08 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 4922 0 0 0 8 0 0 0 25 0 4 0 495427595 319070208 17982 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=311592 CPUtime=0.09 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 4937 0 0 0 8 1 0 0 25 0 4 0 495427595 319070208 17982 33554432000 4194304 4627427 140736786222384 18446744073709551615 4530710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=311592 CPUtime=0.08 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 4933 0 0 0 8 0 0 0 25 0 4 0 495427595 319070208 17988 33554432000 4194304 4627427 140736786222384 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 311592

[startup+0.303667 s]
/proc/loadavg: 8.21 8.04 6.31 5/180 11196
/proc/meminfo: memFree=14236344/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=317904 CPUtime=1.19 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 24139 0 0 0 114 5 0 0 18 0 4 0 495427595 325533696 22003 33554432000 4194304 4627427 140736786222384 18446744073709551615 4415723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 79476 22942 371 106 0 74447 0
[pid=11196/tid=11197] ppid=11194 vsize=317904 CPUtime=0.29 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 6657 0 0 0 29 0 0 0 25 0 4 0 495427595 325533696 23498 33554432000 4194304 4627427 140736786222384 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=322236 CPUtime=0.31 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) D 11194 11196 10991 0 -1 4202560 7080 0 0 0 30 1 0 0 18 0 4 0 495427595 329969664 24768 33554432000 4194304 4627427 140736786222384 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=322236 CPUtime=0.31 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 5298 0 0 0 31 0 0 0 25 0 4 0 495427595 329969664 25350 33554432000 4194304 4627427 140736786222384 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 317904

[startup+1.21324 s]
/proc/loadavg: 8.21 8.04 6.31 5/180 11196
/proc/meminfo: memFree=14236344/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=327632 CPUtime=4.8 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 44443 0 0 0 471 9 0 0 18 0 4 0 495427595 335495168 31984 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 81908 31984 385 106 0 76879 0
[pid=11196/tid=11197] ppid=11194 vsize=327632 CPUtime=1.19 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 12762 0 0 0 117 2 0 0 19 0 4 0 495427595 335495168 31984 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=327632 CPUtime=1.19 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 12759 0 0 0 117 2 0 0 19 0 4 0 495427595 335495168 31984 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=327632 CPUtime=1.2 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 5949 0 0 0 119 1 0 0 25 0 4 0 495427595 335495168 31984 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 327632

[startup+1.50119 s]
/proc/loadavg: 8.21 8.04 6.31 5/180 11196
/proc/meminfo: memFree=14236344/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=327632 CPUtime=5.95 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 45315 0 0 0 586 9 0 0 19 0 4 0 495427595 335495168 32830 33554432000 4194304 4627427 140736786222384 18446744073709551615 4330954 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 81908 32830 385 106 0 76879 0
[pid=11196/tid=11197] ppid=11194 vsize=327632 CPUtime=1.48 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 12959 0 0 0 146 2 0 0 19 0 4 0 495427595 335495168 32830 33554432000 4194304 4627427 140736786222384 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=327632 CPUtime=1.48 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 12992 0 0 0 146 2 0 0 19 0 4 0 495427595 335495168 32830 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=327632 CPUtime=1.48 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 6119 0 0 0 147 1 0 0 25 0 4 0 495427595 335495168 32830 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 327632

[startup+3.10088 s]
/proc/loadavg: 8.19 8.04 6.32 9/184 11200
/proc/meminfo: memFree=14084192/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=460484 CPUtime=12.34 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 49717 0 0 0 1224 10 0 0 23 0 4 0 495427595 471535616 37154 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 115121 37154 385 106 0 110092 0
[pid=11196/tid=11197] ppid=11194 vsize=460484 CPUtime=3.07 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 13980 0 0 0 305 2 0 0 23 0 4 0 495427595 471535616 37154 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=460484 CPUtime=3.07 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 13961 0 0 0 304 3 0 0 23 0 4 0 495427595 471535616 37154 33554432000 4194304 4627427 140736786222384 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=460484 CPUtime=3.08 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 7499 0 0 0 307 1 0 0 25 0 4 0 495427595 471535616 37154 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 460484

[startup+6.30028 s]
/proc/loadavg: 8.19 8.04 6.32 9/184 11200
/proc/meminfo: memFree=14049968/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=461080 CPUtime=25.12 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 57654 0 0 0 2500 12 0 0 25 0 4 0 495427595 472145920 45091 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 115270 45091 385 106 0 110241 0
[pid=11196/tid=11197] ppid=11194 vsize=461080 CPUtime=6.28 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 16012 0 0 0 625 3 0 0 25 0 4 0 495427595 472145920 45091 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=461080 CPUtime=6.25 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 15892 0 0 0 622 3 0 0 25 0 4 0 495427595 472145920 45091 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=461080 CPUtime=6.28 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 9513 0 0 0 627 1 0 0 25 0 4 0 495427595 472145920 45091 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 461080

[startup+12.7011 s]
/proc/loadavg: 8.16 8.04 6.34 9/184 11200
/proc/meminfo: memFree=14048992/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=416876 CPUtime=50.71 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 79232 0 0 0 5053 18 0 0 25 0 4 0 495427595 426881024 44240 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 104219 44240 387 106 0 99190 0
[pid=11196/tid=11197] ppid=11194 vsize=416876 CPUtime=12.68 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 21420 0 0 0 1264 4 0 0 25 0 4 0 495427595 426881024 44240 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=416876 CPUtime=12.62 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 21192 0 0 0 1258 4 0 0 25 0 4 0 495427595 426881024 44240 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=416876 CPUtime=12.69 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 15043 0 0 0 1266 3 0 0 25 0 4 0 495427595 426881024 44240 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 416876

[startup+25.5007 s]
/proc/loadavg: 8.14 8.03 6.36 9/184 11201
/proc/meminfo: memFree=13802120/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=720752 CPUtime=101.82 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 176243 0 0 0 10140 42 0 0 25 0 4 0 495427595 738050048 107267 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 180188 107267 390 106 0 175159 0
[pid=11196/tid=11197] ppid=11194 vsize=720752 CPUtime=25.47 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 55525 0 0 0 2534 13 0 0 25 0 4 0 495427595 738050048 107267 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=720752 CPUtime=25.34 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 37229 0 0 0 2527 7 0 0 25 0 4 0 495427595 738050048 107267 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=720752 CPUtime=25.48 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 33548 0 0 0 2541 7 0 0 25 0 4 0 495427595 738050048 107267 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 720752

[startup+51.1008 s]
/proc/loadavg: 8.09 8.03 6.40 9/184 11201
/proc/meminfo: memFree=13674240/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=952264 CPUtime=204.08 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 245568 0 0 0 20344 64 0 0 25 0 4 0 495427595 975118336 135443 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11196/statm: 238066 135443 390 106 0 233037 0
[pid=11196/tid=11197] ppid=11194 vsize=952264 CPUtime=51.08 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 73708 0 0 0 5089 19 0 0 25 0 4 0 495427595 975118336 135443 33554432000 4194304 4627427 140736786222384 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=952264 CPUtime=50.81 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 53548 0 0 0 5067 14 0 0 25 0 4 0 495427595 975118336 135443 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=952264 CPUtime=51.07 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 48632 0 0 0 5096 11 0 0 25 0 4 0 495427595 975118336 135443 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 952264

[startup+102.301 s]
/proc/loadavg: 8.10 8.04 6.49 9/184 11203
/proc/meminfo: memFree=13500980/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=989436 CPUtime=408.59 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 372513 0 0 0 40752 107 0 0 25 0 4 0 495427595 1013182464 178430 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11196/statm: 247359 178430 390 106 0 242330 0
[pid=11196/tid=11197] ppid=11194 vsize=989436 CPUtime=102.28 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 101239 0 0 0 10199 29 0 0 25 0 4 0 495427595 1013182464 178430 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=989436 CPUtime=101.92 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 82011 0 0 0 10168 24 0 0 25 0 4 0 495427595 1013182464 178430 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=989436 CPUtime=102.27 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 76707 0 0 0 10206 21 0 0 25 0 4 0 495427595 1013182464 178430 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 989436

[startup+162.301 s]

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

[pid=11196] ppid=11194 vsize=1445476 CPUtime=2565.61 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1294067 0 0 0 256124 437 0 0 25 0 4 0 495427595 1480167424 296655 33554432000 4194304 4627427 140736786222384 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 361369 296655 390 106 0 356340 0
[pid=11196/tid=11197] ppid=11194 vsize=1445476 CPUtime=642.28 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 336100 0 0 0 64116 112 0 0 25 0 4 0 495427595 1480167424 296655 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1445476 CPUtime=641.92 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 324754 0 0 0 64080 112 0 0 25 0 4 0 495427595 1480167424 296655 33554432000 4194304 4627427 140736786222384 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1445476 CPUtime=640.13 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 306091 0 0 0 63913 100 0 0 25 0 4 0 495427595 1480167424 296655 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.61
Current children cumulated vsize (KiB) 1445476

[startup+702.301 s]
/proc/loadavg: 8.10 8.04 7.20 9/184 11249
/proc/meminfo: memFree=12798288/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1512744 CPUtime=2805.28 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1397046 0 0 0 280058 470 0 0 25 0 4 0 495427595 1549049856 307426 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 378186 307426 390 106 0 373157 0
[pid=11196/tid=11197] ppid=11194 vsize=1512744 CPUtime=702.28 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 369651 0 0 0 70106 122 0 0 25 0 4 0 495427595 1549049856 307426 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1512744 CPUtime=701.92 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 350175 0 0 0 70071 121 0 0 25 0 4 0 495427595 1549049856 307426 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1512744 CPUtime=699.8 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 324192 0 0 0 69875 105 0 0 25 0 4 0 495427595 1549049856 307426 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 1512744

[startup+762.301 s]
/proc/loadavg: 8.08 8.04 7.25 9/184 11250
/proc/meminfo: memFree=12749428/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1573500 CPUtime=3044.94 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1487876 0 0 0 303989 505 0 0 25 0 4 0 495427595 1611264000 312330 33554432000 4194304 4627427 140736786222384 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 393375 312330 390 106 0 388346 0
[pid=11196/tid=11197] ppid=11194 vsize=1573500 CPUtime=762.27 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 393603 0 0 0 76097 130 0 0 25 0 4 0 495427595 1611264000 312330 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1573500 CPUtime=761.91 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 373192 0 0 0 76062 129 0 0 25 0 4 0 495427595 1611264000 312330 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1573500 CPUtime=759.47 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 344356 0 0 0 75834 113 0 0 25 0 4 0 495427595 1611264000 312330 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.94
Current children cumulated vsize (KiB) 1573500

[startup+822.3 s]
/proc/loadavg: 8.07 8.05 7.30 9/184 11252
/proc/meminfo: memFree=12697712/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1574972 CPUtime=3284.62 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1581401 0 0 0 327922 540 0 0 25 0 4 0 495427595 1612771328 316940 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 393743 316940 390 106 0 388714 0
[pid=11196/tid=11197] ppid=11194 vsize=1574972 CPUtime=822.28 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 417280 0 0 0 82090 138 0 0 25 0 4 0 495427595 1612771328 316941 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1574972 CPUtime=821.91 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 397249 0 0 0 82053 138 0 0 25 0 4 0 495427595 1612771328 316941 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1574972 CPUtime=819.15 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 364348 0 0 0 81794 121 0 0 25 0 4 0 495427595 1612771328 316941 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.62
Current children cumulated vsize (KiB) 1574972

[startup+882.301 s]
/proc/loadavg: 8.06 8.05 7.35 9/184 11253
/proc/meminfo: memFree=12588324/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1581404 CPUtime=3524.28 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1679780 0 0 0 351849 579 0 0 25 0 4 0 495427595 1619357696 324991 33554432000 4194304 4627427 140736786222384 18446744073709551615 4299555 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 395351 324991 390 106 0 390322 0
[pid=11196/tid=11197] ppid=11194 vsize=1581404 CPUtime=882.27 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 442880 0 0 0 88081 146 0 0 25 0 4 0 495427595 1619357696 324991 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1581404 CPUtime=881.91 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 424646 0 0 0 88041 150 0 0 25 0 4 0 495427595 1619357696 324991 33554432000 4194304 4627427 140736786222384 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1581404 CPUtime=878.82 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 386169 0 0 0 87752 130 0 0 25 0 4 0 495427595 1619357696 324991 33554432000 4194304 4627427 140736786222384 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 1581404

[startup+942.307 s]
/proc/loadavg: 8.06 8.05 7.39 9/184 11255
/proc/meminfo: memFree=12593252/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1577232 CPUtime=3763.97 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1764734 0 0 0 375786 611 0 0 25 0 4 0 495427595 1615085568 321335 33554432000 4194304 4627427 140736786222384 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 394308 321335 390 106 0 389279 0
[pid=11196/tid=11197] ppid=11194 vsize=1577232 CPUtime=942.28 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 466356 0 0 0 94073 155 0 0 25 0 4 0 495427595 1615085568 321335 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1577232 CPUtime=941.91 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 446426 0 0 0 94032 159 0 0 25 0 4 0 495427595 1615085568 321335 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1577232 CPUtime=938.49 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 406141 0 0 0 93712 137 0 0 25 0 4 0 495427595 1615085568 321335 33554432000 4194304 4627427 140736786222384 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.97
Current children cumulated vsize (KiB) 1577232

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 7.43 9/184 11257
/proc/meminfo: memFree=12553432/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1517312 CPUtime=4003.61 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1853201 0 0 0 399719 642 0 0 25 0 4 0 495427595 1553727488 333999 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308213 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 379328 333999 390 106 0 374299 0
[pid=11196/tid=11197] ppid=11194 vsize=1517312 CPUtime=1002.27 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 489273 0 0 0 100064 163 0 0 25 0 4 0 495427595 1553727488 333999 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1517312 CPUtime=1001.9 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 470159 0 0 0 100022 168 0 0 25 0 4 0 495427595 1553727488 333999 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1517312 CPUtime=998.16 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 423865 0 0 0 99672 144 0 0 25 0 4 0 495427595 1553727488 333999 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 1517312

[startup+1062.3 s]
/proc/loadavg: 8.15 8.09 7.48 9/184 11258
/proc/meminfo: memFree=12418876/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1710908 CPUtime=4243.27 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 1960280 0 0 0 423646 681 0 0 25 0 4 0 495427595 1751969792 347469 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 427727 347469 390 106 0 422698 0
[pid=11196/tid=11197] ppid=11194 vsize=1710908 CPUtime=1062.26 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 512648 0 0 0 106054 172 0 0 25 0 4 0 495427595 1751969792 347469 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1710908 CPUtime=1061.9 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 509908 0 0 0 106010 180 0 0 25 0 4 0 495427595 1751969792 347469 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1710908 CPUtime=1057.83 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 444782 0 0 0 105629 154 0 0 25 0 4 0 495427595 1751969792 347469 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1710908

[startup+1122.3 s]
/proc/loadavg: 8.17 8.10 7.52 9/184 11260
/proc/meminfo: memFree=12500212/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1589428 CPUtime=4482.94 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 2053354 0 0 0 447579 715 0 0 25 0 4 0 495427595 1627574272 347093 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 397357 347093 390 106 0 392328 0
[pid=11196/tid=11197] ppid=11194 vsize=1589428 CPUtime=1122.26 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 538656 0 0 0 112046 180 0 0 25 0 4 0 495427595 1627574272 347093 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1589428 CPUtime=1121.89 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 536899 0 0 0 111998 191 0 0 25 0 4 0 495427595 1627574272 347093 33554432000 4194304 4627427 140736786222384 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1589428 CPUtime=1117.51 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 463576 0 0 0 111588 163 0 0 25 0 4 0 495427595 1627574272 347093 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1589428

[startup+1182.3 s]
/proc/loadavg: 8.16 8.11 7.56 9/184 11261
/proc/meminfo: memFree=12429400/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1713364 CPUtime=4722.6 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 2140005 0 0 0 471512 748 0 0 25 0 4 0 495427595 1754484736 353339 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 428341 353339 390 106 0 423312 0
[pid=11196/tid=11197] ppid=11194 vsize=1713364 CPUtime=1182.26 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 560280 0 0 0 118039 187 0 0 25 0 4 0 495427595 1754484736 353339 33554432000 4194304 4627427 140736786222384 18446744073709551615 4333312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1713364 CPUtime=1181.9 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 558118 0 0 0 117989 201 0 0 25 0 4 0 495427595 1754484736 353339 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1713364 CPUtime=1177.18 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 484567 0 0 0 117548 170 0 0 25 0 4 0 495427595 1754484736 353339 33554432000 4194304 4627427 140736786222384 18446744073709551615 4322587 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 1713364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.10 7.56 9/184 11262
/proc/meminfo: memFree=12381528/32951124 swapFree=67111528/67111528
[pid=11196] ppid=11194 vsize=1651808 CPUtime=4800.12 cores=1,3,5,7
/proc/11196/stat : 11196 (strangenight2-m) R 11194 11196 10991 0 -1 4202496 2170665 0 0 0 479253 759 0 0 25 0 4 0 495427595 1691451392 355970 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11196/statm: 412952 355970 390 106 0 407923 0
[pid=11196/tid=11197] ppid=11194 vsize=1651808 CPUtime=1201.67 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 567417 0 0 0 119977 190 0 0 25 0 4 0 495427595 1691451392 355971 33554432000 4194304 4627427 140736786222384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11196/tid=11198] ppid=11194 vsize=1651808 CPUtime=1201.3 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 567246 0 0 0 119927 203 0 0 25 0 4 0 495427595 1691451392 355971 33554432000 4194304 4627427 140736786222384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11196/tid=11199] ppid=11194 vsize=1651808 CPUtime=1196.48 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (strangenight2-m) R 11194 11196 10991 0 -1 4202560 491513 0 0 0 119475 173 0 0 25 0 4 0 495427595 1691451392 355971 33554432000 4194304 4627427 140736786222384 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1651808

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.78
CPU time (s): 4800.21
CPU user time (s): 4792.55
CPU system time (s): 7.65384
CPU usage (%): 399.426
Max. virtual memory (cumulated for all children) (KiB): 1713528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.55
system time used= 7.65384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2170671
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= 3127
involuntary context switches= 31985

runsolver used 1.81072 second user time and 4.77527 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-29 00:35:20
IDJOB=3173727
IDBENCH=82545
IDSOLVER=1586
FILE ID=node141/3173727-1304030120
RUNJOBID= node141-1304028687-11011
PBS_JOBID= 13170311
Free space on /tmp= 71400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173727-1304030120/watcher-3173727-1304030120 -o /tmp/evaluation-result-3173727-1304030120/solver-3173727-1304030120 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173727-1304030120.cnf

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

MD5SUM BENCH= 33c09da85657b6bbed23989098d6baf7
RANDOM SEED=1632205929

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.75
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.806
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.84
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.806
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.806
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.806
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:     32951124 kB
MemFree:      14236500 kB
Buffers:       1621860 kB
Cached:       15531116 kB
SwapCached:          0 kB
Active:        8797936 kB
Inactive:      9333564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14236500 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10016 kB
Writeback:           0 kB
AnonPages:      978084 kB
Mapped:          15492 kB
Slab:           518260 kB
PageTables:       6400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1359428 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= 71408 MiB
End job on node141 at 2011-04-29 00:55:24