Trace number 3367205

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 2303.2 577.268

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367205-1305415026.cnf'
0.00/0.01	c -- header says num vars:           6664
0.00/0.01	c -- header says num clauses:       89966
0.00/0.09	c -- clauses added:            0 learnts,        89966 normals,            0 xors
0.00/0.09	c -- vars added       6664
0.00/0.09	c Parsing time:  0.03 s
0.00/0.09	c  N st     0         0      6664     73004     16962         0    425665         0   no data   no data
0.48/0.46	c asymm  cl-useful: 0/7956/73004 lits-rem:0 time: 0.41
0.48/0.64	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   68 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  0.17
0.48/0.65	c Replacing       68 vars Replaced    42354 lits Time:     0.01 s 
0.48/0.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.48/0.68	c bin-w-bin subsume rem           28 bins  time:  0.00 s
0.48/0.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.48/0.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6592 time:  0.01 s
0.48/0.70	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
3.55/0.93	c lits-rem:         0  cl-subs:        4  v-elim:    672  v-fix:    0  time:  0.22 s
3.55/0.93	c Finding binary XORs  T:     0.00 s  found:       0
3.55/0.98	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.55/0.98	c calculated reachability. Time: 0.00
3.55/0.99	c Calc default polars -  time:   0.00 s pos:     272 undec:     744 neg:    5648
3.55/0.99	c =========================================================================================
3.55/0.99	c types(t): F = full restart, N = normal restart
3.55/0.99	c types(t): S = simplification begin/end, E = solution found
3.55/0.99	c restart types(rt): st = static, dy = dynamic
3.55/0.99	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.55/0.99	c  B st     0         0      5920     73880     14834         0    439069         0   no data   no data
4.34/1.16	c  N dy    20      4097      5920     73880     14948      3929    439069    120548      8.26      8.87
5.14/1.38	c  N dy    40      8161      5920     73880     15255      7854    439069    236598      7.87      8.42
6.35/1.70	c  N dy    70     12404      5917     73880     15332     11985    439069    375688      8.39      9.24
7.93/2.06	c  N dy    88     16469      5915     73880     15841     15960    439069    512998      8.37      8.85
9.13/2.32	c Finding binary XORs  T:     0.00 s  found:       0
9.53/2.48	c  N dy   119     20504      5915     73877     16101     10161    438952    209979      8.77     11.41
11.16/2.84	c  N dy   143     24709      5915     73877     16153     14299    438952    355316      8.85      9.35
11.16/2.87	c  F st   144     25001      5915     73877     16360     14585    438952    365655      8.85      8.57
12.72/3.29	c  N dy   150     30001      5915     73877     16394     19525    438952    560312      8.85   no data
12.72/3.29	c  S st   150     30001      5915     73877     16394     19525    438952    560312      8.85   no data
13.52/3.40	c  S st   150     30501      5915     73877     16411     20008    438952    571875      8.85   no data
13.52/3.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
15.13/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 124905 BRemL: 116343 BRemN:      0 P: 13.7M T:  0.40
15.13/3.84	c blocked clauses removed:        0 vars:      0 tried:        5915 T: 0.00 s
15.13/3.84	c bin-w-bin subsume rem          120 bins  time:  0.00 s
15.13/3.84	c subs with bin:       19  lits-rem:        78  v-fix:    0  time:  0.01 s
15.13/3.86	c Subs w/ non-existent bins:      2 l-rem:     79 v-fix:     0 done:   5915 time:  0.01 s
15.13/3.87	c Removed useless bin:       0  fixed:     0  props:   0.66M  time:  0.01 s
15.13/3.90	c lits-rem:         0  cl-subs:       16  v-elim:     46  v-fix:    0  time:  0.03 s
15.91/4.05	c subs with bin:      197  lits-rem:      6617  v-fix:    0  time:  0.13 s
17.11/4.34	c lits-rem:      1411  cl-subs:      838  v-elim:      0  v-fix:    0  time:  0.28 s
17.90/4.54	c asymm  cl-useful: 0/2560/73917 lits-rem:0 time: 0.20
17.90/4.55	c calculated reachability. Time: 0.00
17.90/4.55	c  N dy   150     30501      5869     73917     24248     15429    440038    417510      8.85   no data
17.90/4.56	c Finding binary XORs  T:     0.00 s  found:       0
19.94/5.07	c  N dy   181     35110      5866     73917     24323     20001    440038    573709      8.94      9.53
21.50/5.48	c Finding binary XORs  T:     0.01 s  found:       0
21.90/5.50	c  N dy   209     39158      5865     73915    135430     23896    439932    933528      9.06      9.64
23.10/5.89	c  N dy   235     43213      5865     73915    135432     14548    439931    496210      9.13      9.64
24.33/6.13	c  S st   252     45752      5865     73915    135432     17073    439931    588203      9.15   no data
24.68/6.23	c  S st   252     46255      5865     73915    135432     17576    439931    603703      9.15   no data
24.68/6.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25.88/6.58	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    187 BRemL: 110552 BRemN:      0 P: 13.1M T:  0.34
25.88/6.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.88/6.59	c bin-w-bin subsume rem          843 bins  time:  0.00 s
26.28/6.60	c subs with bin:       47  lits-rem:       114  v-fix:    0  time:  0.01 s
26.28/6.61	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   5864 time:  0.01 s
26.28/6.62	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
26.28/6.65	c lits-rem:         0  cl-subs:      298  v-elim:     17  v-fix:    0  time:  0.03 s
26.68/6.75	c subs with bin:      112  lits-rem:       414  v-fix:    0  time:  0.09 s
27.08/6.82	c lits-rem:       248  cl-subs:      312  v-elim:      0  v-fix:    0  time:  0.06 s
27.08/6.83	c vivif2 --  cl tried    73617 cl shrink       31 lits rem         31 time: 0.02
27.08/6.84	c vivif2 --  cl tried    14370 cl shrink      635 lits rem       2392 time: 0.01
27.87/7.03	c asymm  cl-useful: 0/3305/73617 lits-rem:0 time: 0.19
27.87/7.04	c calculated reachability. Time: 0.00
27.87/7.04	c  N dy   252     46255      5847     73617     24073     14370    438195    284436      9.15   no data
29.47/7.44	c  N dy   267     50312      5847     73617     25645     18410    438195    454943      9.05     10.59
31.07/7.87	c  N dy   285     54647      5846     73617     25646     22712    438195    600647      8.99      9.55
32.69/8.27	c  N dy   306     58658      5846     73617     25664     26665    438195    768323      8.98      9.93
33.10/8.38	c Finding binary XORs  T:     0.00 s  found:       0
35.06/8.84	c  N dy   327     63213      5845     73617     25630     31073    438107    929384      8.98      9.50
37.07/9.33	c  N dy   353     67402      5845     73617     25631     19078    438107    360339      9.00      9.52
37.84/9.54	c  S st   364     69382      5845     73617     25651     21044    438107    418254      9.00      8.82
38.24/9.66	c  S st   364     69882      5845     73617     25651     21543    438107    432138      9.00   no data
38.24/9.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.45/9.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    244 BRemL:   1033 BRemN:      0 P: 13.1M T:  0.31
39.45/9.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.45/9.99	c bin-w-bin subsume rem            8 bins  time:  0.00 s
39.85/10.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.85/10.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5845 time:  0.01 s
39.85/10.02	c Removed useless bin:       0  fixed:     0  props:   0.57M  time:  0.00 s
39.85/10.05	c lits-rem:         0  cl-subs:       30  v-elim:      0  v-fix:    0  time:  0.03 s
40.64/10.20	c subs with bin:       94  lits-rem:       338  v-fix:    0  time:  0.14 s
41.04/10.32	c lits-rem:       360  cl-subs:      510  v-elim:      0  v-fix:    0  time:  0.11 s
41.04/10.34	c vivif2 --  cl tried    73586 cl shrink        0 lits rem          0 time: 0.02
41.04/10.36	c vivif2 --  cl tried    20940 cl shrink      951 lits rem       4755 time: 0.02
41.87/10.56	c asymm  cl-useful: 8/2849/73586 lits-rem:16 time: 0.19
41.87/10.57	c calculated reachability. Time: 0.00
41.87/10.57	c  N dy   364     69882      5845     73586     24854     20940    437548    416671      9.00   no data
44.23/11.13	c  N dy   369     74583      5845     73586     24854     25586    437548    790644      8.90      9.42
47.01/11.87	c  N dy   385     80131      5844     73586     25414     31073    437548   1132275      8.83      9.36
49.82/12.58	c Finding binary XORs  T:     0.00 s  found:       0
50.66/12.72	c  N dy   413     85654      5843     73586     25434     36494    437460   1398598      8.82      9.35
51.81/13.01	c  F st   427     87501      5843     73586     25434     38330    437460   1460595      8.84   no data
54.21/13.65	c  N dy   433     92698      5843     73586     25642     24050    437460    549517      8.84   no data
57.39/14.43	c  N dy   473     98631      5843     73586     25652     29959    437460    757593      8.90     10.80
60.99/15.38	c  S st   498    104824      5843     73586     25664     36121    437460    993354      8.90      8.11
61.79/15.52	c  S st   498    105325      5843     73586     25664     36621    437460   1012936      8.90   no data
61.79/15.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.40/15.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    188 BRemL:    266 BRemN:      0 P: 14.9M T:  0.38
63.40/15.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.40/15.94	c bin-w-bin subsume rem           16 bins  time:  0.00 s
63.40/15.95	c subs with bin:       16  lits-rem:        91  v-fix:    0  time:  0.01 s
63.40/15.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5843 time:  0.01 s
63.40/15.97	c Removed useless bin:       0  fixed:     0  props:   0.53M  time:  0.00 s
63.40/16.00	c lits-rem:         0  cl-subs:      281  v-elim:      1  v-fix:    0  time:  0.03 s
65.77/16.55	c subs with bin:      116  lits-rem:       638  v-fix:    0  time:  0.51 s
68.21/17.18	c lits-rem:      1095  cl-subs:     1025  v-elim:      0  v-fix:    0  time:  0.61 s
68.56/17.20	c vivif2 --  cl tried    73292 cl shrink        0 lits rem          0 time: 0.02
68.56/17.24	c vivif2 --  cl tried    35417 cl shrink     3307 lits rem      16567 time: 0.04
69.37/17.45	c asymm  cl-useful: 0/2558/73292 lits-rem:0 time: 0.21
69.37/17.46	c calculated reachability. Time: 0.00
69.37/17.46	c  N dy   498    105325      5842     73292     25561     35417    435497    963804      8.90   no data
74.15/18.66	c  N dy   534    112154      5842     73292     25575     42210    435497   1285343      8.90      9.94
75.36/18.94	c Finding binary XORs  T:     0.00 s  found:       0
78.55/19.71	c  N dy   576    119402      5841     73292     26514     27805    435453    573921      8.93     12.45
83.33/20.99	c  N dy   623    127170      5841     73292     26525     35508    435453    852109      8.95      9.53
89.73/22.53	c  N dy   674    135434      5841     73292     26534     43748    435453   1171457      8.99      9.51
95.30/23.98	c  N dy   728    144490      5841     73292     26545     29519    435453    569977      9.02      9.59
101.69/25.51	c  N dy   777    153802      5841     73292     26557     38770    435453    907638      9.03     10.14
104.48/26.27	c  S st   796    157988      5841     73292     26565     42931    435453   1063884      9.02   no data
105.28/26.47	c  S st   796    158491      5841     73292     26567     43430    435453   1080184      9.02   no data
105.28/26.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.87/26.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    497 BRemL:    753 BRemN:      0 P: 16.0M T:  0.41
107.29/26.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
107.29/26.91	c bin-w-bin subsume rem            5 bins  time:  0.00 s
107.29/26.92	c subs with bin:       17  lits-rem:        95  v-fix:    0  time:  0.01 s
107.29/26.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5841 time:  0.01 s
107.29/26.94	c Removed useless bin:       0  fixed:     0  props:   0.51M  time:  0.00 s
107.29/26.98	c lits-rem:         0  cl-subs:      281  v-elim:      1  v-fix:    0  time:  0.04 s
109.66/27.53	c subs with bin:      473  lits-rem:      2518  v-fix:    0  time:  0.53 s
112.45/28.22	c lits-rem:      1856  cl-subs:      972  v-elim:      0  v-fix:    0  time:  0.67 s
112.45/28.24	c vivif2 --  cl tried    72989 cl shrink        0 lits rem          0 time: 0.02
112.45/28.28	c vivif2 --  cl tried    39921 cl shrink     3944 lits rem      16643 time: 0.05
113.65/28.53	c asymm  cl-useful: 0/2453/72989 lits-rem:0 time: 0.25
113.65/28.54	c calculated reachability. Time: 0.00
113.65/28.54	c  N dy   796    158491      5840     72989     26274     39921    433331    961730      9.02   no data
113.65/28.55	c Finding binary XORs  T:     0.00 s  found:       0
121.23/30.48	c  N dy   853    168695      5840     72989     26879     26548    433331    461559      9.04      9.63
128.02/32.16	c  N dy   927    179470      5840     72989     26890     37246    433331    942422      9.09      9.71
129.23/32.42	c Finding binary XORs  T:     0.00 s  found:       0
136.80/34.38	c  N dy   991    191068      5838     72989     26913     48760    433331   1448539      9.10      9.62
145.18/36.45	c  N dy  1069    203311      5838     72989     26934     35790    433331    810087      9.13     10.50
147.56/37.04	c Finding binary XORs  T:     0.00 s  found:       0
155.56/39.01	c  N dy  1133    216304      5837     72987     27424     48374    433311   1390120      9.14      9.68
165.52/41.58	c  N dy  1209    230145      5835     72987     27476     35786    433311    774490      9.17     11.64
171.51/43.08	c  S st  1245    237738      5835     72987     27488     43332    433311   1190306      9.17      7.39
172.31/43.28	c  S st  1245    238238      5835     72987     27489     43831    433311   1208502      9.17   no data
172.31/43.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.29/43.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    859 BRemL:   1214 BRemN:      0 P: 16.4M T:  0.42
174.29/43.74	c Replacing        1 vars Replaced      596 lits Time:     0.02 s 
174.29/43.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
174.29/43.75	c bin-w-bin subsume rem           33 bins  time:  0.00 s
174.29/43.76	c subs with bin:       99  lits-rem:       166  v-fix:    0  time:  0.01 s
174.29/43.77	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:   5834 time:  0.01 s
174.29/43.78	c Removed useless bin:       0  fixed:     0  props:   0.50M  time:  0.00 s
174.69/43.83	c lits-rem:         0  cl-subs:      486  v-elim:      6  v-fix:    0  time:  0.05 s
177.94/44.63	c subs with bin:      343  lits-rem:      2944  v-fix:    0  time:  0.75 s
181.91/45.68	c lits-rem:      2645  cl-subs:      986  v-elim:      0  v-fix:    0  time:  1.03 s
181.91/45.69	c vivif2 --  cl tried    72410 cl shrink        0 lits rem          0 time: 0.02
182.32/45.75	c vivif2 --  cl tried    37605 cl shrink     4942 lits rem      28760 time: 0.05
183.08/45.97	c asymm  cl-useful: 3/3171/72410 lits-rem:6 time: 0.22
183.08/45.98	c calculated reachability. Time: 0.00
183.08/45.98	c  N dy  1245    238238      5828     72410     26833     37603    429358    951765      9.17   no data
183.08/45.98	c Finding binary XORs  T:     0.00 s  found:       0
197.04/49.46	c  N dy  1317    254041      5827     72410     27448     28167    429358    477405      9.16      9.69
199.04/49.95	c Finding binary XORs  T:     0.00 s  found:       0
209.41/52.58	c  N dy  1386    270449      5827     72409     27910     44362    429349   1161417      9.15      9.73
215.79/54.17	c Finding binary XORs  T:     0.01 s  found:       0
223.78/56.19	c  N dy  1456    287924      5827     72409     27942     34265    429349    621770      9.14      9.69
239.38/60.04	c  F st  1560    306250      5825     72409     27971     52435    429349   1320005      9.15      8.55
239.73/60.10	c  N st  1561    306502      5825     72408     27892     49579    429296   1291708      9.15   no data
254.50/63.82	c  N dy  1634    326131      5825     72408     27918     41585    429296    867799      9.15      9.71
273.25/68.58	c  N dy  1741    346425      5824     72408     27938     32097    429296    461074      9.18      9.68
280.44/70.30	c Finding binary XORs  T:     0.01 s  found:       0
281.64/70.69	c  S st  1820    357357      5824     72407     28303     42763    429287    897134      9.21   no data
282.44/70.88	c  S st  1820    357857      5824     72407     28304     43262    429287    917293      9.21   no data
282.44/70.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.42/71.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    315 BRemL:    998 BRemN:      0 P: 16.0M T:  0.44
284.42/71.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
284.42/71.35	c bin-w-bin subsume rem           34 bins  time:  0.00 s
284.42/71.36	c subs with bin:       17  lits-rem:        27  v-fix:    0  time:  0.01 s
284.42/71.37	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   5824 time:  0.01 s
284.42/71.38	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.01 s
284.82/71.41	c lits-rem:         0  cl-subs:       39  v-elim:     16  v-fix:    0  time:  0.03 s
286.02/71.78	c subs with bin:      280  lits-rem:      1490  v-fix:    0  time:  0.35 s
287.66/72.17	c lits-rem:      1242  cl-subs:      754  v-elim:      0  v-fix:    0  time:  0.37 s
287.66/72.19	c vivif2 --  cl tried    72389 cl shrink        2 lits rem          2 time: 0.02
288.01/72.23	c vivif2 --  cl tried    36317 cl shrink     2917 lits rem      10796 time: 0.03
288.81/72.47	c asymm  cl-useful: 66/2432/72389 lits-rem:132 time: 0.24
288.81/72.47	c calculated reachability. Time: 0.00
288.81/72.47	c  N dy  1820    357857      5808     72389     27374     36317    429262    691899      9.21   no data
302.78/75.98	c Finding binary XORs  T:     0.01 s  found:       0
307.17/77.01	c  N dy  1899    377932      5808     72389     27701     56246    429262   1464264      9.19      9.87
322.34/80.87	c  N dy  2013    397952      5808     72389     27727     48025    429262   1187831      9.20      9.69
341.48/85.61	c  N dy  2116    418359      5808     72389     27749     37314    429262    621032      9.20      9.74
359.44/90.12	c  N dy  2210    438668      5808     72389     27771     57502    429262   1404035      9.19      9.71
378.59/94.90	c  N dy  2307    459461      5808     72389     27801     45253    429262    911256      9.20      9.75
399.34/100.10	c  N dy  2411    479560      5808     72389     27829     65204    429262   1737578      9.20      9.85
416.90/104.54	c  N dy  2514    499616      5808     72389     27853     50811    429262   1086271      9.20     10.69
438.44/109.92	c  N dy  2611    519645      5808     72389     27878     70712    429262   1917712      9.21      9.73
450.81/113.08	c Finding binary XORs  T:     0.00 s  found:       0
453.61/113.75	c  S st  2696    536785      5808     72389     27905     52185    429262   1046868      9.21   no data
454.44/113.96	c  S st  2696    537285      5808     72389     27905     52684    429262   1064903      9.21   no data
454.44/113.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
456.39/114.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    720 BRemL:    606 BRemN:      0 P: 16.4M T:  0.44
456.39/114.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
456.39/114.41	c bin-w-bin subsume rem           12 bins  time:  0.00 s
456.39/114.42	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.01 s
456.39/114.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5808 time:  0.01 s
456.39/114.44	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.01 s
456.39/114.48	c lits-rem:         0  cl-subs:      218  v-elim:      2  v-fix:    0  time:  0.04 s
459.19/115.14	c subs with bin:      565  lits-rem:      2186  v-fix:    0  time:  0.62 s
463.57/116.20	c lits-rem:      2322  cl-subs:     1772  v-elim:      0  v-fix:    0  time:  1.04 s
463.57/116.22	c vivif2 --  cl tried    72170 cl shrink        0 lits rem          0 time: 0.02
463.57/116.28	c vivif2 --  cl tried    49236 cl shrink     5085 lits rem      24014 time: 0.06
464.77/116.54	c asymm  cl-useful: 31/2437/72170 lits-rem:31 time: 0.26
464.77/116.55	c calculated reachability. Time: 0.00
464.77/116.55	c  N dy  2696    537285      5806     72170     27970     49235    427950    980868      9.21   no data
473.95/118.87	c Finding binary XORs  T:     0.00 s  found:       0
485.92/121.87	c  N dy  2798    557347      5806     72170     28431     69141    427950   1780973      9.22      9.71
494.29/123.97	c Finding binary XORs  T:     0.01 s  found:       0
503.88/126.36	c  N dy  2881    577722      5806     72170     28455     53290    427950   1102152      9.21      9.96
526.22/131.98	c  N dy  2994    597837      5806     72170     28480     73225    427950   1907351      9.22      9.87
544.18/136.43	c  N dy  3071    618782      5805     72170     28522     56577    427950   1217575      9.21      9.75
567.32/142.25	c  N dy  3196    638809      5804     72170     28542     76443    427950   2022432      9.23     10.05
568.91/142.66	c Finding binary XORs  T:     0.01 s  found:       0
585.70/146.91	c  N dy  3313    659364      5803     72168     29359     57399    427930   1253313      9.25      9.78
610.82/153.12	c  N dy  3431    679454      5803     72168     29379     77294    427930   2067282      9.26     11.26
624.77/156.62	c Finding binary XORs  T:     0.00 s  found:       0
630.01/157.93	c  N dy  3550    699699      5803     72167     29712     58195    427919   1188761      9.28      9.87
653.90/163.99	c  N dy  3664    719975      5803     72167     30027     78225    427919   1970316      9.29      9.82
655.10/164.24	c Finding binary XORs  T:     0.01 s  found:       0
673.47/168.81	c  N dy  3785    740045      5802     72167     30063     57796    427919   1141782      9.31     10.49
696.60/174.67	c  N dy  3882    760198      5800     72167     30107     77658    427919   1901322      9.31      9.88
717.37/179.81	c  N dy  4000    780439      5798     72167     30136     56354    427919   1058517      9.32      9.90
740.49/185.69	c  N dy  4135    800511      5798     72167     30166     76244    427919   1862368      9.36     13.18
748.09/187.60	c  S st  4177    805928      5798     72167     30168     81614    427919   2088908      9.37   no data
749.26/187.89	c  S st  4177    806429      5798     72167     30168     82115    427919   2105887      9.37   no data
749.66/187.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
752.06/188.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    890 BRemL:   1488 BRemN:      0 P: 20.6M T:  0.59
752.06/188.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
752.06/188.51	c bin-w-bin subsume rem           52 bins  time:  0.00 s
752.06/188.52	c subs with bin:      113  lits-rem:        71  v-fix:    0  time:  0.01 s
752.06/188.54	c Subs w/ non-existent bins:     77 l-rem:      0 v-fix:     0 done:   5798 time:  0.01 s
752.06/188.54	c Removed useless bin:       1  fixed:     0  props:   0.47M  time:  0.00 s
752.06/188.58	c lits-rem:         0  cl-subs:       62  v-elim:     16  v-fix:    0  time:  0.04 s
754.86/189.25	c subs with bin:      556  lits-rem:      2532  v-fix:    0  time:  0.62 s
759.25/190.35	c lits-rem:      2795  cl-subs:     2018  v-elim:      0  v-fix:    0  time:  1.08 s
759.25/190.37	c vivif2 --  cl tried    71914 cl shrink        0 lits rem          0 time: 0.02
759.65/190.43	c vivif2 --  cl tried    50767 cl shrink     5393 lits rem      21834 time: 0.06
760.85/190.73	c asymm  cl-useful: 19/2258/71914 lits-rem:19 time: 0.30
760.85/190.74	c calculated reachability. Time: 0.00
760.85/190.74	c  N dy  4177    806429      5782     71914     28793     50767    426557   1022930      9.37   no data
760.85/190.74	c Finding binary XORs  T:     0.00 s  found:       0
775.60/194.49	c  N dy  4244    826448      5782     71914     29123     42560    426557    817287      9.35     10.23
788.01/197.58	c Finding binary XORs  T:     0.00 s  found:       0
793.95/199.07	c  N dy  4325    846787      5782     71914     29159     62749    426557   1573574      9.34      9.88
814.70/204.28	c  N dy  4411    868498      5782     71914     29180     47853    426557    853128      9.33      9.90
834.66/209.26	c  N dy  4486    888738      5780     71914     29204     67926    426557   1584003      9.31      9.81
857.40/214.94	c  N dy  4565    908802      5780     71914     29222     46807    426557    687061      9.30     12.32
876.95/219.84	c  N dy  4652    928831      5780     71914     29246     66670    426557   1424182      9.30     11.25
903.28/226.40	c  N dy  4748    948996      5779     71914     29276     86590    426557   2153864      9.30      9.89
922.84/231.34	c  N dy  4833    969002      5779     71914     29303     62646    426557   1177309      9.30      9.81
946.37/237.21	c  N dy  4934    989191      5779     71914     29329     82629    426557   1906118      9.30      9.79
970.32/243.22	c  N dy  5049   1009235      5778     71914     29349     56820    426557    965552      9.30     10.39
991.46/248.50	c Finding binary XORs  T:     0.00 s  found:       0
994.30/249.23	c  N dy  5142   1029331      5778     71911     29072     75719    426480   1685195      9.30     12.38
1022.19/256.21	c  N dy  5239   1050002      5777     71911     29117     49615    426480    640497      9.30      9.80
1043.73/261.66	c  N dy  5359   1070334      5777     71911     29137     69783    426480   1395055      9.31      9.81
1045.74/262.15	c  F st  5370   1071876      5777     71911     29138     71313    426480   1448413      9.31   no data
1069.26/268.06	c  N dy  5440   1090563      5777     71910     29109     89083    426471   2143377      9.31      9.85
1090.44/273.36	c Finding binary XORs  T:     0.00 s  found:       0
1092.81/273.99	c  N dy  5553   1110801      5776     71909     30704     60443    426462   1007013      9.31      9.90
1117.94/280.24	c  N dy  5671   1130955      5774     71909     30773     80383    426462   1762255      9.32      9.91
1146.28/287.31	c  N dy  5778   1150994      5774     71909     30799     51615    426462    649737      9.33     10.95
1167.43/292.61	c  N dy  5864   1171039      5774     71909     30824     71372    426462   1366642      9.33     10.17
1194.16/299.35	c  N dy  5973   1191224      5773     71909     30862     91344    426462   2140627      9.34      9.99
1208.94/303.11	c Finding binary XORs  T:     0.00 s  found:       2
1217.31/305.19	c  S st  6088   1209643      5771     71905     31966     58068    426422    888566      9.34   no data
1218.49/305.42	c  S st  6088   1210144      5771     71905     31967     58568    426422    906622      9.34   no data
1218.49/305.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1220.49/305.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    423 BRemL:   2297 BRemN:      0 P: 17.8M T:  0.48
1220.49/305.93	c Replacing        2 vars Replaced     1174 lits Time:     0.02 s 
1220.49/305.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1220.49/305.94	c bin-w-bin subsume rem           52 bins  time:  0.00 s
1220.49/305.95	c subs with bin:      307  lits-rem:       242  v-fix:    0  time:  0.01 s
1220.49/305.97	c Subs w/ non-existent bins:    195 l-rem:     16 v-fix:     0 done:   5769 time:  0.01 s
1220.49/305.97	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.00 s
1220.89/306.03	c lits-rem:         0  cl-subs:      674  v-elim:     23  v-fix:    0  time:  0.06 s
1222.11/306.40	c subs with bin:     1466  lits-rem:      4558  v-fix:    0  time:  0.33 s
1225.28/307.19	c lits-rem:      3503  cl-subs:     2337  v-elim:      0  v-fix:    0  time:  0.78 s
1225.68/307.21	c vivif2 --  cl tried    70773 cl shrink        2 lits rem          2 time: 0.02
1225.68/307.26	c vivif2 --  cl tried    48659 cl shrink     5280 lits rem      16419 time: 0.05
1226.92/307.57	c asymm  cl-useful: 10/2266/70773 lits-rem:10 time: 0.30
1226.92/307.58	c calculated reachability. Time: 0.00
1226.92/307.58	c  N dy  6088   1210144      5746     70773     29676     48651    419697    686144      9.34   no data
1235.70/309.79	c Finding binary XORs  T:     0.00 s  found:       0
1247.63/312.72	c  N dy  6180   1230531      5744     70772     29780     68361    419688   1423622      9.34     10.05
1274.37/319.48	c  N dy  6290   1250928      5743     70772     29805     88526    419688   2157114      9.35      9.86
1297.14/325.11	c  N dy  6390   1271151      5742     70772     29834     61391    419688   1043777      9.35      9.88
1321.04/331.10	c  N dy  6489   1291270      5742     70772     29853     81227    419688   1748851      9.35      9.92
1350.97/338.64	c  N dy  6591   1311383      5742     70772     29874     50854    419688    579005      9.36      9.88
1372.11/343.99	c  N dy  6691   1331806      5741     70772     29905     70960    419688   1309271      9.36     10.02
1400.85/351.11	c  N dy  6820   1352097      5737     70772     29923     90948    419688   2009851      9.37      9.97
1429.57/358.32	c  N dy  6931   1372390      5735     70772     29945     58675    419688    778162      9.38      9.91
1452.72/364.14	c  N dy  7068   1392533      5735     70772     29972     78582    419688   1527579      9.40      9.96
1475.86/369.98	c Finding binary XORs  T:     0.01 s  found:       0
1482.63/371.66	c  N dy  7200   1412566      5734     70762     29447     92331    419537   2194294      9.41     10.92
1510.18/378.50	c  N dy  7357   1432591      5732     70762     29475     61447    419537    946825      9.44     12.64
1535.71/384.93	c  N dy  7513   1452599      5732     70762     29494     81228    419537   1678345      9.46     14.24
1568.84/393.29	c  N dy  7654   1472686      5732     70762     29517    101065    419537   2410891      9.48     12.16
1595.96/400.08	c  N dy  7798   1492844      5732     70762     29534     67475    419537   1106353      9.50     10.41
1624.29/407.13	c Finding binary XORs  T:     0.01 s  found:       0
1624.69/407.28	c  N dy  7950   1513106      5732     70760     31427     86774    419517   1854307      9.52     10.10
1659.00/415.83	c  N dy  8085   1533127      5731     70760     31477    106494    419517   2573382      9.54     12.09
1680.15/421.13	c Finding binary XORs  T:     0.01 s  found:       0
1684.94/422.36	c  N dy  8210   1553322      5729     70757     32088     69255    419488   1202640      9.55     10.27
1714.10/429.61	c  N dy  8345   1573325      5728     70757     32134     88984    419488   1950616      9.56     12.70
1748.80/438.34	c  N dy  8482   1593385      5726     70757     32167    108784    419488   2697117      9.58     13.61
1774.32/444.73	c  N dy  8629   1613430      5724     70757     32182     73030    419488   1253477      9.60     10.18
1804.24/452.27	c  N dy  8789   1633752      5724     70757     32200     93090    419488   2027402      9.62     10.27
1841.38/461.55	c  N dy  8919   1653756      5724     70757     32244    112777    419488   2740587      9.63     10.14
1866.88/467.94	c  N dy  9067   1673758      5722     70757     32267     75152    419488   1281128      9.65     12.41
1892.41/474.37	c Finding binary XORs  T:     0.01 s  found:       1
1898.02/475.72	c  N dy  9187   1693832      5721     70749     33139     93247    419404   1959589      9.66     15.24
1927.13/483.09	c  S st  9291   1710144      5717     70749     33184    109288    419404   2522715      9.67   no data
1929.16/483.52	c  S st  9291   1710649      5717     70749     33184    109792    419404   2539875      9.67   no data
1929.16/483.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1931.92/484.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    545 BRemL:   3363 BRemN:      0 P: 23.2M T:  0.69
1931.92/484.26	c Replacing        1 vars Replaced      621 lits Time:     0.04 s 
1931.92/484.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1931.92/484.28	c bin-w-bin subsume rem           55 bins  time:  0.00 s
1931.92/484.29	c subs with bin:      911  lits-rem:       302  v-fix:    0  time:  0.01 s
1932.32/484.31	c Subs w/ non-existent bins:    279 l-rem:     18 v-fix:     0 done:   5716 time:  0.01 s
1932.32/484.31	c Removed useless bin:       3  fixed:     0  props:   0.46M  time:  0.00 s
1932.32/484.37	c lits-rem:         0  cl-subs:      403  v-elim:     77  v-fix:    0  time:  0.06 s
1934.30/484.89	c subs with bin:     1425  lits-rem:      7449  v-fix:    0  time:  0.47 s
1941.49/486.69	c lits-rem:      8782  cl-subs:     4445  v-elim:      0  v-fix:    0  time:  1.79 s
1941.91/486.72	c vivif2 --  cl tried    69296 cl shrink       24 lits rem         24 time: 0.02
1941.91/486.80	c vivif2 --  cl tried    58423 cl shrink     8866 lits rem      28005 time: 0.07
1943.48/487.11	c asymm  cl-useful: 3/1625/69296 lits-rem:3 time: 0.31
1943.48/487.12	c calculated reachability. Time: 0.00
1943.48/487.12	c  N dy  9291   1710649      5639     69296     28516     58421    411712    977999      9.67   no data
1943.48/487.12	c Finding binary XORs  T:     0.01 s  found:       0
1963.04/492.09	c  N dy  9351   1731312      5637     69296     28672     43744    411712    623834      9.66     10.19
1981.83/496.76	c  N dy  9387   1751359      5637     69296     28694     63495    411712   1243970      9.64     10.17
2006.14/502.88	c  N dy  9448   1771405      5636     69296     28715     83250    411712   1882873      9.63     11.74
2015.31/505.15	c Finding binary XORs  T:     0.01 s  found:       0
2032.47/509.40	c  N dy  9518   1792168      5635     69292     28610     53707    411670    760419      9.63     10.16
2054.41/514.92	c  N dy  9595   1812258      5634     69292     28638     73471    411670   1369351      9.62     11.55
2082.78/522.06	c  N dy  9673   1832289      5631     69292     28676     93174    411670   1972735      9.62     11.12
2113.86/529.81	c  N dy  9750   1852391      5629     69292     28713     58845    411670    787159      9.61     10.18
2138.21/535.92	c  N dy  9837   1872489      5628     69292     28747     78572    411670   1368390      9.61     10.21
2168.13/543.41	c  N dy  9908   1892608      5624     69292     28794     98249    411670   1959516      9.60     10.17
2181.70/546.86	c Finding binary XORs  T:     0.01 s  found:       0
2205.67/552.81	c  N dy  9976   1912691      5616     69278     28418     54378    411472    621989      9.60     10.11
2216.01/555.49	c Finding binary XORs  T:     0.01 s  found:       0
2228.78/558.68	c  N dy 10043   1932947      5608     69272     29204     72689    411412   1179361      9.59     10.20
2260.70/566.65	c  N dy 10120   1953621      5607     69272     29249     92881    411412   1745422      9.58     10.09
2298.60/576.12	c  N dy 10169   1973759      5598     69272     29308    112442    411412   2242433      9.57     10.23
2302.99/577.24	c Following stats are for *FIRST FINISHED THREAD ONLY*
2302.99/577.24	c num threads              : 4          
2302.99/577.24	c restarts                 : 8892       
2302.99/577.24	c dynamic restarts         : 8862       
2302.99/577.24	c static restarts          : 30         
2302.99/577.24	c full restarts            : 4          
2302.99/577.24	c total simplify time      : 0.66       
2302.99/577.24	c learnts DL2              : 0          
2302.99/577.24	c learnts size 2           : 192988     
2302.99/577.24	c learnts size 1           : 655         (9.83      % of vars)
2302.99/577.24	c filedLit time            : 2.88        (0.50      % time)
2302.99/577.24	c v-elim SatELite          : 873         (13.10     % vars)
2302.99/577.24	c SatELite time            : 4.76        (0.83      % time)
2302.99/577.24	c v-elim xor               : 0           (0.00      % vars)
2302.99/577.24	c xor elim time            : 0.04        (0.01      % time)
2302.99/577.24	c num binary xor trees     : 73         
2302.99/577.24	c binxor trees' crown      : 74          (1.01      leafs/tree)
2302.99/577.24	c bin xor find time        : 0.17       
2302.99/577.24	c OTF clause improved      : 21630       (0.01      clauses/conflict)
2302.99/577.24	c OTF impr. size diff      : 27343       (1.26       lits/clause)
2302.99/577.24	c OTF cl watch-shrink      : 1517258     (0.75      clauses/conflict)
2302.99/577.24	c OTF cl watch-sh-lit      : 8972133     (5.91       lits/clause)
2302.99/577.24	c tried to recurMin cls    : 647220      (32.05      % of conflicts)
2302.99/577.24	c updated cache            : 24771       (0.04       lits/tried recurMin)
2302.99/577.24	c unit cls recevied        : 73          (11.15     % of units)
2302.99/577.24	c unit cls sent            : 40          (6.11      % of units)
2302.99/577.24	c bin cls recevied         : 146264     
2302.99/577.24	c bin cls sent             : 30034      
2302.99/577.24	c clauses over max glue    : 0           (0.00      % of all clauses)
2302.99/577.24	c conflicts                : 2019602     (3500.73   / sec)
2302.99/577.24	c decisions                : 2842784     (0.87      % random)
2302.99/577.24	c bogo-props               : 53540922350 (92806482.27 / sec)
2302.99/577.24	c conflict literals        : 76477191    (46.44     % deleted)
2302.99/577.24	c Memory used              : 676.39      MB
2302.99/577.24	c single-thread CPU time   : 576.91      s
2302.99/577.24	c all-threads sum CPU time : 2301.90     s
2302.99/577.24	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3367205-1305415026/watcher-3367205-1305415026 -o /tmp/evaluation-result-3367205-1305415026/solver-3367205-1305415026 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367205-1305415026.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.77 4.61 6.12 4/313 10999
/proc/meminfo: memFree=22928340/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 731733118 52396032 348 33554432000 4194304 4580107 140735773852176 18446744073709551615 47783757293490 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10999/statm: 12792 348 299 95 0 7774 0
[pid=10999/tid=11003] ppid=10997 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 731733119 52396032 348 33554432000 4194304 4580107 140735773852176 18446744073709551615 47783757293490 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 731733119 52396032 348 33554432000 4194304 4580107 140735773852176 18446744073709551615 47783757293490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 731733119 52396032 348 33554432000 4194304 4580107 140735773852176 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0941261 s]
/proc/loadavg: 3.77 4.61 6.12 4/313 10999
/proc/meminfo: memFree=22928340/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=293628 CPUtime=0.33 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 9456 0 0 0 31 2 0 0 18 0 4 0 731733118 300675072 8961 33554432000 4194304 4580107 140735773852176 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10999/statm: 73407 8962 360 95 0 68389 0
[pid=10999/tid=11003] ppid=10997 vsize=293628 CPUtime=0.07 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 2230 0 0 0 7 0 0 0 18 0 4 0 731733119 300675072 8964 33554432000 4194304 4580107 140735773852176 18446744073709551615 252457762571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=293628 CPUtime=0.07 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 2254 0 0 0 7 0 0 0 18 0 4 0 731733119 300675072 8964 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=293628 CPUtime=0.07 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 2274 0 0 0 7 0 0 0 18 0 4 0 731733119 300675072 8964 33554432000 4194304 4580107 140735773852176 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 293628

