Trace number 3174986

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-1-mt? (TO) 4800.39 1201.76

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
MD5SUM53ba9a0375ae9f5fbde617f9de32bf14
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.2716
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174986-1304071867.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.67/0.82	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.67/0.82	c -- vars added      20000
0.67/0.82	c Parsing time:  0.21 s
0.67/0.82	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.67/0.82	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.22
0.67/0.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
0.67/0.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.67/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.67/0.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.67/0.82	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
0.67/0.82	c lits-rem:         0  cl-subs:        0  v-elim:    642  v-fix:    0  time:  0.76 s
0.67/0.82	c Finding binary XORs  T:     0.02 s  found:       0
0.67/0.82	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
0.67/0.82	c calculated reachability. Time: 0.00
0.67/0.82	c Calc default polars -  time:   0.02 s pos:    8747 undec:    2394 neg:    8859
0.67/0.82	c =========================================================================================
0.67/0.82	c types(t): F = full restart, N = normal restart
0.67/0.82	c types(t): S = simplification begin/end, E = solution found
0.67/0.82	c restart types(rt): st = static, dy = dynamic
0.67/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.67/0.82	c  B st     0         0     19358     83278         0         0    253461         0   no data   no data  --
5.58/1.45	c  N dy    20      4008     19358     83278         0      4007    253461    929376    135.60    143.17  --
9.57/2.43	c  N dy    44      8096     19358     83278         0      8095    253461   1770039    131.51    146.91  --
13.56/3.45	c  N dy    70     12112     19358     83278         0     12111    253461   2584287    131.38    143.34  --
17.96/4.52	c  N dy    99     16168     19358     83278         0     16167    253461   3410107    131.00    139.97  --
22.35/5.63	c  N dy   128     20236     19358     83278         0     10237    253461    614578    130.99    142.83  --
26.34/6.67	c  N dy   156     24260     19358     83278         0     14261    253461   1446393    131.42    145.25  --
27.14/6.86	c  F st   162     25000     19358     83278         0     15001    253461   1615092    131.75   no data  --
31.14/7.82	c  N st   167     28298     19358     83278         0     18299    253461   2574848    131.75   no data  --
33.15/8.32	c  S st   168     30000     19358     83278         0     20001    253461   3027692    131.75   no data  --
33.55/8.46	c  S st   168     30505     19358     83278         0     20506    253461   3102136    131.75   no data  --
33.55/8.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.55/8.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.94/8.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.13/8.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.13/8.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.13/8.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
35.13/8.86	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
56.70/14.27	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time: 21.53 s
57.11/14.39	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.46
57.50/14.40	c calculated reachability. Time: 0.00
57.50/14.40	c  N dy   168     30505     19358     83278         0     20503    253461   3100393    131.75   no data  --
62.29/15.70	c  N dy   195     34558     19358     83278         0     24556    253461   3941786    131.58    142.53  --
67.89/17.02	c  N dy   218     38667     19358     83278         0     28665    253461   4783665    131.16    138.68  --
73.10/18.34	c  N dy   247     42716     19358     83278         0     17215    253461   1028400    131.43    156.91  --
76.67/19.26	c  S st   264     45758     19358     83278         0     20256    253461   1647582    130.95    112.86  --
77.50/19.41	c  S st   264     46261     19358     83278         0     20759    253461   1730799    130.95   no data  --
77.50/19.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
77.50/19.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.87/19.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
78.27/19.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
78.27/19.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
78.27/19.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
78.27/19.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
91.85/23.04	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.45 s
91.85/23.05	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
91.85/23.08	c vivif2 --  cl tried    20755 cl shrink        0 lits rem          0 time: 0.10
92.25/23.18	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.42
92.25/23.19	c calculated reachability. Time: 0.00
92.25/23.19	c  N dy   264     46261     19358     83278         0     20755    253461   1728981    130.95   no data  --
97.05/24.38	c  N dy   290     50384     19358     83278         0     24878    253461   2555182    130.81    138.72  --
102.24/25.64	c  N dy   318     54651     19358     83278         0     29145    253461   3413237    130.67    138.85  --
107.04/26.89	c  N dy   343     58690     19358     83278         0     33184    253461   4249881    130.58    140.37  --
112.64/28.22	c  N dy   371     62767     19358     83278         0     37260    253461   5094453    130.62    139.26  --
117.41/29.41	c  N dy   398     66784     19358     83278         0     22527    253461   1416323    130.46    138.17  --
120.21/30.18	c  S st   414     69391     19358     83278         0     25134    253461   1928836    130.24   no data  --
121.04/30.33	c  S st   414     69895     19358     83278         0     25638    253461   2003141    130.24   no data  --
121.04/30.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
121.04/30.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.44/30.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
121.81/30.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
121.81/30.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
121.81/30.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
122.21/30.60	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
137.80/34.53	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.64 s
137.80/34.54	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
137.80/34.57	c vivif2 --  cl tried    25638 cl shrink        0 lits rem          0 time: 0.12
138.20/34.68	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.46
138.20/34.69	c calculated reachability. Time: 0.00
138.20/34.69	c  N dy   414     69895     19358     83278         0     25638    253461   2003140    130.24   no data  --
143.79/36.04	c  N dy   446     74411     19358     83278         0     30154    253461   2945360    130.36    142.24  --
149.78/37.52	c  N dy   482     79345     19358     83278         0     35087    253461   3966586    130.55    139.80  --
156.19/39.11	c  N dy   514     84496     19358     83278         0     40238    253461   4984473    130.22    139.45  --
159.77/40.05	c  F st   534     87501     19358     83278         0     22368    253461    919891    130.27   no data  --
163.76/41.03	c  N st   539     90797     19358     83278         0     25663    253461   1750024    130.27   no data  --
170.54/42.78	c  N dy   568     96656     19358     83278         0     31520    253461   3069649    130.33    137.81  --
178.94/44.86	c  N dy   612    102829     19358     83278         0     37693    253461   4356689    130.42    137.34  --
181.73/45.50	c  S st   624    104843     19358     83278         0     39707    253461   4749940    130.28    122.56  --
182.13/45.66	c  S st   624    105347     19358     83278         0     40211    253461   4817271    130.28   no data  --
182.13/45.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
182.13/45.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.55/45.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.43
183.72/46.10	c bin-w-bin subsume rem            0 bins  time:  0.02 s
184.13/46.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
184.13/46.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
184.13/46.12	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
371.08/92.94	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 186.75 s
371.08/92.94	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
371.50/93.01	c vivif2 --  cl tried    40203 cl shrink        0 lits rem          0 time: 0.26
371.90/93.15	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.57
371.90/93.16	c calculated reachability. Time: 0.00
371.90/93.16	c  N dy   624    105347     19358     83278         0     40203    253461   4813734    130.28   no data  --
380.69/95.34	c  N dy   671    112234     19358     83278         0     24658    253461   1050919    130.35    158.10  --
389.08/97.49	c  N dy   722    119507     19358     83278         0     31930    253461   2584754    130.55    139.84  --
399.05/99.98	c  N dy   777    127446     19358     83278         0     39869    253461   4256369    130.60    137.70  --
409.83/102.69	c  N dy   833    135723     19358     83278         0     24432    253461    694378    130.68    139.12  --
420.61/105.35	c  N dy   893    144457     19358     83278         0     33166    253461   2485436    130.71    140.17  --
433.42/108.51	c  N dy   950    153783     19358     83278         0     42491    253461   4357518    130.48    139.04  --
439.40/110.00	c  S st   980    158020     19358     83278         0     46728    253461   5251145    130.51   no data  --
439.79/110.19	c  S st   980    158522     19358     83278         0     47230    253461   5315876    130.51   no data  --
440.19/110.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
440.19/110.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
440.59/110.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
441.80/110.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
441.80/110.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
441.80/110.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
441.80/110.69	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
693.05/173.58	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 250.79 s
693.05/173.58	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
693.45/173.66	c vivif2 --  cl tried    47223 cl shrink        0 lits rem          0 time: 0.31
694.24/173.83	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.65
694.24/173.83	c calculated reachability. Time: 0.00
694.24/173.83	c  N dy   980    158522     19358     83278         0     47223    253461   5313518    130.51   no data  --
707.43/177.17	c  N dy  1047    168729     19358     83278         0     32572    253461   2095630    130.46    138.68  --
721.81/180.74	c  N dy  1114    179584     19358     83278         0     43425    253461   4267467    130.29    141.31  --
737.38/184.67	c  N dy  1191    191102     19358     83278         0     29015    253461   1141833    130.18    138.36  --
753.37/188.68	c  N dy  1274    203390     19358     83278         0     41301    253461   3631590    130.14    137.12  --
772.14/193.32	c  N dy  1365    216423     19358     83278         0     27373    253461    576123    130.42    143.85  --
789.72/197.75	c  N dy  1450    230274     19358     83278         0     41223    253461   3434297    130.36    137.89  --
800.11/200.30	c  S st  1496    237784     19358     83278         0     48732    253461   4973815    130.34    128.63  --
800.51/200.49	c  S st  1496    238286     19358     83278         0     49234    253461   5048473    130.34   no data  --
800.91/200.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
800.91/200.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
801.31/200.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
802.52/200.94	c bin-w-bin subsume rem            0 bins  time:  0.02 s
802.52/200.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
802.52/200.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
802.52/200.96	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
1035.01/259.12	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 231.68 s
1035.01/259.13	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
1035.01/259.20	c vivif2 --  cl tried    49225 cl shrink        0 lits rem          0 time: 0.29
1035.78/259.37	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.67
1035.78/259.37	c calculated reachability. Time: 0.00
1035.78/259.37	c  N dy  1496    238286     19358     83278         0     49225    253461   5045635    130.34   no data  --
1056.98/264.69	c  N dy  1604    253648     19358     83278         0     36609    253461   2265700    130.49    141.39  --
1080.13/270.45	c  N dy  1714    269914     19358     83278         0     52872    253461   5667181    130.58    141.00  --
1103.70/276.32	c  N dy  1831    287152     19358     83278         0     41117    253461   2987091    130.69    156.27  --
1130.06/282.99	c  N dy  1959    305553     19358     83278         0     59516    253461   6825042    130.73    142.76  --
1131.27/283.28	c  F st  1964    306251     19358     83278         0     30220    253461    495617    130.73    109.68  --
1156.83/289.66	c  N dy  2062    325088     19358     83278         0     49055    253461   4693502    130.77    137.72  --
1185.59/296.86	c  N dy  2197    345158     19358     83278         0     38132    253461   1921105    130.76    145.70  --
1202.39/301.09	c  S st  2278    357429     19358     83278         0     50402    253461   4431331    130.74   no data  --
1203.16/301.28	c  S st  2278    357931     19358     83278         0     50904    253461   4506782    130.74   no data  --
1203.56/301.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1203.56/301.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1203.97/301.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
1204.77/301.69	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1205.17/301.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1205.17/301.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
1205.17/301.72	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1375.74/344.41	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 170.00 s
1375.74/344.42	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
1375.74/344.48	c vivif2 --  cl tried    50902 cl shrink        0 lits rem          0 time: 0.28
1376.53/344.66	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.70
1376.53/344.67	c calculated reachability. Time: 0.00
1376.53/344.67	c  N dy  2278    357931     19358     83278         0     50902    253461   4506152    130.74   no data  --
1406.50/352.15	c  N dy  2411    378132     19358     83278         0     39105    253461   1928512    130.73    138.70  --
1436.45/359.68	c  N dy  2548    398308     19358     83278         0     59278    253461   6136975    130.85    143.69  --
1466.03/367.06	c  N dy  2670    418355     19358     83278         0     46325    253461   3179874    130.86    142.79  --
1497.57/374.94	c  N dy  2811    438626     19358     83278         0     66595    253461   7396676    130.94    144.20  --
1526.73/382.22	c  N dy  2955    458647     19358     83278         0     52619    253461   4326979    131.02    153.04  --
1558.68/390.22	c  N dy  3082    478740     19358     83278         0     37716    253461    978019    130.98    139.98  --
1587.45/397.40	c  N dy  3219    498742     19358     83278         0     57718    253461   5136494    131.06    139.22  --
1617.00/404.88	c  N dy  3352    518933     19358     83278         0     41906    253461   1727287    131.12    139.96  --
1642.97/411.36	c  S st  3478    536896     19358     83278         0     59868    253461   5477242    131.20   no data  --
1643.77/411.56	c  S st  3478    537399     19358     83278         0     60371    253461   5550132    131.20   no data  --
1643.77/411.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1643.77/411.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1644.57/411.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.52
1645.79/412.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1645.79/412.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1645.79/412.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
1645.79/412.06	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1943.37/486.57	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 297.13 s
1943.37/486.58	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
1943.77/486.65	c vivif2 --  cl tried    60365 cl shrink        0 lits rem          0 time: 0.31
1944.59/486.84	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.73
1944.59/486.85	c calculated reachability. Time: 0.00
1944.59/486.85	c  N dy  3478    537399     19358     83278         0     60365    253461   5546051    131.20   no data  --
1973.73/494.10	c  N dy  3609    557478     19358     83278         0     43449    253461   1775902    131.24    141.55  --
2001.71/501.13	c  N dy  3740    577601     19358     83278         0     63572    253461   5911778    131.27    142.37  --
2030.45/508.38	c  N dy  3873    597606     19358     83278         0     45571    253461   2018224    131.33    139.52  --
2058.83/515.48	c  N dy  4009    617657     19358     83278         0     65622    253461   6212880    131.36    138.72  --
2088.37/522.88	c  N dy  4144    637719     19358     83278         0     46686    253461   2032385    131.37    168.14  --
2117.13/530.07	c  N dy  4282    657905     19358     83278         0     66869    253461   6288650    131.43    139.35  --
2147.11/537.53	c  N dy  4411    677946     19358     83278         0     46912    253461   1892403    131.39    141.37  --
2175.85/544.72	c  N dy  4549    697980     19358     83278         0     66943    253461   6073496    131.44    141.86  --
2206.20/552.33	c  N dy  4682    718022     19358     83278         0     45989    253461   1512686    131.41    139.25  --
2234.99/559.52	c  N dy  4816    738176     19358     83278         0     66143    253461   5654189    131.41    140.02  --
2266.12/567.31	c  N dy  4951    758250     19358     83278         0     44217    253461    946746    131.42    141.91  --
2294.48/574.48	c  N dy  5092    778485     19358     83278         0     64449    253461   5235627    131.46    155.66  --
2326.44/582.41	c  N dy  5227    798521     19358     83278         0     84483    253461   9428613    131.52    141.53  --
2337.23/585.10	c  S st  5276    806098     19358     83278         0     49062    253461   1705888    131.50   no data  --
2337.62/585.29	c  S st  5276    806598     19358     83278         0     49562    253461   1782783    131.50   no data  --
2338.02/585.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2338.02/585.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2338.42/585.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
2338.82/585.54	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2338.82/585.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2338.82/585.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
2338.82/585.56	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2356.00/589.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 17.23 s
2356.00/589.89	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
2356.40/589.92	c vivif2 --  cl tried    49562 cl shrink        0 lits rem          0 time: 0.12
2356.80/590.08	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.65
2356.80/590.09	c calculated reachability. Time: 0.00
2356.80/590.09	c  N dy  5276    806598     19358     83278         0     49562    253461   1782783    131.50   no data  --
2387.95/597.85	c  N dy  5414    826637     19358     83278         0     69600    253461   5946313    131.50    139.06  --
2422.31/606.49	c  N dy  5541    846695     19358     83278         0     45660    253461    815232    131.49    149.19  --
2453.07/614.11	c  N dy  5669    866798     19358     83278         0     65762    253461   4998401    131.51    140.32  --
2487.83/622.81	c  N dy  5802    886821     19358     83278         0     85784    253461   9176770    131.51    142.25  --
2519.38/630.76	c  N dy  5941    906979     19358     83278         0     60948    253461   3828842    131.54    142.06  --
2553.74/639.31	c  N dy  6083    927096     19358     83278         0     81063    253461   8024223    131.57    141.06  --
2586.89/647.66	c  N dy  6218    947209     19358     83278         0     55178    253461   2394900    131.58    139.41  --
2619.25/655.78	c  N dy  6351    967376     19358     83278         0     75344    253461   6544089    131.58    138.98  --
2655.21/664.78	c  N dy  6488    987400     19358     83278         0     48367    253461    759691    131.59    157.92  --
2686.36/672.52	c  N dy  6616   1007519     19358     83278         0     68484    253461   4906263    131.57    141.04  --
2721.12/681.23	c  N dy  6747   1027577     19358     83278         0     88540    253461   9053904    131.56    142.88  --
2754.27/689.57	c  N dy  6887   1047663     19358     83278         0     60626    253461   3119987    131.60    163.38  --
2787.43/697.84	c  N dy  7018   1067664     19358     83278         0     80625    253461   7332452    131.59    140.23  --
2794.62/699.62	c  F st  7046   1071876     19358     83278         0     84837    253461   8220451    131.60   no data  --
2822.18/706.54	c  N dy  7124   1087822     19358     83278         0     51788    253461   1060556    131.61    140.27  --
2852.94/714.29	c  N dy  7261   1107966     19358     83278         0     71932    253461   5263063    131.65    140.66  --
2887.69/722.94	c  N dy  7401   1128126     19358     83278         0     92088    253461   9483808    131.68    141.17  --
2920.46/731.15	c  N dy  7541   1148178     19358     83278         0     62147    253461   3078331    131.71    139.73  --
2954.00/739.55	c  N dy  7685   1168315     19358     83278         0     82283    253461   7351949    131.76    138.70  --
2989.15/748.36	c  N dy  7813   1188399     19358     83278         0     51369    253461    576674    131.77    141.59  --
3018.71/755.75	c  N dy  7957   1208501     19358     83278         0     71470    253461   4739601    131.79    141.77  --
3020.71/756.30	c  S st  7968   1209898     19358     83278         0     72867    253461   5021970    131.79   no data  --
3021.90/756.51	c  S st  7968   1210401     19358     83278         0     73370    253461   5102730    131.79   no data  --
3021.90/756.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3021.90/756.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3022.30/756.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3023.50/756.96	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3023.50/756.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3023.50/756.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
3023.50/756.98	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
3286.75/822.81	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 262.59 s
3286.75/822.82	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
3287.15/822.90	c vivif2 --  cl tried    73367 cl shrink        0 lits rem          0 time: 0.30
3287.95/823.10	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.83
3287.95/823.11	c calculated reachability. Time: 0.00
3287.95/823.11	c  N dy  7968   1210401     19358     83278         0     73367    253461   5102116    131.79   no data  --
3320.69/831.37	c  N dy  8112   1230424     19358     83278         0     93389    253461   9337152    131.83    153.73  --
3353.45/839.56	c  N dy  8246   1250687     19358     83278         0     61656    253461   2525507    131.84    139.77  --
3385.41/847.50	c  N dy  8388   1270923     19358     83278         0     81890    253461   6790684    131.89    140.64  --
3419.76/856.15	c  N dy  8528   1291006     19358     83278         0    101973    253461  10956195    131.91    142.10  --
3450.91/863.94	c  N dy  8664   1311261     19358     83278         0     69227    253461   3830593    131.91    139.86  --
3482.90/872.00	c  N dy  8798   1331368     19358     83278         0     89333    253461   8013177    131.91    140.86  --
3518.42/880.81	c  N dy  8932   1351402     19358     83278         0     55373    253461    787902    131.93    139.89  --
3548.40/888.37	c  N dy  9074   1371458     19358     83278         0     75427    253461   5043864    131.97    139.18  --
3582.34/896.81	c  N dy  9211   1391472     19358     83278         0     95439    253461   9245456    131.99    141.09  --
3616.68/905.45	c  N dy  9345   1411604     19358     83278         0     60574    253461   1678065    131.99    142.39  --
3647.44/913.18	c  N dy  9481   1431707     19358     83278         0     80676    253461   5935026    132.00    141.55  --
3684.20/922.35	c  N dy  9625   1451799     19358     83278         0    100767    253461  10161778    132.03    140.60  --
3720.54/931.40	c  N dy  9766   1471915     19358     83278         0     64882    253461   2374892    132.05    142.53  --
3754.10/939.86	c  N dy  9907   1492082     19358     83278         0     85047    253461   6549285    132.06    140.82  --
3791.25/949.17	c  N dy 10044   1512088     19358     83278         0    105053    253461  10700506    132.06    143.10  --
3827.19/958.16	c  N dy 10188   1532141     19358     83278         0     68105    253461   2883736    132.09    177.29  --
3862.75/967.09	c  N dy 10328   1552336     19358     83278         0     88299    253461   7198608    132.13    140.22  --
3901.90/976.81	c  N dy 10457   1572489     19358     83278         0    108452    253461  11407224    132.11    139.42  --
3938.25/985.96	c  N dy 10594   1592583     19358     83278         0     70545    253461   3186569    132.13    139.26  --
3974.62/995.02	c  N dy 10734   1612789     19358     83278         0     90751    253461   7439859    132.16    140.72  --
4014.56/1005.01	c  N dy 10877   1632857     19358     83278         0    110819    253461  11652519    132.18    141.83  --
4050.50/1014.08	c  N dy 11007   1652920     19358     83278         0     71883    253461   3207230    132.18    140.43  --
4086.45/1023.09	c  N dy 11140   1673042     19358     83278         0     92004    253461   7393617    132.18    139.62  --
4126.00/1032.99	c  N dy 11264   1693326     19358     83278         0    112287    253461  11670166    132.17    139.98  --
4157.16/1040.79	c  S st 11382   1710401     19358     83278         0     69363    253461   2507083    132.21    110.03  --
4158.35/1041.02	c  S st 11382   1710910     19358     83278         0     69872    253461   2593409    132.21   no data  --
4158.35/1041.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4158.35/1041.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4158.75/1041.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.55
4159.57/1041.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4159.57/1041.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4159.57/1041.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19358 time:  0.03 s
4159.57/1041.37	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4191.50/1049.39	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time: 31.93 s
4191.91/1049.40	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
4191.91/1049.44	c vivif2 --  cl tried    69868 cl shrink        0 lits rem          0 time: 0.17
4192.70/1049.64	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.81
4192.70/1049.65	c calculated reachability. Time: 0.00
4192.70/1049.65	c  N dy 11382   1710910     19358     83278         0     69868    253461   2591251    132.21   no data  --
4227.06/1058.22	c  N dy 11519   1731034     19358     83278         0     89991    253461   6794369    132.22    139.27  --
4264.62/1067.67	c  N dy 11656   1751087     19358     83278         0    110043    253461  11038588    132.25    139.44  --
4302.55/1077.12	c  N dy 11794   1771151     19358     83278         0     69107    253461   2240221    132.25    139.64  --
4337.71/1085.94	c  N dy 11919   1791291     19358     83278         0     89246    253461   6456441    132.23    140.72  --
4378.06/1096.06	c  N dy 12060   1811320     19358     83278         0    109275    253461  10693781    132.25    141.64  --
4418.82/1106.29	c  N dy 12193   1831378     19358     83278         0     67340    253461   1682967    132.25    139.33  --
4454.75/1115.23	c  N dy 12327   1851449     19358     83278         0     87411    253461   5868115    132.27    140.04  --
4494.30/1125.17	c  N dy 12463   1871475     19358     83278         0    107435    253461  10123359    132.29    142.24  --
4537.46/1135.91	c  N dy 12594   1891521     19358     83278         0     64488    253461    883785    132.30    149.04  --
4571.79/1144.56	c  N dy 12717   1911655     19358     83278         0     84622    253461   5077775    132.28    140.92  --
4610.95/1154.38	c  N dy 12851   1931815     19358     83278         0    104780    253461   9317241    132.28    140.44  --
4654.49/1165.22	c  N dy 12984   1951832     19358     83278         0    124797    253461  13548855    132.29    149.81  --
4691.25/1174.41	c  N dy 13119   1972013     19358     83278         0     80977    253461   4094203    132.29    142.21  --
4729.19/1183.93	c  N dy 13246   1992043     19358     83278         0    101007    253461   8257400    132.27    145.24  --
4771.53/1194.54	c  N dy 13381   2012051     19358     83278         0    121013    253461  12412403    132.27    142.17  --

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-3174986-1304071867/watcher-3174986-1304071867 -o /tmp/evaluation-result-3174986-1304071867/solver-3174986-1304071867 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174986-1304071867.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: 6.86 7.81 7.89 6/180 5914
/proc/meminfo: memFree=31700160/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 499602348 52465664 352 33554432000 4194304 4650419 140734903154304 18446744073709551615 47245473896364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 12809 352 303 112 0 7774 0
[pid=5914/tid=5915] ppid=5912 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 499602348 52465664 352 33554432000 4194304 4650419 140734903154304 18446744073709551615 47245473896370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 499602348 52465664 352 33554432000 4194304 4650419 140734903154304 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 499602348 52465664 352 33554432000 4194304 4650419 140734903154304 18446744073709551615 47245473896370 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0517999 s]
/proc/loadavg: 6.86 7.81 7.89 6/180 5914
/proc/meminfo: memFree=31700160/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=312808 CPUtime=0.67 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 18267 0 0 0 64 3 0 0 18 0 4 0 499602348 320315392 14689 33554432000 4194304 4650419 140734903154304 18446744073709551615 270338080976 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 78317 15038 377 112 0 73282 0
[pid=5914/tid=5915] ppid=5912 vsize=315084 CPUtime=0.17 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 5382 0 0 0 17 0 0 0 18 0 4 0 499602348 322646016 16704 33554432000 4194304 4650419 140734903154304 18446744073709551615 270338427063 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=318444 CPUtime=0.19 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) D 5912 5914 5456 0 -1 4202560 5899 0 0 0 18 1 0 0 18 0 4 0 499602348 326086656 18444 33554432000 4194304 4650419 140734903154304 18446744073709551615 270338044961 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=325516 CPUtime=0.75 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 4166 0 0 0 74 1 0 0 18 0 4 0 499602348 333328384 23763 33554432000 4194304 4650419 140734903154304 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 312808

