Trace number 3367081

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.48 1211.92

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark388.148
Satisfiable
(Un)Satisfiability was proved
Number of variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367081-1305389644.cnf'
0.00/0.01	c -- header says num vars:         153834
0.00/0.01	c -- header says num clauses:      459965
0.73/0.22	c -- clauses added:            0 learnts,       459965 normals,            0 xors
0.73/0.22	c -- vars added     153834
0.73/0.22	c Parsing time:  0.18 s
0.73/0.22	c  N st     0         0    153834    153321    306642         0   1073247         0   no data   no data
1.93/0.54	c asymm  cl-useful: 0/19999/153312 lits-rem:0 time: 0.32
23.45/5.93	c Flit:     0 Blit:      6 bXBeca:    0 bXProp:  890 Bins:      0 BRemL:      0 BRemN:      0 P: 153.8M T:  5.38
23.45/5.97	c Replacing      890 vars Replaced    11442 lits Time:     0.04 s 
23.84/6.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.84/6.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
24.24/6.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
25.45/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 122725 time:  0.33 s
25.86/6.58	c Removed useless bin:      54  fixed:     0  props:  20.00M  time:  0.13 s
40.57/10.23	c lits-rem:         0  cl-subs:        0  v-elim:  50976  v-fix:    0  time:  3.56 s
40.57/10.26	c Finding binary XORs  T:     0.03 s  found:       0
40.96/10.30	c Finding non-binary XORs:     0.02 s (found:      22, avg size: 3.0)
40.96/10.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
40.96/10.31	c calculated reachability. Time: 0.00
40.96/10.32	c Calc default polars -  time:   0.01 s pos:     916 undec:   51882 neg:  101036
40.96/10.32	c =========================================================================================
40.96/10.32	c types(t): F = full restart, N = normal restart
40.96/10.32	c types(t): S = simplification begin/end, E = solution found
40.96/10.32	c restart types(rt): st = static, dy = dynamic
40.96/10.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
40.96/10.32	c  B st     0         0    101952    104194    250845         0    872786         0   no data   no data
59.31/14.90	c  N dy    15      4036    101952    104194    251046      3807    872786    164592     21.97     23.17
81.97/24.91	c  N dy    42      8088    101952    104194    251367      7723    872786    452523     26.42     37.03
87.97/27.88	c  N dy    77     12114    101952    104194    251440     11601    872786   1004596     41.00    100.32
110.46/35.33	c  N dy   111     16185    101952    104194    251811     15543    872786   1879549     52.94     83.42
125.61/39.17	c  N dy   145     20254    101952    104194    251977      9891    872786    453237     63.98     84.50
141.96/43.25	c  N dy   178     24325    101952    104194    252008     13854    872786   1358941     71.59     81.73
143.55/43.68	c  F st   182     25002    101952    104194    252295     14505    872786   1462726     71.03     30.93
165.07/49.05	c  N dy   188     30000    101952    104194    252324     19291    872786   2788501     71.03   no data
165.07/49.05	c  S st   188     30000    101952    104194    252324     19291    872786   2788501     71.03   no data
166.27/49.38	c  S st   188     30500    101952    104194    252342     19772    872786   2807818     71.03   no data
166.27/49.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
176.63/51.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins: 129779 BRemL:  10610 BRemN:      0 P: 25.0M T:  2.50
177.02/52.04	c Replacing        9 vars Replaced    17147 lits Time:     0.13 s 
177.02/52.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.42/52.10	c bin-w-bin subsume rem          378 bins  time:  0.03 s
177.82/52.28	c subs with bin:      177  lits-rem:         4  v-fix:    0  time:  0.18 s
178.22/52.39	c Subs w/ non-existent bins:      0 l-rem:   1106 v-fix:     0 done: 101943 time:  0.11 s
178.63/52.47	c Removed useless bin:      44  fixed:     0  props:   5.60M  time:  0.08 s
184.99/54.03	c lits-rem:         0  cl-subs:        5  v-elim:  67962  v-fix:    0  time:  1.50 s
191.38/55.65	c subs with bin:       68  lits-rem:      6288  v-fix:    0  time:  1.58 s
192.57/55.94	c lits-rem:      2922  cl-subs:      602  v-elim:      0  v-fix:    0  time:  0.27 s
192.57/55.94	c Added XOR as norm:22
193.76/56.27	c asymm  cl-useful: 624/2521/108971 lits-rem:636 time: 0.33
193.76/56.28	c calculated reachability. Time: 0.00
193.76/56.29	c  N dy   188     30500     33981    108971    176677     10038    882678    819073     71.03   no data
194.16/56.30	c Finding binary XORs  T:     0.02 s  found:       0
205.33/59.13	c  N dy   200     34566     33981    108971    176785     13917    882678   1443366     66.41     77.29
215.69/61.72	c Finding binary XORs  T:     0.02 s  found:       0
218.89/62.60	c  N dy   224     38738     33981    108971    183555     17997    882678   2263058     69.07     76.67
228.07/64.91	c  N dy   245     44566     33981    108971    183577     13272    882678    729370     69.08     74.15
230.45/65.46	c  S st   252     45753     33981    108971    183581     14438    882678    936135     69.37   no data
231.64/65.72	c  S st   252     46253     33981    108971    183584     14935    882678    958370     69.37   no data
231.64/65.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
238.42/67.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  29091 BRemL:  33137 BRemN:      7 P: 13.5M T:  1.72
238.82/67.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.82/67.52	c bin-w-bin subsume rem         1112 bins  time:  0.02 s
239.62/67.71	c subs with bin:     3691  lits-rem:         4  v-fix:    0  time:  0.19 s
240.01/67.80	c Subs w/ non-existent bins:    960 l-rem:  31731 v-fix:     0 done:  33981 time:  0.10 s
240.01/67.85	c Removed useless bin:      26  fixed:     0  props:   2.32M  time:  0.04 s
242.40/68.43	c lits-rem:        15  cl-subs:       49  v-elim:  21827  v-fix:    0  time:  0.56 s
247.58/69.77	c subs with bin:       69  lits-rem:      2787  v-fix:    0  time:  1.32 s
248.39/69.93	c lits-rem:      1197  cl-subs:      998  v-elim:      0  v-fix:    0  time:  0.14 s
248.39/69.98	c vivif2 --  cl tried   105760 cl shrink    11371 lits rem      11375 time: 0.05
248.79/70.01	c vivif2 --  cl tried    10845 cl shrink     2624 lits rem      27915 time: 0.02
250.00/70.35	c asymm  cl-useful: 76/4514/104354 lits-rem:142 time: 0.34
250.00/70.36	c calculated reachability. Time: 0.01
250.00/70.37	c  N dy   252     46253     12154    104354    124105     10793    840445    549470     69.37   no data
250.00/70.40	c Finding binary XORs  T:     0.03 s  found:       0
261.94/73.34	c  N dy   263     50343     12154    104354    124144     14723    840445   1417867     66.75    125.62
273.49/76.21	c  N dy   272     54513     12153    104354    127519     18778    840445   2325203     64.10     68.61
277.48/77.27	c Finding binary XORs  T:     0.03 s  found:       0
281.12/78.14	c  N dy   275     58610     12153    104353    128687     22456    840430   2960909     61.55     85.26
292.63/81.03	c  N dy   289     62699     12152    104353    128703     26472    840430   3987473     60.77    111.07
304.98/84.11	c  N dy   305     67154     12152    104353    128763     16799    840430   1512680     60.11     63.30
310.57/85.57	c  S st   319     69382     12152    104353    128771     18956    840430   2039793     60.29     28.49
311.81/85.82	c  S st   319     69883     12152    104353    128773     19453    840430   2079063     60.29   no data
311.81/85.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
318.14/87.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  18715 BRemL:  10008 BRemN:      1 P: 13.7M T:  1.63
318.54/87.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
318.54/87.53	c bin-w-bin subsume rem         1186 bins  time:  0.02 s
319.34/87.73	c subs with bin:       83  lits-rem:         1  v-fix:    0  time:  0.20 s
319.34/87.79	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:  12152 time:  0.06 s
319.74/87.81	c Removed useless bin:       9  fixed:     0  props:   1.40M  time:  0.02 s
319.74/87.88	c lits-rem:         0  cl-subs:        2  v-elim:     44  v-fix:    0  time:  0.07 s
327.31/89.74	c subs with bin:        6  lits-rem:       446  v-fix:    0  time:  1.78 s
332.89/91.10	c lits-rem:      9155  cl-subs:      782  v-elim:      0  v-fix:    0  time:  1.32 s
332.89/91.16	c vivif2 --  cl tried   104067 cl shrink        8 lits rem          8 time: 0.05
333.31/91.25	c vivif2 --  cl tried    18201 cl shrink     3503 lits rem     191429 time: 0.09
334.89/91.60	c asymm  cl-useful: 102/7045/104067 lits-rem:314 time: 0.35
334.89/91.62	c calculated reachability. Time: 0.01
334.89/91.62	c  N dy   319     69883     12108    104053    135935     18150    839068   1623250     60.29   no data
334.89/91.65	c Finding binary XORs  T:     0.03 s  found:       0
348.03/94.94	c  N dy   348     74429     12107    104053    136854     22590    839067   2956230     61.75     65.73
357.59/97.36	c  N dy   369     79373     12106    104053    137163     27411    839067   4021923     61.60     64.98
364.77/99.17	c  N dy   386     84637     12103    104053    137196     32550    839067   4858240     60.60     64.96
369.16/100.21	c  F st   406     87501     12103    104053    137215     35364    839067   5566707     61.47     46.81
373.54/101.35	c  N st   411     90795     12103    104047    137067     19339    838954   1534088     61.47   no data
375.94/101.90	c Finding binary XORs  T:     0.03 s  found:       2
380.32/103.03	c  N dy   413     96600     12102    104046    140151     24993    838939   2606683     59.61     64.15
393.48/106.32	c  N dy   433    103192     12102    104046    140179     31482    838939   4337972     58.70     62.16
395.47/106.82	c  S st   441    104825     12102    104046    140182     33085    838939   4673700     58.87   no data
396.27/107.05	c  S st   441    105330     12102    104046    140184     33588    838939   4707027     58.87   no data
396.27/107.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
403.05/108.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  11490 BRemL:   6485 BRemN:     16 P: 16.2M T:  1.65
403.05/108.75	c Replacing        2 vars Replaced      223 lits Time:     0.03 s 
403.05/108.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
403.46/108.81	c bin-w-bin subsume rem           91 bins  time:  0.02 s
404.24/109.04	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.23 s
404.65/109.11	c Subs w/ non-existent bins:     97 l-rem:      0 v-fix:     0 done:  12100 time:  0.07 s
404.65/109.13	c Removed useless bin:      15  fixed:     0  props:   1.48M  time:  0.02 s
405.05/109.21	c lits-rem:         0  cl-subs:        2  v-elim:     40  v-fix:    0  time:  0.08 s
413.01/111.28	c subs with bin:        1  lits-rem:       140  v-fix:    0  time:  1.87 s
436.93/117.23	c lits-rem:     54362  cl-subs:     1833  v-elim:      0  v-fix:    0  time:  5.92 s
436.93/117.29	c vivif2 --  cl tried   103792 cl shrink       17 lits rem         17 time: 0.05
438.14/117.55	c vivif2 --  cl tried    30557 cl shrink    10198 lits rem     446297 time: 0.26
439.72/117.91	c asymm  cl-useful: 127/3897/103792 lits-rem:257 time: 0.36
439.72/117.92	c calculated reachability. Time: 0.01
439.72/117.92	c  N dy   441    105330     12060    103792    145020     30526    843058   3665335     58.87   no data
439.72/117.95	c Finding binary XORs  T:     0.03 s  found:       0
458.87/122.75	c  N dy   456    112067     12060    103792    145405     37051    843058   5007129     57.51     61.45
489.16/130.34	c  N dy   495    119839     12060    103792    147488     25304    843058   2664723     57.93     61.02
520.65/138.23	c  N dy   541    128993     12057    103792    147615     34220    843058   5119390     59.03     62.22
523.44/138.97	c Finding binary XORs  T:     0.03 s  found:       4
533.80/141.54	c  N dy   572    137232     12057    103787    146618     40099    842754   5991306     58.48    119.72
548.61/145.27	c  N dy   602    146210     12055    103787    146673     28124    842752   2783671     57.82     61.40
568.48/150.22	c  N dy   628    155585     12055    103787    146726     37294    842752   4964668     56.80     60.07
572.87/151.36	c  S st   635    157995     12054    103787    146762     39643    842752   5385623     56.69     35.49
574.07/151.62	c  S st   635    158498     12052    103787    146765     40142    842752   5428809     56.69   no data
574.07/151.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
581.23/153.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   5557 BRemL:   2820 BRemN:     15 P: 19.2M T:  1.84
581.64/153.58	c Replacing        6 vars Replaced     1105 lits Time:     0.09 s 
582.04/153.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
582.04/153.64	c bin-w-bin subsume rem          424 bins  time:  0.02 s
582.84/153.87	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.24 s
583.25/153.95	c Subs w/ non-existent bins:    210 l-rem:      0 v-fix:     0 done:  12046 time:  0.07 s
583.25/153.97	c Removed useless bin:      14  fixed:     0  props:   1.50M  time:  0.03 s
583.68/154.05	c lits-rem:         0  cl-subs:       41  v-elim:     49  v-fix:    0  time:  0.08 s
591.60/156.03	c subs with bin:       18  lits-rem:      3835  v-fix:    0  time:  1.81 s
615.12/161.96	c lits-rem:     58264  cl-subs:     3021  v-elim:      0  v-fix:    0  time:  5.89 s
615.52/162.01	c vivif2 --  cl tried   103241 cl shrink        9 lits rem          9 time: 0.05
616.31/162.26	c vivif2 --  cl tried    34845 cl shrink    10793 lits rem     436693 time: 0.24
617.92/162.61	c asymm  cl-useful: 63/2593/103241 lits-rem:110 time: 0.35
617.92/162.62	c calculated reachability. Time: 0.01
617.92/162.62	c  N dy   635    158498     11997    103241    147910     34804    845472   3468126     56.69   no data
617.92/162.65	c Finding binary XORs  T:     0.03 s  found:       0
649.79/170.67	c  N dy   690    168655     11993    103241    148087     22908    845472   1281565     57.57    100.33
661.77/173.67	c Finding binary XORs  T:     0.03 s  found:       0
689.26/180.58	c  N dy   767    179922     11986    103236    155645     33756    845402   4300530     59.02     62.15
716.76/187.45	c Finding binary XORs  T:     0.03 s  found:       4
720.75/188.45	c  N dy   820    191545     11984    103211    154636     41414    844673   6850132     59.00     64.60
747.47/195.10	c  N dy   857    203840     11984    103211    154740     31311    844673   2743201     58.35     62.33
758.65/197.97	c Finding binary XORs  T:     0.03 s  found:       0
777.36/202.68	c  N dy   934    216939     11981    103209    161804     44131    844654   6843680     59.05     99.40
806.47/209.97	c  N dy   995    231406     11980    103209    161903     33513    844654   3042750     58.93     63.99
820.47/213.49	c  S st  1029    237748     11980    103209    161952     39694    844654   4693394     59.16   no data
822.01/213.84	c  S st  1029    238248     11980    103209    161986     40191    844654   4758318     59.16   no data
822.01/213.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
829.98/215.83	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   2885 BRemL:   2990 BRemN:     17 P: 21.8M T:  1.97
830.38/215.91	c Replacing        6 vars Replaced     1558 lits Time:     0.08 s 
830.38/215.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
830.38/215.97	c bin-w-bin subsume rem          326 bins  time:  0.02 s
831.58/216.22	c subs with bin:        8  lits-rem:         9  v-fix:    0  time:  0.24 s
831.58/216.29	c Subs w/ non-existent bins:    208 l-rem:      1 v-fix:     0 done:  11971 time:  0.07 s
831.98/216.31	c Removed useless bin:      20  fixed:     0  props:   1.40M  time:  0.02 s
832.38/216.40	c lits-rem:         3  cl-subs:      209  v-elim:     63  v-fix:    0  time:  0.09 s
839.96/218.39	c subs with bin:        5  lits-rem:       263  v-fix:    0  time:  1.84 s
861.88/223.80	c lits-rem:     88738  cl-subs:     1890  v-elim:      0  v-fix:    0  time:  5.38 s
861.88/223.86	c vivif2 --  cl tried   102741 cl shrink       20 lits rem         62 time: 0.06
863.08/224.14	c vivif2 --  cl tried    36625 cl shrink    11361 lits rem     476591 time: 0.27
864.32/224.50	c asymm  cl-useful: 56/2642/102741 lits-rem:104 time: 0.36
864.67/224.51	c calculated reachability. Time: 0.01
864.67/224.51	c  N dy  1029    238248     11908    102741    160505     36535    854983   3524581     59.16   no data
864.67/224.54	c Finding binary XORs  T:     0.03 s  found:       0
906.13/234.99	c  N dy  1109    254571     11904    102741    160916     26781    854983   1463476     59.11     62.25
951.59/246.38	c  N dy  1167    274781     11899    102741    161089     46496    854983   5937331     58.32     61.66
999.41/258.36	c  N dy  1256    292504     11895    102741    161221     36370    854983   3378694     58.36     67.47
1049.63/270.96	c  F st  1317    306254     11891    102741    161352     49786    854983   7568489     58.29     18.31
1069.98/276.05	c  N dy  1323    311452     11891    102578    159579     52332    853421   9641019     58.29   no data
1100.26/283.68	c Finding binary XORs  T:     0.03 s  found:      18
1120.18/288.61	c  N dy  1427    331439     11885    102568    164536     43744    852961   5594528     58.46     64.05
1174.81/302.34	c  N dy  1524    351866     11882    102568    164686     34544    852961   3182877     58.72     63.60
1184.76/304.82	c  S st  1547    357373     11881    102568    164742     39949    852961   4218351     58.56   no data
1185.96/305.11	c  S st  1547    357873     11881    102568    164743     40446    852961   4284096     58.56   no data
1185.96/305.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1193.94/307.15	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   3314 BRemL:   4206 BRemN:     18 P: 23.6M T:  2.02
1194.74/307.31	c Replacing       20 vars Replaced    17572 lits Time:     0.15 s 
1194.74/307.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1194.74/307.37	c bin-w-bin subsume rem          350 bins  time:  0.02 s
1195.94/307.62	c subs with bin:      245  lits-rem:        13  v-fix:    0  time:  0.25 s
1195.94/307.69	c Subs w/ non-existent bins:     95 l-rem:    116 v-fix:     0 done:  11858 time:  0.07 s
1196.33/307.71	c Removed useless bin:      26  fixed:     0  props:   1.38M  time:  0.02 s
1196.73/307.81	c lits-rem:        22  cl-subs:      223  v-elim:     80  v-fix:    0  time:  0.09 s
1203.91/309.60	c subs with bin:      176  lits-rem:      5003  v-fix:    0  time:  1.71 s
1212.28/311.76	c lits-rem:     27656  cl-subs:     1239  v-elim:      0  v-fix:    0  time:  2.12 s
1212.68/311.82	c vivif2 --  cl tried   101954 cl shrink       12 lits rem         12 time: 0.06
1213.08/311.98	c vivif2 --  cl tried    34220 cl shrink     7999 lits rem     128408 time: 0.15
1214.69/312.40	c asymm  cl-useful: 82/2241/101952 lits-rem:126 time: 0.42
1215.12/312.42	c calculated reachability. Time: 0.01
1215.12/312.42	c  N dy  1547    357873     11778    101952    162189     34080    876011   2112266     58.56   no data
1215.12/312.45	c Finding binary XORs  T:     0.03 s  found:       0
1245.38/320.03	c Finding binary XORs  T:     0.03 s  found:       2
1271.28/326.53	c  N dy  1645    377933     11772    101941    168757     51179    875867   7711902     58.60    148.96
1315.55/337.67	c  N dy  1740    398005     11769    101941    169007     45660    875867   5572048     58.60     64.95
1366.15/350.30	c  N dy  1855    418179     11766    101941    169212     34527    875867   2491988     59.08     63.32
1413.18/362.13	c  N dy  1965    438825     11764    101941    169385     54789    875867   7680771     59.48     63.67
1459.04/373.64	c  N dy  2071    458970     11761    101941    169530     42657    875867   4040696     59.70     63.11
1510.45/386.52	c  N dy  2174    480238     11759    101941    169684     63518    875867   9299189     60.08     63.26
1556.30/398.06	c  N dy  2288    500242     11759    101941    169882     50180    875867   5505772     60.43     64.07
1569.06/401.25	c Finding binary XORs  T:     0.03 s  found:      10
1606.92/410.78	c  N dy  2410    522451     11754    101922    166101     71317    875107  10637404     60.85     67.13
1636.81/418.28	c  S st  2479    536811     11753    101922    166185     51231    875107   5008758     60.99   no data
1638.01/418.55	c  S st  2479    537311     11753    101922    166187     51728    875107   5047976     60.99   no data
1638.01/418.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1646.38/420.67	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   2577 BRemL:   2044 BRemN:     23 P: 27.0M T:  2.09
1646.79/420.79	c Replacing       13 vars Replaced     5963 lits Time:     0.12 s 
1647.19/420.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1647.19/420.86	c bin-w-bin subsume rem          570 bins  time:  0.02 s
1648.38/421.11	c subs with bin:       20  lits-rem:         2  v-fix:    0  time:  0.26 s
1648.38/421.18	c Subs w/ non-existent bins:    191 l-rem:     29 v-fix:     0 done:  11738 time:  0.07 s
1648.38/421.21	c Removed useless bin:      34  fixed:     0  props:   1.37M  time:  0.02 s
1648.80/421.30	c lits-rem:         0  cl-subs:      241  v-elim:     68  v-fix:    0  time:  0.09 s
1657.57/423.44	c subs with bin:       37  lits-rem:       916  v-fix:    0  time:  1.96 s
1675.54/427.98	c lits-rem:     48818  cl-subs:     1701  v-elim:      0  v-fix:    0  time:  4.50 s
1675.88/428.04	c vivif2 --  cl tried   101411 cl shrink      113 lits rem        113 time: 0.07
1677.07/428.36	c vivif2 --  cl tried    47864 cl shrink    13288 lits rem     506572 time: 0.31
1678.68/428.73	c asymm  cl-useful: 77/2362/101411 lits-rem:149 time: 0.37
1678.68/428.75	c calculated reachability. Time: 0.01
1678.68/428.75	c  N dy  2479    537311     11670    101411    165644     47748    891924   3950767     60.99   no data
1678.68/428.78	c Finding binary XORs  T:     0.03 s  found:       0
1739.67/444.01	c  N dy  2570    557328     11662    101411    166024     67267    891924   9058341     61.07     97.27
1796.27/458.21	c  N dy  2660    577414     11659    101411    166212     52704    891924   6039125     61.13     69.89
1857.66/473.61	c  N dy  2771    597833     11658    101411    166436     72674    891924  11645806     61.28     65.95
1906.70/485.99	c  N dy  2880    617852     11657    101411    166586     56327    891924   5851473     61.47     64.93
1929.87/491.77	c Finding binary XORs  T:     0.03 s  found:       4
1958.11/498.82	c  N dy  2947    638292     11654    101390    168591     75422    891629  10163967     61.24     65.08
2002.77/510.06	c  N dy  3032    658503     11652    101390    168720     58317    891629   6091519     61.16     65.10
2048.60/521.59	c  N dy  3121    678674     11651    101390    168872     78040    891629  10866218     61.15     65.35
2100.89/534.67	c  N dy  3235    698700     11651    101390    169024     59752    891629   6439289     61.32     69.53
2157.45/548.88	c  N dy  3338    719070     11651    101390    169144     79743    891629  11660642     61.43     68.25
2226.40/566.16	c  N dy  3415    740341     11647    101390    169234     61713    891629   6457861     61.19     64.66
2226.80/566.25	c Finding binary XORs  T:     0.03 s  found:      10
2279.02/579.39	c  N dy  3511    761271     11644    101358    174704     80984    890498  11588355     61.19     64.66
2324.08/590.66	c  N dy  3562    781499     11643    101358    174812     61124    890498   5087333     60.81     64.29
2378.27/604.24	c  N dy  3633    803087     11642    101358    174912     82413    890498  11340884     60.63     65.12
2384.66/605.88	c  S st  3644    805969     11642    101358    174924     85244    890498  11955289     60.63   no data
2386.24/606.25	c  S st  3644    806469     11642    101358    174925     85741    890498  11994711     60.63   no data
2386.24/606.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2396.61/608.87	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    6 Bins:   5125 BRemL:   1988 BRemN:     17 P: 35.7M T:  2.57
2398.21/609.25	c Replacing       20 vars Replaced    16706 lits Time:     0.38 s 
2398.21/609.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2398.62/609.33	c bin-w-bin subsume rem          740 bins  time:  0.02 s
2399.79/609.63	c subs with bin:       27  lits-rem:         0  v-fix:    0  time:  0.30 s
2400.20/609.71	c Subs w/ non-existent bins:    177 l-rem:      0 v-fix:     0 done:  11620 time:  0.08 s
2400.20/609.74	c Removed useless bin:      40  fixed:     0  props:   1.29M  time:  0.03 s
2400.99/609.93	c lits-rem:         2  cl-subs:      628  v-elim:    138  v-fix:    0  time:  0.19 s
2410.57/612.34	c subs with bin:       29  lits-rem:       449  v-fix:    0  time:  1.96 s
2451.67/622.62	c lits-rem:     21488  cl-subs:     3321  v-elim:      0  v-fix:    0  time: 10.25 s
2451.67/622.69	c vivif2 --  cl tried   100405 cl shrink        8 lits rem          8 time: 0.07
2454.41/623.33	c vivif2 --  cl tried    71099 cl shrink    25927 lits rem    1273045 time: 0.63
2456.80/623.98	c asymm  cl-useful: 169/2345/100405 lits-rem:536 time: 0.64
2456.80/623.99	c calculated reachability. Time: 0.01
2456.80/623.99	c  N dy  3644    806469     11482    100353    173941     70886    927586   7189227     60.63   no data
2457.20/624.03	c Finding binary XORs  T:     0.03 s  found:       0
2519.38/639.65	c Finding binary XORs  T:     0.03 s  found:       8
2520.18/639.87	c  N dy  3721    826639     11476    100337    174989     56063    927113   4571123     60.44     64.89
2578.83/654.56	c  N dy  3823    846693     11474    100337    175100     75777    927113  10089572     60.58     65.42
2632.58/668.07	c  N dy  3942    866807     11471    100337    175238     55537    927113   4011095     60.87     64.17
2684.40/681.09	c  N dy  4059    887295     11468    100337    175360     75665    927113   9131170     61.19     64.52
2743.79/695.92	c  N dy  4182    909703     11468    100337    175460     54771    927113   3264267     61.45     65.70
2796.82/709.23	c  N dy  4288    930036     11467    100337    175602     74818    927113   8831124     61.61     66.78
2851.42/722.95	c  N dy  4392    950355     11464    100337    175724     94802    927113  14101609     61.75     68.33
2901.25/735.48	c  N dy  4501    970565     11461    100337    175797     70622    927113   6795449     61.89     67.54
2954.68/748.88	c  N dy  4606    990591     11460    100337    175960     90239    927113  11909436     62.05     73.27
3008.88/762.43	c  N dy  4702   1010684     11460    100337    176058     65592    927113   5119193     62.07    146.62
3057.92/774.76	c  N dy  4820   1030747     11460    100337    176149     85316    927113  10192742     62.21    107.72
3114.12/788.85	c  N dy  4931   1050815     11458    100337    176257     59476    927113   3008983     62.33    111.94
3118.16/789.85	c Finding binary XORs  T:     0.03 s  found:      16
3166.75/802.01	c  N dy  5026   1070829     11458    100173    171243     78146    924390   8061880     62.40     65.80
3169.54/802.70	c  F st  5033   1071876     11458    100173    171244     79181    924390   8340599     62.42     31.68
3169.94/802.85	c Replacing       24 vars Replaced    10031 lits Time:     0.15 s 
3222.97/816.20	c  N dy  5094   1090844     11433    100162    171261     97826    924283  13502074     62.34     89.22
3279.17/830.24	c  N dy  5174   1110875     11431    100162    171382     70734    924283   6006978     62.32    154.45
3333.03/843.79	c  N dy  5258   1130954     11428    100162    171448     90382    924283  10428275     62.29     72.06
3367.68/852.42	c Finding binary XORs  T:     0.03 s  found:       4
3391.59/858.41	c  N dy  5355   1151047     11424    100147    172384    109390    923746  15027779     62.31     65.82
3439.81/870.54	c  N dy  5439   1171178     11423    100147    172473     81583    923746   7551777     62.27     68.07
3501.20/885.97	c  N dy  5535   1191272     11420    100147    172606    101349    923746  12766136     62.30     66.98
3568.17/902.75	c  S st  5611   1209703     11415    100147    172725     71023    923746   4873955     62.29   no data
3569.39/903.03	c  S st  5611   1210205     11415    100147    172725     71525    923746   4914284     62.29   no data
3569.39/903.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3578.58/905.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:   1968 BRemL:   1565 BRemN:     53 P: 36.9M T:  2.27
3578.92/905.41	c Replacing       18 vars Replaced     2354 lits Time:     0.08 s 
3578.92/905.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3578.92/905.47	c bin-w-bin subsume rem         1348 bins  time:  0.02 s
3580.13/905.72	c subs with bin:       45  lits-rem:        28  v-fix:    0  time:  0.25 s
3580.13/905.79	c Subs w/ non-existent bins:    125 l-rem:      8 v-fix:     0 done:  11397 time:  0.06 s
3580.52/905.81	c Removed useless bin:      82  fixed:     0  props:   1.29M  time:  0.02 s
3580.92/905.96	c lits-rem:       126  cl-subs:      941  v-elim:    184  v-fix:    0  time:  0.15 s
3589.29/908.04	c subs with bin:      113  lits-rem:      2366  v-fix:    0  time:  1.93 s
3604.46/911.82	c lits-rem:     13176  cl-subs:     2841  v-elim:      0  v-fix:    0  time:  3.74 s
3604.46/911.89	c vivif2 --  cl tried    98862 cl shrink      302 lits rem        302 time: 0.07
3606.04/912.21	c vivif2 --  cl tried    63884 cl shrink    13312 lits rem     417418 time: 0.32
3608.04/912.71	c asymm  cl-useful: 130/4771/98836 lits-rem:247 time: 0.50
3608.04/912.73	c calculated reachability. Time: 0.01
3608.04/912.73	c  N dy  5611   1210205     11213     98836    167674     63685    962865   3568638     62.29   no data
3608.04/912.77	c Finding binary XORs  T:     0.04 s  found:       0
3668.63/927.91	c  N dy  5675   1230747     11209     98836    169432     83743    962865   8067808     62.11     67.43
3698.53/935.48	c Finding binary XORs  T:     0.03 s  found:       6
3727.68/942.74	c  N dy  5763   1250838     11207     98827    166364     97389    962516  12310698     62.08     67.63
3782.64/956.50	c  N dy  5880   1271145     11203     98827    166493     72832    962516   5611218     62.16     65.64
3838.05/970.41	c  N dy  5979   1291229     11201     98827    166601     92510    962516  10533501     62.23    167.51
3868.00/977.91	c Finding binary XORs  T:     0.03 s  found:      12
3899.44/985.89	c  N dy  6078   1311295     11198     98811    166841    111487    961737  15389461     62.26    106.98
3957.24/1000.36	c  N dy  6170   1331960     11195     98811    167001     81598    961737   7413536     62.26     65.70
4015.84/1015.03	c  N dy  6236   1352142     11194     98811    167123    101492    961737  12945539     62.18     65.58
4072.04/1029.12	c  N dy  6337   1372271     11193     98811    167240     69441    961737   4210949     62.25     65.76
4119.48/1041.02	c  N dy  6418   1392276     11191     98811    167338     89092    961737   8907990     62.24    144.48
4177.69/1055.65	c  N dy  6504   1412362     11189     98811    167446    108743    961737  13722144     62.22    122.62
4238.68/1070.93	c  N dy  6612   1432461     11188     98811    167535     76787    961737   5712843     62.33     77.23
4291.69/1084.27	c  N dy  6707   1452501     11186     98811    167623     96386    961737  10520006     62.36    104.33
4350.33/1098.99	c  N dy  6783   1473257     11184     98811    167708    116844    961737  15630407     62.30     65.72
4409.28/1113.75	c  N dy  6881   1493434     11178     98811    167793     83217    961737   6792538     62.30     66.01
4475.05/1130.26	c  N dy  6967   1514724     11176     98811    167912    104040    961737  11906203     62.26     66.10
4499.42/1136.35	c Finding binary XORs  T:     0.03 s  found:      32
4536.44/1145.61	c  N dy  7055   1534774     11173     98769    163586    119269    959365  16551447     62.25     67.41
4591.07/1159.35	c  N dy  7140   1554815     11168     98769    163716     87284    959365   6395006     62.21     66.51
4644.12/1172.65	c  N dy  7233   1574888     11164     98769    163826    106974    959365  11050469     62.23    131.27
4699.86/1186.65	c  N dy  7323   1595698     11164     98769    163938    127350    959365  15736360     62.23     66.03
4752.88/1199.99	c  N dy  7405   1616223     11160     98769    164043     92718    959365   7167220     62.23     66.75

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-3367081-1305389644/watcher-3367081-1305389644 -o /tmp/evaluation-result-3367081-1305389644/solver-3367081-1305389644 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367081-1305389644.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: 8.06 7.24 5.51 6/416 6966
/proc/meminfo: memFree=19695284/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 729195176 52396032 347 33554432000 4194304 4580107 140737153997776 18446744073709551615 215988648945 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 12792 347 299 95 0 7774 0
[pid=6966/tid=6967] ppid=6964 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729195176 52396032 351 33554432000 4194304 4580107 140737153997776 18446744073709551615 47663878846390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729195176 52396032 351 33554432000 4194304 4580107 140737153997776 18446744073709551615 47663878845977 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729195176 52396032 351 33554432000 4194304 4580107 140737153997776 18446744073709551615 47663878845968 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0653379 s]
/proc/loadavg: 8.06 7.24 5.51 6/416 6966
/proc/meminfo: memFree=19695284/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=319380 CPUtime=0.2 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 20314 0 0 0 18 2 0 0 25 0 4 0 729195176 327045120 15990 33554432000 4194304 4580107 140737153997776 18446744073709551615 4307028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 79845 16018 337 95 0 74827 0
[pid=6966/tid=6967] ppid=6964 vsize=319380 CPUtime=0.04 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 4851 0 0 0 4 0 0 0 25 0 4 0 729195176 327045120 16029 33554432000 4194304 4580107 140737153997776 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=319380 CPUtime=0.04 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 4934 0 0 0 4 0 0 0 25 0 4 0 729195176 327045120 16044 33554432000 4194304 4580107 140737153997776 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=319380 CPUtime=0.04 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 5179 0 0 0 4 0 0 0 25 0 4 0 729195176 327045120 16050 33554432000 4194304 4580107 140737153997776 18446744073709551615 215988289995 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 319380