[startup+0.100698 s]
/proc/loadavg: 3.77 4.61 6.12 4/313 10999
/proc/meminfo: memFree=22928340/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=295764 CPUtime=0.48 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 10897 0 0 0 45 3 0 0 18 0 4 0 731733118 302862336 10402 33554432000 4194304 4580107 140735773852176 18446744073709551615 252457727009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10999/statm: 73941 10402 360 95 0 68923 0
[pid=10999/tid=11003] ppid=10997 vsize=295764 CPUtime=0.11 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 2692 0 0 0 11 0 0 0 18 0 4 0 731733119 302862336 10402 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=295764 CPUtime=0.11 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 2707 0 0 0 11 0 0 0 18 0 4 0 731733119 302862336 10402 33554432000 4194304 4580107 140735773852176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=295764 CPUtime=0.1 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) S 10997 10999 10621 0 -1 4202560 2332 0 0 0 10 0 0 0 18 0 4 0 731733119 302862336 10402 33554432000 4194304 4580107 140735773852176 18446744073709551615 252458170862 0 0 4096 2 18446604453866227648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 295764

[startup+0.883136 s]
/proc/loadavg: 3.77 4.61 6.12 4/313 10999
/proc/meminfo: memFree=22928340/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=310980 CPUtime=3.46 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 25507 0 0 0 340 6 0 0 19 0 4 0 731733118 318443520 21933 33554432000 4194304 4580107 140735773852176 18446744073709551615 252458109063 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 77745 21933 375 95 0 72727 0
[pid=10999/tid=11003] ppid=10997 vsize=310980 CPUtime=0.86 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 7403 0 0 0 85 1 0 0 19 0 4 0 731733119 318443520 21933 33554432000 4194304 4580107 140735773852176 18446744073709551615 4400336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=310980 CPUtime=0.86 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) D 10997 10999 10621 0 -1 4202560 7334 0 0 0 85 1 0 0 19 0 4 0 731733119 318443520 21933 33554432000 4194304 4580107 140735773852176 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=310980 CPUtime=0.84 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 3030 0 0 0 84 0 0 0 18 0 4 0 731733119 318443520 21933 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 310980

