Trace number 3368639

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 (fixed)? (TO) 4800.3 1203.58

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf
MD5SUMfa8f767b93a18fbf678b4d0ea0994bed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.11761
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368639-1305399462.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.14/0.16	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.14/0.16	c -- vars added      20000
0.14/0.16	c Parsing time:  0.26 s
0.14/0.16	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.75/0.20	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.23
0.75/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
0.75/0.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.75/0.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.75/0.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.75/0.29	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
3.91/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    677  v-fix:    0  time:  0.78 s
3.91/1.02	c Finding binary XORs  T:     0.02 s  found:       0
3.91/1.02	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
3.91/1.02	c calculated reachability. Time: 0.00
3.91/1.02	c Calc default polars -  time:   0.02 s pos:    8810 undec:    2372 neg:    8818
3.91/1.02	c =========================================================================================
3.91/1.02	c types(t): F = full restart, N = normal restart
3.91/1.02	c types(t): S = simplification begin/end, E = solution found
3.91/1.02	c restart types(rt): st = static, dy = dynamic
3.91/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.91/1.02	c  B st     0         0     19323     83129         0         0    253236         0   no data   no data  --
5.90/1.55	c  N dy    19      4194     19323     83129         0      4192    253236    893095    118.26    124.91  --
9.88/2.57	c  N dy    50      8348     19323     83129         0      8346    253236   1692895    122.80    131.40  --
14.27/3.63	c  N dy    79     12462     19323     83129         0     12460    253236   2491623    123.64    131.16  --
19.06/4.80	c  N dy   110     16822     19323     83129         0     16820    253236   3344815    124.35    139.41  --
23.45/5.94	c  N dy   141     20880     19323     83129         0     10882    253236    714048    125.19    132.90  --
27.83/7.01	c  N dy   174     24923     19323     83129         0     14924    253236   1550033    126.58    136.02  --
27.83/7.04	c  F st   175     25002     19323     83129         0     15003    253236   1565408    126.57   no data  --
33.43/8.48	c  N dy   181     30004     19323     83129         0     20004    253236   2851781    126.57   no data  --
33.43/8.48	c  S st   181     30004     19323     83129         0     20004    253236   2851781    126.57   no data  --
34.22/8.62	c  S st   181     30511     19323     83129         0     20511    253236   2932315    126.57   no data  --
34.22/8.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
34.22/8.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.62/8.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.82/9.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.82/9.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.82/9.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
35.82/9.06	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
57.40/14.48	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 21.52 s
57.75/14.59	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.45
58.16/14.60	c calculated reachability. Time: 0.00
58.16/14.60	c  N dy   181     30511     19323     83129         0     20509    253236   2931756    126.57   no data  --
63.34/15.95	c  N dy   209     34629     19323     83129         0     24626    253236   3749743    126.77    134.53  --
68.93/17.36	c  N dy   241     38724     19323     83129         0     28721    253236   4609223    127.74    136.75  --
74.55/18.78	c  N dy   271     42816     19323     83129         0     17314    253236   1029721    127.97    173.27  --
78.51/19.72	c  S st   293     45767     19323     83129         0     20265    253236   1660466    128.69   no data  --
78.94/19.87	c  S st   293     46269     19323     83129         0     20767    253236   1738598    128.69   no data  --
78.94/19.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
78.94/19.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.34/19.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
80.10/20.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
80.10/20.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
80.10/20.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
80.10/20.13	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
94.46/23.75	c lits-rem:         5  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.36 s
94.46/23.76	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
94.46/23.78	c vivif2 --  cl tried    20767 cl shrink        0 lits rem          0 time: 0.10
94.86/23.89	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.43
94.86/23.89	c calculated reachability. Time: 0.00
94.86/23.89	c  N dy   293     46269     19323     83129         0     20767    253236   1738593    128.69   no data  --
100.44/25.21	c  N dy   322     50583     19323     83129         0     25081    253236   2627829    128.81    135.61  --
105.27/26.47	c  N dy   350     54624     19323     83129         0     29122    253236   3431964    128.81    142.09  --
110.41/27.78	c  N dy   380     58678     19323     83129         0     33176    253236   4261656    128.91    135.95  --
116.00/29.15	c  N dy   408     62753     19323     83129         0     37251    253236   5110316    129.14    139.36  --
120.79/30.40	c  N dy   436     66812     19323     83129         0     22561    253236   1433818    129.26    138.06  --
124.38/31.23	c  S st   457     69403     19323     83129         0     25151    253236   1971701    129.43    112.24  --
124.78/31.39	c  S st   457     69905     19323     83129         0     25653    253236   2049803    129.43   no data  --
125.18/31.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
125.18/31.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
125.58/31.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.41
125.98/31.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
125.98/31.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
125.98/31.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
125.98/31.69	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
143.52/36.09	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time: 17.50 s
143.52/36.09	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.03
143.92/36.12	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.12
144.32/36.23	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.45
144.32/36.24	c calculated reachability. Time: 0.00
144.32/36.24	c  N dy   457     69905     19323     83129         0     25652    253236   2049665    129.43   no data  --
149.90/37.61	c  N dy   490     74421     19323     83129         0     30168    253236   2988413    129.64    137.65  --
155.90/39.14	c  N dy   524     79332     19323     83129         0     35079    253236   3990480    129.75    136.86  --
162.71/40.84	c  N dy   559     84475     19323     83129         0     40222    253236   5043223    129.68    147.38  --
166.27/41.78	c  F st   578     87501     19323     83129         0     22375    253236    924337    129.66   no data  --
171.10/42.92	c  N st   583     90806     19323     83129         0     25679    253236   1970695    129.66   no data  --
178.63/44.83	c  N dy   606     96611     19323     83129         0     31484    253236   3307754    129.59    137.70  --
186.61/46.87	c  N dy   651    102847     19323     83129         0     37718    253236   4571638    129.53    136.79  --
189.40/47.53	c  S st   667    104858     19323     83129         0     39729    253236   4973198    129.53   no data  --
190.20/47.70	c  S st   667    105364     19323     83129         0     40235    253236   5045956    129.53   no data  --
190.20/47.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
190.20/47.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
190.60/47.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.45
191.81/48.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
191.81/48.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
191.81/48.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.02 s
191.81/48.19	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
403.25/101.16	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 210.97 s
403.25/101.17	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
403.68/101.25	c vivif2 --  cl tried    40230 cl shrink        0 lits rem          0 time: 0.32
404.45/101.40	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.58
404.45/101.41	c calculated reachability. Time: 0.00
404.45/101.41	c  N dy   667    105364     19323     83129         0     40230    253236   5042675    129.53   no data  --
413.22/103.61	c  N dy   712    112121     19323     83129         0     24555    253236   1040750    129.64    149.25  --
421.99/105.87	c  N dy   760    119361     19323     83129         0     31794    253236   2543468    129.84    140.59  --
432.77/108.58	c  N dy   813    126996     19323     83129         0     39429    253236   4124219    129.90    138.76  --
444.74/111.57	c  N dy   871    135160     19323     83129         0     23879    253236    577943    130.09    144.17  --
455.91/114.30	c  N dy   927    143848     19323     83129         0     32566    253236   2380876    130.13    146.29  --
467.48/117.28	c  N dy   991    153042     19323     83129         0     41760    253236   4288484    130.34    139.97  --
474.30/118.95	c  S st  1023    158046     19323     83129         0     46764    253236   5318123    130.34   no data  --
475.05/119.13	c  S st  1023    158550     19323     83129         0     47268    253236   5394444    130.34   no data  --
475.05/119.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
475.05/119.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
475.45/119.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.46
477.05/119.60	c bin-w-bin subsume rem            0 bins  time:  0.03 s
477.05/119.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
477.05/119.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
477.05/119.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
745.15/186.85	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time: 267.65 s
745.15/186.86	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
745.56/186.94	c vivif2 --  cl tried    47264 cl shrink        0 lits rem          0 time: 0.31
746.40/187.12	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.70
746.40/187.12	c calculated reachability. Time: 0.00
746.40/187.12	c  N dy  1023    158550     19323     83129         0     47264    253236   5392861    130.34   no data  --
759.91/190.59	c  N dy  1090    168725     19323     83129         0     32579    253236   2128191    130.32    138.23  --
775.08/194.33	c  N dy  1162    179614     19323     83129         0     43468    253236   4381895    130.22    137.30  --
791.43/198.43	c  N dy  1239    191172     19323     83129         0     29092    253236   1136863    130.16    139.58  --
807.81/202.55	c  N dy  1320    203402     19323     83129         0     41321    253236   3646006    130.22    138.37  --
826.92/207.35	c  N dy  1408    216465     19323     83129         0     27421    253236    566900    130.29    137.55  --
845.27/211.97	c  N dy  1507    230329     19323     83129         0     41283    253236   3465184    130.43    141.01  --
856.44/214.70	c  S st  1561    237825     19323     83129         0     48779    253236   5000181    130.49    123.86  --
856.84/214.89	c  S st  1561    238329     19323     83129         0     49283    253236   5072671    130.49   no data  --
857.24/214.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
857.24/214.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
857.64/215.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
858.84/215.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
858.84/215.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
858.84/215.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
858.84/215.36	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1106.55/277.42	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 247.22 s
1106.55/277.43	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
1106.96/277.51	c vivif2 --  cl tried    49280 cl shrink        0 lits rem          0 time: 0.29
1107.36/277.68	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.68
1107.36/277.68	c calculated reachability. Time: 0.00
1107.36/277.68	c  N dy  1561    238329     19323     83129         0     49280    253236   5071181    130.49   no data  --
1128.90/283.09	c  N dy  1657    253577     19323     83129         0     36546    253236   2271517    130.44    165.99  --
1152.44/288.91	c  N dy  1764    269840     19323     83129         0     52809    253236   5598826    130.42    137.50  --
1176.76/295.06	c  N dy  1883    287219     19323     83129         0     41196    253236   3060355    130.47    139.38  --
1204.29/301.92	c  N dy  2009    305607     19323     83129         0     59582    253236   6878454    130.59    137.53  --
1205.10/302.19	c  F st  2013    306251     19323     83129         0     30238    253236    511145    130.57   no data  --
1232.23/308.91	c  N dy  2114    325161     19323     83129         0     49147    253236   4852247    130.63    138.88  --
1261.34/316.27	c  N dy  2250    345209     19323     83129         0     38197    253236   1945781    130.65    138.22  --
1278.90/320.66	c  S st  2331    357493     19323     83129         0     50480    253236   4490526    130.62   no data  --
1279.70/320.86	c  S st  2331    357995     19323     83129         0     50982    253236   4577443    130.62   no data  --
1279.70/320.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1279.70/320.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1280.49/321.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
1281.34/321.29	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1281.34/321.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1281.34/321.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
1281.74/321.32	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1462.00/366.51	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 179.78 s
1462.00/366.52	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
1462.00/366.59	c vivif2 --  cl tried    50981 cl shrink        0 lits rem          0 time: 0.28
1462.80/366.77	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.72
1462.80/366.77	c calculated reachability. Time: 0.00
1462.80/366.77	c  N dy  2331    357995     19323     83129         0     50981    253236   4577395    130.62   no data  --
1493.92/374.57	c  N dy  2471    377997     19323     83129         0     38984    253236   1904469    130.70    148.86  --
1525.66/382.55	c  N dy  2612    398172     19323     83129         0     59156    253236   6109420    130.83    140.22  --
1557.66/390.66	c  N dy  2732    418320     19323     83129         0     46307    253236   3191199    130.79    138.93  --
1589.21/398.66	c  N dy  2869    438327     19323     83129         0     66314    253236   7324288    130.86    139.74  --
1618.38/405.99	c  N dy  3002    458401     19323     83129         0     52388    253236   4197897    130.84    150.86  --
1649.51/413.78	c  N dy  3133    478514     19323     83129         0     37504    253236    979183    130.87    138.12  --
1678.58/421.06	c  N dy  3268    498553     19323     83129         0     57541    253236   5138052    130.85    142.49  --
1709.30/428.74	c  N dy  3404    518766     19323     83129         0     41756    253236   1615392    130.86    139.62  --
1734.83/435.18	c  S st  3527    536992     19323     83129         0     59977    253236   5410493    130.92   no data  --
1735.63/435.39	c  S st  3527    537499     19323     83129         0     60484    253236   5494196    130.92   no data  --
1736.03/435.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1736.03/435.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1736.43/435.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.51
1737.62/435.86	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1737.62/435.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1737.62/435.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
1737.62/435.88	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
2032.03/509.64	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time: 293.46 s
2032.03/509.65	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
2032.43/509.73	c vivif2 --  cl tried    60481 cl shrink        0 lits rem          0 time: 0.31
2033.23/509.91	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.74
2033.23/509.92	c calculated reachability. Time: 0.00
2033.23/509.92	c  N dy  3527    537499     19323     83129         0     60481    253236   5493359    130.92   no data  --
2063.14/517.47	c  N dy  3665    557613     19323     83129         0     43594    253236   1861273    131.04    138.21  --
2091.87/524.69	c  N dy  3800    577688     19323     83129         0     63668    253236   5969496    131.04    139.69  --
2122.19/532.22	c  N dy  3936    597843     19323     83129         0     45828    253236   2085545    131.08    139.10  --
2151.70/539.60	c  N dy  4071    617885     19323     83129         0     65869    253236   6313214    131.16    138.42  --
2181.62/547.17	c  N dy  4204    637970     19323     83129         0     46959    253236   2091733    131.17    139.53  --
2211.54/554.62	c  N dy  4343    658055     19323     83129         0     67044    253236   6293836    131.22    138.80  --
2242.65/562.42	c  N dy  4487    678138     19323     83129         0     47136    253236   1962288    131.30    139.35  --
2272.22/569.86	c  N dy  4624    698281     19323     83129         0     67279    253236   6224865    131.34    145.64  --
2303.69/577.71	c  N dy  4760    718331     19323     83129         0     46324    253236   1563001    131.43    139.31  --
2333.22/585.17	c  N dy  4903    738585     19323     83129         0     66577    253236   5812945    131.48    142.66  --
2366.73/593.53	c  N dy  5042    758712     19323     83129         0     44701    253236   1012093    131.54    138.75  --
2396.65/601.09	c  N dy  5181    778775     19323     83129         0     64764    253236   5211786    131.57    139.51  --
2432.15/609.91	c  N dy  5311    798868     19323     83129         0     84856    253236   9395999    131.56    139.96  --
2443.77/612.83	c  S st  5361    806248     19323     83129         0     49235    253236   1773279    131.57   no data  --
2444.52/613.03	c  S st  5361    806752     19323     83129         0     49738    253236   1851324    131.57   no data  --
2444.52/613.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2444.52/613.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2444.92/613.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
2445.71/613.30	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2445.71/613.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2445.71/613.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
2445.71/613.33	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2464.07/617.94	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time: 18.36 s
2464.07/617.95	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
2464.07/617.98	c vivif2 --  cl tried    49736 cl shrink        0 lits rem          0 time: 0.12
2464.87/618.15	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.68
2464.87/618.15	c calculated reachability. Time: 0.00
2464.87/618.15	c  N dy  5361    806752     19323     83129         0     49736    253236   1851058    131.57   no data  --
2497.17/626.27	c  N dy  5498    826970     19323     83129         0     69954    253236   6056928    131.57    147.76  --
2532.28/635.02	c  N dy  5632    846984     19323     83129         0     45973    253236    885508    131.60    200.46  --
2563.39/642.88	c  N dy  5766    867055     19323     83129         0     66042    253236   5078278    131.61    139.20  --
2598.90/651.71	c  N dy  5893    887278     19323     83129         0     86265    253236   9282027    131.61    141.92  --
2631.22/659.84	c  N dy  6028    907340     19323     83129         0     61328    253236   3851937    131.62    148.68  --
2665.53/668.44	c  N dy  6160    927420     19323     83129         0     81407    253236   8046636    131.63    139.31  --
2699.44/676.96	c  N dy  6286    947469     19323     83129         0     55457    253236   2392270    131.57    140.27  --
2732.99/685.37	c  N dy  6430    967548     19323     83129         0     75534    253236   6651556    131.66    162.17  --
2769.25/694.48	c  N dy  6559    987689     19323     83129         0     48679    253236    827679    131.62    141.22  --
2801.96/702.62	c  N dy  6693   1007805     19323     83129         0     68794    253236   5054143    131.64    146.67  --
2836.27/711.24	c  N dy  6830   1027809     19323     83129         0     88798    253236   9173015    131.62    138.90  --
2869.02/719.48	c  N dy  6968   1047931     19323     83129         0     60918    253236   3229902    131.65    140.00  --
2902.09/727.71	c  N dy  7104   1067954     19323     83129         0     80940    253236   7464398    131.67    158.15  --
2908.91/729.48	c  F st  7133   1071877     19323     83129         0     84863    253236   8272083    131.68    112.51  --
2937.60/736.62	c  N dy  7212   1088011     19323     83129         0     51994    253236   1115154    131.69    138.90  --
2968.71/744.42	c  N dy  7344   1108013     19323     83129         0     71994    253236   5284606    131.69    155.51  --
3003.82/753.27	c  N dy  7475   1128129     19323     83129         0     92110    253236   9475979    131.68    138.97  --
3036.17/761.35	c  N dy  7620   1148167     19323     83129         0     62149    253236   3067443    131.75    140.06  --
3067.64/769.25	c  N dy  7759   1168226     19323     83129         0     82208    253236   7245801    131.77    140.66  --
3102.76/778.04	c  N dy  7895   1188243     19323     83129         0     51234    253236    551395    131.80    158.02  --
3132.72/785.51	c  N dy  8029   1208462     19323     83129         0     71450    253236   4725506    131.80    138.85  --
3135.07/786.19	c  S st  8042   1210130     19323     83129         0     73118    253236   5092342    131.81   no data  --
3136.27/786.42	c  S st  8042   1210635     19323     83129         0     73623    253236   5163640    131.81   no data  --
3136.27/786.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3136.27/786.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3136.71/786.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.54
3137.86/786.87	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3137.86/786.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3137.86/786.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
3138.26/786.90	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3409.92/855.02	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 270.99 s
3409.92/855.03	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
3410.32/855.10	c vivif2 --  cl tried    73622 cl shrink        0 lits rem          0 time: 0.30
3411.12/855.31	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.84
3411.12/855.32	c calculated reachability. Time: 0.00
3411.12/855.32	c  N dy  8042   1210635     19323     83129         0     73622    253236   5163534    131.81   no data  --
3443.87/863.60	c  N dy  8176   1230642     19323     83129         0     93627    253236   9340987    131.81    143.43  --
3477.34/871.94	c  N dy  8318   1250691     19323     83129         0     61678    253236   2557646    131.87    141.10  --
3508.46/879.70	c  N dy  8446   1270778     19323     83129         0     81764    253236   6669957    131.84    152.65  --
3543.16/888.42	c  N dy  8579   1290900     19323     83129         0    101885    253236  10863061    131.86    139.34  --
3575.08/896.45	c  N dy  8722   1311007     19323     83129         0     68992    253236   3896162    131.91    139.86  --
3608.18/904.72	c  N dy  8863   1331107     19323     83129         0     89091    253236   8127445    131.95    142.78  --
3644.08/913.73	c  N dy  8996   1351133     19323     83129         0     55115    253236    730268    131.97    140.28  --
3674.40/921.37	c  N dy  9137   1371142     19323     83129         0     75123    253236   4901652    132.00    143.25  --
3709.91/930.23	c  N dy  9267   1391296     19323     83129         0     95274    253236   9114442    131.99    139.56  --
3747.05/939.56	c  N dy  9404   1411406     19323     83129         0     60383    253236   1622660    132.02    140.86  --
3780.92/948.07	c  N dy  9551   1431454     19323     83129         0     80430    253236   5976652    132.10    191.46  --
3817.61/957.23	c  N dy  9679   1451513     19323     83129         0    100486    253236  10170462    132.09    151.27  --
3854.31/966.42	c  N dy  9813   1471596     19323     83129         0     64577    253236   2294917    132.09    145.49  --
3888.62/975.09	c  N dy  9946   1491679     19323     83129         0     84660    253236   6512942    132.10    141.90  --
3928.91/985.11	c  N dy 10094   1511813     19323     83129         0    104794    253236  10768747    132.14    140.33  --
3966.45/994.59	c  N dy 10229   1531826     19323     83129         0     67814    253236   2810114    132.15    144.12  --
4002.30/1003.58	c  N dy 10353   1551917     19323     83129         0     87904    253236   6997771    132.14    139.57  --
4042.60/1013.63	c  N dy 10488   1571921     19323     83129         0    107908    253236  11161770    132.15    142.48  --
4080.54/1023.11	c  N dy 10631   1592050     19323     83129         0     70040    253236   3069553    132.19    148.37  --
4116.80/1032.28	c  N dy 10770   1612197     19323     83129         0     90184    253236   7310853    132.20    139.60  --
4157.89/1042.50	c  N dy 10914   1632205     19323     83129         0    110189    253236  11546426    132.24    140.98  --
4194.23/1051.68	c  N dy 11041   1652242     19323     83129         0     71227    253236   3065477    132.24    139.86  --
4229.74/1060.51	c  N dy 11176   1672398     19323     83129         0     91380    253236   7235570    132.24    141.72  --
4268.83/1070.31	c  N dy 11319   1692484     19323     83129         0    111464    253236  11452994    132.26    139.47  --
4301.90/1078.64	c  S st 11438   1710636     19323     83129         0     69620    253236   2544365    132.27   no data  --
4302.70/1078.88	c  S st 11438   1711139     19323     83129         0     70123    253236   2629256    132.27   no data  --
4303.10/1078.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4303.10/1078.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4303.50/1079.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.56
4304.33/1079.22	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4304.33/1079.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4304.33/1079.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19323 time:  0.03 s
4304.33/1079.24	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
4338.20/1087.70	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 33.62 s
4338.20/1087.71	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
4338.20/1087.76	c vivif2 --  cl tried    70122 cl shrink        0 lits rem          0 time: 0.18
4339.03/1087.98	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.85
4339.03/1087.98	c calculated reachability. Time: 0.00
4339.03/1087.98	c  N dy 11438   1711139     19323     83129         0     70122    253236   2628881    132.27   no data  --
4376.10/1097.22	c  N dy 11568   1731164     19323     83129         0     90141    253236   6799569    132.25    164.35  --
4417.18/1107.58	c  N dy 11711   1751316     19323     83129         0    110292    253236  11064787    132.28    142.55  --
4457.92/1117.79	c  N dy 11849   1771456     19323     83129         0     69435    253236   2345005    132.31    139.42  --
4495.37/1127.12	c  N dy 11986   1791552     19323     83129         0     89531    253236   6615676    132.34    140.26  --
4536.06/1137.32	c  N dy 12121   1811627     19323     83129         0    109605    253236  10806523    132.34    148.35  --
4577.95/1147.87	c  N dy 12253   1831745     19323     83129         0     67729    253236   1727519    132.35    139.59  --
4614.65/1157.01	c  N dy 12389   1851847     19323     83129         0     87830    253236   5929965    132.36    145.77  --
4655.38/1167.29	c  N dy 12526   1871944     19323     83129         0    107923    253236  10183499    132.38    143.00  --
4698.86/1178.13	c  N dy 12653   1891960     19323     83129         0     64940    253236    965764    132.36    140.90  --
4735.12/1187.25	c  N dy 12797   1912113     19323     83129         0     85092    253236   5237358    132.39    140.49  --
4776.21/1197.54	c  N dy 12936   1932458     19323     83129         0    105435    253236   9489779    132.40    142.63  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368639-1305399462/watcher-3368639-1305399462 -o /tmp/evaluation-result-3368639-1305399462/solver-3368639-1305399462 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368639-1305399462.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.07 8.01 6.76 5/327 23813
/proc/meminfo: memFree=25286456/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 415 0 0 0 2 0 0 0 25 0 4 0 651546621 52465664 356 33554432000 4194304 4650419 140734823114144 18446744073709551615 48005450257945 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23813/statm: 12809 356 306 112 0 7774 0
[pid=23813/tid=23814] ppid=23811 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651546622 52465664 356 33554432000 4194304 4650419 140734823114144 18446744073709551615 48005450257945 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651546622 52465664 356 33554432000 4194304 4650419 140734823114144 18446744073709551615 48005450258354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651546622 52465664 356 33554432000 4194304 4650419 140734823114144 18446744073709551615 48005450257945 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.04592 s]
/proc/loadavg: 8.07 8.01 6.76 5/327 23813
/proc/meminfo: memFree=25286456/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=367068 CPUtime=0.14 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 11201 0 0 0 12 2 0 0 18 0 4 0 651546621 375877632 9049 33554432000 4194304 4650419 140734823114144 18446744073709551615 244447050271 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23813/statm: 91767 9050 344 112 0 86732 0
[pid=23813/tid=23814] ppid=23811 vsize=367068 CPUtime=0.03 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 2791 0 0 0 3 0 0 0 18 0 4 0 651546622 375877632 9051 33554432000 4194304 4650419 140734823114144 18446744073709551615 244447050271 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=367068 CPUtime=0.02 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 2716 0 0 0 2 0 0 0 25 0 4 0 651546622 375877632 9051 33554432000 4194304 4650419 140734823114144 18446744073709551615 4547429 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=367068 CPUtime=0.02 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 2656 0 0 0 2 0 0 0 18 0 4 0 651546622 375877632 9052 33554432000 4194304 4650419 140734823114144 18446744073709551615 244447050222 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 367068