[startup+0.101417 s]
/proc/loadavg: 8.06 7.24 5.51 6/416 6966
/proc/meminfo: memFree=19695284/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=341308 CPUtime=0.35 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) D 6964 6966 6790 0 -1 4202496 32937 0 0 0 30 5 0 0 25 0 4 0 729195176 349499392 28059 33554432000 4194304 4580107 140737153997776 18446744073709551615 4307185 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 85327 28059 337 95 0 80309 0
[pid=6966/tid=6967] ppid=6964 vsize=341308 CPUtime=0.08 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) D 6964 6966 6790 0 -1 4202560 7778 0 0 0 7 1 0 0 25 0 4 0 729195176 349499392 28059 33554432000 4194304 4580107 140737153997776 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=341308 CPUtime=0.08 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) D 6964 6966 6790 0 -1 4202560 7848 0 0 0 7 1 0 0 18 0 4 0 729195176 349499392 27547 33554432000 4194304 4580107 140737153997776 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=341308 CPUtime=0.08 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 8965 0 0 0 7 1 0 0 25 0 4 0 729195176 349499392 27547 33554432000 4194304 4580107 140737153997776 18446744073709551615 215988635783 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 341308

[startup+0.300203 s]
/proc/loadavg: 8.06 7.24 5.51 6/416 6966
/proc/meminfo: memFree=19695284/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=429012 CPUtime=1.13 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 79841 0 0 0 102 11 0 0 25 0 4 0 729195176 439308288 62337 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 107253 62337 359 95 0 102235 0
[pid=6966/tid=6967] ppid=6964 vsize=429012 CPUtime=0.27 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 19702 0 0 0 24 3 0 0 25 0 4 0 729195176 439308288 62337 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=429012 CPUtime=0.27 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 19786 0 0 0 25 2 0 0 18 0 4 0 729195176 439308288 62337 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=429012 CPUtime=0.27 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20092 0 0 0 25 2 0 0 25 0 4 0 729195176 439308288 62337 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 429012