[startup+0.904945 s]
/proc/loadavg: 3.77 4.61 6.12 4/313 10999
/proc/meminfo: memFree=22928340/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=311324 CPUtime=3.55 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 26097 0 0 0 349 6 0 0 19 0 4 0 731733118 318795776 22192 33554432000 4194304 4580107 140735773852176 18446744073709551615 252458170862 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 77831 22192 377 95 0 72813 0
[pid=10999/tid=11003] ppid=10997 vsize=311324 CPUtime=0.88 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 7738 0 0 0 87 1 0 0 19 0 4 0 731733119 318795776 22192 33554432000 4194304 4580107 140735773852176 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=311324 CPUtime=0.88 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 7388 0 0 0 87 1 0 0 19 0 4 0 731733119 318795776 22192 33554432000 4194304 4580107 140735773852176 18446744073709551615 4418401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=311324 CPUtime=0.87 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 3040 0 0 0 87 0 0 0 18 0 4 0 731733119 318795776 22192 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 311324

[startup+1.50029 s]
/proc/loadavg: 3.77 4.61 6.12 4/313 10999
/proc/meminfo: memFree=22928340/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=316256 CPUtime=5.93 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 29799 0 0 0 586 7 0 0 20 0 4 0 731733118 323846144 23478 33554432000 4194304 4580107 140735773852176 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 79064 23479 378 95 0 74046 0
[pid=10999/tid=11003] ppid=10997 vsize=316256 CPUtime=1.47 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 8376 0 0 0 146 1 0 0 19 0 4 0 731733119 323846144 23479 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=316256 CPUtime=1.48 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 8335 0 0 0 147 1 0 0 19 0 4 0 731733119 323846144 23479 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=316256 CPUtime=1.47 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 4295 0 0 0 146 1 0 0 19 0 4 0 731733119 323846144 23479 33554432000 4194304 4580107 140735773852176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 316256

