Trace number 3369494

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)UNSAT 3149.13 792.687

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark671.532
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

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-3369494-1305414935.cnf'
0.00/0.01	c -- header says num vars:           7794
0.00/0.01	c -- header says num clauses:      186934
0.04/0.11	c -- clauses added:            0 learnts,       186934 normals,            0 xors
0.04/0.11	c -- vars added       7794
0.04/0.11	c Parsing time:  0.28 s
0.04/0.11	c  N st     0         0      7794    166829     19877         0   1284511         0   no data   no data  --
0.04/0.28	c asymm  cl-useful: 0/2271/166721 lits-rem:0 time: 0.73
0.43/0.73	c Flit:    10 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 18.2M T:  1.65
0.43/0.77	c Replacing       72 vars Replaced   120192 lits Time:     0.14 s 
1.91/0.84	c bin-w-bin subsume rem          138 bins  time:  0.01 s
1.91/0.85	c subs with bin:       56  lits-rem:         4  v-fix:    0  time:  0.02 s
1.91/0.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6293 time:  0.07 s
1.91/0.87	c Removed useless bin:       0  fixed:     0  props:   1.39M  time:  0.04 s
68.97/17.35	c lits-rem:         0  cl-subs:       21  v-elim:   1104  v-fix:    0  time: 65.69 s
68.97/17.36	c Finding binary XORs  T:     0.02 s  found:       0
70.58/17.74	c Finding non-binary XORs:     1.45 s (found:       0, avg size: nan)
70.58/17.74	c calculated reachability. Time: 0.01
70.58/17.74	c Calc default polars -  time:   0.02 s pos:     294 undec:    1306 neg:    6194
70.58/17.74	c =========================================================================================
70.58/17.74	c types(t): F = full restart, N = normal restart
70.58/17.74	c types(t): S = simplification begin/end, E = solution found
70.58/17.74	c restart types(rt): st = static, dy = dynamic
70.58/17.74	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
70.58/17.74	c  B st     0         0      6488    168992     16303         0   1324686         0   no data   no data  --
71.75/18.01	c  N dy    18      4122      6488    168992     16391      3984   1324685    132336      8.48      8.97  --
72.95/18.33	c  N dy    39      8145      6486    168992     17176      7876   1324685    246320      8.50     10.14  --
74.55/18.78	c  N dy    66     12810      6486    168992     17224     12456   1324685    382669      8.78      9.34  --
76.54/19.29	c  N dy    92     17448      6486    168992     17379     17019   1324685    544358      8.93      9.45  --
76.94/19.38	c Finding binary XORs  T:     0.02 s  found:       0
78.54/19.78	c  N dy   104     21538      6486    168991     17444     11276   1324617    211685      8.81      9.31  --
80.12/20.19	c  F st   122     25000      6485    168991     17494     14692   1324616    321350      8.82   no data  --
80.92/20.30	c  N st   124     25626      6485    168990     17481     15294   1324603    343523      8.82   no data  --
82.52/20.76	c  N dy   128     30001      6485    168990     17508     19620   1324602    550622      8.82   no data  --
82.52/20.76	c  S st   128     30001      6485    168990     17508     19620   1324602    550622      8.82   no data  --
83.32/20.98	c  S st   128     30503      6485    168990     17552     20078   1324602    560585      8.82   no data  --
83.32/20.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
83.32/20.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.31/21.96	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  17335 BRemL:    154 BRemN:      0 P: 26.9M T:  3.86
87.31/21.98	c Replacing        2 vars Replaced       79 lits Time:     0.08 s 
87.71/22.05	c bin-w-bin subsume rem           17 bins  time:  0.02 s
88.55/22.27	c subs with bin:      619  lits-rem:      3889  v-fix:    0  time:  0.84 s
88.55/22.28	c Subs w/ non-existent bins:      2 l-rem:     27 v-fix:     0 done:    251 time:  0.05 s
88.55/22.28	c Removed useless bin:       0  fixed:     0  props:   0.65M  time:  0.02 s
140.77/35.31	c lits-rem:       190  cl-subs:     3102  v-elim:     15  v-fix:    0  time: 51.89 s
141.19/35.49	c asymm  cl-useful: 109/3198/168003 lits-rem:125 time: 0.70
141.54/35.50	c calculated reachability. Time: 0.01
141.54/35.50	c  N dy   128     30503      6467    168003     34472     17363   1315507    514477      8.82   no data  --
141.54/35.50	c Finding binary XORs  T:     0.02 s  found:       0
143.94/36.15	c  N dy   158     34557      6464    168003     36529     21384   1315507    656169      8.92      9.50  --
146.73/36.84	c  N dy   186     38612      6463    168003     36585     25401   1315507    788020      8.99      9.65  --
148.32/37.21	c Finding binary XORs  T:     0.03 s  found:       0
149.54/37.58	c  N dy   206     43044      6461    168000     36490     29732   1315357    949477      8.92      9.53  --
151.52/38.02	c  S st   224     45754      6461    168000     36493     17236   1315357    350895      8.98      6.64  --
151.91/38.19	c  S st   224     46254      6461    168000     36493     17734   1315357    366666      8.98   no data  --
152.31/38.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
152.31/38.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.11/38.90	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:    0 Bins:     99 BRemL:    328 BRemN:      1 P: 25.1M T:  2.79
155.11/38.96	c bin-w-bin subsume rem         1805 bins  time:  0.01 s
155.51/39.07	c subs with bin:      281  lits-rem:       568  v-fix:    0  time:  0.42 s
155.51/39.08	c Subs w/ non-existent bins:     15 l-rem:    253 v-fix:     0 done:   1645 time:  0.07 s
155.51/39.09	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.02 s
200.97/50.44	c lits-rem:        88  cl-subs:      755  v-elim:      4  v-fix:    0  time: 45.23 s
200.97/50.49	c vivif2 --  cl tried   167925 cl shrink      154 lits rem        155 time: 0.22
201.37/50.51	c vivif2 --  cl tried    16548 cl shrink      749 lits rem       3263 time: 0.05
202.18/50.78	c asymm  cl-useful: 26/4286/167925 lits-rem:27 time: 1.07
202.18/50.79	c calculated reachability. Time: 0.02
202.18/50.79	c  N dy   224     46254      6455    167925     34372     16548   1314518    336276      8.98   no data  --
204.95/51.42	c  N dy   241     50768      6454    167925     34636     21028   1314518    556900      8.94      9.42  --
207.34/52.07	c  N dy   257     55183      6449    167925     34639     25412   1314518    715280      8.87      9.45  --
210.15/52.78	c  N dy   276     59461      6449    167925     34642     29652   1314518    864751      8.86      9.49  --
213.33/53.51	c  N dy   296     63508      6449    167925     34644     33677   1314518   1015637      8.90     13.70  --
216.52/54.33	c  N dy   323     67859      6449    167925     34648     19586   1314518    355963      8.97      9.48  --
217.72/54.61	c  S st   336     69381      6449    167925     34651     21104   1314518    422393      9.02     10.72  --
218.52/54.82	c  S st   336     69882      6449    167925     34651     21604   1314518    440259      9.02   no data  --
218.52/54.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
218.52/54.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
221.71/55.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    144 BRemL:    181 BRemN:      0 P: 26.5M T:  3.14
221.71/55.69	c bin-w-bin subsume rem           11 bins  time:  0.01 s
222.51/55.83	c subs with bin:      409  lits-rem:      4247  v-fix:    0  time:  0.54 s
222.51/55.84	c Subs w/ non-existent bins:     40 l-rem:    373 v-fix:     0 done:   1429 time:  0.07 s
222.51/55.85	c Removed useless bin:       0  fixed:     0  props:   0.58M  time:  0.02 s
271.17/68.09	c lits-rem:       150  cl-subs:     3985  v-elim:     40  v-fix:    0  time: 48.73 s
271.57/68.15	c vivif2 --  cl tried   167853 cl shrink       70 lits rem         95 time: 0.22
271.57/68.16	c vivif2 --  cl tried    17055 cl shrink     1374 lits rem       3184 time: 0.06
272.38/68.40	c asymm  cl-useful: 55/971/167852 lits-rem:76 time: 0.91
272.38/68.41	c calculated reachability. Time: 0.02
272.38/68.41	c  N dy   336     69882      6409    167852     34176     17053   1313787    318690      9.02   no data  --
275.15/69.06	c Finding binary XORs  T:     0.03 s  found:       0
275.55/69.17	c  N dy   354     74404      6409    167852     34231     21560   1313786    507864      8.98      9.62  --
279.14/70.01	c  N dy   378     79154      6409    167852     34232     26286   1313785    727760      8.97     10.70  --
283.12/71.04	c  N dy   405     84267      6409    167852     34234     31363   1313785    979004      8.97      9.44  --
285.97/71.71	c  F st   413     87500      6408    167852     34243     34560   1313785   1151012      8.93      7.69  --
288.32/72.36	c  N st   418     90798      6408    167851     34211     37544   1313772   1315261      8.93   no data  --
293.10/73.54	c  N dy   433     96889      6408    167851     34211     23231   1313772    488055      8.91      9.38  --
297.48/74.63	c  N dy   460    103164      6408    167851     34211     29446   1313771    744328      8.90      9.58  --
298.70/74.95	c  S st   469    104824      6408    167851     34211     31088   1313771    808932      8.90      7.22  --
299.47/75.16	c  S st   469    105326      6408    167851     34212     31589   1313771    823099      8.90   no data  --
299.47/75.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
299.47/75.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
302.67/75.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     92 BRemL:     80 BRemN:      1 P: 27.7M T:  3.13
302.67/75.97	c Replacing        1 vars Replaced     1914 lits Time:     0.06 s 
303.09/76.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
304.26/76.31	c subs with bin:      204  lits-rem:      1878  v-fix:    0  time:  1.07 s
304.26/76.32	c Subs w/ non-existent bins:     19 l-rem:    359 v-fix:     0 done:    575 time:  0.06 s
304.26/76.33	c Removed useless bin:       1  fixed:     0  props:   0.59M  time:  0.02 s
368.08/92.36	c lits-rem:      1053  cl-subs:     4876  v-elim:     26  v-fix:    0  time: 63.95 s
368.48/92.42	c vivif2 --  cl tried   167014 cl shrink       11 lits rem         11 time: 0.21
368.48/92.45	c vivif2 --  cl tried    27396 cl shrink     2010 lits rem      12472 time: 0.14
369.67/92.74	c asymm  cl-useful: 12/456/167014 lits-rem:24 time: 1.13
369.67/92.75	c calculated reachability. Time: 0.02
369.67/92.75	c  N dy   469    105326      6381    167014     34141     27396   1306262    654571      8.90   no data  --
376.45/94.45	c  N dy   494    112070      6381    167014     34351     34070   1306262    910977      8.87      9.40  --
378.44/94.93	c Finding binary XORs  T:     0.03 s  found:       0
384.42/96.42	c  N dy   523    119323      6379    167014     34318     39660   1306165   1134665      8.86      9.69  --
392.00/98.36	c  N dy   573    126939      6379    167014     34319     25985   1306165    502378      8.91     12.32  --
398.79/100.05	c  N dy   625    135236      6378    167014     34320     34225   1306163    812085      8.99      9.59  --
407.16/102.18	c  N dy   677    144208      6378    167014     34326     43146   1306163   1147076      9.03      9.56  --
414.74/104.05	c  N dy   739    153463      6378    167014     34385     29289   1306163    569396      9.08      9.57  --
418.33/104.99	c  S st   767    157989      6378    167014     34387     33768   1306163    719507      9.10      5.77  --
419.53/105.20	c  S st   767    158491      6378    167014     34387     34268   1306161    735123      9.10   no data  --
419.53/105.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
419.53/105.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
422.71/106.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     33 BRemL:      9 BRemN:      0 P: 26.9M T:  3.32
423.11/106.12	c bin-w-bin subsume rem            3 bins  time:  0.02 s
423.91/106.35	c subs with bin:      330  lits-rem:       799  v-fix:    0  time:  0.89 s
423.91/106.36	c Subs w/ non-existent bins:      4 l-rem:    304 v-fix:     0 done:    269 time:  0.06 s
423.91/106.37	c Removed useless bin:       0  fixed:     0  props:   0.56M  time:  0.02 s
483.39/121.24	c lits-rem:      1047  cl-subs:     2316  v-elim:      4  v-fix:    0  time: 59.29 s
483.39/121.29	c vivif2 --  cl tried   166946 cl shrink        0 lits rem          0 time: 0.22
483.73/121.33	c vivif2 --  cl tried    31455 cl shrink     2021 lits rem       9327 time: 0.13
484.53/121.59	c asymm  cl-useful: 25/395/166946 lits-rem:52 time: 1.03
484.93/121.60	c calculated reachability. Time: 0.02
484.93/121.60	c  N dy   767    158491      6374    166946     34360     31455   1305545    659827      9.10   no data  --
494.90/124.11	c  N dy   816    168962      6374    166946     34373     41875   1305545   1119012      9.10      9.58  --
506.47/127.04	c  N dy   866    180424      6374    166946     34377     28974   1305545    590322      9.08      9.59  --
517.23/129.71	c  N dy   906    192626      6374    166946     34416     41067   1305545   1188191      9.05      9.55  --
530.40/133.03	c  N dy   980    205197      6373    166946     34437     27999   1305545    450620      9.06      9.56  --
541.97/135.99	c  N dy  1022    218354      6373    166946     34445     41037   1305545   1066611      9.02      9.50  --
557.54/139.81	c  N dy  1084    232462      6373    166946     34448     28378   1305545    421690      9.01      9.57  --
561.51/140.90	c  S st  1109    237736      6373    166946     34449     33612   1305544    648792      9.02      8.03  --
562.70/141.12	c  S st  1109    238238      6373    166946     34449     34111   1305544    663544      9.02   no data  --
562.70/141.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
562.70/141.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
566.74/142.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     44 BRemL:     64 BRemN:      0 P: 27.9M T:  3.95
567.09/142.21	c bin-w-bin subsume rem            1 bins  time:  0.02 s
567.89/142.42	c subs with bin:      323  lits-rem:      2326  v-fix:    0  time:  0.85 s
567.89/142.44	c Subs w/ non-existent bins:     87 l-rem:    751 v-fix:     0 done:    671 time:  0.08 s
567.89/142.45	c Removed useless bin:       0  fixed:     0  props:   0.56M  time:  0.02 s
627.31/157.37	c lits-rem:       716  cl-subs:     3775  v-elim:     13  v-fix:    0  time: 59.52 s
627.73/157.43	c vivif2 --  cl tried   166892 cl shrink        0 lits rem          0 time: 0.20
627.73/157.46	c vivif2 --  cl tried    29943 cl shrink     1468 lits rem       5868 time: 0.12
628.90/157.74	c asymm  cl-useful: 32/522/166892 lits-rem:63 time: 1.12
628.90/157.75	c calculated reachability. Time: 0.02
628.90/157.75	c  N dy  1109    238238      6360    166892     34309     29943   1304784    528448      9.02   no data  --
633.29/158.88	c Finding binary XORs  T:     0.03 s  found:       1
644.46/161.61	c  N dy  1191    253455      6357    166889     34292     44363   1304745   1126941      9.03      9.51  --
659.22/165.33	c  N dy  1263    269649      6356    166889     34295     33120   1304745    607373      9.03      9.53  --
675.99/169.58	c  N dy  1351    286993      6354    166889     34305     50370   1304745   1311910      9.06      9.70  --
693.96/174.09	c  N dy  1457    305627      6354    166889     34307     40337   1304744    813586      9.09      9.89  --
694.71/174.22	c  F st  1463    306250      6354    166889     34308     40959   1304744    836504      9.10   no data  --
694.71/174.25	c Replacing        1 vars Replaced     1917 lits Time:     0.07 s 
713.45/178.99	c  N dy  1539    325150      6353    166886     34214     29568   1304665    383080      9.11     11.53  --
732.21/183.69	c  N dy  1660    345319      6353    166886     34217     49595   1304665   1161678      9.16      9.77  --
746.96/187.33	c  S st  1725    357357      6353    166886     34222     31027   1304665    401698      9.18      6.35  --
747.76/187.52	c  S st  1725    357860      6353    166886     34222     31527   1304664    420238      9.18   no data  --
747.76/187.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
747.76/187.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
751.35/188.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     95 BRemL:     90 BRemN:      0 P: 26.8M T:  3.82
751.75/188.55	c bin-w-bin subsume rem            5 bins  time:  0.02 s
752.15/188.65	c subs with bin:      510  lits-rem:      3406  v-fix:    0  time:  0.39 s
752.15/188.68	c Subs w/ non-existent bins:    127 l-rem:    232 v-fix:     0 done:    791 time:  0.09 s
752.15/188.68	c Removed useless bin:       0  fixed:     0  props:   0.55M  time:  0.02 s
802.00/201.12	c lits-rem:       521  cl-subs:     2775  v-elim:     15  v-fix:    0  time: 49.59 s
802.00/201.18	c vivif2 --  cl tried   165931 cl shrink       16 lits rem         34 time: 0.21
802.00/201.19	c vivif2 --  cl tried    29096 cl shrink      590 lits rem       1121 time: 0.08
803.21/201.48	c asymm  cl-useful: 21/422/165931 lits-rem:24 time: 1.11
803.21/201.49	c calculated reachability. Time: 0.01
803.21/201.49	c  N dy  1725    357860      6338    165931     34168     29096   1295622    383845      9.18   no data  --
823.93/206.65	c  N dy  1836    377949      6336    165931     34211     49040   1295622   1190261      9.18      9.76  --
847.51/212.55	c  N dy  1945    397985      6335    165931     34215     37310   1295622    633853      9.20      9.92  --
869.79/218.18	c  N dy  2043    418115      6335    165931     34231     57312   1295622   1542018      9.21      9.71  --
893.33/224.01	c  N dy  2127    438409      6335    165931     34237     44785   1295622    924665      9.20      9.88  --
911.67/228.70	c Finding binary XORs  T:     0.03 s  found:       0
918.05/230.25	c  N dy  2224    459177      6335    165928     34184     65112   1295583   1768835      9.21      9.83  --
938.80/235.41	c  N dy  2303    479358      6333    165928     34191     51535   1295583   1287092      9.20      9.73  --
964.33/241.82	c  N dy  2390    499708      6333    165928     34196     37094   1295583    534583      9.20      9.78  --
985.46/247.14	c  N dy  2484    519780      6333    165928     34206     57022   1295583   1378352      9.20      9.74  --
1006.59/252.45	c  S st  2571    536790      6333    165928     34216     38196   1295581    536398      9.20      8.97  --
1007.79/252.73	c  S st  2571    537295      6333    165928     34216     38701   1295581    551453      9.20   no data  --
1007.79/252.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1007.79/252.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1011.37/253.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     59 BRemL:    117 BRemN:      0 P: 29.4M T:  3.52
1011.77/253.71	c bin-w-bin subsume rem           11 bins  time:  0.01 s
1012.17/253.86	c subs with bin:      532  lits-rem:      1400  v-fix:    0  time:  0.62 s
1012.17/253.88	c Subs w/ non-existent bins:     41 l-rem:    260 v-fix:     0 done:   1875 time:  0.08 s
1012.17/253.89	c Removed useless bin:       0  fixed:     0  props:   0.56M  time:  0.02 s
1067.61/267.79	c lits-rem:       318  cl-subs:     1792  v-elim:     13  v-fix:    0  time: 55.41 s
1068.01/267.84	c vivif2 --  cl tried   165849 cl shrink       15 lits rem         41 time: 0.21
1068.01/267.87	c vivif2 --  cl tried    36388 cl shrink     1165 lits rem       5231 time: 0.11
1069.21/268.16	c asymm  cl-useful: 18/373/165849 lits-rem:24 time: 1.18
1069.21/268.18	c calculated reachability. Time: 0.01
1069.21/268.18	c  N dy  2571    537295      6320    165849     34045     36385   1295066    513102      9.20   no data  --
1091.95/273.83	c  N dy  2673    557434      6318    165849     34060     56411   1295065   1303509      9.21      9.75  --
1118.67/280.52	c  N dy  2779    577509      6318    165849     34068     39642   1295064    556991      9.22      9.90  --
1142.19/286.41	c  N dy  2880    597518      6317    165849     34090     59473   1295064   1335869      9.23     10.34  --
1168.91/293.10	c  N dy  2997    617616      6317    165849     34150     41754   1295063    615124      9.25     11.37  --
1190.45/298.53	c  N dy  3087    637692      6317    165849     34153     61699   1295063   1386317      9.25      9.76  --
1217.17/305.26	c  N dy  3199    657894      6317    165849     34159     43045   1295063    621831      9.27      9.76  --
1240.71/311.19	c  N dy  3301    677966      6317    165849     34164     63012   1295062   1443359      9.27     10.33  --
1256.25/315.02	c Finding binary XORs  T:     0.03 s  found:       0
1268.67/318.14	c  N dy  3402    698008      6316    165847     34146     42793   1294989    589034      9.27      9.83  --
1292.96/324.28	c  N dy  3521    718416      6316    165847     34149     63080   1294989   1361078      9.29      9.95  --
1323.66/331.91	c  N dy  3630    738576      6316    165847     34161     42565   1294988    576531      9.30      9.90  --
1346.80/337.71	c  N dy  3726    758582      6316    165847     34171     62412   1294987   1337047      9.30      9.80  --
1379.49/345.90	c  N dy  3834    780630      6315    165847     34179     42675   1294987    540115      9.30      9.81  --
1403.03/351.84	c  N dy  3938    800671      6315    165847     34187     62580   1294987   1349039      9.31      9.83  --
1409.80/353.59	c  S st  3962    805942      6315    165847     34187     67826   1294987   1558235      9.30      9.26  --
1411.40/353.92	c  S st  3962    806442      6315    165847     34187     68326   1294987   1576195      9.30   no data  --
1411.40/353.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1411.40/353.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1415.39/354.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     53 BRemL:     92 BRemN:      0 P: 31.9M T:  3.93
1415.79/355.04	c bin-w-bin subsume rem            6 bins  time:  0.02 s
1418.57/355.76	c subs with bin:      902  lits-rem:      4114  v-fix:    0  time:  2.87 s
1418.57/355.78	c Subs w/ non-existent bins:     36 l-rem:   1083 v-fix:     0 done:    470 time:  0.08 s
1418.57/355.79	c Removed useless bin:       0  fixed:     0  props:   0.55M  time:  0.02 s
1510.31/378.79	c lits-rem:      1742  cl-subs:     9169  v-elim:     19  v-fix:    0  time: 91.68 s
1510.71/378.84	c vivif2 --  cl tried   165800 cl shrink       27 lits rem         75 time: 0.22
1511.11/378.93	c vivif2 --  cl tried    57799 cl shrink     6479 lits rem      22174 time: 0.34
1512.31/379.24	c asymm  cl-useful: 37/344/165797 lits-rem:41 time: 1.26
1512.31/379.26	c calculated reachability. Time: 0.02
1512.31/379.26	c  N dy  3962    806442      6296    165797     33980     57798   1294529   1207175      9.30   no data  --
1542.61/386.84	c  N dy  4040    826900      6295    165797     33994     78098   1294528   2085036      9.29      9.80  --
1568.94/393.47	c  N dy  4125    846922      6294    165797     34011     55628   1294527   1053390      9.29      9.83  --
1597.27/400.57	c  N dy  4228    867013      6293    165797     34017     75584   1294527   1867872      9.29     11.26  --
1625.96/407.77	c  N dy  4285    887329      6292    165797     34023     52222   1294527    938206      9.27      9.84  --
1652.29/414.32	c  N dy  4361    907619      6291    165797     34037     72358   1294527   1794765      9.26      9.85  --
1685.79/422.72	c  N dy  4482    927883      6291    165797     34047     47894   1294526    661526      9.27      9.99  --
1714.11/429.82	c  N dy  4585    947895      6291    165797     34051     67776   1294526   1425196      9.28     12.84  --
1747.61/438.25	c  N dy  4703    967973      6291    165797     34099     87750   1294525   2204920      9.29      9.89  --
1773.53/444.75	c  N dy  4800    987980      6291    165797     34105     61988   1294525   1168510      9.30      9.79  --
1800.26/451.40	c Finding binary XORs  T:     0.03 s  found:       0
1804.64/452.55	c  N dy  4900   1008012      6291    165793     33926     81252   1294427   1923829      9.30     14.92  --
1835.35/460.29	c  N dy  5011   1028063      6291    165793     33931     54839   1294427    883997      9.31     10.71  --
1863.68/467.38	c  N dy  5130   1048115      6291    165793     33940     74719   1294422   1640036      9.32      9.83  --
1900.41/476.54	c  N dy  5234   1068364      6289    165793     33948     94834   1294422   2427967      9.32     10.09  --
1905.14/477.76	c  F st  5264   1071878      6289    165793     33949     51176   1294422    714444      9.33      8.08  --
1926.74/483.14	c  N dy  5332   1088441      6289    165791     33891     66658   1294397   1338924      9.33      9.84  --
1963.38/492.34	c  N dy  5436   1109164      6289    165791     33896     87233   1294397   2105873      9.33      9.88  --
1998.07/501.04	c  N dy  5531   1131788      6289    165791     33904     61629   1294397   1164829      9.33      9.87  --
2029.98/509.08	c  N dy  5646   1151886      6289    165791     33909     81602   1294397   1961116      9.34     11.51  --
2067.47/518.49	c  N dy  5744   1172353      6289    165791     33911     52935   1294397    714165      9.34      9.88  --
2095.39/525.46	c  N dy  5833   1192464      6289    165791     33917     72887   1294397   1446886      9.34      9.87  --
2124.90/532.87	c  S st  5917   1209665      6289    165791     33918     89981   1294397   2104692      9.35      9.35  --
2126.50/533.27	c  S st  5917   1210170      6289    165791     33918     90482   1294397   2122118      9.35   no data  --
2126.50/533.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2126.50/533.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2130.89/534.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     90 BRemL:    102 BRemN:      3 P: 35.1M T:  4.25
2131.29/534.48	c bin-w-bin subsume rem            5 bins  time:  0.02 s
2135.27/535.43	c subs with bin:      726  lits-rem:      3975  v-fix:    0  time:  3.79 s
2135.27/535.45	c Subs w/ non-existent bins:     48 l-rem:    703 v-fix:     0 done:    385 time:  0.08 s
2135.27/535.46	c Removed useless bin:       0  fixed:     0  props:   0.54M  time:  0.02 s
2270.48/569.39	c lits-rem:       197  cl-subs:    12083  v-elim:     23  v-fix:    0  time: 135.04 s
2270.88/569.44	c vivif2 --  cl tried   165738 cl shrink       35 lits rem        100 time: 0.21
2271.28/569.57	c vivif2 --  cl tried    77743 cl shrink    10357 lits rem      34014 time: 0.51
2272.47/569.91	c asymm  cl-useful: 6/316/165738 lits-rem:8 time: 1.33
2272.89/569.92	c calculated reachability. Time: 0.02
2272.89/569.92	c  N dy  5917   1210170      6266    165738     33828     77743   1293984   1653635      9.35   no data  --
2280.05/571.74	c Finding binary XORs  T:     0.03 s  found:       0
2311.56/579.69	c  N dy  5984   1230473      6265    165737     33928     97784   1293971   2420887      9.34      9.84  --
2343.09/587.53	c  N dy  6069   1250620      6264    165737     33936     67042   1293971   1294829      9.33      9.88  --
2377.36/596.13	c  N dy  6154   1270662      6264    165737     33940     86938   1293971   2123447      9.33     10.02  --
2414.85/605.50	c  N dy  6246   1290712      6264    165737     33952     55130   1293971    742896      9.32     12.11  --
2444.41/612.91	c  N dy  6340   1310954      6263    165737     33965     75164   1293969   1540420      9.32      9.88  --
2480.66/622.10	c  N dy  6435   1330996      6262    165737     33984     95028   1293969   2305342      9.32     11.20  --
2514.61/630.56	c  N dy  6547   1351023      6262    165737     33994     62300   1293969    995145      9.32     10.14  --
2546.07/638.45	c  N dy  6628   1371254      6262    165737     34008     82356   1293968   1775499      9.32      9.84  --
2584.80/648.18	c  N dy  6728   1391304      6260    165737     34019    102251   1293968   2560871      9.32      9.96  --
2615.86/655.97	c  N dy  6834   1411305      6259    165737     34035     68922   1293968   1224111      9.32     12.33  --
2651.76/664.90	c  N dy  6913   1431636      6257    165737     34048     89060   1293967   2018470      9.32      9.93  --
2691.24/674.84	c  N dy  7012   1451668      6257    165737     34102    108929   1293967   2712812      9.32     10.96  --
2721.15/682.32	c  N dy  7128   1471711      6257    165737     34108     75106   1293965   1395586      9.33      9.83  --
2758.64/691.78	c  N dy  7245   1491739      6257    165737     34119     94979   1293964   2174179      9.33     11.47  --
2801.32/702.40	c  N dy  7343   1512134      6257    165737     34130     60368   1293964    798934      9.33      9.83  --
2829.64/709.60	c  N dy  7448   1532288      6257    165737     34136     80368   1293963   1572042      9.33      9.88  --
2867.13/718.97	c  N dy  7551   1552646      6257    165737     34144    100570   1293963   2303653      9.34      9.98  --
2905.81/728.69	c  N dy  7640   1572657      6256    165737     34161     64544   1293963    889484      9.33      9.83  --
2913.84/730.63	c Finding binary XORs  T:     0.03 s  found:       0
2937.72/736.66	c  N dy  7720   1592787      6255    165729     33838     81607   1293813   1624175      9.33      9.94  --
2978.41/746.89	c  N dy  7825   1613539      6255    165729     33848    102191   1293813   2409954      9.34      9.85  --
3021.08/757.59	c  N dy  7910   1635376      6214    165729     33856     67110   1293813   1061916      9.33      9.87  --
3054.97/766.09	c  N dy  7991   1655428      6212    165729     33878     86977   1293813   1815125      9.33     11.76  --
3098.44/776.91	c  N dy  8080   1675657      6181    156241     33544     95305   1223903   2197166      9.33      9.82  --
3108.81/779.54	c Finding binary XORs  T:     0.03 s  found:       8
3131.54/785.20	c  N dy  8131   1695875      6177    156238     33595     66333   1223864   1029665      9.32      9.85  --
3148.98/792.66	c Following stats are for *FIRST FINISHED THREAD ONLY*
3148.98/792.66	c num threads              : 4          
3148.98/792.66	c restarts                 : 6419       
3148.98/792.66	c dynamic restarts         : 6389       
3148.98/792.66	c static restarts          : 30         
3148.98/792.66	c full restarts            : 4          
3148.98/792.66	c total simplify time      : 2.21       
3148.98/792.66	c learnts DL2              : 0          
3148.98/792.66	c learnts size 2           : 42734      
3148.98/792.66	c learnts size 1           : 1091        (14.00     % of vars)
3148.98/792.66	c filedLit time            : 29.74       (0.95      % time)
3148.98/792.66	c v-elim SatELite          : 1362        (17.47     % vars)
3148.98/792.66	c SatELite time            : 634.60      (20.17     % time)
3148.98/792.66	c v-elim xor               : 0           (0.00      % vars)
3148.98/792.66	c xor elim time            : 0.36        (0.01      % time)
3148.98/792.66	c num binary xor trees     : 79         
3148.98/792.66	c binxor trees' crown      : 83          (1.05      leafs/tree)
3148.98/792.66	c bin xor find time        : 0.36       
3148.98/792.66	c OTF clause improved      : 25311       (0.01      clauses/conflict)
3148.98/792.66	c OTF impr. size diff      : 33685       (1.33       lits/clause)
3148.98/792.66	c OTF cl watch-shrink      : 1292179     (0.69      clauses/conflict)
3148.98/792.66	c OTF cl watch-sh-lit      : 5691480     (4.40       lits/clause)
3148.98/792.66	c tried to recurMin cls    : 797915      (42.41      % of conflicts)
3148.98/792.66	c updated cache            : 24772       (0.03       lits/tried recurMin)
3148.98/792.66	c unit cls received        : 59          (5.41      % of units)
3148.98/792.66	c unit cls sent            : 192         (17.60     % of units)
3148.98/792.66	c bin cls received         : 20835      
3148.98/792.66	c bin cls sent             : 1276       
3148.98/792.66	c clauses over max glue    : 0           (0.00      % of all clauses)
3148.98/792.66	c conflicts                : 1881270     (597.91    / sec)
3148.98/792.66	c decisions                : 2840545     (0.67      % random)
3148.98/792.66	c bogo-props               : 52102819267 (16559346.54 / sec)
3148.98/792.66	c conflict literals        : 75084175    (44.75     % deleted)
3148.98/792.66	c Memory used              : 824.89      MB
3148.98/792.66	c single-thread CPU time   : 3146.43     s
3148.98/792.66	c all-threads sum CPU time : 3146.43     s
3148.98/792.66	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-3369494-1305414935/watcher-3369494-1305414935 -o /tmp/evaluation-result-3369494-1305414935/solver-3369494-1305414935 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369494-1305414935.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.31 7.71 7.79 7/367 16473
/proc/meminfo: memFree=23226328/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 731724195 52465664 352 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457778 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 12809 352 303 112 0 7774 0
[pid=16473/tid=16474] ppid=16471 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 731724195 52465664 352 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457778 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731724195 52465664 352 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731724195 52465664 352 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457778 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.017324 s]
/proc/loadavg: 6.31 7.71 7.79 7/367 16473
/proc/meminfo: memFree=23226328/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=282088 CPUtime=0.04 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) D 16471 16473 16432 0 -1 4202496 2152 0 0 0 4 0 0 0 25 0 4 0 731724195 288858112 2061 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 70522 2061 343 112 0 65487 0
[pid=16473/tid=16474] ppid=16471 vsize=282088 CPUtime=0.01 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) D 16471 16473 16432 0 -1 4202560 437 0 0 0 1 0 0 0 25 0 4 0 731724195 288858112 2061 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=282088 CPUtime=0 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 433 0 0 0 0 0 0 0 25 0 4 0 731724195 288858112 2061 33554432000 4194304 4650419 140736005458544 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=282088 CPUtime=0.01 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) D 16471 16473 16432 0 -1 4202560 437 0 0 0 1 0 0 0 25 0 4 0 731724195 288858112 2061 33554432000 4194304 4650419 140736005458544 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 282088