[startup+0.204674 s]
/proc/loadavg: 8.07 8.01 6.76 5/327 23813
/proc/meminfo: memFree=25286456/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=379624 CPUtime=0.75 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 18610 0 0 0 67 8 0 0 18 0 4 0 651546621 388734976 14976 33554432000 4194304 4650419 140734823114144 18446744073709551615 4244310 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23813/statm: 94906 14976 377 112 0 89871 0
[pid=23813/tid=23814] ppid=23811 vsize=379624 CPUtime=0.19 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) D 23811 23813 23677 0 -1 4202560 4807 0 0 0 17 2 0 0 18 0 4 0 651546622 388734976 14976 33554432000 4194304 4650419 140734823114144 18446744073709551615 244446604373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=379624 CPUtime=0.17 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 5157 0 0 0 16 1 0 0 18 0 4 0 651546622 388734976 14976 33554432000 4194304 4650419 140734823114144 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=379624 CPUtime=0.18 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) S 23811 23813 23677 0 -1 4202560 3630 0 0 0 16 2 0 0 18 0 4 0 651546622 388734976 14976 33554432000 4194304 4650419 140734823114144 18446744073709551615 244447050222 0 0 4096 2 18446604469936926912 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 379624

[startup+0.30088 s]
/proc/loadavg: 8.07 8.01 6.76 5/327 23813
/proc/meminfo: memFree=25286456/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=388076 CPUtime=1.11 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 24722 0 0 0 102 9 0 0 18 0 4 0 651546621 397389824 20837 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 97019 20839 385 112 0 91984 0
[pid=23813/tid=23814] ppid=23811 vsize=388076 CPUtime=0.27 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 6986 0 0 0 25 2 0 0 18 0 4 0 651546622 397389824 20839 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=388076 CPUtime=0.27 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 6969 0 0 0 25 2 0 0 18 0 4 0 651546622 397389824 20840 33554432000 4194304 4650419 140734823114144 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=388076 CPUtime=0.27 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 3710 0 0 0 25 2 0 0 18 0 4 0 651546622 397389824 20842 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 388076