[startup+0.70113 s]
/proc/loadavg: 8.06 7.24 5.51 6/416 6966
/proc/meminfo: memFree=19695284/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=430360 CPUtime=2.73 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 81368 0 0 0 261 12 0 0 25 0 4 0 729195176 440688640 63864 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 107590 63864 360 95 0 102572 0
[pid=6966/tid=6967] ppid=6964 vsize=430360 CPUtime=0.67 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20154 0 0 0 64 3 0 0 25 0 4 0 729195176 440688640 63864 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=430360 CPUtime=0.67 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20238 0 0 0 65 2 0 0 18 0 4 0 729195176 440688640 63864 33554432000 4194304 4580107 140737153997776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=430360 CPUtime=0.67 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20264 0 0 0 65 2 0 0 25 0 4 0 729195176 440688640 63864 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 430360

[startup+1.50099 s]
/proc/loadavg: 8.13 7.27 5.52 9/420 6970
/proc/meminfo: memFree=19443284/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=431024 CPUtime=5.92 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 81682 0 0 0 580 12 0 0 25 0 4 0 729195176 441368576 64178 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 107756 64178 360 95 0 102738 0
[pid=6966/tid=6967] ppid=6964 vsize=431024 CPUtime=1.45 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20154 0 0 0 142 3 0 0 25 0 4 0 729195176 441368576 64178 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=431024 CPUtime=1.47 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20238 0 0 0 145 2 0 0 19 0 4 0 729195176 441368576 64178 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=431024 CPUtime=1.47 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20578 0 0 0 145 2 0 0 25 0 4 0 729195176 441368576 64178 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 431024