[startup+0.119397 s]
/proc/loadavg: 6.31 7.71 7.79 7/367 16473
/proc/meminfo: memFree=23226328/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=300892 CPUtime=0.43 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 16600 0 0 0 40 3 0 0 25 0 4 0 731724195 308113408 16237 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 88482 17480 370 112 0 83447 0
[pid=16473/tid=16474] ppid=16471 vsize=359564 CPUtime=0.27 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 4904 0 0 0 27 0 0 0 25 0 4 0 731724195 368193536 18194 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905437319 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=358536 CPUtime=0.27 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) D 16471 16473 16432 0 -1 4202560 4684 0 0 0 26 1 0 0 18 0 4 0 731724195 367140864 17695 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905091722 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=360728 CPUtime=0.28 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 4342 0 0 0 27 1 0 0 18 0 4 0 731724195 369385472 19858 33554432000 4194304 4650419 140736005458544 18446744073709551615 4315085 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 300892

[startup+0.441995 s]
/proc/loadavg: 6.31 7.71 7.79 7/367 16473
/proc/meminfo: memFree=23226328/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=330196 CPUtime=1.91 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 30717 0 0 0 184 7 0 0 25 0 4 0 731724195 338120704 20967 33554432000 4194304 4650419 140736005458544 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 90790 22181 374 112 0 85755 0
[pid=16473/tid=16474] ppid=16471 vsize=363160 CPUtime=0.55 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 9115 0 0 0 53 2 0 0 25 0 4 0 731724195 371875840 22754 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=363292 CPUtime=0.76 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) D 16471 16473 16432 0 -1 4202560 9600 0 0 0 74 2 0 0 19 0 4 0 731724195 372011008 23955 33554432000 4194304 4650419 140736005458544 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=363292 CPUtime=0.77 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 4925 0 0 0 76 1 0 0 18 0 4 0 731724195 372011008 24219 33554432000 4194304 4650419 140736005458544 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 330196