[startup+3.10099 s]
/proc/loadavg: 4.35 4.71 6.14 9/321 11007
/proc/meminfo: memFree=22772372/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=327588 CPUtime=12.32 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 35782 0 0 0 1223 9 0 0 25 0 4 0 731733118 335450112 25263 33554432000 4194304 4580107 140735773852176 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 81897 25263 379 95 0 76879 0
[pid=10999/tid=11003] ppid=10997 vsize=327588 CPUtime=3.08 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 9994 0 0 0 306 2 0 0 25 0 4 0 731733119 335450112 25263 33554432000 4194304 4580107 140735773852176 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=327588 CPUtime=3.08 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 10190 0 0 0 306 2 0 0 25 0 4 0 731733119 335450112 25263 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=327588 CPUtime=3.07 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 5084 0 0 0 306 1 0 0 22 0 4 0 731733119 335450112 25263 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 327588

[startup+6.3004 s]
/proc/loadavg: 4.64 4.77 6.15 9/321 11007
/proc/meminfo: memFree=22654820/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=346344 CPUtime=25.08 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 61345 0 0 0 2494 14 0 0 25 0 4 0 731733118 354656256 42516 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293013 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 86586 42516 380 95 0 81568 0
[pid=10999/tid=11003] ppid=10997 vsize=346344 CPUtime=6.28 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 16665 0 0 0 625 3 0 0 25 0 4 0 731733119 354656256 42516 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=346344 CPUtime=6.28 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 15173 0 0 0 625 3 0 0 25 0 4 0 731733119 354656256 42516 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=346344 CPUtime=6.27 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 13300 0 0 0 624 3 0 0 25 0 4 0 731733119 354656256 42516 33554432000 4194304 4580107 140735773852176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 346344