[startup+0.858747 s]
/proc/loadavg: 6.86 7.81 7.89 6/180 5914
/proc/meminfo: memFree=31700160/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=325516 CPUtime=3.41 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 30943 0 0 0 335 6 0 0 19 0 4 0 499602348 333328384 24177 33554432000 4194304 4650419 140734903154304 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 81379 24177 391 112 0 76344 0
[pid=5914/tid=5915] ppid=5912 vsize=325516 CPUtime=0.84 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9042 0 0 0 83 1 0 0 18 0 4 0 499602348 333328384 24177 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=325516 CPUtime=0.84 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9014 0 0 0 82 2 0 0 19 0 4 0 499602348 333328384 24177 33554432000 4194304 4650419 140734903154304 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=325516 CPUtime=0.85 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 4253 0 0 0 84 1 0 0 19 0 4 0 499602348 333328384 24177 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 325516

[startup+0.958727 s]
/proc/loadavg: 6.86 7.81 7.89 6/180 5914
/proc/meminfo: memFree=31700160/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=325516 CPUtime=3.8 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 31375 0 0 0 374 6 0 0 19 0 4 0 499602348 333328384 24609 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 81379 24609 391 112 0 76344 0
[pid=5914/tid=5915] ppid=5912 vsize=325516 CPUtime=0.94 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9155 0 0 0 93 1 0 0 19 0 4 0 499602348 333328384 24609 33554432000 4194304 4650419 140734903154304 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=325516 CPUtime=0.94 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9111 0 0 0 92 2 0 0 19 0 4 0 499602348 333328384 24609 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=325516 CPUtime=0.95 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 4353 0 0 0 94 1 0 0 19 0 4 0 499602348 333328384 24609 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363666 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 325516