[startup+1.6698 s]
/proc/loadavg: 6.31 7.71 7.79 7/367 16473
/proc/meminfo: memFree=23226328/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=364156 CPUtime=6.62 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 59609 0 0 0 649 13 0 0 19 0 4 0 731724195 372895744 49754 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 91039 49754 402 112 0 86004 0
[pid=16473/tid=16474] ppid=16471 vsize=364156 CPUtime=1.65 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 17851 0 0 0 161 4 0 0 19 0 4 0 731724195 372895744 49754 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=364156 CPUtime=1.64 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 17800 0 0 0 161 3 0 0 19 0 4 0 731724195 372895744 49754 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=364156 CPUtime=1.65 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 5691 0 0 0 164 1 0 0 20 0 4 0 731724195 372895744 49754 33554432000 4194304 4650419 140736005458544 18446744073709551615 4364979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 364156

[startup+1.70079 s]
/proc/loadavg: 6.31 7.71 7.79 7/367 16473
/proc/meminfo: memFree=23226328/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=364156 CPUtime=6.75 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 59641 0 0 0 662 13 0 0 19 0 4 0 731724195 372895744 49786 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 91039 49786 402 112 0 86004 0
[pid=16473/tid=16474] ppid=16471 vsize=364156 CPUtime=1.68 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 17851 0 0 0 164 4 0 0 19 0 4 0 731724195 372895744 49786 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=364156 CPUtime=1.67 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 17800 0 0 0 164 3 0 0 19 0 4 0 731724195 372895744 49786 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=364156 CPUtime=1.68 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 5723 0 0 0 167 1 0 0 20 0 4 0 731724195 372895744 49786 33554432000 4194304 4650419 140736005458544 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 364156

