Trace number 3280594

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? (TO) 4800.21 1201.99

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3280594-1304028692.cnf'
0.00/0.00	c -- header says num vars:         106701
0.00/0.00	c -- header says num clauses:      374254
0.26/0.20	c -- clauses added:            0 learnts,       374254 normals,            0 xors
0.26/0.20	c -- vars added     106701
0.26/0.20	c Parsing time:  0.15 s
0.26/0.20	c  N st     0         0    106701    104865    269005         0    911122         0   no data   no data
4.47/1.20	c asymm  cl-useful: 0/266/104865 lits-rem:0 time: 1.00
88.74/22.32	c Flit:    84 Blit:      0 bXBeca:    0 bXProp: 8528 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 21.11
88.74/22.39	c Replacing     8528 vars Replaced   418509 lits Time:     0.07 s 
89.14/22.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.14/22.46	c bin-w-bin subsume rem        25902 bins  time:  0.04 s
89.54/22.55	c subs with bin:       11  lits-rem:     30320  v-fix:    0  time:  0.09 s
99.92/25.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  91561 time:  2.61 s
100.72/25.38	c Removed useless bin:    2992  fixed:     0  props:  20.00M  time:  0.22 s
103.10/25.90	c lits-rem:      2650  cl-subs:    16763  v-elim:  32653  v-fix:    0  time:  0.50 s
103.10/25.92	c Finding binary XORs  T:     0.02 s  found:      11
103.10/25.94	c Replacing       11 vars Replaced      115 lits Time:     0.02 s 
103.10/25.99	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
103.10/25.99	c calculated reachability. Time: 0.00
103.10/26.00	c Calc default polars -  time:   0.01 s pos:   21307 undec:   42486 neg:   42908
103.10/26.00	c =========================================================================================
103.10/26.00	c types(t): F = full restart, N = normal restart
103.10/26.00	c types(t): S = simplification begin/end, E = solution found
103.10/26.00	c restart types(rt): st = static, dy = dynamic
103.10/26.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
103.10/26.00	c  B st     0         0     65297     92322    161027         0    688928         0   no data   no data
113.48/28.54	c  N dy    17      4145     65297     92322    161255      3803    688922    109852      7.03      7.55
127.06/31.95	c  N dy    41      8529     65275     92322    161612      7959    688922    197278      7.25      7.70
138.67/34.88	c  N dy    62     12560     65275     92322    162147     11811    688922    287305      7.19      7.62
154.23/38.71	c  N dy    84     16744     65275     92322    162235     15845    688922    383877      7.45      7.86
169.01/42.46	c  N dy   106     20823     65274     92322    162553     10283    688921    110927      7.56      8.29
183.39/46.00	c  F st   121     25001     65274     92322    162591     14324    688921    214133      7.51      6.80
188.18/47.26	c  N st   121     25001     65274     91550    162533     14322    685423    214039      7.51      6.80
188.18/47.29	c Finding binary XORs  T:     0.02 s  found:     458
204.98/51.49	c  N dy   127     30000     65272     91494    163562     19202    685251    376715      7.51   no data
204.98/51.49	c  S st   127     30000     65272     91494    163562     19202    685251    376715      7.51   no data
208.16/52.24	c  S st   127     30500     65272     91494    163726     19535    685251    383603      7.51   no data
208.16/52.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
284.07/71.23	c Flit:     3 Blit:      0 bXBeca:    0 bXProp: 8457 Bins: 481449 BRemL:   4245 BRemN:   2193 P: 200.0M T: 18.97
284.45/71.33	c Replacing     8916 vars Replaced   900365 lits Time:     0.10 s 
284.45/71.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
284.85/71.49	c bin-w-bin subsume rem        99301 bins  time:  0.13 s
285.65/71.66	c subs with bin:    10828  lits-rem:     60321  v-fix:    0  time:  0.17 s
295.64/74.18	c Subs w/ non-existent bins:    764 l-rem:   4321 v-fix:     0 done:  56353 time:  2.52 s
296.43/74.39	c Removed useless bin:    3671  fixed:     0  props:  20.00M  time:  0.20 s
299.61/75.10	c lits-rem:      8526  cl-subs:    23816  v-elim:  37568  v-fix:    0  time:  0.69 s
299.61/75.15	c subs with bin:      273  lits-rem:      2666  v-fix:    0  time:  0.03 s
300.02/75.22	c lits-rem:       935  cl-subs:     1318  v-elim:      0  v-fix:    0  time:  0.06 s
302.01/75.79	c asymm  cl-useful: 1339/3163/89309 lits-rem:7877 time: 0.57
302.41/75.80	c calculated reachability. Time: 0.00
302.41/75.80	c  N dy   127     30500     18785     89050    183478      9691    470014    304582      7.51   no data
302.41/75.82	c Finding binary XORs  T:     0.01 s  found:       2
311.20/78.03	c  N dy   145     34504     18785     89050    183947     13624    470014    371631      7.47      7.94
316.79/79.41	c Finding binary XORs  T:     0.02 s  found:       2
319.59/80.10	c  N dy   170     38911     18785     89050    316879     17931    470014    713510      7.55      8.00
327.18/82.02	c  N dy   193     42936     18785     89050    316904     11197    470014    562384      7.57      8.00
331.57/83.20	c  S st   203     45751     18785     89050    316917     13957    470014    607696      7.53      7.29
333.17/83.54	c  S st   203     46253     18785     89050    316963     14410    470014    614547      7.53   no data
333.17/83.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
362.32/90.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  281 Bins: 169736 BRemL:  17300 BRemN:   3735 P: 90.9M T:  7.28
362.73/90.93	c Replacing      285 vars Replaced   133114 lits Time:     0.03 s 
362.73/90.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
363.51/91.11	c bin-w-bin subsume rem       146709 bins  time:  0.15 s
363.91/91.21	c subs with bin:     8150  lits-rem:     14752  v-fix:    0  time:  0.10 s
365.11/91.56	c Subs w/ non-existent bins:   1515 l-rem:   2861 v-fix:     0 done:  18500 time:  0.34 s
365.51/91.65	c Removed useless bin:   14864  fixed:     0  props:   6.24M  time:  0.09 s
365.91/91.78	c lits-rem:       779  cl-subs:     2887  v-elim:   1918  v-fix:    0  time:  0.13 s
366.32/91.84	c subs with bin:       69  lits-rem:       816  v-fix:    0  time:  0.04 s
366.72/91.90	c lits-rem:       409  cl-subs:      570  v-elim:      0  v-fix:    0  time:  0.05 s
367.13/92.07	c vivif2 --  cl tried    80332 cl shrink     1537 lits rem       2573 time: 0.16
367.13/92.10	c vivif2 --  cl tried    13079 cl shrink     1617 lits rem       2596 time: 0.03
369.51/92.69	c asymm  cl-useful: 100/4354/79493 lits-rem:121 time: 0.59
369.91/92.74	c calculated reachability. Time: 0.03
369.91/92.74	c  N dy   203     46253     16582     79490    265091     13035    382625    531285      7.53   no data
370.71/92.91	c Finding binary XORs  T:     0.17 s  found:     160
379.10/95.05	c  N dy   213     50314     16582     79490    304658     16984    382625    678139      7.44      7.87
383.09/96.09	c Finding binary XORs  T:     0.12 s  found:       0
389.10/97.51	c  N dy   219     55047     16582     79490    304696     21630    382625    752410      7.33      7.75
392.68/98.40	c Finding binary XORs  T:     0.12 s  found:       0
397.47/99.63	c  N dy   231     59185     16582     79490    360299     25704    382625    928036      7.27      7.75
405.86/101.73	c  N dy   245     63397     16582     79490    365558     29857    382625   1008213      7.22      7.68
413.45/103.70	c  N dy   259     67900     16582     79490    365580     18582    382624    763650      7.17      7.57
416.64/104.42	c  S st   264     69380     16582     79490    365604     20051    382624    788963      7.15   no data
417.83/104.71	c  S st   264     69883     16582     79490    365632     20525    382624    797233      7.15   no data
417.83/104.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
436.61/109.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:  35720 BRemL:  64834 BRemN:    381 P: 58.6M T:  4.76
437.01/109.52	c Replacing      170 vars Replaced    13426 lits Time:     0.03 s 
437.01/109.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
437.42/109.66	c bin-w-bin subsume rem        78046 bins  time:  0.11 s
437.82/109.73	c subs with bin:     1874  lits-rem:       165  v-fix:    0  time:  0.07 s
438.61/109.95	c Subs w/ non-existent bins:    398 l-rem:      0 v-fix:     0 done:  16412 time:  0.22 s
438.61/109.99	c Removed useless bin:    2104  fixed:     0  props:   2.81M  time:  0.04 s
439.01/110.07	c lits-rem:       439  cl-subs:      749  v-elim:    216  v-fix:    0  time:  0.08 s
439.41/110.14	c subs with bin:       44  lits-rem:       211  v-fix:    0  time:  0.05 s
439.81/110.22	c lits-rem:       439  cl-subs:      504  v-elim:      0  v-fix:    0  time:  0.07 s
440.21/110.35	c vivif2 --  cl tried    76900 cl shrink      251 lits rem        355 time: 0.13
440.21/110.39	c vivif2 --  cl tried    19702 cl shrink     1523 lits rem       3041 time: 0.05
443.00/111.04	c asymm  cl-useful: 522/14178/76848 lits-rem:543 time: 0.65
443.00/111.08	c calculated reachability. Time: 0.03
443.00/111.08	c  N dy   264     69883     16196     76841    242603     19693    365971    547618      7.15   no data
443.80/111.20	c Finding binary XORs  T:     0.12 s  found:       3
451.41/113.21	c  N dy   275     74375     16196     76841    242630     24124    365971    632890      7.10      7.54
454.83/114.17	c Finding binary XORs  T:     0.11 s  found:      11
462.39/116.02	c  N dy   293     79575     16196     76841    408142     29258    365971   1055051      7.06      7.43
473.18/118.74	c  N dy   308     84764     16196     76841    412238     34375    365971   1147463      7.01      7.46
478.77/120.12	c  F st   324     87500     16196     76841    412248     37080    365971   1194201      7.01   no data
478.77/120.15	c Replacing       14 vars Replaced     1783 lits Time:     0.03 s 
486.36/122.03	c  N st   329     90797     16182     76830    413226     21314    365916    886236      7.01   no data
493.55/123.80	c Finding binary XORs  T:     0.11 s  found:       1
498.36/125.09	c  N dy   349     96820     16182     76830    417154     27261    365916   1001229      6.99      7.47
511.55/128.37	c  N dy   382    103011     16182     76830    417218     33380    365916   1111234      7.01      7.53
516.35/129.50	c  S st   398    104825     16182     76830    417220     35180    365916   1145843      7.03   no data
517.52/129.80	c  S st   398    105328     16182     76830    417227     35675    365916   1154642      7.03   no data
517.52/129.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
535.89/134.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  33987 BRemL:  58545 BRemN:    112 P: 57.7M T:  4.66
536.30/134.51	c Replacing        5 vars Replaced     2458 lits Time:     0.03 s 
536.30/134.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
536.70/134.64	c bin-w-bin subsume rem       129292 bins  time:  0.11 s
537.10/134.71	c subs with bin:      920  lits-rem:       737  v-fix:    0  time:  0.07 s
537.91/134.95	c Subs w/ non-existent bins:     26 l-rem:      1 v-fix:     0 done:  16177 time:  0.25 s
537.91/134.99	c Removed useless bin:     380  fixed:     0  props:   2.04M  time:  0.03 s
538.32/135.06	c lits-rem:        84  cl-subs:      535  v-elim:     60  v-fix:    0  time:  0.07 s
539.09/135.21	c subs with bin:       72  lits-rem:       316  v-fix:    0  time:  0.12 s
539.89/135.42	c lits-rem:      1085  cl-subs:      741  v-elim:      0  v-fix:    0  time:  0.20 s
540.29/135.55	c vivif2 --  cl tried    75441 cl shrink       41 lits rem         57 time: 0.12
540.69/135.68	c vivif2 --  cl tried    34745 cl shrink     5451 lits rem      14323 time: 0.13
543.08/136.29	c asymm  cl-useful: 0/3228/75433 lits-rem:0 time: 0.61
543.48/136.32	c calculated reachability. Time: 0.03
543.48/136.32	c  N dy   398    105328     16117     75433    255923     34743    361591    800872      7.03   no data
543.88/136.44	c Finding binary XORs  T:     0.11 s  found:       7
558.27/140.00	c  N dy   429    112196     16117     75433    259989     41560    361591    937508      7.02      7.44
573.46/143.83	c  N dy   457    119928     16117     75433    261328     27905    361591    668675      7.00      7.43
576.24/144.57	c Finding binary XORs  T:     0.11 s  found:       0
588.62/147.63	c  N dy   498    127607     16117     75433    262592     35519    361591    804440      7.00      7.39
603.01/151.23	c Finding binary XORs  T:     0.11 s  found:       3
605.80/151.95	c  N dy   533    135858     16117     75433    268068     43689    361591    957932      6.99      7.36
622.97/156.27	c  N dy   564    144824     16117     75433    268192     30494    361591    683134      6.96      7.98
640.94/160.73	c  N dy   619    154103     16117     75433    268470     39680    361591    842876      6.96      7.37
649.73/162.90	c  S st   638    157993     16117     75433    268521     43539    361591    915157      6.96      5.98
650.93/163.23	c  S st   638    158495     16117     75433    268540     44019    361591    923534      6.96   no data
650.93/163.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
670.13/168.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:  57842 BRemL:  58219 BRemN:    471 P: 56.7M T:  4.81
670.13/168.09	c Replacing       21 vars Replaced    12738 lits Time:     0.02 s 
670.50/168.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
670.50/168.15	c bin-w-bin subsume rem         3549 bins  time:  0.04 s
670.90/168.22	c subs with bin:       54  lits-rem:        12  v-fix:    0  time:  0.07 s
671.70/168.47	c Subs w/ non-existent bins:     19 l-rem:      0 v-fix:     0 done:  16096 time:  0.25 s
672.10/168.50	c Removed useless bin:     201  fixed:     0  props:   1.81M  time:  0.03 s
672.10/168.57	c lits-rem:        13  cl-subs:       52  v-elim:    129  v-fix:    0  time:  0.08 s
672.91/168.71	c subs with bin:       28  lits-rem:        96  v-fix:    0  time:  0.11 s
673.71/168.95	c lits-rem:      1156  cl-subs:      828  v-elim:      0  v-fix:    0  time:  0.22 s
674.13/169.07	c vivif2 --  cl tried    75544 cl shrink       20 lits rem         22 time: 0.13
674.90/169.22	c vivif2 --  cl tried    42552 cl shrink     6423 lits rem      14860 time: 0.14
677.30/169.83	c asymm  cl-useful: 1/3029/75539 lits-rem:3 time: 0.61
677.30/169.87	c calculated reachability. Time: 0.03
677.30/169.87	c  N dy   638    158495     15967     75538    257619     42549    359752    866388      6.96   no data
677.70/169.98	c Finding binary XORs  T:     0.11 s  found:       0
698.87/175.22	c  N dy   697    169119     15967     75538    257727     30924    359752    639537      6.97      7.36
703.26/176.38	c Finding binary XORs  T:     0.11 s  found:       0
721.24/180.81	c  N dy   766    180046     15967     75538    268288     41763    359752    861328      6.99      7.55
745.21/186.84	c Finding binary XORs  T:     0.11 s  found:       0
745.61/186.91	c  N dy   833    191589     15967     75538    268330     53209    359752   1074397      7.02     11.02
771.20/193.31	c  N dy   908    203835     15967     75538    270822     42024    359752    836481      7.04      7.51
798.33/200.18	c  N dy   985    216848     15967     75538    271346     54927    359752   1074824      7.06      8.10
801.95/201.06	c Finding binary XORs  T:     0.11 s  found:       2
827.91/207.50	c  N dy  1072    230859     15967     75538    271381     44490    359752    847969      7.08      7.48
842.67/211.27	c  S st  1119    237742     15967     75538    275464     51327    359752    983720      7.09      5.20
843.46/211.43	c Finding binary XORs  T:     0.11 s  found:       0
844.66/211.74	c  S st  1119    238244     15967     75538    275472     51819    359752    995397      7.09   no data
844.66/211.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
864.23/216.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:  39695 BRemL:  50124 BRemN:    253 P: 57.3M T:  4.85
864.23/216.64	c Replacing       16 vars Replaced    15139 lits Time:     0.03 s 
864.23/216.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.63/216.70	c bin-w-bin subsume rem         5870 bins  time:  0.04 s
864.63/216.77	c subs with bin:       24  lits-rem:         7  v-fix:    0  time:  0.07 s
865.83/217.01	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:  15951 time:  0.24 s
865.83/217.04	c Removed useless bin:     134  fixed:     0  props:   1.75M  time:  0.03 s
866.23/217.12	c lits-rem:         2  cl-subs:       22  v-elim:     46  v-fix:    0  time:  0.08 s
867.03/217.30	c subs with bin:       30  lits-rem:       341  v-fix:    0  time:  0.15 s
867.86/217.58	c lits-rem:      1130  cl-subs:      831  v-elim:      0  v-fix:    0  time:  0.27 s
868.64/217.71	c vivif2 --  cl tried    75585 cl shrink        8 lits rem         30 time: 0.13
869.04/217.87	c vivif2 --  cl tried    50884 cl shrink     6301 lits rem      17248 time: 0.16
871.44/218.47	c asymm  cl-useful: 1/2656/75585 lits-rem:3 time: 0.60
871.86/218.51	c calculated reachability. Time: 0.03
871.86/218.51	c  N dy  1119    238244     15905     75584    255504     50883    358762    928160      7.09   no data
872.26/218.62	c Finding binary XORs  T:     0.11 s  found:       1
897.00/224.83	c Finding binary XORs  T:     0.11 s  found:       0
903.78/226.50	c  N dy  1205    253480     15905     75584    265123     40233    358762    720258      7.11      7.62
936.14/234.66	c  N dy  1312    269694     15905     75584    265161     56337    358762   1019225      7.14      7.62
973.30/243.93	c  N dy  1412    288022     15905     75584    265193     47933    358762    815015      7.15      7.63
1012.45/253.75	c  F st  1526    306251     15905     75584    265217     66049    358762   1160795      7.18      6.73
1012.45/253.78	c Replacing        1 vars Replaced       59 lits Time:     0.02 s 
1013.64/254.01	c  N st  1527    306503     15904     75584    265219     66301    358762   1168283      7.18   no data
1028.41/257.78	c Finding binary XORs  T:     0.11 s  found:       0
1057.98/265.14	c  N dy  1633    326098     15904     75584    272738     58096    358762   1001086      7.20      8.01
1102.72/276.36	c  N dy  1778    346183     15904     75584    272778     49385    358762    790446      7.24      7.81
1126.70/282.36	c  S st  1842    357367     15904     75584    272799     60483    358762   1011282      7.25   no data
1128.28/282.72	c  S st  1842    357871     15904     75584    272813     60972    358762   1020215      7.25   no data
1128.28/282.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1147.45/287.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  52883 BRemL:  43190 BRemN:    303 P: 57.9M T:  4.84
1147.85/287.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1147.85/287.65	c bin-w-bin subsume rem         5191 bins  time:  0.04 s
1148.25/287.72	c subs with bin:       12  lits-rem:        29  v-fix:    0  time:  0.07 s
1149.07/287.95	c Subs w/ non-existent bins:      9 l-rem:      0 v-fix:     0 done:  15904 time:  0.23 s
1149.07/287.98	c Removed useless bin:     117  fixed:     0  props:   1.64M  time:  0.03 s
1149.45/288.06	c lits-rem:         0  cl-subs:        8  v-elim:     72  v-fix:    0  time:  0.08 s
1150.25/288.21	c subs with bin:       16  lits-rem:        64  v-fix:    0  time:  0.12 s
1151.44/288.51	c lits-rem:      1272  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  0.28 s
1151.84/288.64	c vivif2 --  cl tried    75706 cl shrink       23 lits rem         24 time: 0.13
1152.64/288.80	c vivif2 --  cl tried    59560 cl shrink     5585 lits rem      14121 time: 0.16
1154.64/289.35	c asymm  cl-useful: 0/2116/75705 lits-rem:0 time: 0.55
1154.64/289.39	c calculated reachability. Time: 0.03
1154.64/289.39	c  N dy  1842    357871     15832     75705    266085     59559    357895    976908      7.25   no data
1155.44/289.50	c Finding binary XORs  T:     0.11 s  found:       0
1190.99/298.45	c Finding binary XORs  T:     0.11 s  found:       0
1201.40/301.02	c  N dy  1972    378151     15832     75705    270380     49762    357895    761886      7.27      7.66
1244.12/311.70	c  N dy  2093    398335     15832     75705    271608     69806    357895   1151728      7.28      7.68
1288.87/322.90	c  N dy  2207    418426     15832     75705    272106     59299    357895    913777      7.30     12.25
1333.62/334.17	c  N dy  2339    438537     15832     75705    272132     79296    357895   1313430      7.32      7.72
1381.14/346.07	c  N dy  2482    458630     15832     75705    272161     67836    357895   1033697      7.35      8.02
1428.67/357.98	c  N dy  2623    478770     15832     75705    272171     87851    357895   1430168      7.38      7.79
1473.41/369.10	c  N dy  2750    498860     15832     75705    272193     75278    357895   1129321      7.39      7.84
1522.56/381.47	c  N dy  2878    518984     15832     75705    272208     95285    357895   1535231      7.41      7.89
1560.49/390.94	c  S st  2980    536807     15832     75705    272221     79565    357895   1180549      7.42   no data
1561.70/391.29	c  S st  2980    537311     15832     75705    272226     80062    357895   1191662      7.42   no data
1562.10/391.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1581.26/396.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  31992 BRemL:  47508 BRemN:    320 P: 60.1M T:  4.86
1581.66/396.20	c Replacing        1 vars Replaced       50 lits Time:     0.03 s 
1581.66/396.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1581.66/396.26	c bin-w-bin subsume rem         1283 bins  time:  0.03 s
1582.06/396.33	c subs with bin:       16  lits-rem:         9  v-fix:    0  time:  0.07 s
1582.86/396.55	c Subs w/ non-existent bins:      7 l-rem:      0 v-fix:     0 done:  15831 time:  0.22 s
1582.86/396.58	c Removed useless bin:     179  fixed:     0  props:   1.69M  time:  0.03 s
1583.26/396.67	c lits-rem:         6  cl-subs:        2  v-elim:     87  v-fix:    0  time:  0.08 s
1584.07/396.84	c subs with bin:       11  lits-rem:       102  v-fix:    0  time:  0.14 s
1585.65/397.29	c lits-rem:      1685  cl-subs:     1226  v-elim:      0  v-fix:    0  time:  0.43 s
1586.45/397.41	c vivif2 --  cl tried    75843 cl shrink       25 lits rem         33 time: 0.13
1587.25/397.62	c vivif2 --  cl tried    77467 cl shrink     6982 lits rem      17581 time: 0.21
1589.64/398.20	c asymm  cl-useful: 0/2359/75840 lits-rem:0 time: 0.57
1589.64/398.23	c calculated reachability. Time: 0.02
1589.64/398.24	c  N dy  2980    537311     15744     75840    248403     77467    356938   1089988      7.42   no data
1590.04/398.34	c Finding binary XORs  T:     0.11 s  found:       0
1627.20/407.60	c Finding binary XORs  T:     0.11 s  found:       0
1638.38/410.48	c  N dy  3114    557331     15744     75840    265073     97360    356938   1535156      7.44      8.78
1669.94/418.35	c Finding binary XORs  T:     0.11 s  found:       0
1683.52/421.75	c  N dy  3221    577680     15744     75840    268697     82915    356938   1212893      7.45      7.90
1730.65/433.51	c  N dy  3344    597755     15744     75840    268710     67454    356938    868025      7.46      7.87
1777.01/445.14	c  N dy  3470    617842     15744     75840    268717     87439    356938   1261771      7.47      8.80
1826.12/457.42	c  N dy  3605    637994     15744     75840    268727     70815    356938    893205      7.49      8.06
1871.26/468.75	c  N dy  3736    658036     15744     75840    268738     90723    356938   1291905      7.50      9.68
1920.79/481.16	c  N dy  3870    678048     15744     75840    268751    110618    356938   1700746      7.52      8.02
1967.13/492.70	c  N dy  3980    698204     15744     75840    268754     93293    356938   1305340      7.52      8.02
2013.07/504.29	c Finding binary XORs  T:     0.11 s  found:       0
2016.26/505.01	c  N dy  4117    718262     15744     75840    271553    113239    356938   1729748      7.54      9.85
2064.19/517.05	c  N dy  4260    738490     15744     75840    271557     94898    356938   1308043      7.56      8.19
2112.13/529.03	c  N dy  4383    758789     15744     75840    271561    115080    356938   1718383      7.57      7.98
2160.46/541.17	c  N dy  4516    778801     15744     75840    271563     95407    356938   1272868      7.58      9.73
2210.80/553.73	c  N dy  4647    798914     15744     75840    271570    115430    356938   1685047      7.59      8.00
2229.17/558.35	c  S st  4690    805966     15744     75840    271572    122437    356938   1828626      7.60     10.88
2230.76/558.77	c  S st  4690    806467     15744     75840    271574    122934    356938   1841359      7.60   no data
2231.16/558.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2252.34/564.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  22227 BRemL:  43494 BRemN:    557 P: 65.8M T:  5.34
2252.34/564.17	c Replacing        6 vars Replaced     2467 lits Time:     0.03 s 
2252.34/564.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2252.74/564.23	c bin-w-bin subsume rem         2688 bins  time:  0.04 s
2252.74/564.30	c subs with bin:       20  lits-rem:        46  v-fix:    0  time:  0.07 s
2253.93/564.52	c Subs w/ non-existent bins:     18 l-rem:      0 v-fix:     0 done:  15738 time:  0.22 s
2253.93/564.56	c Removed useless bin:     301  fixed:     0  props:   1.83M  time:  0.04 s
2254.33/564.66	c lits-rem:         1  cl-subs:       24  v-elim:     39  v-fix:    0  time:  0.10 s
2255.54/564.99	c subs with bin:       25  lits-rem:       229  v-fix:    0  time:  0.26 s
2261.93/566.59	c lits-rem:      3310  cl-subs:     1856  v-elim:      0  v-fix:    0  time:  1.59 s
2262.73/566.73	c vivif2 --  cl tried    75876 cl shrink       38 lits rem         95 time: 0.14
2264.33/567.17	c vivif2 --  cl tried   120601 cl shrink    18299 lits rem      43348 time: 0.44
2266.72/567.75	c asymm  cl-useful: 0/1932/75874 lits-rem:0 time: 0.58
2266.72/567.79	c calculated reachability. Time: 0.03
2266.72/567.79	c  N dy  4690    806467     15699     75874    239858    120599    355131   1708438      7.60   no data
2267.52/567.91	c Finding binary XORs  T:     0.11 s  found:       0
2315.86/580.08	c  N dy  4819    826611     15699     75874    241763     99156    355131   1267463      7.61      8.08
2332.23/584.19	c Finding binary XORs  T:     0.11 s  found:       0
2366.58/592.70	c  N dy  4944    846756     15699     75874    241768    119178    355131   1678208      7.62      8.05
2415.32/604.97	c  N dy  5078    866796     15699     75874    241770     97515    355131   1194946      7.63      8.06
2438.88/610.84	c Finding binary XORs  T:     0.11 s  found:       0
2466.87/617.89	c  N dy  5194    886987     15699     75874    245217    117575    355131   1618879      7.64      8.13
2519.59/631.03	c  N dy  5325    907168     15699     75874    245223     95255    355131   1103428      7.66      8.13
2569.51/643.52	c  N dy  5443    927252     15699     75874    245230    115238    355131   1517315      7.67      8.11
2623.43/657.08	c  N dy  5581    947468     15699     75874    245236     91857    355131    986944      7.68      8.15
2672.17/669.23	c  N dy  5708    967530     15699     75874    245242    111788    355131   1398464      7.69      9.57
2723.29/682.08	c  N dy  5839    987538     15699     75874    245244    131695    355131   1836353      7.70     10.37
2775.62/695.13	c  N dy  5972   1007626     15699     75874    245247    107134    355131   1270642      7.71      8.18
2826.76/707.90	c  N dy  6119   1027669     15699     75874    245251    127057    355131   1694240      7.73      8.17
2879.91/721.29	c  N dy  6247   1047762     15699     75874    245254    101601    355131   1101433      7.74      8.22
2883.49/722.11	c Finding binary XORs  T:     0.10 s  found:       0
2933.03/734.51	c  N dy  6392   1067790     15699     75874    256726    121510    355131   1563578      7.75      9.84
2943.40/737.18	c  F st  6420   1071877     15699     75874    256726    125566    355131   1647942      7.76      7.87
2985.36/747.64	c  N dy  6491   1088095     15699     75874    256729    141702    355131   1997870      7.76      8.20
3036.07/760.37	c  N dy  6613   1108113     15699     75874    256730    115066    355131   1360367      7.77     10.34
3088.80/773.56	c  N dy  6742   1128167     15699     75874    256736    134999    355131   1778538      7.77      8.68
3145.92/787.80	c  N dy  6867   1148667     15699     75874    256740    107895    355131   1168277      7.78      8.20
3198.65/801.06	c  N dy  7001   1168702     15699     75874    256742    127824    355131   1600314      7.79      8.23
3254.17/814.95	c  N dy  7120   1188810     15699     75874    256744    147833    355131   2030684      7.80      8.24
3311.69/829.37	c  N dy  7262   1208888     15699     75874    256751    119318    355131   1370070      7.81      8.67
3314.09/829.97	c  S st  7268   1209701     15699     75874    256751    120125    355131   1386733      7.81   no data
3316.09/830.43	c  S st  7268   1210205     15699     75874    256755    120625    355131   1397017      7.81   no data
3316.09/830.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3337.28/835.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  12981 BRemL:  26426 BRemN:    196 P: 65.2M T:  5.28
3337.28/835.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3337.28/835.79	c bin-w-bin subsume rem         1174 bins  time:  0.03 s
3337.66/835.86	c subs with bin:       41  lits-rem:        10  v-fix:    0  time:  0.06 s
3338.46/836.09	c Subs w/ non-existent bins:      7 l-rem:      1 v-fix:     0 done:  15699 time:  0.23 s
3338.86/836.13	c Removed useless bin:     129  fixed:     0  props:   1.88M  time:  0.04 s
3339.26/836.22	c lits-rem:         0  cl-subs:        6  v-elim:     20  v-fix:    0  time:  0.10 s
3340.06/836.41	c subs with bin:       20  lits-rem:       244  v-fix:    0  time:  0.14 s
3342.85/837.13	c lits-rem:      2028  cl-subs:     1782  v-elim:      0  v-fix:    0  time:  0.70 s
3343.25/837.26	c vivif2 --  cl tried    75873 cl shrink       13 lits rem         43 time: 0.13
3344.45/837.55	c vivif2 --  cl tried   118754 cl shrink     6462 lits rem      17307 time: 0.28
3346.85/838.12	c asymm  cl-useful: 1/2098/75873 lits-rem:3 time: 0.57
3346.85/838.16	c calculated reachability. Time: 0.03
3346.85/838.16	c  N dy  7268   1210205     15679     75872    238133    118751    354408   1326690      7.81   no data
3347.25/838.26	c Finding binary XORs  T:     0.11 s  found:       0
3391.19/849.24	c Finding binary XORs  T:     0.11 s  found:       0
3402.79/852.13	c  N dy  7397   1230478     15679     75872    240558    138926    354408   1776143      7.82      8.36
3456.70/865.66	c  N dy  7513   1250571     15679     75872    240560    158881    354408   2184144      7.83     10.75
3508.65/878.69	c  N dy  7630   1271071     15679     75872    240563    128631    354408   1504469      7.83      8.41
3565.77/892.97	c  N dy  7763   1291443     15679     75872    240565    148874    354408   1929050      7.84      8.27
3624.87/907.78	c  N dy  7897   1312582     15679     75872    240565    119502    354408   1270682      7.85      8.29
3676.80/920.77	c  N dy  8013   1332595     15679     75872    240570    139385    354408   1688795      7.86      8.60
3738.31/936.14	c  N dy  8149   1354535     15679     75872    240574    161212    354408   2170301      7.86      8.30
3795.04/950.30	c  N dy  8287   1374682     15679     75872    240574    129959    354408   1439558      7.87      8.34
3852.55/964.70	c  N dy  8435   1394721     15679     75872    240577    149899    354408   1877768      7.88      8.34
3912.49/979.71	c  N dy  8593   1414804     15679     75872    241264    169884    354408   2322431      7.90      9.97
3968.00/993.63	c  N dy  8714   1435028     15679     75872    241268    137449    354408   1558493      7.90      8.36
4024.32/1007.72	c  N dy  8838   1455179     15679     75872    241272    157501    354408   2005498      7.91      8.33
4083.86/1022.69	c  N dy  8979   1475350     15679     75872    241276    124090    354408   1221194      7.92      8.40
4136.58/1035.89	c  N dy  9087   1495426     15679     75872    241278    144040    354408   1644187      7.92      8.35
4194.49/1050.38	c  N dy  9211   1515873     15679     75872    241280    164379    354408   2085709      7.93      8.51
4253.61/1065.11	c  N dy  9345   1535885     15679     75872    241282    129790    354408   1297603      7.94      8.65
4306.74/1078.42	c  N dy  9468   1555911     15679     75872    241284    149696    354408   1736609      7.94     10.23
4367.06/1093.53	c  N dy  9596   1575950     15679     75872    241285    169643    354408   2190433      7.95      8.42
4427.77/1108.78	c  N dy  9731   1595958     15679     75872    241289    134092    354408   1343053      7.96      8.39
4482.10/1122.39	c  N dy  9857   1616041     15679     75872    241292    154064    354408   1771652      7.97      8.60
4526.04/1133.36	c Finding binary XORs  T:     0.10 s  found:       0
4540.84/1137.01	c  N dy  9976   1636067     15679     75872    243077    173971    354408   2217438      7.97      9.64
4601.14/1152.19	c  N dy 10110   1656097     15679     75872    243137    137667    354408   1380422      7.98     10.16
4661.05/1167.15	c  N dy 10237   1676518     15679     75872    243140    157962    354408   1823896      7.98      8.47
4722.17/1182.46	c  N dy 10351   1697193     15679     75872    243141    178500    354408   2277075      7.99      8.45
4762.12/1192.47	c  S st 10441   1710205     15679     75872    243142    191446    354408   2574935      7.99   no data
4764.52/1193.09	c  S st 10441   1710708     15679     75872    243143    191946    354408   2585252      7.99   no data
4764.93/1193.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4787.30/1198.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  41287 BRemL:  25206 BRemN:    355 P: 73.9M T:  5.60
4787.30/1198.76	c Replacing        2 vars Replaced     1207 lits Time:     0.04 s 
4787.30/1198.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4787.68/1198.82	c bin-w-bin subsume rem          575 bins  time:  0.04 s
4787.68/1198.88	c subs with bin:       27  lits-rem:        69  v-fix:    0  time:  0.07 s
4788.88/1199.11	c Subs w/ non-existent bins:     11 l-rem:      0 v-fix:     0 done:  15677 time:  0.23 s
4788.88/1199.15	c Removed useless bin:     141  fixed:     0  props:   2.08M  time:  0.04 s
4789.28/1199.27	c lits-rem:         4  cl-subs:       16  v-elim:     17  v-fix:    0  time:  0.12 s
4791.30/1199.74	c subs with bin:       27  lits-rem:       596  v-fix:    0  time:  0.36 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3280594-1304028692/watcher-3280594-1304028692 -o /tmp/evaluation-result-3280594-1304028692/solver-3280594-1304028692 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3280594-1304028692.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 25278
/proc/meminfo: memFree=23028540/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 4 0 514466914 52441088 352 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905731003 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 12803 352 303 106 0 7774 0
[pid=25278/tid=25279] ppid=25276 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 514466914 52441088 352 33554432000 4194304 4627427 140735236087888 18446744073709551615 47677717129138 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 4 0 514466914 52441088 359 33554432000 4194304 4627427 140735236087888 18446744073709551615 4296896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=182284 CPUtime=0 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514466914 186658816 364 33554432000 4194304 4627427 140735236087888 18446744073709551615 4218576 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.037808 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 25278
/proc/meminfo: memFree=23028540/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=299136 CPUtime=0.09 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 9180 0 0 0 8 1 0 0 18 0 4 0 514466914 306315264 7529 33554432000 4194304 4627427 140735236087888 18446744073709551615 4316560 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 74837 7582 341 106 0 69808 0
[pid=25278/tid=25279] ppid=25276 vsize=299348 CPUtime=0 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) S 25276 25278 25246 0 -1 4202560 1036 0 0 0 0 0 0 0 18 0 4 0 514466914 306532352 7596 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905836014 0 0 4096 2 18446604453891522624 0 0 -1 6 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=299348 CPUtime=0.02 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 2338 0 0 0 2 0 0 0 18 0 4 0 514466914 306532352 7608 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=299668 CPUtime=0.01 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) S 25276 25278 25246 0 -1 4202560 2674 0 0 0 1 0 0 0 18 0 4 0 514466914 306860032 7610 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905836014 0 0 4096 2 18446604453891522624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 299136

