Trace number 3367235

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)? (TO) 4800.4 1203.49

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 4 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3367235-1305388970.cnf'
0.00/0.03	c -- header says num vars:         106701
0.00/0.03	c -- header says num clauses:      374254
4.03/1.20	c -- clauses added:            0 learnts,       374254 normals,            0 xors
4.03/1.20	c -- vars added     106701
4.03/1.20	c Parsing time:  0.15 s
4.03/1.20	c  N st     0         0    106701    104865    269005         0    911122         0   no data   no data
4.42/1.30	c asymm  cl-useful: 0/266/104865 lits-rem:0 time: 0.96
85.42/21.53	c Flit:    84 Blit:      0 bXBeca:    0 bXProp: 8528 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 20.24
85.42/21.60	c Replacing     8528 vars Replaced   418509 lits Time:     0.07 s 
85.83/21.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.83/21.66	c bin-w-bin subsume rem        25902 bins  time:  0.03 s
86.25/21.75	c subs with bin:       11  lits-rem:     30320  v-fix:    0  time:  0.09 s
96.19/24.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  91561 time:  2.50 s
96.99/24.48	c Removed useless bin:    2992  fixed:     0  props:  20.00M  time:  0.22 s
98.99/24.99	c lits-rem:      2650  cl-subs:    16763  v-elim:  32653  v-fix:    0  time:  0.49 s
99.41/25.01	c Finding binary XORs  T:     0.02 s  found:      11
99.41/25.03	c Replacing       11 vars Replaced      115 lits Time:     0.02 s 
99.41/25.07	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
99.41/25.07	c calculated reachability. Time: 0.00
99.41/25.08	c Calc default polars -  time:   0.01 s pos:   21307 undec:   42486 neg:   42908
99.41/25.08	c =========================================================================================
99.41/25.08	c types(t): F = full restart, N = normal restart
99.41/25.08	c types(t): S = simplification begin/end, E = solution found
99.41/25.08	c restart types(rt): st = static, dy = dynamic
99.41/25.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
99.41/25.08	c  B st     0         0     65297     92322    161027         0    688928         0   no data   no data
109.34/27.54	c  N dy    17      4145     65297     92322    161255      3803    688922    109852      7.03      7.55
122.51/30.84	c  N dy    41      8529     65275     92322    161612      7959    688922    197278      7.25      7.70
133.68/33.70	c  N dy    62     12560     65275     92322    162147     11811    688922    287305      7.19      7.62
148.83/37.43	c  N dy    84     16744     65275     92322    162235     15845    688922    383877      7.45      7.86
163.20/41.07	c  N dy   106     20823     65274     92322    162553     10283    688921    110927      7.56      8.29
177.17/44.52	c  F st   121     25001     65274     92322    162591     14324    688921    214133      7.51      6.80
181.96/45.74	c  N st   121     25001     65274     91550    162533     14322    685423    214039      7.51      6.80
181.96/45.78	c Finding binary XORs  T:     0.02 s  found:     457
200.35/50.38	c  N dy   127     30001     65272     91494    163512     19177    685251    346227      7.51   no data
200.35/50.38	c  S st   127     30001     65272     91494    163512     19177    685251    346227      7.51   no data
203.10/51.07	c  S st   127     30503     65272     91494    163644     19544    685251    350710      7.51   no data
203.10/51.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
274.97/69.08	c Flit:     3 Blit:      0 bXBeca:    0 bXProp: 8796 Bins: 487487 BRemL:   2834 BRemN:   2228 P: 200.0M T: 17.99
275.32/69.18	c Replacing     9254 vars Replaced   913720 lits Time:     0.09 s 
275.73/69.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
276.12/69.31	c bin-w-bin subsume rem       105859 bins  time:  0.10 s
276.52/69.47	c subs with bin:    10498  lits-rem:     61251  v-fix:    0  time:  0.16 s
286.50/71.91	c Subs w/ non-existent bins:    744 l-rem:   4313 v-fix:     0 done:  56015 time:  2.43 s
287.30/72.12	c Removed useless bin:    7836  fixed:     0  props:  20.01M  time:  0.21 s
289.69/72.76	c lits-rem:      8971  cl-subs:    23965  v-elim:  37342  v-fix:    0  time:  0.62 s
290.08/72.80	c subs with bin:      274  lits-rem:      2846  v-fix:    0  time:  0.03 s
290.08/72.87	c lits-rem:       877  cl-subs:     1335  v-elim:      0  v-fix:    0  time:  0.05 s
292.52/73.44	c asymm  cl-useful: 1343/3111/88922 lits-rem:8154 time: 0.57
292.52/73.45	c calculated reachability. Time: 0.00
292.52/73.45	c  N dy   127     30503     18673     88658    178508      9971    459538    305659      7.51   no data
292.52/73.46	c Finding binary XORs  T:     0.01 s  found:       5
300.88/75.55	c  N dy   133     34807     18673     88658    178954     14208    459538    380707      7.32      7.72
308.84/77.58	c  N dy   149     38877     18673     88658    313890     18189    459538    714645      7.28      7.95
310.83/78.03	c Finding binary XORs  T:     0.02 s  found:       2
317.21/79.61	c  N dy   168     42929     18673     88658    313916     11326    459538    568252      7.27      7.70
322.01/80.87	c  S st   186     45755     18673     88658    313927     14088    459538    615538      7.27      6.87
323.24/81.15	c  S st   186     46255     18673     88658    313963     14549    459538    621528      7.27   no data
323.24/81.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
351.13/88.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  259 Bins: 158493 BRemL:  17621 BRemN:   3172 P: 87.5M T:  6.92
351.13/88.18	c Replacing      266 vars Replaced   110987 lits Time:     0.03 s 
351.53/88.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
351.93/88.30	c bin-w-bin subsume rem       143147 bins  time:  0.10 s
352.32/88.40	c subs with bin:     7824  lits-rem:     14081  v-fix:    0  time:  0.10 s
353.55/88.72	c Subs w/ non-existent bins:   1519 l-rem:   2771 v-fix:     0 done:  18407 time:  0.32 s
353.55/88.80	c Removed useless bin:   11731  fixed:     0  props:   5.98M  time:  0.08 s
354.32/88.93	c lits-rem:       860  cl-subs:     2614  v-elim:   1861  v-fix:    0  time:  0.12 s
354.32/88.98	c subs with bin:       61  lits-rem:       664  v-fix:    0  time:  0.04 s
354.72/89.04	c lits-rem:       442  cl-subs:      532  v-elim:      0  v-fix:    0  time:  0.05 s
355.52/89.21	c vivif2 --  cl tried    80341 cl shrink     1617 lits rem       2617 time: 0.17
355.52/89.24	c vivif2 --  cl tried    13271 cl shrink     1633 lits rem       2541 time: 0.03
357.94/89.84	c asymm  cl-useful: 155/4391/79466 lits-rem:208 time: 0.60
357.94/89.89	c calculated reachability. Time: 0.03
357.94/89.89	c  N dy   186     46255     16546     79466    256891     13224    381639    517622      7.27   no data
358.71/90.05	c Finding binary XORs  T:     0.16 s  found:     138
365.09/91.69	c  N dy   191     50352     16546     79466    256938     17236    381639    578342      7.13      7.53
368.28/92.42	c Finding binary XORs  T:     0.11 s  found:       0
373.47/93.74	c  N dy   202     54681     16546     79466    297132     21456    381639    735618      7.05      7.47
380.30/95.46	c Finding binary XORs  T:     0.12 s  found:       0
381.85/95.83	c  N dy   213     58737     16546     79466    344596     25432    381639    896166      6.99      7.36
391.43/98.29	c  N dy   227     63235     16546     79466    345213     29844    381639    968919      6.93      7.30
401.41/100.77	c  N dy   246     67765     16546     79466    345235     18552    381639    728641      6.90      7.28
404.59/101.56	c  S st   255     69383     16546     79466    345261     20141    381639    753257      6.89      5.67
405.79/101.86	c  S st   255     69886     16546     79466    345294     20610    381639    761225      6.89   no data
405.79/101.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
423.77/106.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  41297 BRemL:  67188 BRemN:    468 P: 56.9M T:  4.47
423.77/106.38	c Replacing      139 vars Replaced     6090 lits Time:     0.02 s 
423.77/106.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
424.18/106.46	c bin-w-bin subsume rem        62051 bins  time:  0.06 s
424.54/106.53	c subs with bin:     1790  lits-rem:       277  v-fix:    0  time:  0.07 s
425.34/106.74	c Subs w/ non-existent bins:    445 l-rem:      0 v-fix:     0 done:  16407 time:  0.20 s
425.34/106.78	c Removed useless bin:    1663  fixed:     0  props:   2.78M  time:  0.04 s
425.74/106.85	c lits-rem:       111  cl-subs:      527  v-elim:    213  v-fix:    0  time:  0.07 s
426.14/106.91	c subs with bin:       44  lits-rem:       301  v-fix:    0  time:  0.05 s
426.14/106.99	c lits-rem:       531  cl-subs:      504  v-elim:      0  v-fix:    0  time:  0.06 s
426.94/107.12	c vivif2 --  cl tried    77091 cl shrink      236 lits rem        287 time: 0.13
426.94/107.17	c vivif2 --  cl tried    19993 cl shrink     1567 lits rem       3980 time: 0.05
429.33/107.79	c asymm  cl-useful: 618/13694/77040 lits-rem:651 time: 0.62
429.73/107.82	c calculated reachability. Time: 0.03
429.73/107.82	c  N dy   255     69886     16194     77029    237230     19985    366962    540675      6.89   no data
430.13/107.94	c Finding binary XORs  T:     0.12 s  found:       0
437.56/110.01	c  N dy   273     74621     16194     77029    237260     24640    366962    624462      6.87      7.35
438.76/110.36	c Finding binary XORs  T:     0.11 s  found:      11
447.14/112.49	c  N dy   296     79498     16194     77029    404292     29459    366962   1033545      6.85      7.30
457.52/115.07	c  N dy   318     84619     16194     77029    407250     34517    366962   1125921      6.84      7.31
463.89/116.64	c  F st   338     87500     16194     77029    407303     37363    366962   1176857      6.86      5.33
463.89/116.67	c Replacing       11 vars Replaced     2336 lits Time:     0.03 s 
471.52/118.54	c  N st   343     90795     16183     77021    407294     21458    366922    876130      6.86   no data
479.46/120.54	c Finding binary XORs  T:     0.11 s  found:       0
484.68/121.83	c  N dy   356     96655     16183     77021    411780     27202    366921    995385      6.83      7.32
498.21/125.23	c  N dy   399    102829     16183     77021    411865     33301    366921   1106075      6.87      7.41
502.24/126.24	c  S st   412    104832     16183     77021    411875     35271    366921   1141771      6.87      6.14
503.40/126.60	c  S st   412    105332     16183     77021    411903     35753    366921   1151640      6.87   no data
503.80/126.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
521.75/131.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:  34483 BRemL:  58792 BRemN:     79 P: 58.6M T:  4.52
521.75/131.17	c Replacing        7 vars Replaced     2332 lits Time:     0.03 s 
521.75/131.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
522.15/131.27	c bin-w-bin subsume rem       128386 bins  time:  0.08 s
522.55/131.34	c subs with bin:      981  lits-rem:       826  v-fix:    0  time:  0.07 s
523.36/131.60	c Subs w/ non-existent bins:     29 l-rem:      0 v-fix:     0 done:  16176 time:  0.26 s
523.77/131.64	c Removed useless bin:     423  fixed:     0  props:   2.11M  time:  0.03 s
523.77/131.71	c lits-rem:        77  cl-subs:      638  v-elim:     62  v-fix:    0  time:  0.07 s
524.54/131.86	c subs with bin:       59  lits-rem:       574  v-fix:    0  time:  0.13 s
525.34/132.05	c lits-rem:       972  cl-subs:      767  v-elim:      0  v-fix:    0  time:  0.18 s
525.74/132.18	c vivif2 --  cl tried    75466 cl shrink       19 lits rem         30 time: 0.13
526.54/132.31	c vivif2 --  cl tried    34734 cl shrink     5785 lits rem      16767 time: 0.13
528.57/132.89	c asymm  cl-useful: 28/3658/75464 lits-rem:28 time: 0.59
528.93/132.93	c calculated reachability. Time: 0.02
528.93/132.93	c  N dy   412    105332     16114     75464    256898     34721    362193    808170      6.87   no data
529.33/133.04	c Finding binary XORs  T:     0.11 s  found:      17
542.89/136.42	c  N dy   448    112178     16114     75464    259330     41488    362193    929571      6.89      7.28
556.46/139.82	c  N dy   481    119395     16114     75464    261545     27384    362193    645511      6.88      8.01
565.24/142.04	c Finding binary XORs  T:     0.11 s  found:       1
571.64/143.60	c  N dy   516    127052     16114     75464    263281     34949    362193    781254      6.88      7.26
587.98/147.77	c  N dy   566    135357     16114     75464    265909     43169    362193    928647      6.91      7.40
605.55/152.12	c  N dy   612    144092     16114     75464    266128     29711    362193    673598      6.90      7.27
624.30/156.86	c Finding binary XORs  T:     0.11 s  found:       5
624.72/156.93	c  N dy   664    153405     16114     75464    266152     38941    362193    833789      6.91      7.28
633.91/159.28	c  S st   692    158000     16114     75464    266178     43497    362193    916709      6.91   no data
635.07/159.57	c  S st   692    158501     16114     75464    266186     43985    362193    925203      6.91   no data
635.07/159.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
653.82/164.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:  65242 BRemL:  59274 BRemN:    656 P: 57.6M T:  4.66
653.82/164.28	c Replacing       32 vars Replaced     8443 lits Time:     0.02 s 
654.22/164.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
654.22/164.34	c bin-w-bin subsume rem         3434 bins  time:  0.03 s
654.62/164.40	c subs with bin:       52  lits-rem:         5  v-fix:    0  time:  0.07 s
655.44/164.64	c Subs w/ non-existent bins:     13 l-rem:      0 v-fix:     0 done:  16082 time:  0.23 s
655.44/164.67	c Removed useless bin:     216  fixed:     0  props:   1.80M  time:  0.03 s
655.86/164.74	c lits-rem:        10  cl-subs:      100  v-elim:    140  v-fix:    0  time:  0.07 s
656.21/164.88	c subs with bin:       52  lits-rem:       169  v-fix:    0  time:  0.12 s
657.02/165.09	c lits-rem:      1195  cl-subs:      769  v-elim:      0  v-fix:    0  time:  0.20 s
657.82/165.22	c vivif2 --  cl tried    75568 cl shrink       22 lits rem         25 time: 0.13
658.22/165.36	c vivif2 --  cl tried    42568 cl shrink     6151 lits rem      14061 time: 0.14
660.61/165.95	c asymm  cl-useful: 3/2978/75565 lits-rem:9 time: 0.59
660.61/165.99	c calculated reachability. Time: 0.02
660.61/165.99	c  N dy   692    158501     15942     75562    255286     42568    359756    867145      6.91   no data
661.41/166.10	c Finding binary XORs  T:     0.11 s  found:       3
682.95/171.52	c  N dy   753    168680     15942     75562    263066     30420    359756    647405      6.93      7.34
683.75/171.79	c Finding binary XORs  T:     0.11 s  found:       0
703.72/176.79	c  N dy   813    179454     15942     75562    263116     41117    359756    849647      6.94     13.88
727.64/182.71	c  N dy   881    190977     15942     75562    263188     52555    359756   1059912      6.95      7.55
750.78/188.58	c  N dy   944    203209     15942     75562    265792     41655    359756    812042      6.96      7.52
752.01/188.82	c Finding binary XORs  T:     0.11 s  found:      11
779.90/195.86	c  N dy  1024    216236     15942     75562    266501     54584    359756   1065974      6.99      7.71
805.84/202.30	c Finding binary XORs  T:     0.11 s  found:       3
809.47/203.26	c  N dy  1124    230312     15942     75562    269459     43938    359756    836692      7.02      7.42
824.60/207.08	c  S st  1159    237755     15942     75562    269515     51306    359756    976853      7.02      6.75
826.20/207.42	c  S st  1159    238261     15942     75562    269521     51804    359756    986705      7.02   no data
826.20/207.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
844.59/212.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  41156 BRemL:  49349 BRemN:    234 P: 57.0M T:  4.64
844.95/212.10	c Replacing       22 vars Replaced     8076 lits Time:     0.02 s 
844.95/212.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
844.95/212.15	c bin-w-bin subsume rem         4309 bins  time:  0.03 s
845.35/212.22	c subs with bin:       42  lits-rem:        10  v-fix:    0  time:  0.07 s
846.15/212.44	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:  15920 time:  0.22 s
846.15/212.47	c Removed useless bin:     123  fixed:     0  props:   1.80M  time:  0.03 s
846.55/212.54	c lits-rem:        12  cl-subs:       31  v-elim:     42  v-fix:    0  time:  0.07 s
847.35/212.71	c subs with bin:       37  lits-rem:       186  v-fix:    0  time:  0.13 s
848.14/212.98	c lits-rem:      1289  cl-subs:      807  v-elim:      0  v-fix:    0  time:  0.25 s
848.56/213.10	c vivif2 --  cl tried    75555 cl shrink       13 lits rem         76 time: 0.13
849.33/213.26	c vivif2 --  cl tried    50885 cl shrink     6400 lits rem      15308 time: 0.16
851.73/213.83	c asymm  cl-useful: 0/2391/75554 lits-rem:0 time: 0.57
851.73/213.87	c calculated reachability. Time: 0.02
851.73/213.87	c  N dy  1159    238261     15878     75554    253035     50885    358656    928414      7.02   no data
852.13/213.98	c Finding binary XORs  T:     0.11 s  found:       0
882.46/221.58	c  N dy  1246    253590     15878     75554    256177     40306    358656    701148      7.03      7.42
901.23/226.23	c Finding binary XORs  T:     0.10 s  found:       0
915.56/229.86	c  N dy  1329    270037     15878     75554    256194     56644    358656   1008362      7.04      7.51
951.48/238.81	c  N dy  1428    287312     15878     75554    256214     47356    358655    789904      7.06      8.99
983.00/246.76	c Finding binary XORs  T:     0.11 s  found:       0
990.98/248.77	c  N dy  1548    305671     15878     75554    265063     65580    358655   1160424      7.08      7.50
992.58/249.13	c  F st  1553    306250     15878     75554    265063     66157    358655   1173046      7.08   no data
1033.67/259.47	c  N dy  1655    325201     15878     75554    266670     57263    358655    955715      7.10      8.47
1076.79/270.26	c  N dy  1777    345245     15878     75554    266719     48802    358655    765038      7.12     10.57
1103.54/276.97	c  S st  1867    357393     15878     75554    266731     60877    358655   1004616      7.15   no data
1105.10/277.31	c  S st  1867    357893     15878     75554    266735     61371    358655   1012576      7.15   no data
1105.10/277.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1123.45/281.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  35199 BRemL:  39923 BRemN:    250 P: 57.2M T:  4.61
1123.45/281.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1123.45/281.99	c bin-w-bin subsume rem         2754 bins  time:  0.03 s
1123.85/282.05	c subs with bin:       16  lits-rem:        44  v-fix:    0  time:  0.07 s
1124.65/282.27	c Subs w/ non-existent bins:     11 l-rem:      0 v-fix:     0 done:  15878 time:  0.21 s
1124.65/282.30	c Removed useless bin:      89  fixed:     0  props:   1.71M  time:  0.03 s
1125.07/282.37	c lits-rem:         0  cl-subs:        5  v-elim:     43  v-fix:    0  time:  0.07 s
1125.85/282.53	c subs with bin:       11  lits-rem:        66  v-fix:    0  time:  0.13 s
1127.05/282.84	c lits-rem:      1214  cl-subs:      998  v-elim:      0  v-fix:    0  time:  0.30 s
1127.45/282.97	c vivif2 --  cl tried    75623 cl shrink       22 lits rem         40 time: 0.13
1128.25/283.14	c vivif2 --  cl tried    60088 cl shrink     5520 lits rem      14720 time: 0.17
1130.23/283.70	c asymm  cl-useful: 0/2122/75620 lits-rem:0 time: 0.56
1130.63/283.73	c calculated reachability. Time: 0.02
1130.63/283.73	c  N dy  1867    357893     15835     75620    249716     60088    357936    950837      7.15   no data
1131.03/283.84	c Finding binary XORs  T:     0.11 s  found:       0
1176.52/295.22	c  N dy  1996    378002     15835     75620    252702     50073    357936    726571      7.18      7.58
1176.92/295.38	c Finding binary XORs  T:     0.10 s  found:       0
1220.81/306.33	c  N dy  2132    398057     15835     75620    252721     69959    357936   1119609      7.21      7.64
1263.10/316.99	c  N dy  2259    418169     15835     75620    254796     59441    357936    870996      7.23      7.61
1263.90/317.18	c Finding binary XORs  T:     0.10 s  found:       1
1306.99/327.95	c  N dy  2371    438642     15835     75620    254817     79773    357936   1261931      7.24      7.64
1352.48/339.38	c  N dy  2497    458833     15835     75620    254834     68337    357936   1014700      7.26      7.64
1397.61/350.63	c  N dy  2634    478865     15835     75620    254851     88231    357936   1402977      7.28     10.05
1443.86/362.27	c  N dy  2766    499494     15835     75620    254867     76264    357936   1128930      7.31      7.72
1491.33/374.10	c  N dy  2896    519665     15835     75620    254888     62801    357936    811887      7.33      7.73
1529.28/383.62	c  S st  3016    536840     15835     75620    254900     79855    357936   1141106      7.35      6.79
1530.83/384.00	c  S st  3016    537343     15835     75620    254907     80350    357936   1152798      7.35   no data
1530.83/384.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1549.19/388.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  29842 BRemL:  36829 BRemN:    362 P: 59.6M T:  4.67
1549.59/388.72	c Replacing        2 vars Replaced      595 lits Time:     0.03 s 
1549.59/388.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1549.59/388.77	c bin-w-bin subsume rem          894 bins  time:  0.03 s
1549.99/388.84	c subs with bin:       41  lits-rem:        16  v-fix:    0  time:  0.06 s
1550.81/389.06	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:  15833 time:  0.22 s
1550.81/389.09	c Removed useless bin:     260  fixed:     0  props:   1.77M  time:  0.03 s
1551.22/389.16	c lits-rem:         9  cl-subs:        1  v-elim:     86  v-fix:    0  time:  0.07 s
1551.98/389.34	c subs with bin:       25  lits-rem:       150  v-fix:    0  time:  0.14 s
1553.58/389.75	c lits-rem:      1385  cl-subs:     1287  v-elim:      0  v-fix:    0  time:  0.40 s
1553.98/389.88	c vivif2 --  cl tried    75740 cl shrink       18 lits rem         25 time: 0.13
1554.78/390.10	c vivif2 --  cl tried    78527 cl shrink     7060 lits rem      17327 time: 0.22
1557.16/390.62	c asymm  cl-useful: 0/1860/75740 lits-rem:0 time: 0.52
1557.16/390.66	c calculated reachability. Time: 0.02
1557.16/390.66	c  N dy  3016    537343     15747     75740    241574     78526    356697   1087824      7.35   no data
1557.56/390.76	c Finding binary XORs  T:     0.11 s  found:       0
1581.95/396.82	c Finding binary XORs  T:     0.10 s  found:       1
1607.05/403.17	c  N dy  3134    557930     15747     75740    262215     99009    356697   1545441      7.36      7.81
1648.94/413.62	c Finding binary XORs  T:     0.10 s  found:       0
1652.18/414.44	c  N dy  3265    577933     15747     75740    262562     84001    356697   1224619      7.38      7.80
1698.82/426.19	c  N dy  3384    598023     15747     75740    262569     68517    356697    870615      7.39      7.96
1745.90/437.96	c  N dy  3512    618098     15747     75740    262577     88459    356697   1281467      7.41      7.80
1797.37/450.86	c  N dy  3662    638158     15747     75740    262586     72033    356697    894168      7.44      9.33
1843.65/462.43	c  N dy  3784    658234     15747     75740    262596     92007    356697   1291948      7.45      8.55
1893.57/474.93	c  N dy  3911    678825     15747     75740    262600     75156    356697    908823      7.46      7.93
1940.21/486.67	c  N dy  4045    698970     15747     75740    262609     95176    356697   1312335      7.48      7.93
1989.30/498.98	c Finding binary XORs  T:     0.10 s  found:       3
1990.89/499.33	c  N dy  4187    719078     15747     75740    264680    115164    356697   1731011      7.50      7.90
2038.76/511.38	c  N dy  4320    739149     15747     75740    264695     96797    356697   1300917      7.51      7.92
2089.85/524.12	c  N dy  4470    759236     15747     75740    264703    116763    356697   1715503      7.53      9.37
2138.94/536.43	c  N dy  4608    779263     15747     75740    264710     97262    356697   1272014      7.55      8.26
2188.00/548.76	c  N dy  4727    799288     15747     75740    264713    117155    356697   1685256      7.56      9.02
2205.55/553.14	c  S st  4776    806014     15747     75740    264713    123835    356697   1815504      7.57   no data
2207.15/553.55	c  S st  4776    806519     15747     75740    264716    124335    356697   1823957      7.57   no data
2207.15/553.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2226.72/558.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  32631 BRemL:  44571 BRemN:    740 P: 65.4M T:  4.90
2226.72/558.50	c Replacing        4 vars Replaced      944 lits Time:     0.03 s 
2227.14/558.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2227.14/558.55	c bin-w-bin subsume rem         3740 bins  time:  0.03 s
2227.49/558.62	c subs with bin:       24  lits-rem:        63  v-fix:    0  time:  0.06 s
2228.29/558.82	c Subs w/ non-existent bins:     29 l-rem:      0 v-fix:     0 done:  15743 time:  0.20 s
2228.29/558.86	c Removed useless bin:     190  fixed:     0  props:   1.84M  time:  0.03 s
2228.69/558.94	c lits-rem:         3  cl-subs:       12  v-elim:     29  v-fix:    0  time:  0.08 s
2229.90/559.24	c subs with bin:       33  lits-rem:       625  v-fix:    0  time:  0.23 s
2235.50/560.71	c lits-rem:      3742  cl-subs:     2038  v-elim:      0  v-fix:    0  time:  1.45 s
2236.27/560.84	c vivif2 --  cl tried    75757 cl shrink       21 lits rem         85 time: 0.13
2237.87/561.24	c vivif2 --  cl tried   120374 cl shrink    17099 lits rem      40279 time: 0.40
2239.89/561.80	c asymm  cl-useful: 0/1934/75755 lits-rem:0 time: 0.56
2240.31/561.83	c calculated reachability. Time: 0.02
2240.31/561.83	c  N dy  4776    806519     15714     75755    241343    120371    354692   1675547      7.57   no data
2240.66/561.94	c Finding binary XORs  T:     0.11 s  found:       0
2280.97/572.06	c Finding binary XORs  T:     0.10 s  found:       0
2290.54/574.41	c  N dy  4913    826554     15714     75755    244313     99893    354692   1268374      7.58      8.14
2338.83/586.51	c  N dy  5021    846570     15714     75755    244322    119799    354692   1678565      7.59     10.12
2387.90/598.82	c  N dy  5150    866609     15714     75755    244323     98430    354692   1189611      7.60     11.93
2412.23/604.96	c Finding binary XORs  T:     0.10 s  found:       0
2438.97/611.66	c  N dy  5287    886819     15714     75755    249593    118527    354692   1625066      7.62      8.03
2490.84/624.69	c  N dy  5411    906947     15714     75755    249598     96232    354692   1114851      7.63      8.08
2542.32/637.58	c  N dy  5560    927114     15714     75755    249604    116284    354692   1530392      7.65      8.16
2593.38/650.35	c  N dy  5690    947146     15714     75755    249607    136200    354692   1945833      7.66      8.93
2641.66/662.42	c  N dy  5816    967189     15714     75755    249611    112558    354692   1406862      7.67      8.23
2692.73/675.29	c  N dy  5945    987283     15714     75755    249612    132543    354692   1826666      7.68     12.85
2744.63/688.27	c  N dy  6079   1007492     15714     75755    249618    108234    354692   1266202      7.69      8.28
2787.70/699.06	c Finding binary XORs  T:     0.10 s  found:       2
2800.87/702.34	c  N dy  6233   1027528     15714     75755    263351    128157    354692   1724472      7.71      8.20
2857.92/716.63	c  N dy  6381   1047625     15714     75755    263357    102633    354692   1139607      7.72      8.73
2909.39/729.55	c  N dy  6512   1067733     15714     75755    263360    122618    354692   1564573      7.73      8.14
2920.18/732.26	c  F st  6542   1071875     15714     75755    263363    126742    354692   1650488      7.73   no data
2920.18/732.29	c Replacing        2 vars Replaced      577 lits Time:     0.03 s 
2962.86/742.93	c  N dy  6624   1087791     15712     75755    263360    142545    354692   2007153      7.74     11.31
3016.74/756.44	c  N dy  6768   1107978     15712     75755    263367    116207    354692   1377563      7.75      8.18
3070.19/769.85	c  N dy  6900   1128204     15712     75755    263368    136328    354692   1804400      7.76      8.60
3126.06/783.84	c  N dy  7034   1148229     15712     75755    263370    109027    354692   1178099      7.78      8.21
3179.92/797.34	c  N dy  7182   1168325     15712     75755    263373    129029    354692   1612915      7.79     10.22
3235.79/811.40	c  N dy  7326   1188338     15712     75755    263377    148941    354692   2051223      7.80      8.72
3290.05/824.93	c  N dy  7465   1208352     15712     75755    263381    120330    354692   1371800      7.82     10.03
3293.68/825.86	c  S st  7473   1209779     15712     75755    263381    121750    354692   1402871      7.82      7.71
3295.63/826.31	c  S st  7473   1210281     15712     75755    263382    122250    354692   1414898      7.82   no data
3295.63/826.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3315.62/831.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   7146 BRemL:  28110 BRemN:    151 P: 64.9M T:  4.99
3315.62/831.35	c Replacing        1 vars Replaced       52 lits Time:     0.03 s 
3315.62/831.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3315.97/831.40	c bin-w-bin subsume rem         1676 bins  time:  0.03 s
3315.97/831.46	c subs with bin:       28  lits-rem:        11  v-fix:    0  time:  0.06 s
3316.77/831.67	c Subs w/ non-existent bins:     19 l-rem:      0 v-fix:     0 done:  15711 time:  0.21 s
3317.17/831.71	c Removed useless bin:     105  fixed:     0  props:   1.95M  time:  0.04 s
3317.57/831.80	c lits-rem:         3  cl-subs:       12  v-elim:      6  v-fix:    0  time:  0.08 s
3317.97/831.99	c subs with bin:        4  lits-rem:        70  v-fix:    0  time:  0.14 s
3320.77/832.68	c lits-rem:      2255  cl-subs:     1914  v-elim:      0  v-fix:    0  time:  0.69 s
3321.57/832.82	c vivif2 --  cl tried    75708 cl shrink        3 lits rem          3 time: 0.13
3322.76/833.10	c vivif2 --  cl tried   119880 cl shrink     6388 lits rem      17565 time: 0.28
3324.75/833.65	c asymm  cl-useful: 0/1685/75708 lits-rem:0 time: 0.54
3324.75/833.69	c calculated reachability. Time: 0.02
3324.75/833.69	c  N dy  7473   1210281     15705     75708    239489    119879    353964   1324847      7.82   no data
3325.15/833.79	c Finding binary XORs  T:     0.10 s  found:       0
3380.21/847.53	c  N dy  7607   1230359     15705     75708    241448    139824    353964   1763422      7.83      8.81
3382.21/848.03	c Finding binary XORs  T:     0.10 s  found:       0
3437.27/861.89	c  N dy  7737   1250534     15705     75708    241450    159916    353964   2214696      7.84      8.28
3489.94/875.02	c  N dy  7866   1270780     15705     75708    241459    129317    353964   1502963      7.84      8.31
3545.40/888.97	c  N dy  8002   1290815     15705     75708    241460    149239    353964   1932042      7.85      8.84
3602.46/903.27	c  N dy  8131   1311086     15705     75708    241462    118791    353964   1226507      7.86      8.35
3653.93/916.12	c  N dy  8240   1331122     15705     75708    241463    138701    353964   1653254      7.86      8.34
3708.99/929.90	c  N dy  8375   1351221     15705     75708    241468    158693    353964   2077865      7.87      8.32
3765.65/944.13	c  N dy  8514   1371445     15705     75708    241470    127526    353964   1362051      7.88      8.31
3819.94/957.81	c  N dy  8649   1391540     15705     75708    241475    147492    353964   1804959      7.89      8.37
3878.16/972.33	c  N dy  8782   1411823     15705     75708    242041    167680    353964   2244656      7.90      8.34
3934.06/986.34	c  N dy  8905   1431957     15705     75708    242048    135374    353964   1492116      7.91      8.34
3989.50/1000.20	c  N dy  9036   1452044     15705     75708    242050    155338    353964   1916629      7.92      8.40
4048.94/1015.13	c  N dy  9171   1472144     15705     75708    242054    175318    353964   2350367      7.92      8.54
4103.21/1028.70	c  N dy  9307   1492219     15705     75708    242057    141987    353964   1566718      7.93      8.53
4158.31/1042.54	c  N dy  9441   1512265     15705     75708    242059    161926    353964   2002556      7.94     10.01
4223.31/1058.80	c  N dy  9582   1533881     15705     75708    242060    128970    353964   1253640      7.95      8.40
4276.82/1072.28	c  N dy  9719   1554282     15705     75708    242063    149244    353964   1683592      7.96      8.43
4334.63/1086.76	c  N dy  9855   1574338     15705     75708    242066    169176    353964   2118086      7.97     10.05
4365.75/1094.51	c Finding binary XORs  T:     0.10 s  found:       1
4394.90/1101.85	c  N dy  9990   1594471     15705     75708    247277    133910    353964   1326463      7.98      8.50
4451.55/1116.00	c  N dy 10131   1615069     15705     75708    247279    154390    353964   1777137      7.99      8.46
4510.59/1130.89	c  N dy 10265   1635198     15705     75708    247281    174398    353964   2213713      7.99      8.50
4574.43/1146.85	c  N dy 10419   1655241     15705     75708    247281    137930    353964   1366299      8.00      8.54
4631.91/1161.26	c  N dy 10554   1675459     15705     75708    247281    158022    353964   1812747      8.01      8.45
4690.54/1175.92	c  N dy 10683   1695514     15705     75708    247283    177967    353964   2249822      8.02      8.47
4734.84/1187.05	c  S st 10775   1710281     15705     75708    247283    192641    353964   2577205      8.02   no data
4736.83/1187.58	c  S st 10775   1710782     15705     75708    247283    193142    353964   2588527      8.02   no data
4737.25/1187.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4758.38/1192.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  36543 BRemL:  25474 BRemN:    341 P: 75.5M T:  5.38
4758.78/1193.03	c Replacing        2 vars Replaced      712 lits Time:     0.04 s 
4758.78/1193.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4758.78/1193.08	c bin-w-bin subsume rem          799 bins  time:  0.03 s
4759.19/1193.15	c subs with bin:        7  lits-rem:        52  v-fix:    0  time:  0.06 s
4759.97/1193.34	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:  15703 time:  0.19 s
4759.97/1193.38	c Removed useless bin:     290  fixed:     0  props:   2.10M  time:  0.04 s
4760.37/1193.49	c lits-rem:        37  cl-subs:        5  v-elim:     30  v-fix:    0  time:  0.11 s
4762.36/1193.97	c subs with bin:       20  lits-rem:       798  v-fix:    0  time:  0.38 s
4777.52/1197.76	c lits-rem:      5177  cl-subs:     2787  v-elim:      0  v-fix:    0  time:  3.78 s
4777.92/1197.90	c vivif2 --  cl tried    75740 cl shrink       24 lits rem         48 time: 0.13
4780.72/1198.58	c vivif2 --  cl tried   189785 cl shrink    28042 lits rem      77780 time: 0.68
4783.11/1199.13	c asymm  cl-useful: 0/1422/75740 lits-rem:0 time: 0.55
4783.11/1199.17	c calculated reachability. Time: 0.02
4783.11/1199.17	c  N dy 10775   1710782     15673     75740    253082    189784    352574   2481049      8.02   no data
4783.51/1199.28	c Finding binary XORs  T:     0.11 s  found:       0

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367235-1305388970/watcher-3367235-1305388970 -o /tmp/evaluation-result-3367235-1305388970/solver-3367235-1305388970 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367235-1305388970.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.39 4.65 4.04 5/319 6638
/proc/meminfo: memFree=23532408/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 383088250 52396032 347 33554432000 4194304 4580107 140734023178832 18446744073709551615 47122305181608 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 12792 347 299 95 0 7774 0
[pid=6638/tid=6639] ppid=6636 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 383088250 52396032 347 33554432000 4194304 4580107 140734023178832 18446744073709551615 47122305181612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 383088250 52396032 347 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 383088250 52396032 347 33554432000 4194304 4580107 140734023178832 18446744073709551615 47122305181618 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0945609 s]
/proc/loadavg: 6.39 4.65 4.04 5/319 6638
/proc/meminfo: memFree=23532408/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=301240 CPUtime=0.23 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 16000 0 0 0 21 2 0 0 25 0 4 0 383088250 308469760 13352 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660767214 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6638/statm: 75310 13353 338 95 0 70292 0
[pid=6638/tid=6639] ppid=6636 vsize=301240 CPUtime=0.03 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 4869 0 0 0 3 0 0 0 18 0 4 0 383088250 308469760 13354 33554432000 4194304 4580107 140734023178832 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=301240 CPUtime=0.06 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 5024 0 0 0 6 0 0 0 18 0 4 0 383088250 308469760 13356 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660767214 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=301240 CPUtime=0.06 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 3980 0 0 0 6 0 0 0 18 0 4 0 383088250 308469760 13357 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 301240