[startup+0.700801 s]
/proc/loadavg: 8.07 8.01 6.76 5/327 23813
/proc/meminfo: memFree=25286456/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=393604 CPUtime=2.71 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 31574 0 0 0 261 10 0 0 18 0 4 0 651546621 403050496 23823 33554432000 4194304 4650419 140734823114144 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 98401 23823 391 112 0 93366 0
[pid=23813/tid=23814] ppid=23811 vsize=393604 CPUtime=0.67 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 9065 0 0 0 65 2 0 0 18 0 4 0 651546622 403050496 23823 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=393604 CPUtime=0.67 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 9307 0 0 0 65 2 0 0 18 0 4 0 651546622 403050496 23823 33554432000 4194304 4650419 140734823114144 18446744073709551615 4360487 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=393604 CPUtime=0.67 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 4044 0 0 0 65 2 0 0 18 0 4 0 651546622 403050496 23823 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 393604

[startup+1.50065 s]
/proc/loadavg: 8.07 8.01 6.76 9/331 23817
/proc/meminfo: memFree=25180156/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=393604 CPUtime=5.9 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 34551 0 0 0 579 11 0 0 19 0 4 0 651546621 403050496 26781 33554432000 4194304 4650419 140734823114144 18446744073709551615 4333248 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 98401 26781 391 112 0 93366 0
[pid=23813/tid=23814] ppid=23811 vsize=393604 CPUtime=1.47 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 9844 0 0 0 144 3 0 0 19 0 4 0 651546622 403050496 26781 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=393604 CPUtime=1.46 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 10025 0 0 0 144 2 0 0 19 0 4 0 651546622 403050496 26781 33554432000 4194304 4650419 140734823114144 18446744073709551615 4333856 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=393604 CPUtime=1.47 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 4765 0 0 0 145 2 0 0 19 0 4 0 651546622 403050496 26781 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 393604