[startup+12.7122 s]
/proc/loadavg: 4.75 4.79 6.15 9/321 11068
/proc/meminfo: memFree=22035984/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=407188 CPUtime=50.66 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 79990 0 0 0 5047 19 0 0 25 0 4 0 731733118 416960512 47581 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 101797 47581 380 95 0 96779 0
[pid=10999/tid=11003] ppid=10997 vsize=407188 CPUtime=12.69 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 21807 0 0 0 1265 4 0 0 25 0 4 0 731733119 416960512 47581 33554432000 4194304 4580107 140735773852176 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=407188 CPUtime=12.69 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 20813 0 0 0 1265 4 0 0 25 0 4 0 731733119 416960512 47581 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=407188 CPUtime=12.67 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 16544 0 0 0 1263 4 0 0 25 0 4 0 731733119 416960512 47581 33554432000 4194304 4580107 140735773852176 18446744073709551615 4302917 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 407188

[startup+25.5008 s]
/proc/loadavg: 5.33 4.91 6.18 9/321 11068
/proc/meminfo: memFree=20568144/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=384540 CPUtime=101.69 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 108514 0 0 0 10143 26 0 0 25 0 4 0 731733118 393768960 60885 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 96135 60885 380 95 0 91117 0
[pid=10999/tid=11003] ppid=10997 vsize=384540 CPUtime=25.48 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 29424 0 0 0 2543 5 0 0 25 0 4 0 731733119 393768960 60885 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=384540 CPUtime=25.48 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 25608 0 0 0 2541 7 0 0 25 0 4 0 731733119 393768960 60885 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=384540 CPUtime=25.46 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 25814 0 0 0 2540 6 0 0 25 0 4 0 731733119 393768960 60885 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 384540