[startup+0.100415 s]
/proc/loadavg: 6.39 4.65 4.04 5/319 6638
/proc/meminfo: memFree=23532408/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=301240 CPUtime=0.24 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 17444 0 0 0 21 3 0 0 25 0 4 0 383088250 308469760 14792 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660767214 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6638/statm: 75310 14794 338 95 0 70292 0
[pid=6638/tid=6639] ppid=6636 vsize=301240 CPUtime=0.03 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 4951 0 0 0 3 0 0 0 18 0 4 0 383088250 308469760 14795 33554432000 4194304 4580107 140734023178832 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=301240 CPUtime=0.06 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 5535 0 0 0 6 0 0 0 17 0 4 0 383088250 308469760 14797 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=301240 CPUtime=0.06 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 4509 0 0 0 6 0 0 0 18 0 4 0 383088250 308469760 14800 33554432000 4194304 4580107 140734023178832 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 301240

[startup+1.10514 s]
/proc/loadavg: 6.39 4.65 4.04 5/319 6638
/proc/meminfo: memFree=23532408/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=364320 CPUtime=4.03 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 54270 0 0 0 392 11 0 0 18 0 4 0 383088250 373063680 46555 33554432000 4194304 4580107 140734023178832 18446744073709551615 4295906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 91080 46555 359 95 0 86062 0
[pid=6638/tid=6639] ppid=6636 vsize=364320 CPUtime=0.99 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13711 0 0 0 97 2 0 0 18 0 4 0 383088250 373063680 46555 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=364320 CPUtime=1.04 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 12582 0 0 0 102 2 0 0 19 0 4 0 383088250 373063680 46555 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=364320 CPUtime=0.99 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 12917 0 0 0 96 3 0 0 18 0 4 0 383088250 373063680 46555 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 364320