[startup+3.10036 s]
/proc/loadavg: 8.06 8.01 6.76 9/331 23817
/proc/meminfo: memFree=25157620/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=510960 CPUtime=12.28 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 40220 0 0 0 1216 12 0 0 25 0 4 0 651546621 523223040 32450 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363500 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 127740 32450 391 112 0 122705 0
[pid=23813/tid=23814] ppid=23811 vsize=510960 CPUtime=3.07 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 11196 0 0 0 304 3 0 0 24 0 4 0 651546622 523223040 32450 33554432000 4194304 4650419 140734823114144 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=510960 CPUtime=3.07 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 11442 0 0 0 304 3 0 0 24 0 4 0 651546622 523223040 32451 33554432000 4194304 4650419 140734823114144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=510960 CPUtime=3.06 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 6321 0 0 0 304 2 0 0 25 0 4 0 651546622 523223040 32451 33554432000 4194304 4650419 140734823114144 18446744073709551615 4367372 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 510960

[startup+6.30076 s]
/proc/loadavg: 8.06 8.01 6.76 9/331 23817
/proc/meminfo: memFree=25065116/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=406720 CPUtime=25.05 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 56192 0 0 0 2489 16 0 0 25 0 4 0 651546621 416481280 29543 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 101680 29543 393 112 0 96645 0
[pid=23813/tid=23814] ppid=23811 vsize=406720 CPUtime=6.27 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 14906 0 0 0 623 4 0 0 25 0 4 0 651546622 416481280 29543 33554432000 4194304 4650419 140734823114144 18446744073709551615 4328235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=406720 CPUtime=6.27 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 15558 0 0 0 623 4 0 0 25 0 4 0 651546622 416481280 29543 33554432000 4194304 4650419 140734823114144 18446744073709551615 4328289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=406720 CPUtime=6.27 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 10493 0 0 0 624 3 0 0 25 0 4 0 651546622 416481280 29544 33554432000 4194304 4650419 140734823114144 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 406720