[startup+1.05871 s]
/proc/loadavg: 6.86 7.81 7.89 6/180 5914
/proc/meminfo: memFree=31700160/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=325516 CPUtime=4.2 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 31724 0 0 0 414 6 0 0 19 0 4 0 499602348 333328384 24958 33554432000 4194304 4650419 140734903154304 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 81379 24958 391 112 0 76344 0
[pid=5914/tid=5915] ppid=5912 vsize=325516 CPUtime=1.04 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9254 0 0 0 103 1 0 0 19 0 4 0 499602348 333328384 24958 33554432000 4194304 4650419 140734903154304 18446744073709551615 4334371 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=325516 CPUtime=1.04 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9188 0 0 0 102 2 0 0 19 0 4 0 499602348 333328384 24958 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=325516 CPUtime=1.05 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 4437 0 0 0 104 1 0 0 19 0 4 0 499602348 333328384 24958 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 325516

[startup+1.50062 s]
/proc/loadavg: 6.86 7.81 7.89 6/180 5914
/proc/meminfo: memFree=31700160/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=325516 CPUtime=5.98 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 33260 0 0 0 591 7 0 0 20 0 4 0 499602348 333328384 26494 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363553 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 81379 26494 391 112 0 76344 0
[pid=5914/tid=5915] ppid=5912 vsize=325516 CPUtime=1.48 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9640 0 0 0 147 1 0 0 19 0 4 0 499602348 333328384 26494 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=325516 CPUtime=1.48 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 9550 0 0 0 146 2 0 0 20 0 4 0 499602348 333328384 26494 33554432000 4194304 4650419 140734903154304 18446744073709551615 4360358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=325516 CPUtime=1.49 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 4841 0 0 0 148 1 0 0 20 0 4 0 499602348 333328384 26494 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 325516