[startup+1.20112 s]
/proc/loadavg: 6.39 4.65 4.04 5/319 6638
/proc/meminfo: memFree=23532408/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=365172 CPUtime=4.42 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 55038 0 0 0 431 11 0 0 18 0 4 0 383088250 373936128 47323 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 91293 47323 360 95 0 86275 0
[pid=6638/tid=6639] ppid=6636 vsize=365172 CPUtime=1.09 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13711 0 0 0 107 2 0 0 19 0 4 0 383088250 373936128 47323 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=365172 CPUtime=1.14 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13131 0 0 0 112 2 0 0 19 0 4 0 383088250 373936128 47323 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=365172 CPUtime=1.09 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13136 0 0 0 106 3 0 0 18 0 4 0 383088250 373936128 47323 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 365172

[startup+1.50107 s]
/proc/loadavg: 6.39 4.65 4.04 5/319 6638
/proc/meminfo: memFree=23532408/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=365488 CPUtime=5.62 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 56186 0 0 0 550 12 0 0 19 0 4 0 383088250 374259712 48471 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 91372 48471 360 95 0 86354 0
[pid=6638/tid=6639] ppid=6636 vsize=365488 CPUtime=1.39 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 14083 0 0 0 136 3 0 0 19 0 4 0 383088250 374259712 48471 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=365488 CPUtime=1.43 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13232 0 0 0 141 2 0 0 19 0 4 0 383088250 374259712 48471 33554432000 4194304 4580107 140734023178832 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=365488 CPUtime=1.39 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13239 0 0 0 136 3 0 0 19 0 4 0 383088250 374259712 48471 33554432000 4194304 4580107 140734023178832 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 365488