[startup+12.7006 s]
/proc/loadavg: 8.05 8.01 6.78 9/331 23817
/proc/meminfo: memFree=24867456/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=658908 CPUtime=50.58 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 117092 0 0 0 5027 31 0 0 25 0 4 0 651546621 674721792 78359 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 164727 78360 395 112 0 159692 0
[pid=23813/tid=23814] ppid=23811 vsize=658908 CPUtime=12.67 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 39909 0 0 0 1258 9 0 0 25 0 4 0 651546622 674721792 78361 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=658908 CPUtime=12.66 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 26359 0 0 0 1259 7 0 0 25 0 4 0 651546622 674721792 78361 33554432000 4194304 4650419 140734823114144 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=658908 CPUtime=12.66 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 16833 0 0 0 1262 4 0 0 25 0 4 0 651546622 674721792 78363 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 658908

[startup+25.5012 s]
/proc/loadavg: 8.12 8.03 6.79 9/331 23817
/proc/meminfo: memFree=24690764/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=784016 CPUtime=101.64 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 185125 0 0 0 10115 49 0 0 25 0 4 0 651546621 802832384 102816 33554432000 4194304 4650419 140734823114144 18446744073709551615 4310792 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 196004 102816 395 112 0 190969 0
[pid=23813/tid=23814] ppid=23811 vsize=784016 CPUtime=25.47 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 68737 0 0 0 2534 13 0 0 25 0 4 0 651546622 802832384 102816 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=784016 CPUtime=25.47 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 35894 0 0 0 2535 12 0 0 25 0 4 0 651546622 802832384 102816 33554432000 4194304 4650419 140734823114144 18446744073709551615 4328550 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=784016 CPUtime=25.47 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 37450 0 0 0 2535 12 0 0 25 0 4 0 651546622 802832384 102816 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 784016