[startup+3.1003 s]
/proc/loadavg: 6.86 7.81 7.89 9/184 5918
/proc/meminfo: memFree=31544824/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=485140 CPUtime=12.36 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 38814 0 0 0 1227 9 0 0 25 0 4 0 499602348 496783360 32048 33554432000 4194304 4650419 140734903154304 18446744073709551615 4333931 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 121285 32048 391 112 0 116250 0
[pid=5914/tid=5915] ppid=5912 vsize=485140 CPUtime=3.09 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 10933 0 0 0 307 2 0 0 25 0 4 0 499602348 496783360 32048 33554432000 4194304 4650419 140734903154304 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=485140 CPUtime=3.07 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 10838 0 0 0 305 2 0 0 25 0 4 0 499602348 496783360 32048 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=485140 CPUtime=3.08 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 6483 0 0 0 307 1 0 0 25 0 4 0 499602348 496783360 32048 33554432000 4194304 4650419 140734903154304 18446744073709551615 4520279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 485140

[startup+6.30067 s]
/proc/loadavg: 6.95 7.82 7.89 9/184 5918
/proc/meminfo: memFree=31505144/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=338636 CPUtime=25.14 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 54574 0 0 0 2502 12 0 0 25 0 4 0 499602348 346763264 29184 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 84659 29184 393 112 0 79624 0
[pid=5914/tid=5915] ppid=5912 vsize=338636 CPUtime=6.29 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 14928 0 0 0 626 3 0 0 25 0 4 0 499602348 346763264 29184 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=338636 CPUtime=6.25 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 14796 0 0 0 622 3 0 0 25 0 4 0 499602348 346763264 29184 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=338636 CPUtime=6.28 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 10662 0 0 0 626 2 0 0 25 0 4 0 499602348 346763264 29184 33554432000 4194304 4650419 140734903154304 18446744073709551615 4326722 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 338636