[startup+3.10079 s]
/proc/loadavg: 6.52 4.70 4.06 9/323 6642
/proc/meminfo: memFree=23329632/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=366052 CPUtime=12 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 56546 0 0 0 1188 12 0 0 22 0 4 0 383088250 374837248 48831 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 91513 48831 360 95 0 86495 0
[pid=6638/tid=6639] ppid=6636 vsize=366052 CPUtime=2.99 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 14106 0 0 0 296 3 0 0 23 0 4 0 383088250 374837248 48831 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=366052 CPUtime=3.01 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13257 0 0 0 299 2 0 0 23 0 4 0 383088250 374837248 48831 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=366052 CPUtime=2.99 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13539 0 0 0 296 3 0 0 22 0 4 0 383088250 374837248 48831 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 366052

[startup+6.31222 s]
/proc/loadavg: 6.52 4.70 4.06 9/323 6642
/proc/meminfo: memFree=23319404/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=366052 CPUtime=24.81 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 56746 0 0 0 2469 12 0 0 25 0 4 0 383088250 374837248 49031 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 91513 49031 360 95 0 86495 0
[pid=6638/tid=6639] ppid=6636 vsize=366052 CPUtime=6.21 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 14116 0 0 0 618 3 0 0 25 0 4 0 383088250 374837248 49031 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=366052 CPUtime=6.19 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13269 0 0 0 617 2 0 0 25 0 4 0 383088250 374837248 49031 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=366052 CPUtime=6.2 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13710 0 0 0 617 3 0 0 25 0 4 0 383088250 374837248 49031 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 366052