[startup+51.1004 s]
/proc/loadavg: 8.14 8.04 6.83 9/331 23818
/proc/meminfo: memFree=24445048/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=822116 CPUtime=203.77 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 282461 0 0 0 20303 74 0 0 25 0 4 0 651546621 841846784 131956 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476738 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 205529 131956 395 112 0 200494 0
[pid=23813/tid=23814] ppid=23811 vsize=822116 CPUtime=51.07 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 90289 0 0 0 5088 19 0 0 25 0 4 0 651546622 841846784 131956 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=822116 CPUtime=51.07 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 61818 0 0 0 5089 18 0 0 25 0 4 0 651546622 841846784 131956 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=822116 CPUtime=51.07 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 56619 0 0 0 5090 17 0 0 25 0 4 0 651546622 841846784 131956 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 822116

[startup+102.301 s]
/proc/loadavg: 8.20 8.06 6.91 9/331 23819
/proc/meminfo: memFree=24392684/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=848396 CPUtime=408.07 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 393365 0 0 0 40699 108 0 0 25 0 4 0 651546621 868757504 142865 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23813/statm: 212099 142865 395 112 0 207064 0
[pid=23813/tid=23814] ppid=23811 vsize=848396 CPUtime=102.28 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 114509 0 0 0 10202 26 0 0 25 0 4 0 651546622 868757504 142865 33554432000 4194304 4650419 140734823114144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=848396 CPUtime=102.28 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 89223 0 0 0 10200 28 0 0 25 0 4 0 651546622 868757504 142865 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=848396 CPUtime=102.28 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 88567 0 0 0 10199 29 0 0 25 0 4 0 651546622 868757504 142865 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 848396