[startup+0.101522 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 25278
/proc/meminfo: memFree=23028540/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=324668 CPUtime=0.26 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 21949 0 0 0 21 5 0 0 17 0 4 0 514466914 332460032 18493 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905774263 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 81167 18493 341 106 0 76138 0
[pid=25278/tid=25279] ppid=25276 vsize=324668 CPUtime=0.04 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 3605 0 0 0 4 0 0 0 17 0 4 0 514466914 332460032 18529 33554432000 4194304 4627427 140735236087888 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=324668 CPUtime=0.04 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) S 25276 25278 25246 0 -1 4202560 4640 0 0 0 4 0 0 0 17 0 4 0 514466914 332460032 18532 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905836014 0 0 4096 2 18446604453891522624 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=324668 CPUtime=0.06 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 6651 0 0 0 4 2 0 0 18 0 4 0 514466914 332460032 18533 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905391015 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 324668

[startup+1.1023 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 25278
/proc/meminfo: memFree=23028540/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=394136 CPUtime=4.07 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 53299 0 0 0 394 13 0 0 18 0 4 0 514466914 403595264 44857 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 98534 44857 365 106 0 93505 0
[pid=25278/tid=25279] ppid=25276 vsize=394136 CPUtime=0.98 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12968 0 0 0 95 3 0 0 18 0 4 0 514466914 403595264 44857 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=394136 CPUtime=0.99 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12387 0 0 0 97 2 0 0 19 0 4 0 514466914 403595264 44857 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=394136 CPUtime=1 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 14382 0 0 0 95 5 0 0 18 0 4 0 514466914 403595264 44857 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 394136

[startup+1.20129 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 25278
/proc/meminfo: memFree=23028540/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=394136 CPUtime=4.47 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 53329 0 0 0 434 13 0 0 19 0 4 0 514466914 403595264 44887 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 98534 44887 365 106 0 93505 0
[pid=25278/tid=25279] ppid=25276 vsize=394136 CPUtime=1.08 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12968 0 0 0 105 3 0 0 18 0 4 0 514466914 403595264 44887 33554432000 4194304 4627427 140735236087888 18446744073709551615 4297757 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=394136 CPUtime=1.09 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12387 0 0 0 107 2 0 0 19 0 4 0 514466914 403595264 44887 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=394136 CPUtime=1.1 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 14412 0 0 0 105 5 0 0 19 0 4 0 514466914 403595264 44887 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308218 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 394136

[startup+1.50023 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 25278
/proc/meminfo: memFree=23028540/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=395804 CPUtime=5.66 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 55238 0 0 0 553 13 0 0 19 0 4 0 514466914 405303296 46619 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 98951 46619 367 106 0 93922 0
[pid=25278/tid=25279] ppid=25276 vsize=395804 CPUtime=1.38 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 13528 0 0 0 135 3 0 0 19 0 4 0 514466914 405303296 46619 33554432000 4194304 4627427 140735236087888 18446744073709551615 4239429 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=395804 CPUtime=1.39 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12811 0 0 0 137 2 0 0 19 0 4 0 514466914 405303296 46619 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=395804 CPUtime=1.4 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 14676 0 0 0 135 5 0 0 19 0 4 0 514466914 405303296 46619 33554432000 4194304 4627427 140735236087888 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 395804

[startup+3.10094 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 25291
/proc/meminfo: memFree=22005340/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=395948 CPUtime=12.06 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 55972 0 0 0 1192 14 0 0 23 0 4 0 514466914 405450752 46929 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 98987 46929 367 106 0 93958 0
[pid=25278/tid=25279] ppid=25276 vsize=395948 CPUtime=2.98 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 13539 0 0 0 295 3 0 0 23 0 4 0 514466914 405450752 46929 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=395948 CPUtime=2.98 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12819 0 0 0 296 2 0 0 23 0 4 0 514466914 405450752 46929 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=395948 CPUtime=3 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 15354 0 0 0 295 5 0 0 23 0 4 0 514466914 405450752 46929 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 395948

[startup+6.30636 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 25292
/proc/meminfo: memFree=21979644/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=396084 CPUtime=24.85 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 56247 0 0 0 2470 15 0 0 25 0 4 0 514466914 405590016 47204 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 99021 47204 367 106 0 93992 0
[pid=25278/tid=25279] ppid=25276 vsize=396084 CPUtime=6.18 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 13542 0 0 0 615 3 0 0 25 0 4 0 514466914 405590016 47204 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=396084 CPUtime=6.16 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12824 0 0 0 614 2 0 0 25 0 4 0 514466914 405590016 47204 33554432000 4194304 4627427 140735236087888 18446744073709551615 4297727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=396084 CPUtime=6.2 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 15607 0 0 0 614 6 0 0 25 0 4 0 514466914 405590016 47204 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 396084

[startup+12.7002 s]
/proc/loadavg: 1.23 0.26 0.09 9/184 25292
/proc/meminfo: memFree=21972232/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=401636 CPUtime=50.39 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 58049 0 0 0 5024 15 0 0 25 0 4 0 514466914 411275264 49006 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 100409 49006 368 106 0 95380 0
[pid=25278/tid=25279] ppid=25276 vsize=401636 CPUtime=12.58 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 13542 0 0 0 1255 3 0 0 25 0 4 0 514466914 411275264 49006 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=401636 CPUtime=12.53 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 12859 0 0 0 1251 2 0 0 25 0 4 0 514466914 411275264 49006 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=401636 CPUtime=12.6 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 17319 0 0 0 1253 7 0 0 25 0 4 0 514466914 411275264 49006 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 401636

[startup+25.5009 s]
/proc/loadavg: 2.81 0.66 0.22 9/184 25292
/proc/meminfo: memFree=21674136/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=453160 CPUtime=101.51 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 79915 0 0 0 10132 19 0 0 25 0 4 0 514466914 464035840 68488 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905392161 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 113290 68489 391 106 0 108261 0
[pid=25278/tid=25279] ppid=25276 vsize=453160 CPUtime=25.37 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 21646 0 0 0 2533 4 0 0 25 0 4 0 514466914 464035840 68489 33554432000 4194304 4627427 140735236087888 18446744073709551615 4412754 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=453160 CPUtime=25.27 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 17690 0 0 0 2524 3 0 0 25 0 4 0 514466914 464035840 68490 33554432000 4194304 4627427 140735236087888 18446744073709551615 4300151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=453160 CPUtime=25.37 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 18870 0 0 0 2530 7 0 0 25 0 4 0 514466914 464035840 68490 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 453160

[startup+51.1003 s]
/proc/loadavg: 4.65 1.26 0.43 9/184 25293
/proc/meminfo: memFree=21227772/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=563280 CPUtime=203.76 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 223512 0 0 0 20339 37 0 0 25 0 4 0 514466914 576798720 84420 33554432000 4194304 4627427 140735236087888 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 140820 84420 396 106 0 135791 0
[pid=25278/tid=25279] ppid=25276 vsize=563280 CPUtime=50.96 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 70443 0 0 0 5086 10 0 0 25 0 4 0 514466914 576798720 84420 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=563280 CPUtime=50.87 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 73565 0 0 0 5077 10 0 0 25 0 4 0 514466914 576798720 84420 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=563280 CPUtime=50.84 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 35454 0 0 0 5074 10 0 0 25 0 4 0 514466914 576798720 84420 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 563280

[startup+102.301 s]
/proc/loadavg: 6.68 2.33 0.83 9/184 25294
/proc/meminfo: memFree=20620788/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1123976 CPUtime=408.25 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 387093 0 0 0 40748 77 0 0 25 0 4 0 514466914 1150951424 231802 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 280994 231802 407 106 0 275965 0
[pid=25278/tid=25279] ppid=25276 vsize=1123976 CPUtime=102.16 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 88515 0 0 0 10203 13 0 0 25 0 4 0 514466914 1150951424 231802 33554432000 4194304 4627427 140735236087888 18446744073709551615 4233586 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1123976 CPUtime=102.07 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 91497 0 0 0 10193 14 0 0 25 0 4 0 514466914 1150951424 231802 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1123976 CPUtime=101.74 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 130191 0 0 0 10141 33 0 0 25 0 4 0 514466914 1150951424 231802 33554432000 4194304 4627427 140735236087888 18446744073709551615 218905428407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 1123976

[startup+162.301 s]

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

[pid=25278] ppid=25276 vsize=1809464 CPUtime=2804.38 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 680996 0 0 0 280269 169 0 0 25 0 4 0 514466914 1852891136 367999 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 452366 367999 407 106 0 447337 0
[pid=25278/tid=25279] ppid=25276 vsize=1809464 CPUtime=702.11 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 158142 0 0 0 70177 34 0 0 25 0 4 0 514466914 1852891136 367999 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1809464 CPUtime=701.48 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 158148 0 0 0 70111 37 0 0 25 0 4 0 514466914 1852891136 367999 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1809464 CPUtime=698.49 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 226175 0 0 0 69785 64 0 0 25 0 4 0 514466914 1852891136 367999 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.38
Current children cumulated vsize (KiB) 1809464

[startup+762.301 s]
/proc/loadavg: 8.04 7.40 4.48 9/184 25312
/proc/meminfo: memFree=18548392/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1811576 CPUtime=3044.06 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 703423 0 0 0 304229 177 0 0 25 0 4 0 514466914 1855053824 372507 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 452894 372507 407 106 0 447865 0
[pid=25278/tid=25279] ppid=25276 vsize=1811576 CPUtime=762.11 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 164070 0 0 0 76175 36 0 0 25 0 4 0 514466914 1855053824 372507 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1811576 CPUtime=761.49 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 160954 0 0 0 76111 38 0 0 25 0 4 0 514466914 1855053824 372507 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1811576 CPUtime=758.16 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 234633 0 0 0 75750 66 0 0 25 0 4 0 514466914 1855053824 372507 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.06
Current children cumulated vsize (KiB) 1811576

[startup+822.301 s]
/proc/loadavg: 7.83 7.47 4.69 8/184 25313
/proc/meminfo: memFree=18484380/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1812360 CPUtime=3283.74 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 718571 0 0 0 328190 184 0 0 25 0 4 0 514466914 1855856640 373272 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 453090 373272 407 106 0 448061 0
[pid=25278/tid=25279] ppid=25276 vsize=1812360 CPUtime=822.11 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 169958 0 0 0 82172 39 0 0 25 0 4 0 514466914 1855856640 373272 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1812360 CPUtime=821.49 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 164588 0 0 0 82109 40 0 0 25 0 4 0 514466914 1855856640 373272 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1812360 CPUtime=817.83 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 234635 0 0 0 81717 66 0 0 25 0 4 0 514466914 1855856640 373272 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.74
Current children cumulated vsize (KiB) 1812360

[startup+882.301 s]
/proc/loadavg: 7.83 7.52 4.88 9/184 25315
/proc/meminfo: memFree=18444664/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1809948 CPUtime=3523.4 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 738374 0 0 0 352149 191 0 0 25 0 4 0 514466914 1853386752 378944 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 452487 378944 407 106 0 447458 0
[pid=25278/tid=25279] ppid=25276 vsize=1809948 CPUtime=882.1 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 174204 0 0 0 88169 41 0 0 25 0 4 0 514466914 1853386752 378944 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1809948 CPUtime=881.49 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 169942 0 0 0 88107 42 0 0 25 0 4 0 514466914 1853386752 378944 33554432000 4194304 4627427 140735236087888 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1809948 CPUtime=877.51 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 238786 0 0 0 87683 68 0 0 25 0 4 0 514466914 1853386752 378944 33554432000 4194304 4627427 140735236087888 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.4
Current children cumulated vsize (KiB) 1809948

[startup+942.3 s]
/proc/loadavg: 7.94 7.61 5.07 9/184 25317
/proc/meminfo: memFree=18111564/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1841560 CPUtime=3763.09 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 755720 0 0 0 376111 198 0 0 25 0 4 0 514466914 1885757440 381468 33554432000 4194304 4627427 140735236087888 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 460390 381468 407 106 0 455361 0
[pid=25278/tid=25279] ppid=25276 vsize=1841560 CPUtime=942.1 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 180107 0 0 0 94167 43 0 0 25 0 4 0 514466914 1885757440 381468 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1841560 CPUtime=941.5 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 173587 0 0 0 94106 44 0 0 25 0 4 0 514466914 1885757440 381468 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1841560 CPUtime=937.19 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 240993 0 0 0 93651 68 0 0 25 0 4 0 514466914 1885757440 381468 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.09
Current children cumulated vsize (KiB) 1841560

[startup+1002.3 s]
/proc/loadavg: 7.84 7.64 5.24 6/178 25369
/proc/meminfo: memFree=21492544/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1840448 CPUtime=4002.76 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 770493 0 0 0 400070 206 0 0 25 0 4 0 514466914 1884618752 380632 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 460112 380632 407 106 0 455083 0
[pid=25278/tid=25279] ppid=25276 vsize=1840448 CPUtime=1002.09 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 183918 0 0 0 100164 45 0 0 25 0 4 0 514466914 1884618752 380632 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1840448 CPUtime=1001.49 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 177302 0 0 0 100104 45 0 0 25 0 4 0 514466914 1884618752 380632 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1840448 CPUtime=996.86 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 244270 0 0 0 99616 70 0 0 25 0 4 0 514466914 1884618752 380632 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.76
Current children cumulated vsize (KiB) 1840448

[startup+1062.31 s]
/proc/loadavg: 7.97 7.73 5.42 8/184 25380
/proc/meminfo: memFree=19878180/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1840936 CPUtime=4242.45 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 786425 0 0 0 424034 211 0 0 25 0 4 0 514466914 1885118464 386987 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 460234 386987 407 106 0 455205 0
[pid=25278/tid=25279] ppid=25276 vsize=1840936 CPUtime=1062.09 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 189756 0 0 0 106162 47 0 0 25 0 4 0 514466914 1885118464 386987 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1840936 CPUtime=1061.5 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 178345 0 0 0 106104 46 0 0 25 0 4 0 514466914 1885118464 386987 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1840936 CPUtime=1056.54 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 249210 0 0 0 105583 71 0 0 25 0 4 0 514466914 1885118464 386987 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 1840936

[startup+1122.3 s]
/proc/loadavg: 7.99 7.78 5.58 9/184 25381
/proc/meminfo: memFree=11992168/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1829420 CPUtime=4482.1 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 803272 0 0 0 447992 218 0 0 25 0 4 0 514466914 1873326080 381973 33554432000 4194304 4627427 140735236087888 18446744073709551615 4332922 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 457355 381973 407 106 0 452326 0
[pid=25278/tid=25279] ppid=25276 vsize=1829420 CPUtime=1122.08 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 193895 0 0 0 112160 48 0 0 25 0 4 0 514466914 1873326080 381973 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1829420 CPUtime=1121.5 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 182068 0 0 0 112102 48 0 0 25 0 4 0 514466914 1873326080 381973 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1829420 CPUtime=1116.21 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 252347 0 0 0 111548 73 0 0 25 0 4 0 514466914 1873326080 381973 33554432000 4194304 4627427 140735236087888 18446744073709551615 4228012 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.1
Current children cumulated vsize (KiB) 1829420

[startup+1182.3 s]
/proc/loadavg: 8.21 7.86 5.74 9/184 25414
/proc/meminfo: memFree=21191980/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1845436 CPUtime=4721.77 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 822214 0 0 0 471951 226 0 0 25 0 4 0 514466914 1889726464 381062 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 461359 381062 407 106 0 456330 0
[pid=25278/tid=25279] ppid=25276 vsize=1845436 CPUtime=1182.08 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 199608 0 0 0 118158 50 0 0 25 0 4 0 514466914 1889726464 381062 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1845436 CPUtime=1181.5 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 187879 0 0 0 118099 51 0 0 25 0 4 0 514466914 1889726464 381062 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1845436 CPUtime=1175.88 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 255916 0 0 0 117514 74 0 0 25 0 4 0 514466914 1889726464 381062 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.77
Current children cumulated vsize (KiB) 1845436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.15 7.87 5.79 9/184 25414
/proc/meminfo: memFree=21137192/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1845436 CPUtime=4800.1 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 831071 0 0 0 479782 228 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4427870 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 461359 389041 407 106 0 456330 0
[pid=25278/tid=25279] ppid=25276 vsize=1845436 CPUtime=1201.69 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 201517 0 0 0 120118 51 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1845436 CPUtime=1201.11 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 188521 0 0 0 120060 51 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1845436 CPUtime=1195.38 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 256520 0 0 0 119463 75 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1845436

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

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

[startup+1201.9 s]
/proc/loadavg: 8.15 7.87 5.79 9/184 25414
/proc/meminfo: memFree=21137192/32951124 swapFree=67111412/67111528
[pid=25278] ppid=25276 vsize=1845436 CPUtime=4800.1 cores=0,2,4,6
/proc/25278/stat : 25278 (strangenight2-m) R 25276 25278 25246 0 -1 4202496 831071 0 0 0 479782 228 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4427870 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25278/statm: 461359 389041 407 106 0 456330 0
[pid=25278/tid=25279] ppid=25276 vsize=1845436 CPUtime=1201.69 cores=0,2,4,6
/proc/25278/task/25279/stat : 25279 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 201517 0 0 0 120118 51 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25278/tid=25280] ppid=25276 vsize=1845436 CPUtime=1201.11 cores=0,2,4,6
/proc/25278/task/25280/stat : 25280 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 188521 0 0 0 120060 51 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25278/tid=25281] ppid=25276 vsize=1845436 CPUtime=1195.38 cores=0,2,4,6
/proc/25278/task/25281/stat : 25281 (strangenight2-m) R 25276 25278 25246 0 -1 4202560 256520 0 0 0 119463 75 0 0 25 0 4 0 514466914 1889726464 389041 33554432000 4194304 4627427 140735236087888 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1845436

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.99
CPU time (s): 4800.21
CPU user time (s): 4797.85
CPU system time (s): 2.35564
CPU usage (%): 399.354
Max. virtual memory (cumulated for all children) (KiB): 1877112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.35564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831071
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= 7651
involuntary context switches= 31569

runsolver used 1.87172 second user time and 4.71128 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 00:11:32
IDJOB=3280594
IDBENCH=20406
IDSOLVER=1586
FILE ID=node137/3280594-1304028692
RUNJOBID= node137-1304028687-25264
PBS_JOBID= 13170315
Free space on /tmp= 71612 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3280594-1304028692/watcher-3280594-1304028692 -o /tmp/evaluation-result-3280594-1304028692/solver-3280594-1304028692 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3280594-1304028692.cnf

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=1651558620

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.74
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.844
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.82
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23028836 kB
Buffers:       1350248 kB
Cached:        7957416 kB
SwapCached:        112 kB
Active:        2599692 kB
Inactive:      6774608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23028836 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:           13872 kB
Writeback:           0 kB
AnonPages:       66392 kB
Mapped:          14416 kB
Slab:           484824 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192180 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= 71592 MiB
End job on node137 at 2011-04-29 00:31:36