[startup+12.7011 s]
/proc/loadavg: 6.64 4.76 4.08 9/323 6642
/proc/meminfo: memFree=23312468/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=366324 CPUtime=50.3 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 57182 0 0 0 5018 12 0 0 25 0 4 0 383088250 375115776 49467 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 91581 49467 361 95 0 86563 0
[pid=6638/tid=6639] ppid=6636 vsize=366324 CPUtime=12.59 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 14150 0 0 0 1256 3 0 0 25 0 4 0 383088250 375115776 49467 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=366324 CPUtime=12.52 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 13302 0 0 0 1250 2 0 0 25 0 4 0 383088250 375115776 49467 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=366324 CPUtime=12.58 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 14076 0 0 0 1255 3 0 0 25 0 4 0 383088250 375115776 49467 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 366324

[startup+25.5008 s]
/proc/loadavg: 6.94 4.91 4.14 9/323 6643
/proc/meminfo: memFree=23204608/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=545432 CPUtime=101.36 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 101126 0 0 0 10115 21 0 0 25 0 4 0 383088250 558522368 83176 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 136358 83176 378 95 0 131340 0
[pid=6638/tid=6639] ppid=6636 vsize=545432 CPUtime=25.39 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 24363 0 0 0 2534 5 0 0 18 0 4 0 383088250 558522368 83176 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=545432 CPUtime=25.19 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 29282 0 0 0 2514 5 0 0 25 0 4 0 383088250 558522368 83176 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=545432 CPUtime=25.37 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 15506 0 0 0 2534 3 0 0 25 0 4 0 383088250 558522368 83176 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 545432