[startup+51.1011 s]
/proc/loadavg: 6.43 5.22 6.24 9/321 11069
/proc/meminfo: memFree=20331304/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=477512 CPUtime=203.85 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 137217 0 0 0 20351 34 0 0 25 0 4 0 731733118 488972288 74961 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 119378 74961 380 95 0 114360 0
[pid=10999/tid=11003] ppid=10997 vsize=477512 CPUtime=51.09 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 32502 0 0 0 5103 6 0 0 25 0 4 0 731733119 488972288 74963 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=477512 CPUtime=51.09 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 32801 0 0 0 5100 9 0 0 25 0 4 0 731733119 488972288 74963 33554432000 4194304 4580107 140735773852176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=477512 CPUtime=51.07 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 35386 0 0 0 5098 9 0 0 25 0 4 0 731733119 488972288 74963 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 477512

[startup+102.301 s]
/proc/loadavg: 7.32 5.65 6.33 9/321 11070
/proc/meminfo: memFree=19810372/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=582576 CPUtime=408.11 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 187711 0 0 0 40762 49 0 0 25 0 4 0 731733118 596557824 93120 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 145644 93120 380 95 0 140626 0
[pid=10999/tid=11003] ppid=10997 vsize=582576 CPUtime=102.28 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 38333 0 0 0 10221 7 0 0 25 0 4 0 731733119 596557824 93120 33554432000 4194304 4580107 140735773852176 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=582576 CPUtime=102.28 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 52873 0 0 0 10212 16 0 0 25 0 4 0 731733119 596557824 93120 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=582576 CPUtime=102.26 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 47934 0 0 0 10214 12 0 0 25 0 4 0 731733119 596557824 93120 33554432000 4194304 4580107 140735773852176 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 582576