[startup+162.301 s]

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

[pid=23813] ppid=23811 vsize=1321892 CPUtime=2561.4 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 2063779 0 0 0 255590 550 0 0 25 0 4 0 651546621 1353617408 242066 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 330473 242066 395 112 0 325438 0
[pid=23813/tid=23814] ppid=23811 vsize=1321892 CPUtime=641.82 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 329122 0 0 0 64073 109 0 0 25 0 4 0 651546622 1353617408 242066 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1321892 CPUtime=642.24 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 514120 0 0 0 64071 153 0 0 25 0 4 0 651546622 1353617408 242066 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1321892 CPUtime=642.26 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 571405 0 0 0 64084 142 0 0 25 0 4 0 651546622 1353617408 242066 33554432000 4194304 4650419 140734823114144 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.4
Current children cumulated vsize (KiB) 1321892

[startup+702.3 s]
/proc/loadavg: 8.10 8.13 7.48 9/331 23847
/proc/meminfo: memFree=23794208/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1377112 CPUtime=2800.76 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 2369420 0 0 0 279465 611 0 0 25 0 4 0 651546621 1410162688 246796 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 344278 246796 404 112 0 339243 0
[pid=23813/tid=23814] ppid=23811 vsize=1377112 CPUtime=701.17 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 465795 0 0 0 69990 127 0 0 25 0 4 0 651546622 1410162688 246796 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1377112 CPUtime=702.24 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 627348 0 0 0 70056 168 0 0 25 0 4 0 651546622 1410162688 246796 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1377112 CPUtime=702.26 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 597301 0 0 0 70071 155 0 0 25 0 4 0 651546622 1410162688 246796 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363398 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.76
Current children cumulated vsize (KiB) 1377112

[startup+762.301 s]
/proc/loadavg: 8.13 8.14 7.52 9/331 23849
/proc/meminfo: memFree=23693496/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1323772 CPUtime=3040.16 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 2506507 0 0 0 303358 658 0 0 25 0 4 0 651546621 1355542528 264945 33554432000 4194304 4650419 140734823114144 18446744073709551615 4333403 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 330943 264945 395 112 0 325908 0
[pid=23813/tid=23814] ppid=23811 vsize=1323772 CPUtime=760.54 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 512490 0 0 0 75919 135 0 0 25 0 4 0 651546622 1355542528 264945 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1323772 CPUtime=762.26 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 655534 0 0 0 76045 181 0 0 25 0 4 0 651546622 1355542528 264945 33554432000 4194304 4650419 140734823114144 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1323772 CPUtime=762.27 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 625222 0 0 0 76059 168 0 0 25 0 4 0 651546622 1355542528 264945 33554432000 4194304 4650419 140734823114144 18446744073709551615 4315613 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.16
Current children cumulated vsize (KiB) 1323772

[startup+822.301 s]
/proc/loadavg: 8.04 8.11 7.55 9/331 23851
/proc/meminfo: memFree=23732520/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1335920 CPUtime=3279.48 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 2756481 0 0 0 327231 717 0 0 25 0 4 0 651546621 1367982080 256573 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 333980 256573 395 112 0 328945 0
[pid=23813/tid=23814] ppid=23811 vsize=1335920 CPUtime=819.89 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 540434 0 0 0 81844 145 0 0 25 0 4 0 651546622 1367982080 256573 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1335920 CPUtime=822.25 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 683644 0 0 0 82032 193 0 0 25 0 4 0 651546622 1367982080 256573 33554432000 4194304 4650419 140734823114144 18446744073709551615 4314688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1335920 CPUtime=822.27 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 654257 0 0 0 82046 181 0 0 25 0 4 0 651546622 1367982080 256573 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.48
Current children cumulated vsize (KiB) 1335920

[startup+882.313 s]
/proc/loadavg: 8.14 8.12 7.58 9/331 23852
/proc/meminfo: memFree=23735320/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1351216 CPUtime=3518.87 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 2986580 0 0 0 351119 768 0 0 25 0 4 0 651546621 1383645184 259562 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 337804 259562 395 112 0 332769 0
[pid=23813/tid=23814] ppid=23811 vsize=1351216 CPUtime=879.24 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 567534 0 0 0 87769 155 0 0 25 0 4 0 651546622 1383645184 259562 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1351216 CPUtime=882.25 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 710361 0 0 0 88023 202 0 0 25 0 4 0 651546622 1383645184 259563 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1351216 CPUtime=882.28 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 682771 0 0 0 88038 190 0 0 25 0 4 0 651546622 1383645184 259563 33554432000 4194304 4650419 140734823114144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.87
Current children cumulated vsize (KiB) 1351216