[startup+3.10053 s]
/proc/loadavg: 6.31 7.71 7.79 9/371 16477
/proc/meminfo: memFree=22908872/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=365228 CPUtime=12.33 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 60652 0 0 0 1220 13 0 0 21 0 4 0 731724195 373993472 50797 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 91307 50797 403 112 0 86272 0
[pid=16473/tid=16474] ppid=16471 vsize=365228 CPUtime=3.08 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 17864 0 0 0 304 4 0 0 21 0 4 0 731724195 373993472 50797 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=365228 CPUtime=3.06 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 17814 0 0 0 303 3 0 0 21 0 4 0 731724195 373993472 50797 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=365228 CPUtime=3.08 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 6693 0 0 0 307 1 0 0 25 0 4 0 731724195 373993472 50797 33554432000 4194304 4650419 140736005458544 18446744073709551615 4315004 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 365228

[startup+6.30095 s]
/proc/loadavg: 6.53 7.73 7.80 7/371 16477
/proc/meminfo: memFree=22868076/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=353172 CPUtime=25.1 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 70279 0 0 0 2494 16 0 0 25 0 4 0 731724195 361648128 56626 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 88293 56626 392 112 0 83258 0
[pid=16473/tid=16474] ppid=16471 vsize=353172 CPUtime=6.28 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 19337 0 0 0 624 4 0 0 25 0 4 0 731724195 361648128 56626 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=353172 CPUtime=6.22 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 19285 0 0 0 619 3 0 0 25 0 4 0 731724195 361648128 56626 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=353172 CPUtime=6.28 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 11904 0 0 0 625 3 0 0 25 0 4 0 731724195 361648128 56626 33554432000 4194304 4650419 140736005458544 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 353172