[startup+162.312 s]

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

/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 78835 0 0 0 40202 24 0 0 25 0 4 0 731733119 631533568 116739 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1605.13
Current children cumulated vsize (KiB) 616732

[startup+462.301 s]
/proc/loadavg: 8.05 7.32 6.87 9/321 11080
/proc/meminfo: memFree=19788016/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=648388 CPUtime=1844.53 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 358348 0 0 0 184344 109 0 0 25 0 4 0 731733118 663949312 110095 33554432000 4194304 4580107 140735773852176 18446744073709551615 4306352 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 162097 110095 380 95 0 157079 0
[pid=10999/tid=11003] ppid=10997 vsize=648388 CPUtime=462.29 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 80431 0 0 0 46207 22 0 0 25 0 4 0 731733119 663949312 110095 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=648388 CPUtime=462.29 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 112329 0 0 0 46192 37 0 0 25 0 4 0 731733119 663949312 110095 33554432000 4194304 4580107 140735773852176 18446744073709551615 4295894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=648388 CPUtime=462.27 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 85502 0 0 0 46201 26 0 0 25 0 4 0 731733119 663949312 110095 33554432000 4194304 4580107 140735773852176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1844.53
Current children cumulated vsize (KiB) 648388

[startup+522.301 s]
/proc/loadavg: 8.16 7.49 6.95 9/321 11081
/proc/meminfo: memFree=19637828/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=620548 CPUtime=2083.93 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 381487 0 0 0 208274 119 0 0 25 0 4 0 731733118 635441152 109948 33554432000 4194304 4580107 140735773852176 18446744073709551615 4321036 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 155137 109948 380 95 0 150119 0
[pid=10999/tid=11003] ppid=10997 vsize=620548 CPUtime=522.29 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 87533 0 0 0 52204 25 0 0 25 0 4 0 731733119 635441152 109948 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=620548 CPUtime=522.3 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 117406 0 0 0 52190 40 0 0 25 0 4 0 731733119 635441152 109948 33554432000 4194304 4580107 140735773852176 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=620548 CPUtime=522.26 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 92188 0 0 0 52198 28 0 0 25 0 4 0 731733119 635441152 109948 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2083.93
Current children cumulated vsize (KiB) 620548

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

[startup+538.101 s]
/proc/loadavg: 8.20 7.53 6.97 9/321 11082
/proc/meminfo: memFree=19621092/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=575732 CPUtime=2146.99 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 386149 0 0 0 214576 123 0 0 25 0 4 0 731733118 589549568 114061 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 143933 114061 380 95 0 138915 0
[pid=10999/tid=11003] ppid=10997 vsize=575732 CPUtime=538.1 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 87533 0 0 0 53785 25 0 0 25 0 4 0 731733119 589549568 114061 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=575732 CPUtime=538.1 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 121084 0 0 0 53768 42 0 0 25 0 4 0 731733119 589549568 114061 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=575732 CPUtime=538.07 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 93171 0 0 0 53777 30 0 0 25 0 4 0 731733119 589549568 114061 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2146.99
Current children cumulated vsize (KiB) 575732

[startup+563.701 s]
/proc/loadavg: 8.13 7.57 7.00 9/321 11082
/proc/meminfo: memFree=19623944/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=627084 CPUtime=2249.15 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 399154 0 0 0 224789 126 0 0 25 0 4 0 731733118 642134016 113435 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 156771 113435 380 95 0 151753 0
[pid=10999/tid=11003] ppid=10997 vsize=627084 CPUtime=563.7 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 89633 0 0 0 56345 25 0 0 25 0 4 0 731733119 642134016 113437 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=627084 CPUtime=563.71 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 129967 0 0 0 56327 44 0 0 25 0 4 0 731733119 642134016 113437 33554432000 4194304 4580107 140735773852176 18446744073709551615 4342205 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=627084 CPUtime=563.68 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 95195 0 0 0 56338 30 0 0 25 0 4 0 731733119 642134016 113437 33554432000 4194304 4580107 140735773852176 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2249.15
Current children cumulated vsize (KiB) 627084

[startup+570.101 s]
/proc/loadavg: 8.12 7.57 7.01 9/321 11082
/proc/meminfo: memFree=19617240/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=627084 CPUtime=2274.67 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 401145 0 0 0 227340 127 0 0 25 0 4 0 731733118 642134016 115426 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 156771 115426 380 95 0 151753 0
[pid=10999/tid=11003] ppid=10997 vsize=627084 CPUtime=570.1 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90261 0 0 0 56984 26 0 0 25 0 4 0 731733119 642134016 115426 33554432000 4194304 4580107 140735773852176 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=627084 CPUtime=570.1 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 130825 0 0 0 56966 44 0 0 25 0 4 0 731733119 642134016 115426 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=627084 CPUtime=570.06 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 95698 0 0 0 56976 30 0 0 25 0 4 0 731733119 642134016 115426 33554432000 4194304 4580107 140735773852176 18446744073709551615 4519885 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2274.67
Current children cumulated vsize (KiB) 627084