[startup+12.7004 s]
/proc/loadavg: 7.03 7.82 7.89 9/184 5918
/proc/meminfo: memFree=31249812/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=582080 CPUtime=50.73 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 113333 0 0 0 5048 25 0 0 25 0 4 0 499602348 596049920 75754 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 145520 75754 395 112 0 140485 0
[pid=5914/tid=5915] ppid=5912 vsize=582080 CPUtime=12.69 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 41496 0 0 0 1260 9 0 0 25 0 4 0 499602348 596049920 75754 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=582080 CPUtime=12.62 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 21573 0 0 0 1256 6 0 0 25 0 4 0 499602348 596049920 75754 33554432000 4194304 4650419 140734903154304 18446744073709551615 4426530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=582080 CPUtime=12.69 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 16779 0 0 0 1265 4 0 0 25 0 4 0 499602348 596049920 75754 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 582080

[startup+25.5009 s]
/proc/loadavg: 7.32 7.84 7.90 9/184 5918
/proc/meminfo: memFree=31027236/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=768688 CPUtime=101.85 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 198445 0 0 0 10140 45 0 0 25 0 4 0 499602348 787136512 107231 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 192172 107231 395 112 0 187137 0
[pid=5914/tid=5915] ppid=5912 vsize=768688 CPUtime=25.48 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 81323 0 0 0 2534 14 0 0 25 0 4 0 499602348 787136512 107231 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=768688 CPUtime=25.35 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 36252 0 0 0 2524 11 0 0 25 0 4 0 499602348 787136512 107231 33554432000 4194304 4650419 140734903154304 18446744073709551615 4329440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=768688 CPUtime=25.48 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 39647 0 0 0 2537 11 0 0 25 0 4 0 499602348 787136512 107231 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363307 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 768688