[startup+3.10071 s]
/proc/loadavg: 8.13 7.27 5.52 9/420 6970
/proc/meminfo: memFree=19441968/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=431024 CPUtime=12.3 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 81747 0 0 0 1218 12 0 0 25 0 4 0 729195176 441368576 64243 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 107756 64243 360 95 0 102738 0
[pid=6966/tid=6967] ppid=6964 vsize=431024 CPUtime=3.04 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20154 0 0 0 301 3 0 0 25 0 4 0 729195176 441368576 64243 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=431024 CPUtime=3.07 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20238 0 0 0 305 2 0 0 24 0 4 0 729195176 441368576 64243 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=431024 CPUtime=3.07 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20643 0 0 0 305 2 0 0 25 0 4 0 729195176 441368576 64243 33554432000 4194304 4580107 140737153997776 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 431024

[startup+6.30115 s]
/proc/loadavg: 8.13 7.27 5.52 9/420 6971
/proc/meminfo: memFree=19438196/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=627632 CPUtime=25.05 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 103818 0 0 0 2489 16 0 0 25 0 4 0 729195176 642695168 85058 33554432000 4194304 4580107 140737153997776 18446744073709551615 4515212 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 156908 85058 372 95 0 151890 0
[pid=6966/tid=6967] ppid=6964 vsize=627632 CPUtime=6.18 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 27439 0 0 0 614 4 0 0 25 0 4 0 729195176 642695168 85058 33554432000 4194304 4580107 140737153997776 18446744073709551615 4515177 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=627632 CPUtime=6.27 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 27533 0 0 0 624 3 0 0 18 0 4 0 729195176 642695168 85058 33554432000 4194304 4580107 140737153997776 18446744073709551615 4515212 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=627632 CPUtime=6.27 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 20820 0 0 0 625 2 0 0 25 0 4 0 729195176 642695168 85058 33554432000 4194304 4580107 140737153997776 18446744073709551615 4321629 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 627632