[startup+573.301 s]
/proc/loadavg: 8.11 7.58 7.01 9/321 11083
/proc/meminfo: memFree=19613512/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=685524 CPUtime=2287.43 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 401971 0 0 0 228616 127 0 0 25 0 4 0 731733118 701976576 116252 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 171381 116253 380 95 0 166363 0
[pid=10999/tid=11003] ppid=10997 vsize=685524 CPUtime=573.3 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90512 0 0 0 57304 26 0 0 25 0 4 0 731733119 701976576 116253 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=685524 CPUtime=573.29 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 131188 0 0 0 57285 44 0 0 25 0 4 0 731733119 701976576 116253 33554432000 4194304 4580107 140735773852176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=685524 CPUtime=573.26 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 95911 0 0 0 57296 30 0 0 25 0 4 0 731733119 701976576 116253 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2287.43
Current children cumulated vsize (KiB) 685524

[startup+574.901 s]
/proc/loadavg: 8.11 7.58 7.01 9/321 11083
/proc/meminfo: memFree=19611404/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=685524 CPUtime=2293.81 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 402337 0 0 0 229254 127 0 0 25 0 4 0 731733118 701976576 116618 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 171381 116618 380 95 0 166363 0
[pid=10999/tid=11003] ppid=10997 vsize=685524 CPUtime=574.9 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90633 0 0 0 57464 26 0 0 25 0 4 0 731733119 701976576 116618 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=685524 CPUtime=574.89 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 131323 0 0 0 57445 44 0 0 25 0 4 0 731733119 701976576 116618 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=685524 CPUtime=574.86 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 96020 0 0 0 57456 30 0 0 25 0 4 0 731733119 701976576 116618 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2293.81
Current children cumulated vsize (KiB) 685524

[startup+576.5 s]
/proc/loadavg: 8.10 7.59 7.02 9/321 11083
/proc/meminfo: memFree=19610556/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=685524 CPUtime=2300.2 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 402655 0 0 0 229893 127 0 0 25 0 4 0 731733118 701976576 116936 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 171381 116936 380 95 0 166363 0
[pid=10999/tid=11003] ppid=10997 vsize=685524 CPUtime=576.5 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90727 0 0 0 57624 26 0 0 25 0 4 0 731733119 701976576 116936 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=685524 CPUtime=576.49 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 131468 0 0 0 57605 44 0 0 25 0 4 0 731733119 701976576 116936 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=685524 CPUtime=576.46 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 96099 0 0 0 57616 30 0 0 25 0 4 0 731733119 701976576 116936 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2300.2
Current children cumulated vsize (KiB) 685524

[startup+576.9 s]
/proc/loadavg: 8.10 7.59 7.02 9/321 11083
/proc/meminfo: memFree=19609688/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=685524 CPUtime=2301.81 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 402741 0 0 0 230054 127 0 0 25 0 4 0 731733118 701976576 117022 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 171381 117022 380 95 0 166363 0
[pid=10999/tid=11003] ppid=10997 vsize=685524 CPUtime=576.91 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90758 0 0 0 57665 26 0 0 25 0 4 0 731733119 701976576 117024 33554432000 4194304 4580107 140735773852176 18446744073709551615 4317534 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=685524 CPUtime=576.9 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 131506 0 0 0 57646 44 0 0 25 0 4 0 731733119 701976576 117024 33554432000 4194304 4580107 140735773852176 18446744073709551615 4305299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=685524 CPUtime=576.87 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 96118 0 0 0 57657 30 0 0 25 0 4 0 731733119 701976576 117024 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2301.81
Current children cumulated vsize (KiB) 685524

[startup+577.1 s]
/proc/loadavg: 8.10 7.59 7.02 9/321 11083
/proc/meminfo: memFree=19609688/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=692620 CPUtime=2302.59 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 404169 0 0 0 230131 128 0 0 25 0 4 0 731733118 709242880 118073 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 173155 118073 380 95 0 168137 0
[pid=10999/tid=11003] ppid=10997 vsize=692620 CPUtime=577.1 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90770 0 0 0 57684 26 0 0 25 0 4 0 731733119 709242880 118073 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=692620 CPUtime=577.1 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 132910 0 0 0 57665 45 0 0 25 0 4 0 731733119 709242880 118073 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=692620 CPUtime=577.06 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 96128 0 0 0 57676 30 0 0 25 0 4 0 731733119 709242880 118073 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2302.59
Current children cumulated vsize (KiB) 692620

[startup+577.2 s]
/proc/loadavg: 8.10 7.59 7.02 9/321 11083
/proc/meminfo: memFree=19609688/32951124 swapFree=59305796/67111528
[pid=10999] ppid=10997 vsize=692620 CPUtime=2302.99 cores=0,2,4,6
/proc/10999/stat : 10999 (strangenight2-m) R 10997 10999 10621 0 -1 4202496 404193 0 0 0 230171 128 0 0 25 0 4 0 731733118 709242880 118097 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10999/statm: 173155 118097 380 95 0 168137 0
[pid=10999/tid=11003] ppid=10997 vsize=692620 CPUtime=577.2 cores=0,2,4,6
/proc/10999/task/11003/stat : 11003 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 90773 0 0 0 57694 26 0 0 25 0 4 0 731733119 709242880 118097 33554432000 4194304 4580107 140735773852176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10999/tid=11004] ppid=10997 vsize=692620 CPUtime=577.2 cores=0,2,4,6
/proc/10999/task/11004/stat : 11004 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 132928 0 0 0 57675 45 0 0 25 0 4 0 731733119 709242880 118097 33554432000 4194304 4580107 140735773852176 18446744073709551615 4322920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10999/tid=11005] ppid=10997 vsize=692620 CPUtime=577.16 cores=0,2,4,6
/proc/10999/task/11005/stat : 11005 (strangenight2-m) R 10997 10999 10621 0 -1 4202560 96131 0 0 0 57686 30 0 0 25 0 4 0 731733119 709242880 118097 33554432000 4194304 4580107 140735773852176 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2302.99
Current children cumulated vsize (KiB) 692620

Child status: 20
Real time (s): 577.268
CPU time (s): 2303.2
CPU user time (s): 2301.9
CPU system time (s): 1.3018
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 720836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2301.9
system time used= 1.3018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404207
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= 4197
involuntary context switches= 10167

runsolver used 1.64875 second user time and 4.15937 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-15 01:17:06
IDJOB=3367205
IDBENCH=83451
IDSOLVER=1844
FILE ID=node111/3367205-1305415026
RUNJOBID= node111-1305415026-10980
PBS_JOBID= 13324532
Free space on /tmp= 73672 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367205-1305415026/watcher-3367205-1305415026 -o /tmp/evaluation-result-3367205-1305415026/solver-3367205-1305415026 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367205-1305415026.cnf

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=998848543

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.86
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.849
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.849
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.849
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.67
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.849
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:      22929008 kB
Buffers:        266500 kB
Cached:        6511924 kB
SwapCached:      13720 kB
Active:         936668 kB
Inactive:      8870628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22929008 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:           13984 kB
Writeback:           0 kB
AnonPages:     3023476 kB
Mapped:          12636 kB
Slab:           114972 kB
PageTables:      36072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53329052 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= 73564 MiB
End job on node111 at 2011-05-15 01:26:44