[startup+12.7008 s]
/proc/loadavg: 6.40 7.69 7.78 10/371 16507
/proc/meminfo: memFree=22486344/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=411400 CPUtime=50.62 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 85295 0 0 0 5044 18 0 0 25 0 4 0 731724195 421273600 71642 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 102850 71642 392 112 0 97815 0
[pid=16473/tid=16474] ppid=16471 vsize=411400 CPUtime=12.68 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 19901 0 0 0 1264 4 0 0 25 0 4 0 731724195 421273600 71642 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=411400 CPUtime=12.54 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 19848 0 0 0 1251 3 0 0 25 0 4 0 731724195 421273600 71642 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=411400 CPUtime=12.68 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 25231 0 0 0 1263 5 0 0 25 0 4 0 731724195 421273600 71642 33554432000 4194304 4650419 140736005458544 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 411400

[startup+25.5134 s]
/proc/loadavg: 6.82 7.72 7.79 9/371 16507
/proc/meminfo: memFree=21385632/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=544828 CPUtime=101.71 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 103482 0 0 0 10148 23 0 0 25 0 4 0 731724195 557903872 82527 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 136207 82527 395 112 0 131172 0
[pid=16473/tid=16474] ppid=16471 vsize=544828 CPUtime=25.49 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 24836 0 0 0 2544 5 0 0 25 0 4 0 731724195 557903872 82527 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=544828 CPUtime=25.2 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 24948 0 0 0 2515 5 0 0 25 0 4 0 731724195 557903872 82527 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=544828 CPUtime=25.5 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 29841 0 0 0 2544 6 0 0 25 0 4 0 731724195 557903872 82527 33554432000 4194304 4650419 140736005458544 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 544828