[startup+12.701 s]
/proc/loadavg: 8.11 7.29 5.55 10/420 6971
/proc/meminfo: memFree=19068204/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=1028480 CPUtime=50.54 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 193175 0 0 0 5014 40 0 0 25 0 4 0 729195176 1053163520 155447 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 257120 155447 379 95 0 252102 0
[pid=6966/tid=6967] ppid=6964 vsize=1028480 CPUtime=12.49 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 56334 0 0 0 1237 12 0 0 25 0 4 0 729195176 1053163520 155447 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=1028480 CPUtime=12.67 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 56563 0 0 0 1256 11 0 0 25 0 4 0 729195176 1053163520 155447 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=1028480 CPUtime=12.68 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 23202 0 0 0 1265 3 0 0 25 0 4 0 729195176 1053163520 155447 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 1028480

[startup+25.5008 s]
/proc/loadavg: 7.93 7.28 5.56 7/420 6971
/proc/meminfo: memFree=19034720/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=1061824 CPUtime=83.17 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 199246 0 0 0 8276 41 0 0 25 0 4 0 729195176 1087307776 160513 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 265456 160513 379 95 0 260438 0
[pid=6966/tid=6967] ppid=6964 vsize=1061824 CPUtime=23.62 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) S 6964 6966 6790 0 -1 4202560 60330 0 0 0 2349 13 0 0 25 0 4 0 729195176 1087307776 160513 33554432000 4194304 4580107 140737153997776 18446744073709551615 47663878844958 0 0 4096 2 18446604443259472896 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=1061824 CPUtime=19.42 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 57196 0 0 0 1931 11 0 0 20 0 4 0 729195176 1087307776 160513 33554432000 4194304 4580107 140737153997776 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=1061824 CPUtime=17.75 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) S 6964 6966 6790 0 -1 4202560 23844 0 0 0 1772 3 0 0 25 0 4 0 729195176 1087307776 160513 33554432000 4194304 4580107 140737153997776 18446744073709551615 47663878844958 0 0 4096 2 18446604443259472896 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 83.17
Current children cumulated vsize (KiB) 1061824