[startup+942.301 s]
/proc/loadavg: 8.17 8.13 7.62 9/331 23854
/proc/meminfo: memFree=23487932/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1501396 CPUtime=3758.18 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 3165537 0 0 0 375001 817 0 0 25 0 4 0 651546621 1537429504 288850 33554432000 4194304 4650419 140734823114144 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 375349 288850 395 112 0 370314 0
[pid=23813/tid=23814] ppid=23811 vsize=1501396 CPUtime=938.59 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 593317 0 0 0 93695 164 0 0 25 0 4 0 651546622 1537429504 288850 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1501396 CPUtime=942.24 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 810568 0 0 0 94003 221 0 0 25 0 4 0 651546622 1537429504 288850 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1501396 CPUtime=942.26 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 709742 0 0 0 94026 200 0 0 25 0 4 0 651546622 1537429504 288850 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.18
Current children cumulated vsize (KiB) 1501396

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 7.64 9/331 23855
/proc/meminfo: memFree=23487532/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1488932 CPUtime=3997.52 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 3455573 0 0 0 398867 885 0 0 25 0 4 0 651546621 1524666368 288099 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 372233 288099 395 112 0 367198 0
[pid=23813/tid=23814] ppid=23811 vsize=1488932 CPUtime=997.94 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 604257 0 0 0 99623 171 0 0 25 0 4 0 651546622 1524666368 288099 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1488932 CPUtime=1002.24 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1031744 0 0 0 99972 252 0 0 25 0 4 0 651546622 1524666368 288099 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1488932 CPUtime=1002.26 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 738092 0 0 0 100012 214 0 0 25 0 4 0 651546622 1524666368 288099 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.52
Current children cumulated vsize (KiB) 1488932

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 7.67 9/331 23857
/proc/meminfo: memFree=23491972/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1418416 CPUtime=4236.88 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 3777271 0 0 0 422735 953 0 0 25 0 4 0 651546621 1452457984 290527 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 354604 290527 395 112 0 349569 0
[pid=23813/tid=23814] ppid=23811 vsize=1418416 CPUtime=1057.29 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 610903 0 0 0 105554 175 0 0 25 0 4 0 651546622 1452457984 290527 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1418416 CPUtime=1062.25 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1295915 0 0 0 105936 289 0 0 25 0 4 0 651546622 1452457984 290527 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1418416 CPUtime=1062.26 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 763684 0 0 0 105998 228 0 0 25 0 4 0 651546622 1452457984 290527 33554432000 4194304 4650419 140734823114144 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.88
Current children cumulated vsize (KiB) 1418416

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 7.69 9/331 23859
/proc/meminfo: memFree=23351696/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1672540 CPUtime=4476.23 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 4299295 0 0 0 446579 1044 0 0 25 0 4 0 651546621 1712680960 326055 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 418135 326055 395 112 0 413100 0
[pid=23813/tid=23814] ppid=23811 vsize=1672540 CPUtime=1116.64 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 635272 0 0 0 111476 188 0 0 25 0 4 0 651546622 1712680960 326055 33554432000 4194304 4650419 140734823114144 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1672540 CPUtime=1122.25 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1575742 0 0 0 111901 324 0 0 25 0 4 0 651546622 1712680960 326055 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1672540 CPUtime=1122.27 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 957175 0 0 0 111967 260 0 0 25 0 4 0 651546622 1712680960 326055 33554432000 4194304 4650419 140734823114144 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.23
Current children cumulated vsize (KiB) 1672540

[startup+1182.3 s]
/proc/loadavg: 8.12 8.11 7.72 9/331 23860
/proc/meminfo: memFree=23381308/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1608116 CPUtime=4715.58 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 4932484 0 0 0 470409 1149 0 0 25 0 4 0 651546621 1646710784 312215 33554432000 4194304 4650419 140734823114144 18446744073709551615 4555476 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 402029 312215 409 112 0 396994 0
[pid=23813/tid=23814] ppid=23811 vsize=1608116 CPUtime=1175.99 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 659087 0 0 0 117398 201 0 0 25 0 4 0 651546622 1646710784 312215 33554432000 4194304 4650419 140734823114144 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1608116 CPUtime=1182.25 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1882444 0 0 0 117860 365 0 0 25 0 4 0 651546622 1646710784 312215 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1608116 CPUtime=1182.26 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1235911 0 0 0 117929 297 0 0 25 0 4 0 651546622 1646710784 312215 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.58
Current children cumulated vsize (KiB) 1608116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 8.15 8.12 7.73 5/326 23862
/proc/meminfo: memFree=24020932/32951124 swapFree=44485764/67111528
[pid=23813] ppid=23811 vsize=1608288 CPUtime=4800.22 cores=1,3,5,7
/proc/23813/stat : 23813 (strangenight1-m) R 23811 23813 23677 0 -1 4202496 5078481 0 0 0 478845 1177 0 0 25 0 4 0 651546621 1646886912 319090 33554432000 4194304 4650419 140734823114144 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23813/statm: 402072 319090 395 112 0 397037 0
[pid=23813/tid=23814] ppid=23811 vsize=1608288 CPUtime=1196.96 cores=1,3,5,7
/proc/23813/task/23814/stat : 23814 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 668829 0 0 0 119490 206 0 0 25 0 4 0 651546622 1646886912 319090 33554432000 4194304 4650419 140734823114144 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23813/tid=23815] ppid=23811 vsize=1608288 CPUtime=1203.48 cores=1,3,5,7
/proc/23813/task/23815/stat : 23815 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 2009137 0 0 0 119964 384 0 0 25 0 4 0 651546622 1646886912 319090 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23813/tid=23816] ppid=23811 vsize=1608288 CPUtime=1203.48 cores=1,3,5,7
/proc/23813/task/23816/stat : 23816 (strangenight1-m) R 23811 23813 23677 0 -1 4202560 1236714 0 0 0 120051 297 0 0 25 0 4 0 651546622 1646886912 319090 33554432000 4194304 4650419 140734823114144 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 1608288

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.58
CPU time (s): 4800.3
CPU user time (s): 4788.48
CPU system time (s): 11.8212
CPU usage (%): 398.835
Max. virtual memory (cumulated for all children) (KiB): 1673484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.48
system time used= 11.8212
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5078486
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= 7619
involuntary context switches= 19153

runsolver used 3.73743 second user time and 9.2326 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-14 20:57:42
IDJOB=3368639
IDBENCH=82648
IDSOLVER=1846
FILE ID=node105/3368639-1305399462
RUNJOBID= node105-1305398256-23696
PBS_JOBID= 13324484
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= fa8f767b93a18fbf678b4d0ea0994bed
RANDOM SEED=1918688811

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.82
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.825
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:      25286736 kB
Buffers:        270500 kB
Cached:        5909028 kB
SwapCached:      39656 kB
Active:         586300 kB
Inactive:      6819452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25286736 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:           14012 kB
Writeback:           0 kB
AnonPages:     1194200 kB
Mapped:          10948 kB
Slab:           127784 kB
PageTables:      66596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65413968 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= 73576 MiB
End job on node105 at 2011-05-14 21:17:47