[startup+51.1007 s]
/proc/loadavg: 7.22 7.74 7.80 9/371 16508
/proc/meminfo: memFree=21046268/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=633976 CPUtime=203.76 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 181450 0 0 0 20341 35 0 0 25 0 4 0 731724195 649191424 91913 33554432000 4194304 4650419 140736005458544 18446744073709551615 4329668 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 158494 91913 395 112 0 153459 0
[pid=16473/tid=16474] ppid=16471 vsize=633976 CPUtime=51.07 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 57303 0 0 0 5096 11 0 0 25 0 4 0 731724195 649191424 91913 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=633976 CPUtime=50.49 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 35081 0 0 0 5042 7 0 0 25 0 4 0 731724195 649191424 91913 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=633976 CPUtime=51.08 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 39329 0 0 0 5101 7 0 0 25 0 4 0 731724195 649191424 91913 33554432000 4194304 4650419 140736005458544 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 633976

[startup+102.3 s]
/proc/loadavg: 7.77 7.81 7.82 9/371 16509
/proc/meminfo: memFree=20913492/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=766260 CPUtime=407.96 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 295137 0 0 0 40736 60 0 0 25 0 4 0 731724195 784650240 123206 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 191565 123206 395 112 0 186530 0
[pid=16473/tid=16474] ppid=16471 vsize=766260 CPUtime=102.27 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 89254 0 0 0 10210 17 0 0 25 0 4 0 731724195 784650240 123206 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=766260 CPUtime=101.09 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 87295 0 0 0 10091 18 0 0 25 0 4 0 731724195 784650240 123206 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=766260 CPUtime=102.29 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 50364 0 0 0 10219 10 0 0 25 0 4 0 731724195 784650240 123206 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 766260