[startup+51.1003 s]
/proc/loadavg: 7.30 5.16 4.24 9/323 6643
/proc/meminfo: memFree=23168400/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=625296 CPUtime=203.5 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 247886 0 0 0 20311 39 0 0 25 0 4 0 383088250 640303104 83594 33554432000 4194304 4580107 140734023178832 18446744073709551615 4228064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 156324 83594 380 95 0 151306 0
[pid=6638/tid=6639] ppid=6636 vsize=625296 CPUtime=50.98 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 63063 0 0 0 5089 9 0 0 25 0 4 0 383088250 640303104 83594 33554432000 4194304 4580107 140734023178832 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=625296 CPUtime=50.54 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 90163 0 0 0 5041 13 0 0 25 0 4 0 383088250 640303104 83594 33554432000 4194304 4580107 140734023178832 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=625296 CPUtime=50.98 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 26860 0 0 0 5093 5 0 0 25 0 4 0 383088250 640303104 83594 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.5
Current children cumulated vsize (KiB) 625296

[startup+102.3 s]
/proc/loadavg: 7.81 5.63 4.45 9/323 6645
/proc/meminfo: memFree=22486988/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1271452 CPUtime=407.78 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 425127 0 0 0 40690 88 0 0 25 0 4 0 383088250 1301966848 243370 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292913 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 317863 243370 380 95 0 312845 0
[pid=6638/tid=6639] ppid=6636 vsize=1271452 CPUtime=102.18 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 93579 0 0 0 10200 18 0 0 25 0 4 0 383088250 1301966848 243370 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1271452 CPUtime=101.22 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 109606 0 0 0 10103 19 0 0 25 0 4 0 383088250 1301966848 243370 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1271452 CPUtime=102.17 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 122902 0 0 0 10189 28 0 0 25 0 4 0 383088250 1301966848 243370 33554432000 4194304 4580107 140734023178832 18446744073709551615 4256885 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.78
Current children cumulated vsize (KiB) 1271452