[startup+51.1008 s]
/proc/loadavg: 7.55 7.86 7.90 9/184 5919
/proc/meminfo: memFree=30933804/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=812688 CPUtime=204.1 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 319907 0 0 0 20340 70 0 0 25 0 4 0 499602348 832192512 127514 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 203172 127514 395 112 0 198137 0
[pid=5914/tid=5915] ppid=5912 vsize=812688 CPUtime=51.09 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 137103 0 0 0 5086 23 0 0 25 0 4 0 499602348 832192512 127514 33554432000 4194304 4650419 140734903154304 18446744073709551615 4328318 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=812688 CPUtime=50.82 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 59374 0 0 0 5066 16 0 0 25 0 4 0 499602348 832192512 127514 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=812688 CPUtime=51.08 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 56152 0 0 0 5091 17 0 0 25 0 4 0 499602348 832192512 127514 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 812688

[startup+102.301 s]
/proc/loadavg: 7.86 7.89 7.91 9/184 5920
/proc/meminfo: memFree=30795624/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=767824 CPUtime=408.64 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 414117 0 0 0 40763 101 0 0 25 0 4 0 499602348 786251776 138972 33554432000 4194304 4650419 140734903154304 18446744073709551615 4331155 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 191956 138972 395 112 0 186921 0
[pid=5914/tid=5915] ppid=5912 vsize=767824 CPUtime=102.29 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 166503 0 0 0 10197 32 0 0 25 0 4 0 499602348 786251776 138972 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=767824 CPUtime=101.74 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 90371 0 0 0 10148 26 0 0 25 0 4 0 499602348 786251776 138972 33554432000 4194304 4650419 140734903154304 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=767824 CPUtime=102.28 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 86207 0 0 0 10201 27 0 0 25 0 4 0 499602348 786251776 138972 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 767824