[startup+162.3 s]

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

/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 73614 0 0 0 52208 22 0 0 25 0 4 0 731724195 921853952 156938 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2083.03
Current children cumulated vsize (KiB) 900248

[startup+582.3 s]
/proc/loadavg: 8.03 8.03 7.91 9/371 16522
/proc/meminfo: memFree=20770312/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=819508 CPUtime=2322.32 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 862371 0 0 0 232027 205 0 0 25 0 4 0 731724195 839176192 146107 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 204877 146107 395 112 0 199842 0
[pid=16473/tid=16474] ppid=16471 vsize=819508 CPUtime=582.27 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 386654 0 0 0 58149 78 0 0 25 0 4 0 731724195 839176192 146107 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=819508 CPUtime=575.43 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 265324 0 0 0 57478 65 0 0 25 0 4 0 731724195 839176192 146107 33554432000 4194304 4650419 140736005458544 18446744073709551615 4364859 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=819508 CPUtime=582.3 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 79610 0 0 0 58205 25 0 0 25 0 4 0 731724195 839176192 146107 33554432000 4194304 4650419 140736005458544 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 819508

[startup+642.3 s]
/proc/loadavg: 8.05 8.04 7.92 9/371 16524
/proc/meminfo: memFree=20687056/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=822940 CPUtime=2561.62 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 908163 0 0 0 255935 227 0 0 25 0 4 0 731724195 842690560 167128 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 205735 167128 395 112 0 200700 0
[pid=16473/tid=16474] ppid=16471 vsize=822940 CPUtime=642.27 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 397361 0 0 0 64143 84 0 0 25 0 4 0 731724195 842690560 167128 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=822940 CPUtime=634.73 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 275323 0 0 0 63403 70 0 0 25 0 4 0 731724195 842690560 167128 33554432000 4194304 4650419 140736005458544 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=822940 CPUtime=642.31 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 93939 0 0 0 64199 32 0 0 25 0 4 0 731724195 842690560 167128 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2561.62
Current children cumulated vsize (KiB) 822940

[startup+702.3 s]
/proc/loadavg: 8.05 8.04 7.93 9/371 16525
/proc/meminfo: memFree=20705224/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=822892 CPUtime=2800.92 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 935589 0 0 0 279852 240 0 0 25 0 4 0 731724195 842641408 163568 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 205723 163568 395 112 0 200688 0
[pid=16473/tid=16474] ppid=16471 vsize=822892 CPUtime=702.28 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 404093 0 0 0 70142 86 0 0 25 0 4 0 731724195 842641408 163568 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=822892 CPUtime=694.02 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 281629 0 0 0 69329 73 0 0 25 0 4 0 731724195 842641408 163568 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=822892 CPUtime=702.3 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 100250 0 0 0 70195 35 0 0 25 0 4 0 731724195 842641408 163568 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.92
Current children cumulated vsize (KiB) 822892

[startup+762.3 s]
/proc/loadavg: 8.18 8.08 7.94 9/371 16527
/proc/meminfo: memFree=20738672/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=863736 CPUtime=3040.22 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 960768 0 0 0 303771 251 0 0 25 0 4 0 731724195 884465664 157407 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 215934 157407 395 112 0 210899 0
[pid=16473/tid=16474] ppid=16471 vsize=863736 CPUtime=762.28 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 407938 0 0 0 76140 88 0 0 25 0 4 0 731724195 884465664 157407 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=863736 CPUtime=753.31 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 292137 0 0 0 75254 77 0 0 25 0 4 0 731724195 884465664 157407 33554432000 4194304 4650419 140736005458544 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=863736 CPUtime=762.31 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 105384 0 0 0 76193 38 0 0 25 0 4 0 731724195 884465664 157407 33554432000 4194304 4650419 140736005458544 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.22
Current children cumulated vsize (KiB) 863736

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

[startup+769.201 s]
/proc/loadavg: 8.17 8.07 7.94 9/371 16527
/proc/meminfo: memFree=20716452/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=863736 CPUtime=3067.74 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 963261 0 0 0 306521 253 0 0 25 0 4 0 731724195 884465664 159899 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 215934 159899 395 112 0 210899 0
[pid=16473/tid=16474] ppid=16471 vsize=863736 CPUtime=769.18 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 409005 0 0 0 76830 88 0 0 25 0 4 0 731724195 884465664 159899 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=863736 CPUtime=760.12 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 292469 0 0 0 75935 77 0 0 25 0 4 0 731724195 884465664 159899 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=863736 CPUtime=769.21 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 105914 0 0 0 76882 39 0 0 25 0 4 0 731724195 884465664 159899 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3067.74
Current children cumulated vsize (KiB) 863736

[startup+782.001 s]
/proc/loadavg: 8.13 8.07 7.94 9/371 16527
/proc/meminfo: memFree=20712976/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=844680 CPUtime=3118.79 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) R 16471 16473 16432 0 -1 4202496 972612 0 0 0 311623 256 0 0 25 0 4 0 731724195 864952320 160963 33554432000 4194304 4650419 140736005458544 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 211170 160963 395 112 0 206135 0
[pid=16473/tid=16474] ppid=16471 vsize=844680 CPUtime=781.99 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 410769 0 0 0 78110 89 0 0 25 0 4 0 731724195 864952320 160963 33554432000 4194304 4650419 140736005458544 18446744073709551615 4432437 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=844680 CPUtime=772.77 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 298119 0 0 0 77199 78 0 0 25 0 4 0 731724195 864952320 160963 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=844680 CPUtime=782.01 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 106934 0 0 0 78162 39 0 0 25 0 4 0 731724195 864952320 160963 33554432000 4194304 4650419 140736005458544 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3118.79
Current children cumulated vsize (KiB) 844680