[startup+51.1003 s]
/proc/loadavg: 7.78 7.29 5.61 9/420 6972
/proc/meminfo: memFree=18958240/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=1167744 CPUtime=173.44 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 252941 0 0 0 17288 56 0 0 25 0 4 0 729195176 1195769856 184056 33554432000 4194304 4580107 140737153997776 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 291936 184057 380 95 0 286918 0
[pid=6966/tid=6967] ppid=6964 vsize=1167744 CPUtime=43.08 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 69409 0 0 0 4291 17 0 0 25 0 4 0 729195176 1195769856 184057 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=1167744 CPUtime=44.73 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 67531 0 0 0 4458 15 0 0 25 0 4 0 729195176 1195769856 184057 33554432000 4194304 4580107 140737153997776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=1167744 CPUtime=40.96 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 46441 0 0 0 4089 7 0 0 25 0 4 0 729195176 1195769856 184057 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 173.44
Current children cumulated vsize (KiB) 1167744

[startup+102.315 s]
/proc/loadavg: 8.05 7.44 5.76 9/420 6973
/proc/meminfo: memFree=18339492/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=1757784 CPUtime=377.58 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 479220 0 0 0 37652 106 0 0 25 0 4 0 729195176 1799970816 335455 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 439446 335455 380 95 0 434428 0
[pid=6966/tid=6967] ppid=6964 vsize=1757784 CPUtime=94.29 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 133704 0 0 0 9398 31 0 0 25 0 4 0 729195176 1799970816 335455 33554432000 4194304 4580107 140737153997776 18446744073709551615 4305280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=1757784 CPUtime=95.94 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 131037 0 0 0 9566 28 0 0 25 0 4 0 729195176 1799970816 335455 33554432000 4194304 4580107 140737153997776 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=1757784 CPUtime=91.47 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 77095 0 0 0 9132 15 0 0 25 0 4 0 729195176 1799970816 335455 33554432000 4194304 4580107 140737153997776 18446744073709551615 4410187 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 377.58
Current children cumulated vsize (KiB) 1757784

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.11 8.02 6.86 9/420 6989
/proc/meminfo: memFree=17435884/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2632588 CPUtime=2769.31 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 1700877 0 0 0 276474 457 0 0 25 0 4 0 729195176 2695770112 525078 33554432000 4194304 4580107 140737153997776 18446744073709551615 4316496 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 658147 525078 380 95 0 653129 0
[pid=6966/tid=6967] ppid=6964 vsize=2632588 CPUtime=694.27 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 430747 0 0 0 69306 121 0 0 25 0 4 0 729195176 2695770112 525078 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2632588 CPUtime=695.89 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 448221 0 0 0 69462 127 0 0 25 0 4 0 729195176 2695770112 525078 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2632588 CPUtime=683.3 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 348798 0 0 0 68238 92 0 0 25 0 4 0 729195176 2695770112 525078 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2769.31
Current children cumulated vsize (KiB) 2632588