[startup+162.301 s]

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

[pid=5914] ppid=5912 vsize=1269192 CPUtime=2565.72 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 2670352 0 0 0 255952 620 0 0 25 0 4 0 499602348 1299652608 251743 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 317298 251743 395 112 0 312263 0
[pid=5914/tid=5915] ppid=5912 vsize=1269192 CPUtime=642.3 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 938633 0 0 0 64036 194 0 0 25 0 4 0 499602348 1299652608 251743 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1269192 CPUtime=638.79 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 777072 0 0 0 63700 179 0 0 25 0 4 0 499602348 1299652608 251743 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1269192 CPUtime=642.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 752322 0 0 0 64055 174 0 0 25 0 4 0 499602348 1299652608 251743 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 1269192

[startup+702.301 s]
/proc/loadavg: 8.09 8.00 7.93 9/184 5936
/proc/meminfo: memFree=30025500/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1324660 CPUtime=2805.41 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 3215922 0 0 0 279828 713 0 0 25 0 4 0 499602348 1356451840 257429 33554432000 4194304 4650419 140734903154304 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 331165 257429 416 112 0 326130 0
[pid=5914/tid=5915] ppid=5912 vsize=1324660 CPUtime=702.31 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1156281 0 0 0 70005 226 0 0 25 0 4 0 499602348 1356451840 257429 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1324660 CPUtime=698.47 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1054374 0 0 0 69631 216 0 0 25 0 4 0 499602348 1356451840 257430 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1324660 CPUtime=702.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 779641 0 0 0 70042 187 0 0 25 0 4 0 499602348 1356451840 257431 33554432000 4194304 4650419 140734903154304 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 1324660

[startup+762.301 s]
/proc/loadavg: 8.09 8.02 7.94 9/184 5938
/proc/meminfo: memFree=29991332/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1215952 CPUtime=3045.07 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 3483762 0 0 0 303738 769 0 0 25 0 4 0 499602348 1245134848 246099 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 303988 246099 395 112 0 298953 0
[pid=5914/tid=5915] ppid=5912 vsize=1215952 CPUtime=762.3 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1344182 0 0 0 75978 252 0 0 25 0 4 0 499602348 1245134848 246099 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1215952 CPUtime=758.13 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1085113 0 0 0 75585 228 0 0 25 0 4 0 499602348 1245134848 246099 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1215952 CPUtime=762.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 808171 0 0 0 76030 199 0 0 25 0 4 0 499602348 1245134848 246099 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 1215952

[startup+822.301 s]
/proc/loadavg: 8.09 8.03 7.94 9/184 5940
/proc/meminfo: memFree=29910196/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1338152 CPUtime=3284.76 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 3566168 0 0 0 327673 803 0 0 25 0 4 0 499602348 1370267648 246989 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 334538 246989 395 112 0 329503 0
[pid=5914/tid=5915] ppid=5912 vsize=1338152 CPUtime=822.31 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1373005 0 0 0 81966 265 0 0 25 0 4 0 499602348 1370267648 246989 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1338152 CPUtime=817.81 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1111001 0 0 0 81541 240 0 0 25 0 4 0 499602348 1370267648 246989 33554432000 4194304 4650419 140734903154304 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1338152 CPUtime=822.3 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 835866 0 0 0 82021 209 0 0 25 0 4 0 499602348 1370267648 246989 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 1338152

[startup+882.301 s]
/proc/loadavg: 8.22 8.08 7.96 9/184 5944
/proc/meminfo: memFree=29798768/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1410092 CPUtime=3524.41 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 3684829 0 0 0 351598 843 0 0 25 0 4 0 499602348 1443934208 277628 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 352523 277628 395 112 0 347488 0
[pid=5914/tid=5915] ppid=5912 vsize=1410092 CPUtime=882.3 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1405652 0 0 0 87954 276 0 0 25 0 4 0 499602348 1443934208 277628 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1410092 CPUtime=877.48 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1142271 0 0 0 87497 251 0 0 25 0 4 0 499602348 1443934208 277628 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1410092 CPUtime=882.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 864974 0 0 0 88012 217 0 0 25 0 4 0 499602348 1443934208 277628 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 1410092

[startup+942.307 s]
/proc/loadavg: 8.08 8.06 7.96 9/184 5946
/proc/meminfo: memFree=29750108/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1480100 CPUtime=3764.1 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 3917827 0 0 0 375513 897 0 0 25 0 4 0 499602348 1515622400 290611 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 370025 290611 395 112 0 364990 0
[pid=5914/tid=5915] ppid=5912 vsize=1480100 CPUtime=942.31 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1432766 0 0 0 93946 285 0 0 25 0 4 0 499602348 1515622400 290611 33554432000 4194304 4650419 140734903154304 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1480100 CPUtime=937.15 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1297523 0 0 0 93438 277 0 0 25 0 4 0 499602348 1515622400 290611 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1480100 CPUtime=942.3 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 891833 0 0 0 94003 227 0 0 25 0 4 0 499602348 1515622400 290611 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 1480100