[startup+788.401 s]
/proc/loadavg: 8.12 8.07 7.94 7/371 16528
/proc/meminfo: memFree=20736760/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=844680 CPUtime=3140.58 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) S 16471 16473 16432 0 -1 4202496 987042 0 0 0 313800 258 0 0 25 0 4 0 731724195 864952320 154540 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 211170 154540 395 112 0 206135 0
[pid=16473/tid=16474] ppid=16471 vsize=844680 CPUtime=788.38 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 423930 0 0 0 78748 90 0 0 25 0 4 0 731724195 864952320 154540 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=844680 CPUtime=779.12 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 299350 0 0 0 77833 79 0 0 25 0 4 0 731724195 864952320 154540 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702432964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=844680 CPUtime=786.53 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) S 16471 16473 16432 0 -1 4202560 106946 0 0 0 78614 39 0 0 25 0 4 0 731724195 864952320 154540 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446604461141355584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3140.58
Current children cumulated vsize (KiB) 844680

[startup+790.014 s]
/proc/loadavg: 8.03 8.05 7.94 7/371 16528
/proc/meminfo: memFree=20738988/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=844680 CPUtime=3143.8 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) S 16471 16473 16432 0 -1 4202496 1000036 0 0 0 314121 259 0 0 25 0 4 0 731724195 864952320 154815 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 211170 154815 476 112 0 206135 0
[pid=16473/tid=16474] ppid=16471 vsize=844680 CPUtime=790 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 436924 0 0 0 78908 92 0 0 25 0 4 0 731724195 864952320 154815 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=844680 CPUtime=780.73 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 299350 0 0 0 77994 79 0 0 25 0 4 0 731724195 864952320 154815 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702432811 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=844680 CPUtime=786.53 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) S 16471 16473 16432 0 -1 4202560 106946 0 0 0 78614 39 0 0 25 0 4 0 731724195 864952320 154815 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446604461141355584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3143.8
Current children cumulated vsize (KiB) 844680

[startup+791.601 s]
/proc/loadavg: 8.03 8.05 7.94 7/371 16528
/proc/meminfo: memFree=20736880/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=844680 CPUtime=3146.98 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) S 16471 16473 16432 0 -1 4202496 1041934 0 0 0 314433 265 0 0 25 0 4 0 731724195 864952320 154932 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 211170 154932 395 112 0 206135 0
[pid=16473/tid=16474] ppid=16471 vsize=844680 CPUtime=791.58 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 478822 0 0 0 79061 97 0 0 25 0 4 0 731724195 864952320 154932 33554432000 4194304 4650419 140736005458544 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=844680 CPUtime=782.32 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 299350 0 0 0 78153 79 0 0 25 0 4 0 731724195 864952320 154932 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702432964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=844680 CPUtime=786.53 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) S 16471 16473 16432 0 -1 4202560 106946 0 0 0 78614 39 0 0 25 0 4 0 731724195 864952320 154932 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446604461141355584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3146.98
Current children cumulated vsize (KiB) 844680

[startup+792.401 s]
/proc/loadavg: 8.03 8.05 7.94 7/371 16528
/proc/meminfo: memFree=20736880/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=844680 CPUtime=3148.58 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) S 16471 16473 16432 0 -1 4202496 1060866 0 0 0 314591 267 0 0 25 0 4 0 731724195 864952320 154317 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 211170 154317 395 112 0 206135 0
[pid=16473/tid=16474] ppid=16471 vsize=844680 CPUtime=792.38 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 497754 0 0 0 79139 99 0 0 25 0 4 0 731724195 864952320 154317 33554432000 4194304 4650419 140736005458544 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=844680 CPUtime=783.12 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 299350 0 0 0 78233 79 0 0 25 0 4 0 731724195 864952320 154318 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702432964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=844680 CPUtime=786.53 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) S 16471 16473 16432 0 -1 4202560 106946 0 0 0 78614 39 0 0 25 0 4 0 731724195 864952320 154318 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446604461141355584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3148.58
Current children cumulated vsize (KiB) 844680

[startup+792.601 s]
/proc/loadavg: 8.03 8.05 7.94 7/371 16528
/proc/meminfo: memFree=20736880/32950928 swapFree=65730864/67111528
[pid=16473] ppid=16471 vsize=844680 CPUtime=3148.98 cores=1,3,5,7
/proc/16473/stat : 16473 (strangenight1-m) S 16471 16473 16432 0 -1 4202496 1060965 0 0 0 314631 267 0 0 25 0 4 0 731724195 864952320 154416 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16473/statm: 211170 154416 395 112 0 206135 0
[pid=16473/tid=16474] ppid=16471 vsize=844680 CPUtime=792.58 cores=1,3,5,7
/proc/16473/task/16474/stat : 16474 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 497853 0 0 0 79159 99 0 0 25 0 4 0 731724195 864952320 154416 33554432000 4194304 4650419 140736005458544 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16473/tid=16475] ppid=16471 vsize=844680 CPUtime=783.32 cores=1,3,5,7
/proc/16473/task/16475/stat : 16475 (strangenight1-m) R 16471 16473 16432 0 -1 4202560 299350 0 0 0 78253 79 0 0 25 0 4 0 731724195 864952320 154416 33554432000 4194304 4650419 140736005458544 18446744073709551615 4220635 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16473/tid=16476] ppid=16471 vsize=844680 CPUtime=786.53 cores=1,3,5,7
/proc/16473/task/16476/stat : 16476 (strangenight1-m) S 16471 16473 16432 0 -1 4202560 106946 0 0 0 78614 39 0 0 25 0 4 0 731724195 864952320 154416 33554432000 4194304 4650419 140736005458544 18446744073709551615 46928702457396 0 0 4096 2 18446604461141355584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3148.98
Current children cumulated vsize (KiB) 844680

Child status: 20
Real time (s): 792.687
CPU time (s): 3149.13
CPU user time (s): 3146.43
CPU system time (s): 2.70159
CPU usage (%): 397.273
Max. virtual memory (cumulated for all children) (KiB): 965792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3146.43
system time used= 2.70159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1060968
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= 4733
involuntary context switches= 21603

runsolver used 2.49362 second user time and 6.89495 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-15 01:15:35
IDJOB=3369494
IDBENCH=83446
IDSOLVER=1846
FILE ID=node116/3369494-1305414935
RUNJOBID= node116-1305414935-16451
PBS_JOBID= 13324555
Free space on /tmp= 73120 MiB

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

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=755715685

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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:     32950928 kB
MemFree:      23226608 kB
Buffers:         48988 kB
Cached:         126840 kB
SwapCached:      12356 kB
Active:        9444844 kB
Inactive:        69816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23226608 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           22608 kB
Writeback:           0 kB
AnonPages:     9336984 kB
Mapped:          15964 kB
Slab:            97584 kB
PageTables:      44640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82858944 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= 73056 MiB
End job on node116 at 2011-05-15 01:28:48