[startup+162.301 s]

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

[pid=6638] ppid=6636 vsize=1795672 CPUtime=2561.45 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 707335 0 0 0 255969 176 0 0 25 0 4 0 383088250 1838768128 369154 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 448918 369154 380 95 0 443900 0
[pid=6638/tid=6639] ppid=6636 vsize=1795672 CPUtime=641.25 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 151607 0 0 0 64088 37 0 0 25 0 4 0 383088250 1838768128 369154 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1795672 CPUtime=635.82 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 175980 0 0 0 63541 41 0 0 25 0 4 0 383088250 1838768128 369154 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1795672 CPUtime=642.19 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 221533 0 0 0 64165 54 0 0 25 0 4 0 383088250 1838768128 369154 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.45
Current children cumulated vsize (KiB) 1795672

[startup+702.301 s]
/proc/loadavg: 8.05 7.75 6.16 9/323 6661
/proc/meminfo: memFree=21736028/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1795284 CPUtime=2800.87 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 728092 0 0 0 279903 184 0 0 25 0 4 0 383088250 1838370816 374994 33554432000 4194304 4580107 140734023178832 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 448821 374994 380 95 0 443803 0
[pid=6638/tid=6639] ppid=6636 vsize=1795284 CPUtime=701.25 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 157212 0 0 0 70086 39 0 0 25 0 4 0 383088250 1838370816 374994 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1795284 CPUtime=695.22 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 181162 0 0 0 69480 42 0 0 25 0 4 0 383088250 1838370816 374994 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1795284 CPUtime=702.19 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 229331 0 0 0 70163 56 0 0 25 0 4 0 383088250 1838370816 374994 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.87
Current children cumulated vsize (KiB) 1795284

[startup+762.301 s]
/proc/loadavg: 8.07 7.80 6.28 9/323 6662
/proc/meminfo: memFree=21718272/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1811336 CPUtime=3040.27 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 740787 0 0 0 303837 190 0 0 25 0 4 0 383088250 1854808064 379283 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 452834 379283 380 95 0 447816 0
[pid=6638/tid=6639] ppid=6636 vsize=1811336 CPUtime=761.25 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 160920 0 0 0 76084 41 0 0 25 0 4 0 383088250 1854808064 379283 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1811336 CPUtime=754.62 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 186697 0 0 0 75417 45 0 0 25 0 4 0 383088250 1854808064 379283 33554432000 4194304 4580107 140734023178832 18446744073709551615 4319389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1811336 CPUtime=762.19 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 229331 0 0 0 76163 56 0 0 25 0 4 0 383088250 1854808064 379283 33554432000 4194304 4580107 140734023178832 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.27
Current children cumulated vsize (KiB) 1811336

[startup+822.301 s]
/proc/loadavg: 8.14 7.87 6.40 9/323 6664
/proc/meminfo: memFree=21739300/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1760532 CPUtime=3279.67 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 756968 0 0 0 327771 196 0 0 25 0 4 0 383088250 1802784768 370097 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 440133 370097 380 95 0 435115 0
[pid=6638/tid=6639] ppid=6636 vsize=1760532 CPUtime=821.25 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 164010 0 0 0 82083 42 0 0 25 0 4 0 383088250 1802784768 370097 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1760532 CPUtime=814.03 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 192281 0 0 0 81355 48 0 0 25 0 4 0 383088250 1802784768 370097 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1760532 CPUtime=822.19 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 231576 0 0 0 82163 56 0 0 25 0 4 0 383088250 1802784768 370097 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.67
Current children cumulated vsize (KiB) 1760532

[startup+882.301 s]
/proc/loadavg: 8.17 7.92 6.50 9/323 6665
/proc/meminfo: memFree=21711864/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1796884 CPUtime=3519.07 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 777742 0 0 0 351702 205 0 0 25 0 4 0 383088250 1840009216 379441 33554432000 4194304 4580107 140734023178832 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 449221 379441 380 95 0 444203 0
[pid=6638/tid=6639] ppid=6636 vsize=1796884 CPUtime=881.26 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 170909 0 0 0 88081 45 0 0 25 0 4 0 383088250 1840009216 379441 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1796884 CPUtime=873.42 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 196207 0 0 0 87293 49 0 0 25 0 4 0 383088250 1840009216 379441 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1796884 CPUtime=882.19 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 236508 0 0 0 88160 59 0 0 25 0 4 0 383088250 1840009216 379441 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.07
Current children cumulated vsize (KiB) 1796884