[startup+1002.3 s]
/proc/loadavg: 8.08 8.06 7.97 9/184 5947
/proc/meminfo: memFree=29711600/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1494176 CPUtime=4003.76 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 4276245 0 0 0 399406 970 0 0 25 0 4 0 499602348 1530036224 292732 33554432000 4194304 4650419 140734903154304 18446744073709551615 4364483 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 373544 292732 395 112 0 368509 0
[pid=5914/tid=5915] ppid=5912 vsize=1494176 CPUtime=1002.3 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1440370 0 0 0 99942 288 0 0 25 0 4 0 499602348 1530036224 292732 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1494176 CPUtime=996.82 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1594231 0 0 0 99361 321 0 0 25 0 4 0 499602348 1530036224 292732 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1494176 CPUtime=1002.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 920086 0 0 0 99989 240 0 0 25 0 4 0 499602348 1530036224 292732 33554432000 4194304 4650419 140734903154304 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 1494176

[startup+1062.3 s]
/proc/loadavg: 8.08 8.06 7.97 9/184 5949
/proc/meminfo: memFree=29751364/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1494956 CPUtime=4243.44 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 4643187 0 0 0 423297 1047 0 0 25 0 4 0 499602348 1530834944 284511 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 373739 284511 395 112 0 368704 0
[pid=5914/tid=5915] ppid=5912 vsize=1494956 CPUtime=1062.3 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1453601 0 0 0 105937 293 0 0 25 0 4 0 499602348 1530834944 284511 33554432000 4194304 4650419 140734903154304 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1494956 CPUtime=1056.5 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1901093 0 0 0 105283 367 0 0 25 0 4 0 499602348 1530834944 284511 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1494956 CPUtime=1062.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 948174 0 0 0 105972 257 0 0 25 0 4 0 499602348 1530834944 284511 33554432000 4194304 4650419 140734903154304 18446744073709551615 4520040 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 1494956

[startup+1122.3 s]
/proc/loadavg: 8.12 8.08 7.98 9/184 5951
/proc/meminfo: memFree=29533192/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1561536 CPUtime=4483.12 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 5238158 0 0 0 447159 1153 0 0 25 0 4 0 499602348 1599012864 321334 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 390384 321334 412 112 0 385349 0
[pid=5914/tid=5915] ppid=5912 vsize=1561536 CPUtime=1122.3 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1481935 0 0 0 111922 308 0 0 25 0 4 0 499602348 1599012864 321334 33554432000 4194304 4650419 140734903154304 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1561536 CPUtime=1116.17 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 2230717 0 0 0 111202 415 0 0 25 0 4 0 499602348 1599012864 321334 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1561536 CPUtime=1122.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1163493 0 0 0 111941 288 0 0 25 0 4 0 499602348 1599012864 321335 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 1561536

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.00 9/184 5952
/proc/meminfo: memFree=29539708/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1562568 CPUtime=4722.79 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 5965839 0 0 0 470998 1281 0 0 25 0 4 0 499602348 1600069632 314710 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 390642 314710 406 112 0 385607 0
[pid=5914/tid=5915] ppid=5912 vsize=1562568 CPUtime=1182.31 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1505854 0 0 0 117908 323 0 0 25 0 4 0 499602348 1600069632 314710 33554432000 4194304 4650419 140734903154304 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1562568 CPUtime=1175.84 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 2631387 0 0 0 117112 472 0 0 25 0 4 0 499602348 1600069632 314710 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1562568 CPUtime=1182.29 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1445574 0 0 0 117898 331 0 0 25 0 4 0 499602348 1600069632 314710 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 1562568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.23 8.12 8.01 9/184 5953
/proc/meminfo: memFree=29576012/32951124 swapFree=67111356/67111528
[pid=5914] ppid=5912 vsize=1506216 CPUtime=4800.31 cores=1,3,5,7
/proc/5914/stat : 5914 (strangenight1-m) R 5912 5914 5456 0 -1 4202496 6230748 0 0 0 478704 1327 0 0 25 0 4 0 499602348 1542365184 317678 33554432000 4194304 4650419 140734903154304 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5914/statm: 376554 317678 423 112 0 371519 0
[pid=5914/tid=5915] ppid=5912 vsize=1506216 CPUtime=1201.71 cores=1,3,5,7
/proc/5914/task/5915/stat : 5915 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1513540 0 0 0 119843 328 0 0 25 0 4 0 499602348 1542365184 317678 33554432000 4194304 4650419 140734903154304 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5914/tid=5916] ppid=5912 vsize=1506216 CPUtime=1195.14 cores=1,3,5,7
/proc/5914/task/5916/stat : 5916 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 2789787 0 0 0 119020 494 0 0 25 0 4 0 499602348 1542365184 317678 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5914/tid=5917] ppid=5912 vsize=1506216 CPUtime=1201.69 cores=1,3,5,7
/proc/5914/task/5917/stat : 5917 (strangenight1-m) R 5912 5914 5456 0 -1 4202560 1537726 0 0 0 119824 345 0 0 25 0 4 0 499602348 1542365184 317678 33554432000 4194304 4650419 140734903154304 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1506216

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.76
CPU time (s): 4800.39
CPU user time (s): 4787.07
CPU system time (s): 13.322
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 1562568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.07
system time used= 13.322
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6230752
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= 1855
involuntary context switches= 30690

runsolver used 1.9427 second user time and 4.6293 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 12:11:07
IDJOB=3174986
IDBENCH=82604
IDSOLVER=1588
FILE ID=node143/3174986-1304071867
RUNJOBID= node143-1304071867-5892
PBS_JOBID= 13170467
Free space on /tmp= 72916 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174986-1304071867/watcher-3174986-1304071867 -o /tmp/evaluation-result-3174986-1304071867/solver-3174986-1304071867 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174986-1304071867.cnf

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

MD5SUM BENCH= 53ba9a0375ae9f5fbde617f9de32bf14
RANDOM SEED=1142325651

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.74
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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:      31700192 kB
Buffers:        199748 kB
Cached:         682076 kB
SwapCached:        168 kB
Active:         309972 kB
Inactive:       664028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31700192 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           14864 kB
Writeback:           0 kB
AnonPages:       91448 kB
Mapped:          15080 kB
Slab:           212480 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   290884 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= 72912 MiB
End job on node143 at 2011-04-29 12:31:11