[startup+762.316 s]
/proc/loadavg: 8.17 8.07 6.95 9/420 7052
/proc/meminfo: memFree=19078656/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2646044 CPUtime=3008.54 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 1802187 0 0 0 300364 490 0 0 25 0 4 0 729195176 2709549056 525838 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294821 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 661511 525838 380 95 0 656493 0
[pid=6966/tid=6967] ppid=6964 vsize=2646044 CPUtime=754.28 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 460489 0 0 0 75297 131 0 0 25 0 4 0 729195176 2709549056 525838 33554432000 4194304 4580107 140737153997776 18446744073709551615 4325617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2646044 CPUtime=755.41 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 473745 0 0 0 75406 135 0 0 25 0 4 0 729195176 2709549056 525838 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2646044 CPUtime=742.99 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 364914 0 0 0 74201 98 0 0 25 0 4 0 729195176 2709549056 525838 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3008.54
Current children cumulated vsize (KiB) 2646044

[startup+822.3 s]
/proc/loadavg: 8.14 8.09 7.02 9/420 7053
/proc/meminfo: memFree=18903908/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2658916 CPUtime=3247.67 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 1906666 0 0 0 324245 522 0 0 25 0 4 0 729195176 2722729984 538331 33554432000 4194304 4580107 140737153997776 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 664729 538331 380 95 0 659711 0
[pid=6966/tid=6967] ppid=6964 vsize=2658916 CPUtime=814.26 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 490157 0 0 0 81287 139 0 0 25 0 4 0 729195176 2722729984 538331 33554432000 4194304 4580107 140737153997776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2658916 CPUtime=814.6 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 502932 0 0 0 81316 144 0 0 25 0 4 0 729195176 2722729984 538331 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2658916 CPUtime=802.98 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 384448 0 0 0 80193 105 0 0 25 0 4 0 729195176 2722729984 538331 33554432000 4194304 4580107 140737153997776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3247.67
Current children cumulated vsize (KiB) 2658916

[startup+882.301 s]
/proc/loadavg: 8.05 8.07 7.08 9/420 7055
/proc/meminfo: memFree=18906844/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2602168 CPUtime=3486.84 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2015461 0 0 0 348131 553 0 0 25 0 4 0 729195176 2664620032 537384 33554432000 4194304 4580107 140737153997776 18446744073709551615 4320741 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 650542 537384 380 95 0 645524 0
[pid=6966/tid=6967] ppid=6964 vsize=2602168 CPUtime=874.27 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 523448 0 0 0 87281 146 0 0 25 0 4 0 729195176 2664620032 537384 33554432000 4194304 4580107 140737153997776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2602168 CPUtime=873.78 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 529844 0 0 0 87226 152 0 0 25 0 4 0 729195176 2664620032 537384 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2602168 CPUtime=862.97 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 404386 0 0 0 86185 112 0 0 25 0 4 0 729195176 2664620032 537384 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3486.84
Current children cumulated vsize (KiB) 2602168

[startup+942.3 s]
/proc/loadavg: 8.06 8.07 7.14 9/420 7057
/proc/meminfo: memFree=18759700/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2888016 CPUtime=3726.04 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2106948 0 0 0 372022 582 0 0 25 0 4 0 729195176 2957328384 569471 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 722004 569471 380 95 0 716986 0
[pid=6966/tid=6967] ppid=6964 vsize=2888016 CPUtime=934.26 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 547417 0 0 0 93272 154 0 0 25 0 4 0 729195176 2957328384 569471 33554432000 4194304 4580107 140737153997776 18446744073709551615 4325440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2888016 CPUtime=932.98 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 556078 0 0 0 93137 161 0 0 25 0 4 0 729195176 2957328384 569471 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2888016 CPUtime=922.97 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 420926 0 0 0 92179 118 0 0 25 0 4 0 729195176 2957328384 569471 33554432000 4194304 4580107 140737153997776 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3726.04
Current children cumulated vsize (KiB) 2888016