[startup+942.301 s]
/proc/loadavg: 8.09 7.95 6.61 9/323 6667
/proc/meminfo: memFree=21698824/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1797808 CPUtime=3758.49 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 795383 0 0 0 375637 212 0 0 25 0 4 0 383088250 1840955392 378804 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 449452 378804 380 95 0 444434 0
[pid=6638/tid=6639] ppid=6636 vsize=1797808 CPUtime=941.27 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 176536 0 0 0 94080 47 0 0 25 0 4 0 383088250 1840955392 378805 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1797808 CPUtime=932.82 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 201848 0 0 0 93231 51 0 0 25 0 4 0 383088250 1840955392 378805 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1797808 CPUtime=942.2 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 237495 0 0 0 94161 59 0 0 25 0 4 0 383088250 1840955392 378805 33554432000 4194304 4580107 140734023178832 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.49
Current children cumulated vsize (KiB) 1797808

[startup+1002.3 s]
/proc/loadavg: 8.13 7.98 6.70 9/323 6669
/proc/meminfo: memFree=21633576/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1798444 CPUtime=3997.88 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 808991 0 0 0 399570 218 0 0 25 0 4 0 383088250 1841606656 382969 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 449611 382969 380 95 0 444593 0
[pid=6638/tid=6639] ppid=6636 vsize=1798444 CPUtime=1001.25 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 180264 0 0 0 100077 48 0 0 25 0 4 0 383088250 1841606656 382969 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1798444 CPUtime=992.22 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 205691 0 0 0 99169 53 0 0 25 0 4 0 383088250 1841606656 382969 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1798444 CPUtime=1002.2 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 239746 0 0 0 100160 60 0 0 25 0 4 0 383088250 1841606656 382969 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.88
Current children cumulated vsize (KiB) 1798444

[startup+1062.31 s]
/proc/loadavg: 8.08 8.00 6.78 9/323 6670
/proc/meminfo: memFree=21624724/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1799252 CPUtime=4237.32 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 827620 0 0 0 423504 228 0 0 25 0 4 0 383088250 1842434048 383124 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 449813 383124 380 95 0 444795 0
[pid=6638/tid=6639] ppid=6636 vsize=1799252 CPUtime=1061.27 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 186311 0 0 0 106076 51 0 0 25 0 4 0 383088250 1842434048 383124 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1799252 CPUtime=1051.63 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 209386 0 0 0 105107 56 0 0 25 0 4 0 383088250 1842434048 383124 33554432000 4194304 4580107 140734023178832 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1799252 CPUtime=1062.21 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 243098 0 0 0 106159 62 0 0 25 0 4 0 383088250 1842434048 383124 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.32
Current children cumulated vsize (KiB) 1799252

[startup+1122.3 s]
/proc/loadavg: 8.12 8.03 6.86 9/323 6672
/proc/meminfo: memFree=21647372/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1799908 CPUtime=4476.68 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 843218 0 0 0 447434 234 0 0 25 0 4 0 383088250 1843105792 382721 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 449977 382721 380 95 0 444959 0
[pid=6638/tid=6639] ppid=6636 vsize=1799908 CPUtime=1121.26 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 190141 0 0 0 112073 53 0 0 25 0 4 0 383088250 1843105792 382721 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1799908 CPUtime=1111.02 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 214960 0 0 0 111044 58 0 0 25 0 4 0 383088250 1843105792 382721 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1799908 CPUtime=1122.2 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 245454 0 0 0 112157 63 0 0 25 0 4 0 383088250 1843105792 382721 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.68
Current children cumulated vsize (KiB) 1799908

[startup+1182.3 s]
/proc/loadavg: 8.08 8.03 6.94 9/323 6703
/proc/meminfo: memFree=21897088/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1801120 CPUtime=4716.07 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 858085 0 0 0 471366 241 0 0 25 0 4 0 383088250 1844346880 384260 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 450280 384260 380 95 0 445262 0
[pid=6638/tid=6639] ppid=6636 vsize=1801120 CPUtime=1181.26 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 195846 0 0 0 118070 56 0 0 25 0 4 0 383088250 1844346880 384260 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1801120 CPUtime=1170.42 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 218729 0 0 0 116982 60 0 0 25 0 4 0 383088250 1844346880 384260 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1801120 CPUtime=1182.2 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 247026 0 0 0 118156 64 0 0 25 0 4 0 383088250 1844346880 384260 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.07
Current children cumulated vsize (KiB) 1801120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.05 8.03 6.96 10/323 6704
/proc/meminfo: memFree=21623028/32951124 swapFree=46575252/67111528
[pid=6638] ppid=6636 vsize=1801196 CPUtime=4800.29 cores=1,3,5,7
/proc/6638/stat : 6638 (strangenight2-m) R 6636 6638 6565 0 -1 4202496 863042 0 0 0 479786 243 0 0 25 0 4 0 383088250 1844424704 384988 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6638/statm: 450299 384988 380 95 0 445281 0
[pid=6638/tid=6639] ppid=6636 vsize=1801196 CPUtime=1202.37 cores=1,3,5,7
/proc/6638/task/6639/stat : 6639 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 196484 0 0 0 120181 56 0 0 25 0 4 0 383088250 1844424704 384988 33554432000 4194304 4580107 140734023178832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6638/tid=6640] ppid=6636 vsize=1801196 CPUtime=1191.31 cores=1,3,5,7
/proc/6638/task/6640/stat : 6640 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 219387 0 0 0 119071 60 0 0 25 0 4 0 383088250 1844424704 384988 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6638/tid=6641] ppid=6636 vsize=1801196 CPUtime=1203.32 cores=1,3,5,7
/proc/6638/task/6641/stat : 6641 (strangenight2-m) R 6636 6638 6565 0 -1 4202560 247115 0 0 0 120268 64 0 0 25 0 4 0 383088250 1844424704 384988 33554432000 4194304 4580107 140734023178832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1801196

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.49
CPU time (s): 4800.4
CPU user time (s): 4797.9
CPU system time (s): 2.49962
CPU usage (%): 398.875
Max. virtual memory (cumulated for all children) (KiB): 1827100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.49962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 863042
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= 8012
involuntary context switches= 19248

runsolver used 3.2985 second user time and 8.78066 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-14 18:02:50
IDJOB=3367235
IDBENCH=20406
IDSOLVER=1844
FILE ID=node107/3367235-1305388970
RUNJOBID= node107-1305388911-6584
PBS_JOBID= 13324428
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367235-1305388970/watcher-3367235-1305388970 -o /tmp/evaluation-result-3367235-1305388970/solver-3367235-1305388970 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367235-1305388970.cnf

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=436924403

node107.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.829
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.829
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	: 5332.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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:      23532688 kB
Buffers:        299260 kB
Cached:        3965544 kB
SwapCached:      10016 kB
Active:        6656564 kB
Inactive:      2468196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23532688 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:           14168 kB
Writeback:           0 kB
AnonPages:     4857248 kB
Mapped:          19600 kB
Slab:           159620 kB
PageTables:      70264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65686836 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= 73408 MiB
End job on node107 at 2011-05-14 18:22:55