[startup+1002.3 s]
/proc/loadavg: 8.17 8.10 7.21 9/420 7058
/proc/meminfo: memFree=18742920/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2926640 CPUtime=3965.21 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2190713 0 0 0 395910 611 0 0 25 0 4 0 729195176 2996879360 568042 33554432000 4194304 4580107 140737153997776 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 731660 568042 380 95 0 726642 0
[pid=6966/tid=6967] ppid=6964 vsize=2926640 CPUtime=994.26 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 570332 0 0 0 99265 161 0 0 25 0 4 0 729195176 2996879360 568042 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2926640 CPUtime=992.15 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 578914 0 0 0 99047 168 0 0 25 0 4 0 729195176 2996879360 568042 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2926640 CPUtime=982.97 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 437054 0 0 0 98172 125 0 0 25 0 4 0 729195176 2996879360 568042 33554432000 4194304 4580107 140737153997776 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3965.21
Current children cumulated vsize (KiB) 2926640

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 7.26 9/420 7060
/proc/meminfo: memFree=18685948/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2967980 CPUtime=4204.39 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2282046 0 0 0 419798 641 0 0 25 0 4 0 729195176 3039211520 573893 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 741995 573894 380 95 0 736977 0
[pid=6966/tid=6967] ppid=6964 vsize=2967980 CPUtime=1054.25 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 591321 0 0 0 105257 168 0 0 25 0 4 0 729195176 3039211520 573894 33554432000 4194304 4580107 140737153997776 18446744073709551615 4316572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2967980 CPUtime=1051.34 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 605955 0 0 0 104959 175 0 0 25 0 4 0 729195176 3039211520 573894 33554432000 4194304 4580107 140737153997776 18446744073709551615 4317100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2967980 CPUtime=1042.96 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 455404 0 0 0 104165 131 0 0 25 0 4 0 729195176 3039211520 573894 33554432000 4194304 4580107 140737153997776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4204.39
Current children cumulated vsize (KiB) 2967980

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 7.31 9/420 7061
/proc/meminfo: memFree=18707596/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=3016596 CPUtime=4443.56 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2367653 0 0 0 443685 671 0 0 25 0 4 0 729195176 3088994304 564118 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 754149 564118 380 95 0 749131 0
[pid=6966/tid=6967] ppid=6964 vsize=3016596 CPUtime=1114.25 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 614384 0 0 0 111248 177 0 0 25 0 4 0 729195176 3088994304 564118 33554432000 4194304 4580107 140737153997776 18446744073709551615 4325710 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=3016596 CPUtime=1110.52 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 629078 0 0 0 110869 183 0 0 25 0 4 0 729195176 3088994304 564118 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=3016596 CPUtime=1102.95 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 472336 0 0 0 110157 138 0 0 25 0 4 0 729195176 3088994304 564118 33554432000 4194304 4580107 140737153997776 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4443.56
Current children cumulated vsize (KiB) 3016596

[startup+1182.3 s]
/proc/loadavg: 8.03 8.07 7.35 9/420 7063
/proc/meminfo: memFree=18737692/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2870780 CPUtime=4682.72 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2466214 0 0 0 467568 704 0 0 25 0 4 0 729195176 2939678720 554150 33554432000 4194304 4580107 140737153997776 18446744073709551615 4322584 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 717695 554150 380 95 0 712677 0
[pid=6966/tid=6967] ppid=6964 vsize=2870780 CPUtime=1174.25 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 642413 0 0 0 117240 185 0 0 25 0 4 0 729195176 2939678720 554150 33554432000 4194304 4580107 140737153997776 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2870780 CPUtime=1169.7 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 650179 0 0 0 116780 190 0 0 25 0 4 0 729195176 2939678720 554150 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2870780 CPUtime=1162.95 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 498112 0 0 0 116148 147 0 0 25 0 4 0 729195176 2939678720 554150 33554432000 4194304 4580107 140737153997776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4682.72
Current children cumulated vsize (KiB) 2870780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1211.8 s]
/proc/loadavg: 8.07 8.08 7.37 10/420 7064
/proc/meminfo: memFree=18740012/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=2915020 CPUtime=4800.32 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) R 6964 6966 6790 0 -1 4202496 2508293 0 0 0 479315 717 0 0 25 0 4 0 729195176 2984980480 546770 33554432000 4194304 4580107 140737153997776 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 728755 546770 380 95 0 723737 0
[pid=6966/tid=6967] ppid=6964 vsize=2915020 CPUtime=1203.76 cores=0,2,4,6
/proc/6966/task/6967/stat : 6967 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 652973 0 0 0 120188 188 0 0 25 0 4 0 729195176 2984980480 546776 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=2915020 CPUtime=1198.79 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 659534 0 0 0 119686 193 0 0 25 0 4 0 729195176 2984980480 546776 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6966/tid=6969] ppid=6964 vsize=2915020 CPUtime=1192.46 cores=0,2,4,6
/proc/6966/task/6969/stat : 6969 (strangenight2-m) R 6964 6966 6790 0 -1 4202560 505582 0 0 0 119096 150 0 0 25 0 4 0 729195176 2984980480 546776 33554432000 4194304 4580107 140737153997776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 2915020

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

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

[startup+1211.92 s]
/proc/loadavg: 8.07 8.08 7.37 10/420 7064
/proc/meminfo: memFree=18740012/32950940 swapFree=67111356/67111528
[pid=6966] ppid=6964 vsize=0 CPUtime=4800.47 cores=0,2,4,6
/proc/6966/stat : 6966 (strangenight2-m) Z 6964 6966 6790 0 -1 4203548 2508302 0 0 0 479320 727 0 0 25 0 2 0 729195176 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6966/statm: 0 0 0 0 0 0 0
[pid=6966/tid=6968] ppid=6964 vsize=0 CPUtime=1198.9 cores=0,2,4,6
/proc/6966/task/6968/stat : 6968 (strangenight2-m) R 6964 6966 6790 0 -1 4203588 659534 0 0 0 119687 203 0 0 25 0 2 0 729195176 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1211.92
CPU time (s): 4800.48
CPU user time (s): 4793.2
CPU system time (s): 7.27989
CPU usage (%): 396.105
Max. virtual memory (cumulated for all children) (KiB): 3074220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.2
system time used= 7.27989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2508302
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= 6270
involuntary context switches= 21912

runsolver used 4.66629 second user time and 11.5802 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-14 18:14:04
IDJOB=3367081
IDBENCH=70760
IDSOLVER=1844
FILE ID=node117/3367081-1305389644
RUNJOBID= node117-1305389052-6808
PBS_JOBID= 13324438
Free space on /tmp= 73388 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367081-1305389644/watcher-3367081-1305389644 -o /tmp/evaluation-result-3367081-1305389644/solver-3367081-1305389644 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367081-1305389644.cnf

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=594548203

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19695324 kB
Buffers:        290924 kB
Cached:        3050120 kB
SwapCached:          0 kB
Active:       11062688 kB
Inactive:      1834824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19695324 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           13248 kB
Writeback:           0 kB
AnonPages:     9555996 kB
Mapped:          32444 kB
Slab:           243736 kB
PageTables:      47368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 102317760 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= 73396 MiB
End job on node117 at 2011-05-14 18:34:18